Aiswarya Cyriac

From MaRDI portal
Person:472792

Available identifiers

zbMath Open cyriac.aiswaryaMaRDI QIDQ472792

List of research outcomes





PublicationDate of PublicationType
https://portal.mardi4nfdi.de/entity/Q32992212020-07-19Paper
Temporal logics for concurrent recursive programs: satisfiability and model checking2014-11-20Paper
Dynamic Communicating Automata and Branching High-Level MSCs2013-03-18Paper
MSO Decidability of Multi-Pushdown Systems via Split-Width2012-09-25Paper
Model Checking Languages of Data Words2012-06-22Paper
Temporal Logics for Concurrent Recursive Programs: Satisfiability and Model Checking2011-08-17Paper

Research outcomes over time

This page was built for person: Aiswarya Cyriac

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:472792&oldid=11965755"
Powered by MediaWiki