Aiswarya Cyriac
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2011–2013
Best venue rank
C
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2013 | LATA | Dynamic Communicating Automata and Branching High-Level MSCs. | Benedikt Bollig, Aiswarya Cyriac, Loc Hlout, Ahmet Kara, Thomas Schwentick |
| 2012 | CONCUR | MSO Decidability of Multi-Pushdown Systems via Split-Width. | Aiswarya Cyriac, Paul Gastin, K. Narayan Kumar |
| 2012 | FOSSACS | Model Checking Languages of Data Words. | Benedikt Bollig, Aiswarya Cyriac, Paul Gastin, K. Narayan Kumar |
| 2011 | MFCS | Temporal Logics for Concurrent Recursive Programs: Satisfiability and Model Checking. | Benedikt Bollig, Aiswarya Cyriac, Paul Gastin, Marc Zeitoun |