A. R. Balasubramanian
Scholar

A. R. Balasubramanian

Google Scholar ID: hTlnXbwAAAAJ
Max-Planck Institute for Software Systems
VerificationModel CheckingAutomata theory
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
97
 
H-index
7
 
i10-index
4
 
Publications
20
 
Co-authors
11
list available
Contact
CVOpen ↗GitHubOpen ↗
Publications
4 items
Hypersequent Calculi Have Ackermannian Complexity
2026
Cited
0
General Decidability Results for Systems with Continuous Counters
2025
Cited
0
Presburger Functional Synthesis: Complexity and Tractable Normal Forms
2025
Cited
0
Complexity of Verification and Synthesis of Threshold Automata
Automated Technology for Verification and Analysis · 2020
Cited
11
Resume (English only)
Research Experience
  • Currently a post-doctoral researcher at the Max Planck Institute for Software Systems (MPI-SWS), working with Rupak Majumdar.
Education
  • Ph.D. from the Technical University of Munich under Prof. Javier Esparza (2019 - 2024).
Background
  • Research interests include parameterized verification, automata theory, counter models and well-quasi orders.
Co-authors
11 total
Chana Weil-Kennedy
Chana Weil-Kennedy
CEA List
Javier Esparza
Javier Esparza
Professor of Computer Science, Technical University of Munich
Co-author 3
Co-author 3
Co-author 4
Co-author 4
Co-author 5
Co-author 5
Co-author 6
Co-author 6
Georg Zetzsche
Georg Zetzsche
MPI-SWS, Germany
Rupak Majumdar
Rupak Majumdar
MPI for Software Systems