C. Aiswarya

Identifiers

No identifiers captured yet.

Papers (3)

1. Nested Words for Order-2 Pushdown Systems cs.FL · 2016 · author #1
2. Recency-Bounded Verification of Dynamic Database-Driven Systems (Extended Version) cs.DB · 2016 · author #2
3. An Automata-Theoretic Approach to the Verification of Distributed Algorithms cs.LO · 2015 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Paul Gastin 2 shared papers
• Benedikt Bollig 1 shared papers
• Marco Montali 1 shared papers
• Mohamed Faouzi Atig 1 shared papers
• Othmane Rezine 1 shared papers
• Parosh Aziz Abdulla 1 shared papers
• Prakash Saivasan 1 shared papers