Siddharth Krishna
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Local reasoning for global graph properties Programming Languages and Systems | 2022-10-13 | Paper |
| Verifying visibility-based weak consistency Programming Languages and Systems | 2022-10-13 | Paper |
| On the tensor rank of the \(3 \times 3\) permanent and determinant | 2021-07-21 | Paper |
| Automated Verification of Concurrent Search Structures Synthesis Lectures on Computer Science | 2021-07-13 | Paper |
| Learning shape analysis Static Analysis | 2019-09-16 | Paper |
| A quadratic construction for Zielonka automata with acyclic communication structure Theoretical Computer Science | 2014-09-02 | Paper |
Research outcomes over time
This page was built for person: Siddharth Krishna
