A. R. Balasubramanian
Identifiers
No identifiers captured yet.
Papers (3)
- The Complexity of Nested Reset Counter Systems cs.FL · 2026 · author #1
- State Space Estimation for DPOR-based Model Checkers(Extended Version) cs.PL · 2025 · author #1
- Parameterized verification of synchronization in constrained reconfigurable broadcast networks cs.LO · 2018 · author #1
Mentions
No mention provenance yet.
Frequent Coauthors
- Franzisco Schmidt 1 shared papers
- Minjian Zhang 1 shared papers
- Mohammad Hossein Khoshechin Jorshari 1 shared papers
- Nathalie Bertrand 1 shared papers
- Nicolas Markey 1 shared papers
- Rupak Majumdar 1 shared papers
- Umang Mathur 1 shared papers