Prakash Saivasan

Available identifiers

zbMath Open saivasan.prakashMaRDI QIDQ2208301

List of research outcomes

Publication	Date of Publication	Type
Complexity of Liveness in Parameterized Systems	2023-02-03	Paper
Liveness in broadcast networks	2022-09-27	Paper
Verifying quantitative temporal properties of procedural programs	2021-08-04	Paper
https://portal.mardi4nfdi.de/entity/Q5009453	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Prakash Saivasan