Swarat Chaudhuri

Available identifiers

zbMath Open chaudhuri.swaratMaRDI QIDQ1653003

List of research outcomes

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
Bridging boolean and quantitative synthesis using smoothed proof search	2014-04-10	Paper
A constraint-based approach to solving games on infinite graphs	2014-04-10	Paper
Consistency analysis of decision-making programs	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

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Swarat Chaudhuri