Swarat Chaudhuri

Available identifiers

Publication	Date of Publication	Type
Automata vs linear-programming discounted-sum inclusion	2023-05-05	Paper
https://portal.mardi4nfdi.de/entity/Q5101346	2022-08-30	Paper
Comparator automata in quantitative verification	2018-07-17	Paper
A fixpoint calculus for local and global program flows	2017-08-21	Paper
Regular Real Analysis	2017-07-03	Paper
Abstract Interpretation with Infinitesimals	2016-03-23	Paper
Continuity analysis of programs	2015-06-11	Paper
Robustness Analysis of Networked Systems	2014-11-03	Paper
Subcubic algorithms for recursive state machines	2014-09-12	Paper
Robustness Analysis of String Transducers	2014-07-08	Paper
Consistency analysis of decision-making programs	2014-04-10	Paper
A constraint-based approach to solving games on infinite graphs	2014-04-10	Paper
Bridging boolean and quantitative synthesis using smoothed proof search	2014-04-10	Paper
CONCUR 2003 - Concurrency Theory	2010-03-30	Paper
Temporal Reasoning for Procedural Programs	2010-01-14	Paper
Branching Pushdown Tree Automata	2008-04-17	Paper
https://portal.mardi4nfdi.de/entity/Q5447361	2008-03-06	Paper
Languages of Nested Trees	2007-09-05	Paper
Model Checking on Trees with Path Equivalences	2007-09-03	Paper
Tools and Algorithms for the Construction and Analysis of Systems	2005-11-10	Paper

This page was built for person: Swarat Chaudhuri