Prakash Saivasan

MaRDI QIDQ2208301zbMATH 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
Equivalence of deterministic weighted real-time one-counter automata	2025-12-04	Paper
Satisfiability of context-free string constraints with subword-ordering and transducers	2025-11-10	Paper
On the satisfiability of context-free string constraints with subword-ordering	2024-12-06	Paper
Complexity of Liveness in Parameterized Systems (available as arXiv preprint)	2023-02-03	Paper
Liveness in broadcast networks Computing	2022-09-27	Paper
Regular separability of well-structured transition systems (available as arXiv preprint)	2021-08-04	Paper
Verifying quantitative temporal properties of procedural programs	2021-08-04	Paper
Verification of asynchronous programs with nested locks	2020-11-25	Paper
Fine-grained complexity of safety verification Journal of Automated Reasoning	2020-11-02	Paper
On the Complexity of Bounded Context Switching. (available as arXiv preprint)	2020-05-27	Paper
scientific article; zbMATH DE number 7204383 (Why is no real title available?) (available as arXiv preprint)	2020-05-26	Paper
Acceleration in multi-pushdown systems	2019-09-17	Paper
Fine-grained complexity of safety verification Tools and Algorithms for the Construction and Analysis of Systems	2019-09-16	Paper
The complexity of regular abstractions of one-counter languages Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science	2018-04-23	Paper
On bounded reachability analysis of shared memory systems	2017-04-25	Paper
Adjacent ordered multi-pushdown systems International Journal of Foundations of Computer Science	2015-04-23	Paper
Adjacent ordered multi-pushdown systems Developments in Language Theory	2013-06-28	Paper
Linear-time model-checking for multithreaded programs under scope-bounding Automated Technology for Verification and Analysis	2012-11-21	Paper

Research outcomes over time

This page was built for person: Prakash Saivasan