C. Aiswarya

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Weighted tiling systems for graphs: evaluation complexity	2026-03-23	Paper
On the satisfiability of context-free string constraints with subword-ordering	2024-12-06	Paper
Checking regular invariance under tightly-controlled string modifications	2022-08-11	Paper
Data multi-pushdown automata	2020-05-27	Paper
Data communicating processes with unreliable channels Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science	2018-04-23	Paper
An automata-theoretic approach to the verification of distributed algorithms Information and Computation	2018-03-21	Paper
An automata-theoretic approach to the verification of distributed algorithms Information and Computation	2018-03-21	Paper
An automata-theoretic approach to the verification of distributed algorithms	2017-09-12	Paper
Verifying communicating multi-pushdown systems via split-width Automated Technology for Verification and Analysis	2015-12-17	Paper
Controllers for the verification of communicating multi-pushdown systems CONCUR 2014 – Concurrency Theory	2014-09-15	Paper

Research outcomes over time

This page was built for person: C. Aiswarya