Publications

A full publication list is available at dblp.

Conference Publications

• General Decidability Results for Systems with Continuous Counters [arXiv]
  A. R. Balasubramanian, M. Hague, R. Majumdar, R. S. Thinniyam and G. Zetzsche
  Accepted at the Principles of Programming Languages (POPL) 2026

• Presburger Functional Synthesis: Complexity and Tractable Normal Forms [arXiv]
  S. Akshay, A. R. Balasubramanian, S. Chakraborty and G. Zetzsche
  International Conference on the Principles of Knowledge Representation and Reasoning (KR) 2025

• Pushdown Model Checking above the Cubic Bottleneck [paper]
  A. R. Balasubramanian, D. Chistikov and R. Majumdar
  Logic in Computer Science (LICS) 2025
  Distinguished Paper Award, Invited to TheoretiCS special issue

• Decidability and Complexity of Decision Problems for Affine Continuous VASS [paper] [arXiv]
  A. R. Balasubramanian
  Logic in Computer Science (LICS) 2024

• Reachability in Continuous Pushdown VASS [paper] [arXiv]
  A. R. Balasubramanian, R. Majumdar, R. S. Thinniyam, G. Zetzsche
  Principles of Programming Languages (POPL) 2024

• Coefficient Synthesis for Threshold Automata [paper] [arXiv]
  A. R. Balasubramanian
  Reachability Problems (RP) 2022
  Invited to Fundamenta Infomaticae special issue

• Complexity of Coverability in Depth-Bounded Processes [paper]
  A. R. Balasubramanian
  International Conference on Concurrency Theory (CONCUR) 2022

• Parameterized Analysis of Reconfigurable Broadcast Networks [paper] [arXiv] [erratum]
  A. R. Balasubramanian, L. Guillou, C. Weil-Kennedy
  International Conference on Foundations of Software Science and Computation Structures (FoSSaCS) 2022

• Complexity of Coverability in Bounded Path Broadcast Networks [paper]
  A. R. Balasubramanian
  Foundations of Software Technology & Theoretical Computer Science (FSTTCS) 2021

• Reconfigurable Broadcast Networks and Asynchronous Shared-Memory Systems are Equivalent [paper] [arXiv]
  A. R. Balasubramanian, C. Weil-Kennedy
  Symposium on Games, Automata, Logics and Formal Verification (GandALF): 2021

• Adaptive Synchronisation of Pushdown Automata [paper] [arXiv]
  A. R. Balasubramanian, K. S. Thejaswini
  International Conference on Concurrency Theory (CONCUR) 2021

• Decidability and Complexity in Weakening and Contraction Hypersequent Substructural Logics [paper] [arXiv]
  A. R. Balasubramanian, T. Lang, R. Ramanayake
  Logic in Computer Science (LICS) 2021

• Finding Cut-Offs in Leaderless Rendez-Vous Protocols is Easy [paper] [arXiv]
  A. R. Balasubramanian, J. Esparza and M. Raskin
  International Conference on Foundations of Software Science and Computation Structures (FoSSaCS) 2021
  Invited to LMCS special issue

• Parameterized Complexity of Safety of Threshold Automata [paper] [code]
  A. R. Balasubramanian
  Foundations of Software Technology & Theoretical Computer Science (FSTTCS) 2020

• Complexity of Verification and Synthesis of Threshold Automata [paper] [arXiv] [code]
  A. R. Balasubramanian, J. Esparza, and M. Lazić
  International Symposium on Automated Technology for Verification and Analysis (ATVA) 2020

• Characterizing consensus in the Heard-Of model [paper] [arXiv]
  A. R. Balasubramanian, I. Walukiewicz
  International Conference on Concurrency Theory (CONCUR) 2020

• Complexity of controlled bad sequences over finite sets of Nd [paper] [arXiv]
  A. R. Balasubramanian
  Logic in Computer Science (LICS) 2020

• Parameterized Verification of Coverability in Well-Structured Broadcast Networks [paper]
  A. R. Balasubramanian
  Symposium on Games, Automata, Logics and Formal Verification (GandALF): 2021
  Invited to Information and Computation special issue

• Parameterized Verification of Synchronization in Constrained Reconfigurable Broadcast Networks [paper] [arXiv]
  A. R. Balasubramanian, N. Bertrand, and N. Markey
  Tools and Algorithms for the Construction and Analysis of Systems (TACAS) 2018

Journal Publications

• Finding Cut-Offs in Leaderless Rendez-Vous Protocols is Easy [paper]
  A. R. Balasubramanian, J. Esparza and M. Raskin
  Logical Methods in Computer Science 2023
  Special issue of FoSSaCS 2021

• Parameterized Verification of Coverability in Infinite State Broadcast Networks [paper]
  A. R. Balasubramanian
  Information and Computation 2020
  Special issue of GandALF 2018