| MSO decidability of multi-pushdown systems via split-width A Cyriac, P Gastin, KN Kumar International Conference on Concurrency Theory, 547-561, 2012 | 54 | 2012 |
| Model checking languages of data words B Bollig, A Cyriac, P Gastin, KN Kumar International Conference on Foundations of Software Science and …, 2012 | 32 | 2012 |
| Verifying communicating multi-pushdown systems via split-width C Aiswarya, P Gastin, KN Kumar International Symposium on Automated Technology for Verification and …, 2014 | 28* | 2014 |
| Recency-bounded verification of dynamic database-driven systems PA Abdulla, C Aiswarya, MF Atig, M Montali, O Rezine Proceedings of the 35th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of …, 2016 | 26 | 2016 |
| An Automata-Theoretic Approach to the Verification of Distributed Algorithms C Aiswarya, B Bollig, P Gastin arXiv preprint arXiv:1504.06534, 2015 | 25 | 2015 |
| Temporal logics for concurrent recursive programs: Satisfiability and model checking B Bollig, A Cyriac, P Gastin, M Zeitoun Journal of Applied Logic 12 (4), 395-416, 2014 | 20 | 2014 |
| Dynamic communicating automata and branching high-level MSCs B Bollig, A Cyriac, L Hélouët, A Kara, T Schwentick International Conference on Language and Automata Theory and Applications …, 2013 | 17 | 2013 |
| Verification of communicating recursive programs via split-width A Cyriac École normale supérieure de Cachan-ENS Cachan, 2014 | 16 | 2014 |
| Reasoning about distributed systems: WYSIWYG C Aiswarya, P Gastin 34th Conference on Foundations of Software Technology and Theoretical …, 2014 | 13* | 2014 |
| Controllers for the verification of communicating multi-pushdown systems C Aiswarya, P Gastin, KN Kumar CONCUR 2014–Concurrency Theory, 297-311, 2014 | 9 | 2014 |
| Data multi-pushdown automata PA Abdulla, C Aiswarya, MF Atig 28th International Conference on Concurrency Theory (CONCUR 2017), 2017 | 6 | 2017 |
| Data Communicating Processes with Unreliable Channels PA Abdulla, C Aiswarya, MF Atig Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer …, 2016 | 6 | 2016 |
| Lower bound for the communication complexity of the Russian cards problem A Cyriac, KM Krishnan arXiv preprint arXiv:0805.1974, 2008 | 6 | 2008 |
| On Network Topologies and the Decidability of Reachability Problem C Aiswarya International Conference on Networked Systems, 3-10, 2020 | 5 | 2020 |
| Complexity of reachability for data-aware dynamic systems PA Abdulla, C Aiswarya, MF Atig, M Montali, O Rezine 2018 18th International Conference on Application of Concurrency to System …, 2018 | 4 | 2018 |
| Temporal logics for concurrent recursive programs A Cyriac Rapport de Master, Master Parisien de Recherche en Informatique, Paris, France, 2010 | 3 | 2010 |
| Reachability in database-driven systems with numerical attributes under recency bounding PA Abdulla, C Aiswarya, MF Atig, M Montali Proceedings of the 38th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of …, 2019 | 2 | 2019 |
| Recency-Bounded Verification of Dynamic Database-Driven Systems (Extended Version) PA Abdulla, C Aiswarya, MF Atig, M Montali, O Rezine arXiv preprint arXiv:1604.03413, 2016 | 2 | 2016 |
| Nested words for order-2 pushdown systems C Aiswarya, P Gastin, P Saivasan arXiv preprint arXiv:1609.06290, 2016 | 1 | 2016 |
| Model Checking Dynamic Distributed Systems C Aiswarya International Conference on Networked Systems, 48-61, 2015 | 1 | 2015 |
Narayan KumarProfessor, Chennai Mathematical InstituteBestätigte E-Mail-Adresse bei cmi.ac.in
