The following pages link to Siddharth Krishna (Q407516):
Displaying 6 items.
- A quadratic construction for Zielonka automata with acyclic communication structure (Q407518) (← links)
- Automated Verification of Concurrent Search Structures (Q5000450) (← links)
- On the tensor rank of $3\times 3$ permanent and determinant (Q5003343) (← links)
- Verifying Visibility-Based Weak Consistency (Q5041095) (← links)
- Local Reasoning for Global Graph Properties (Q5041096) (← links)
- Learning Shape Analysis (Q5233237) (← links)
