Prakash Saivasan

Available identifiers

zbMath Open saivasan.prakashMaRDI QIDQ2208301

List of research outcomes

Publication	Date of Publication	Type
On the satisfiability of context-free string constraints with subword-ordering	2024-12-06	Paper
Complexity of Liveness in Parameterized Systems	2023-02-03	Paper
Liveness in broadcast networks	2022-09-27	Paper
https://portal.mardi4nfdi.de/entity/Q5009453	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	2020-11-02	Paper
On the Complexity of Bounded Context Switching.	2020-05-27	Paper
https://portal.mardi4nfdi.de/entity/Q5111264	2020-05-26	Paper
Acceleration in multi-pushdown systems	2019-09-17	Paper
Fine-grained complexity of safety verification	2019-09-16	Paper
The complexity of regular abstractions of one-counter languages	2018-04-23	Paper
https://portal.mardi4nfdi.de/entity/Q2978551	2017-04-25	Paper
ADJACENT ORDERED MULTI-PUSHDOWN SYSTEMS	2015-04-23	Paper
Adjacent Ordered Multi-Pushdown Systems	2013-06-28	Paper
Linear-Time Model-Checking for Multithreaded Programs under Scope-Bounding	2012-11-21	Paper

Research outcomes over time

This page was built for person: Prakash Saivasan