A. R. Balasubramanian

Identifiers

No identifiers captured yet.

Papers (3)

1. The Complexity of Nested Reset Counter Systems cs.FL · 2026 · author #1
2. State Space Estimation for DPOR-based Model Checkers(Extended Version) cs.PL · 2025 · author #1
3. 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