Swarat Chaudhuri
From MaRDI portal
Person:1653003
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 |
|---|---|---|
| Automata vs linear-programming discounted-sum inclusion Computer Aided Verification | 2023-05-05 | Paper |
| scientific article; zbMATH DE number 7577577 (Why is no real title available?) | 2022-08-30 | Paper |
| Comparator automata in quantitative verification | 2018-07-17 | Paper |
| A fixpoint calculus for local and global program flows Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2017-08-21 | Paper |
| Regular Real Analysis 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science | 2017-07-03 | Paper |
| Abstract interpretation with infinitesimals. Towards scalability in nonstandard static analysis Lecture Notes in Computer Science | 2016-03-23 | Paper |
| Continuity analysis of programs Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2015-06-11 | Paper |
| Robustness analysis of networked systems Lecture Notes in Computer Science | 2014-11-03 | Paper |
| Subcubic algorithms for recursive state machines Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2014-09-12 | Paper |
| Robustness analysis of string transducers Automated Technology for Verification and Analysis | 2014-07-08 | Paper |
| Consistency analysis of decision-making programs Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | 2014-04-10 | Paper |
| A constraint-based approach to solving games on infinite graphs Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | 2014-04-10 | Paper |
| Bridging Boolean and quantitative synthesis using smoothed proof search Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | 2014-04-10 | Paper |
| CONCUR 2003 - Concurrency Theory Lecture Notes in Computer Science | 2010-03-30 | Paper |
| Temporal reasoning for procedural programs Lecture Notes in Computer Science | 2010-01-14 | Paper |
| Branching Pushdown Tree Automata FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science | 2008-04-17 | Paper |
| scientific article; zbMATH DE number 5245252 (Why is no real title available?) | 2008-03-06 | Paper |
| Languages of Nested Trees Computer Aided Verification | 2007-09-05 | Paper |
| Model Checking on Trees with Path Equivalences Tools and Algorithms for the Construction and Analysis of Systems | 2007-09-03 | Paper |
| Tools and Algorithms for the Construction and Analysis of Systems Lecture Notes in Computer Science | 2005-11-10 | Paper |
Research outcomes over time
This page was built for person: Swarat Chaudhuri
