C. Aiswarya

33 papers A* 5A 1B 4C 2Journal 14Unranked 5
YearRankTypeTitle / Venue / Authors
2026 J jnl
Bounded Treewidth, Multiple Context-Free Grammars, and Downward Closures.
Proc. ACM Program. Lang.
C. Aiswarya, Pascal Baumann, Prakash Saivasan, Lia Schütze, Georg Zetzsche
2025 — ed.
45th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2025, BITS Pilani, K K Birla Goa Campus, India, December 17-19, 2025
FSTTCS
C. Aiswarya, Ruta Mehta, Subhajit Roy
2025 J jnl
Bounded treewidth, multiple context-free grammars, and downward closures.
CoRR
C. Aiswarya, Pascal Baumann, Prakash Saivasan, Lia Schütze, Georg Zetzsche
2025 — ed.
Logic and Its Applications - 11th Indian Conference, ICLA 2025, Kolkata, India, February 3-5, 2025, Proceedings
ICLA
C. Aiswarya, Prabal Kumar Sen, Shashi Mohan Srivastava
2024 C conf
Deciding Conjugacy of a Rational Relation - (Extended Abstract).
DLT
C. Aiswarya, Amaldev Manuel, Saina Sunny
2024 A* conf
Edit Distance of Finite State Transducers.
ICALP
C. Aiswarya, Amaldev Manuel, Saina Sunny
2024 J jnl
Edit Distance of Finite State Transducers.
CoRR
C. Aiswarya, Amaldev Manuel, Saina Sunny
2024 A conf
Satisfiability of Context-Free String Constraints with Subword-Ordering and Transducers.
STACS
C. Aiswarya, Soumodev Mal, Prakash Saivasan
2024 J jnl
Satisfiability of Context-free String Constraints with Subword-ordering and Transducers.
CoRR
C. Aiswarya, Soumodev Mal, Prakash Saivasan
2024 J jnl
Verification of Unary Communicating Datalog Programs.
Proc. ACM Manag. Data
C. Aiswarya, Diego Calvanese, Francesco Di Cosmo, Marco Montali
2023 J jnl
Deciding Conjugacy of a Rational Relation.
CoRR
C. Aiswarya, Amaldev Manuel, Saina Sunny
2022 C conf
Checking Regular Invariance Under Tightly-Controlled String Modifications.
DLT
C. Aiswarya, Sahil Mhaskar, M. Praveen
2022 J jnl
How treewidth helps in verification.
ACM SIGLOG News
C. Aiswarya
2022 A* conf
On the Satisfiability of Context-free String Constraints with Subword-Ordering.
LICS
C. Aiswarya, Soumodev Mal, Prakash Saivasan
2022 J jnl
Theory research in India: 2019-2022.
Commun. ACM
C. Aiswarya, Vikraman Arvind, Saket Saurabh
2020 — conf
On Network Topologies and the Decidability of Reachability Problem.
NETYS
C. Aiswarya
2020 — conf
Weighted Tiling Systems for Graphs: Evaluation Complexity.
FSTTCS
C. Aiswarya, Paul Gastin
2020 J jnl
Weighted Tiling Systems for Graphs: Evaluation Complexity.
CoRR
C. Aiswarya, Paul Gastin
2019 A* conf
Reachability in Database-driven Systems with Numerical Attributes under Recency Bounding.
PODS
Parosh Aziz Abdulla, C. Aiswarya, Mohamed Faouzi Atig, Marco Montali
2018 J jnl
An automata-theoretic approach to the verification of distributed algorithms.
Inf. Comput.
C. Aiswarya, Benedikt Bollig, Paul Gastin
2018 — conf
Complexity of Reachability for Data-Aware Dynamic Systems.
ACSD
Parosh Aziz Abdulla, C. Aiswarya, Mohamed Faouzi Atig, Marco Montali, Othmane Rezine
2017 B conf
Data Multi-Pushdown Automata.
CONCUR
Parosh Aziz Abdulla, C. Aiswarya, Mohamed Faouzi Atig
2016 A* conf
Data Communicating Processes with Unreliable Channels.
LICS
Parosh Aziz Abdulla, C. Aiswarya, Mohamed Faouzi Atig
2016 J jnl
Nested Words for Order-2 Pushdown Systems.
CoRR
C. Aiswarya, Paul Gastin, Prakash Saivasan
2016 J jnl
Recency-Bounded Verification of Dynamic Database-Driven Systems (Extended Version).
CoRR
Parosh Aziz Abdulla, C. Aiswarya, Mohamed Faouzi Atig, Marco Montali, Othmane Rezine
2016 A* conf
Recency-Bounded Verification of Dynamic Database-Driven Systems.
PODS
Parosh Aziz Abdulla, C. Aiswarya, Mohamed Faouzi Atig, Marco Montali, Othmane Rezine
2015 B conf
An Automata-Theoretic Approach to the Verification of Distributed Algorithms.
CONCUR
C. Aiswarya, Benedikt Bollig, Paul Gastin
2015 J jnl
An Automata-Theoretic Approach to the Verification of Distributed Algorithms.
CoRR
C. Aiswarya, Benedikt Bollig, Paul Gastin
2015 — conf
Model Checking Dynamic Distributed Systems.
NETYS
C. Aiswarya
2014 B conf
Controllers for the Verification of Communicating Multi-pushdown Systems.
CONCUR
C. Aiswarya, Paul Gastin, K. Narayan Kumar
2014 — conf
Reasoning About Distributed Systems: WYSIWYG (Invited Talk).
FSTTCS
C. Aiswarya, Paul Gastin
2014 J jnl
Temporal logics for concurrent recursive programs: Satisfiability and model checking.
J. Appl. Log.
Benedikt Bollig, C. Aiswarya, Paul Gastin, Marc Zeitoun
2014 B conf
Verifying Communicating Multi-pushdown Systems via Split-Width.
ATVA
C. Aiswarya, Paul Gastin, K. Narayan Kumar