Get started
Author

C. Aiswarya

Games on Graphs: From Logic and Automata to Algorithms
2023 · Fijalkow, Nathanaël, Aiswarya, C., et al. · arXiv (Cornell University) · 67
PDF
MSO Decidability of Multi-Pushdown Systems via Split-Width
2012 · Aiswarya Cyriac, Paul Gastin, et al. · Lecture notes in computer science · 44
Model Checking Languages of Data Words
2012 · Benedikt Bollig, Aiswarya Cyriac, et al. · Lecture notes in computer science · 27
PDF
Verifying Communicating Multi-pushdown Systems via Split-Width
2014 · C. Aiswarya, Paul Gastin, et al. · Lecture notes in computer science · 25
An automata-theoretic approach to the verification of distributed algorithms
2017 · C. Aiswarya, Benedikt Bollig, et al. · Information and Computation · 14
PDF
Recency-Bounded Verification of Dynamic Database-Driven Systems
2016 · Parosh Aziz Abdulla, C. Aiswarya, et al. · ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS) · 14
Temporal Logics for Concurrent Recursive Programs: Satisfiability and Model Checking
2011 · Benedikt Bollig, Aiswarya Cyriac, et al. · Lecture notes in computer science · 12
Dynamic Communicating Automata and Branching High-Level MSCs
2013 · Benedikt Bollig, Aiswarya Cyriac, et al. · Lecture notes in computer science · 11
Verification of communicating recursive programs via split-width
2014 · Aiswarya Cyriac · theses.fr (ABES) · 10
PDF
Reasoning About Distributed Systems: WYSIWYG (Invited Talk)
2014 · Cyriac, Aiswarya, Gastin, Paul · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 10
PDF
Temporal logics for concurrent recursive programs: Satisfiability and model checking
2014 · Benedikt Bollig, Aiswarya Cyriac, et al. · Journal of Applied Logic · 7
Lower Bound for the Communication Complexity of the Russian Cards Problem
2008 · Cyriac, Aiswarya, Krishnan, K. Murali · arXiv (Cornell University) · 7
PDF
Controllers for the Verification of Communicating Multi-pushdown Systems
2014 · C. Aiswarya, Paul Gastin, et al. · Lecture notes in computer science · 6
On the Satisfiability of Context-free String Constraints with Subword-Ordering
2022 · C. Aiswarya, Soumodev Mal, et al. · ACM/IEEE Symposium on Logic in Computer Science (LICS) · 5
On Network Topologies and the Decidability of Reachability Problem
2021 · C. Aiswarya · Lecture notes in computer science · 5
Data Communicating Processes with Unreliable Channels
2016 · Parosh Aziz Abdulla, C. Aiswarya, et al. · ACM/IEEE Symposium on Logic in Computer Science (LICS) · 5
Edit Distance of Finite State Transducers
2024 · Aiswarya, C., Manuel, Amaldev, et al. · arXiv (Cornell University) · 4
PDF
Deciding Conjugacy of a Rational Relation
2024 · C. Aiswarya, Amaldev Manuel, et al. · Lecture notes in computer science · 4
PDF
How treewidth helps in verification
2022 · C Aiswarya · ACM SIGLOG News · 4
Complexity of Reachability for Data-Aware Dynamic Systems
2018 · Parosh Aziz Abdulla, C. Aiswarya, et al. · International Conference on Application of Concurrency to System Design (ACSD) · 4
Data Multi-Pushdown Automata
2017 · Abdulla, Parosh Aziz, Aiswarya, C., et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 4
PDF
Reasoning about distributed systems: WYSIWYG
2014 · C. Aiswarya, Paul Gastin · 4
Verifying Communicating Multi-pushdown Systems
2014 · Aiswarya Cyriac, Paul Gastin, et al. · 3
Reachability in Database-driven Systems with Numerical Attributes under Recency Bounding
2019 · Parosh Aziz Abdulla, C. Aiswarya, et al. · ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS) · 2
Recency-Bounded Verification of Dynamic Database-Driven Systems (Extended Version)
2016 · Abdulla, Parosh Aziz, Aiswarya, C., et al. · arXiv (Cornell University) · 2
PDF
Works count: 46
Citation count: 304
H-index: 10
I10-index: 10
Year
Topic
Type