The following pages link to Prakash Saivasan (Q2208301):
Displayed 15 items.
- Acceleration in multi-pushdown systems (Q2272932) (← links)
- Liveness in broadcast networks (Q2676223) (← links)
- (Q2978551) (← links)
- The complexity of regular abstractions of one-counter languages (Q4635876) (← links)
- Linear-Time Model-Checking for Multithreaded Programs under Scope-Bounding (Q4649294) (← links)
- Verifying quantitative temporal properties of procedural programs (Q5009429) (← links)
- (Q5009453) (← links)
- (Q5111264) (← links)
- On the Complexity of Bounded Context Switching. (Q5111714) (← links)
- Verification of Asynchronous Programs with Nested Locks (Q5136300) (← links)
- ADJACENT ORDERED MULTI-PUSHDOWN SYSTEMS (Q5247176) (← links)
- Adjacent Ordered Multi-Pushdown Systems (Q5300829) (← links)
- Complexity of Liveness in Parameterized Systems (Q5875672) (← links)
- Fine-grained complexity of safety verification (Q5919003) (← links)
- Fine-grained complexity of safety verification (Q5919616) (← links)