| 2024 | DLT | Deciding Conjugacy of a Rational Relation - (Extended Abstract). | C. Aiswarya, Amaldev Manuel, Saina Sunny |
| 2024 | ICALP | Edit Distance of Finite State Transducers. | C. Aiswarya, Amaldev Manuel, Saina Sunny |
| 2024 | STACS | Satisfiability of Context-Free String Constraints with Subword-Ordering and Transducers. | C. Aiswarya, Soumodev Mal, Prakash Saivasan |
| 2022 | DLT | Checking Regular Invariance Under Tightly-Controlled String Modifications. | C. Aiswarya, Sahil Mhaskar, M. Praveen |
| 2022 | LICS | On the Satisfiability of Context-free String Constraints with Subword-Ordering. | C. Aiswarya, Soumodev Mal, Prakash Saivasan |
| 2019 | PODS | Reachability in Database-driven Systems with Numerical Attributes under Recency Bounding. | Parosh Aziz Abdulla, C. Aiswarya, Mohamed Faouzi Atig, Marco Montali |
| 2017 | CONCUR | Data Multi-Pushdown Automata. | Parosh Aziz Abdulla, C. Aiswarya, Mohamed Faouzi Atig |
| 2016 | LICS | Data Communicating Processes with Unreliable Channels. | Parosh Aziz Abdulla, C. Aiswarya, Mohamed Faouzi Atig |
| 2016 | PODS | Recency-Bounded Verification of Dynamic Database-Driven Systems. | Parosh Aziz Abdulla, C. Aiswarya, Mohamed Faouzi Atig, Marco Montali, Othmane Rezine |
| 2015 | CONCUR | An Automata-Theoretic Approach to the Verification of Distributed Algorithms. | C. Aiswarya, Benedikt Bollig, Paul Gastin |
| 2014 | ATVA | Verifying Communicating Multi-pushdown Systems via Split-Width. | C. Aiswarya, Paul Gastin, K. Narayan Kumar |
| 2014 | CONCUR | Controllers for the Verification of Communicating Multi-pushdown Systems. | C. Aiswarya, Paul Gastin, K. Narayan Kumar |