C. Aiswarya

Identifiers

• name variant C. Aiswarya 0.60 · backfill

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

• 1504.06534 #1 · backfill · confidence 0.70 C. Aiswarya

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