C. Aiswarya

Available identifiers

zbMath Open aiswarya.cyriacMaRDI QIDQ1706161

List of research outcomes

Publication	Date of Publication	Type
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	2018-04-23	Paper
An automata-theoretic approach to the verification of distributed algorithms	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	2015-12-17	Paper
Controllers for the verification of communicating multi-pushdown systems	2014-09-15	Paper

Research outcomes over time

This page was built for person: C. Aiswarya