A. R. Balasubramanian

MaRDI QIDQ2029597zbMATH OpenFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Parameterized complexity of safety of threshold automata	2026-03-23	Paper
Decidability and complexity of decision problems for affine continuous vass	2025-06-18	Paper
Reconfigurable broadcast networks and asynchronous shared-memory systems are equivalent	2024-12-06	Paper
Complexity of coverability in depth-bounded processes	2024-08-13	Paper
scientific article; zbMATH DE number 7799613 (Why is no real title available?)	2024-02-05	Paper
Parameterized analysis of reconfigurable broadcast networks Lecture Notes in Computer Science	2024-01-23	Paper
Finding Cut-Offs in Leaderless Rendez-Vous Protocols is Easy Logical Methods in Computer Science	2023-10-23	Paper
scientific article; zbMATH DE number 7730619 (Why is no real title available?) (available as arXiv preprint)	2023-08-21	Paper
Coefficient synthesis for threshold automata Lecture Notes in Computer Science	2023-07-21	Paper
Complexity of Verification and Synthesis of Threshold Automata 1517.68221	2022-12-22	Paper
Characterizing Consensus in the Heard-Of Model (available as arXiv preprint)	2022-07-18	Paper
Parameterized verification of coverability in well-structured broadcast networks (available as arXiv preprint)	2021-12-17	Paper
Parameterized verification of coverability in well-structured broadcast networks	2021-12-17	Paper
Finding cut-offs in leaderless rendez-vous protocols is easy (available as arXiv preprint)	2021-10-18	Paper
Parameterized verification of coverability in infinite state broadcast networks Information and Computation	2021-06-03	Paper
Complexity of controlled bad sequences over finite sets of \(\mathbb{N}^d\) Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science	2021-01-21	Paper
Parameterized verification of synchronization in constrained reconfigurable broadcast networks (available as arXiv preprint)	2019-09-16	Paper
Generalized threshold arrangements	2019-04-18	Paper

Research outcomes over time

This page was built for person: A. R. Balasubramanian