Michel de Rougemont

Available identifiers

zbMath Open de-rougemont.michelWikidataQ87895480 ScholiaQ87895480MaRDI QIDQ264561

List of research outcomes

Publication	Date of Publication	Type
Testing membership for timed automata	2023-11-21	Paper
Streaming Property Testing of Visibly Pushdown Languages *	2018-03-02	Paper
Probabilistic abstraction for model checking	2017-07-12	Paper
Approximate consistency for transformations on words and trees	2016-03-31	Paper
Approximation of Large Probabilistic Networks by Structured Population Protocols	2013-09-20	Paper
Approximate Verification and Enumeration Problems	2012-09-21	Paper
Approximate Satisfiability and Equivalence	2011-01-17	Paper
Approximate Structural Consistency	2010-01-28	Paper
Approximate Nash Equilibria for Multi-player Games	2008-05-02	Paper
Property testing of regular tree languages	2007-11-28	Paper
Computer Science Logic	2007-06-21	Paper
Uniform generation in spatial constraint databases and applications	2006-06-30	Paper
https://portal.mardi4nfdi.de/entity/Q5703113	2005-11-08	Paper
Automata, Languages and Programming	2005-08-24	Paper
https://portal.mardi4nfdi.de/entity/Q4827463	2004-11-18	Paper
https://portal.mardi4nfdi.de/entity/Q4470488	2004-07-01	Paper
https://portal.mardi4nfdi.de/entity/Q4432978	2004-02-22	Paper
The expressiveness of DAC	2002-08-13	Paper
Interactive protocols over the reals	2000-11-20	Paper
https://portal.mardi4nfdi.de/entity/Q4264114	2000-02-17	Paper
On the complexity of partially observed Markov decision processes	1997-02-27	Paper
https://portal.mardi4nfdi.de/entity/Q4877500	1996-05-13	Paper
https://portal.mardi4nfdi.de/entity/Q4846469	1995-08-27	Paper
The functional dimension of inductive definitions	1992-09-27	Paper
Second-order and Inductive Definability on Finite Structures	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3780504	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3780493	1986-01-01	Paper

Research outcomes over time

This page was built for person: Michel de Rougemont