Aiswarya Cyriac

Publication Activity (10 Years)

Years Active: 2008-2013
Publications (10 Years): 0

Top Topics

Top Venues

École normale supérieure de Cachan, France (PHD)

Education History

École normale supérieure de Cachan, France

PHD

Publications

Benedikt Bollig, Aiswarya Cyriac, Loïc Hélouët, Ahmet Kara, Thomas Schwentick
Dynamic Communicating Automata and Branching High-Level MSCs. LATA (2013)
Benedikt Bollig, Aiswarya Cyriac, Paul Gastin, K. Narayan Kumar
Model Checking Languages of Data Words. FoSSaCS (2012)
Aiswarya Cyriac, Paul Gastin, K. Narayan Kumar
MSO Decidability of Multi-Pushdown Systems via Split-Width. CONCUR (2012)
Benedikt Bollig, Aiswarya Cyriac, Paul Gastin, Marc Zeitoun
Temporal Logics for Concurrent Recursive Programs: Satisfiability and Model Checking. MFCS (2011)
Aiswarya Cyriac, K. Murali Krishnan
Lower Bound for the Communication Complexity of the Russian Cards Problem CoRR (2008)