Michel de Rougemont

	2010
37		Michel de Rougemont, Adrien Vieilleribière: Approximate Structural Consistency. SOFSEM 2010: 685-696
	2009
36		Michel de Rougemont, Mathieu Tracol: Statistic Analysis for Probabilistic Processes. LICS 2009: 299-308
	2008
35		Sébastien Hémon, Michel de Rougemont, Miklos Santha: Approximate Nash Equilibria for Multi-player Games. SAGT 2008: 267-278
34		Huang Cheng, Li Jun, Michel de Rougemont: Approximate Validity of XML Streaming Data. WAIM 2008: 149-156
33		Michel de Rougemont, Adrien Vieilleribière: Approximate schemas, source-consistency and query answering. J. Intell. Inf. Syst. 31(2): 127-146 (2008)
	2007
32		Claudia Hess, Michel de Rougemont: A Model of Uncertainty for Near-Duplicates in Document Reference Networks. ECDL 2007: 449-453
31		Michel de Rougemont, Adrien Vieilleribière: Approximate Data Exchange. ICDT 2007: 44-58
30		Sophie Laplante, Richard Lassaigne, Frédéric Magniez, Sylvain Peyronnet, Michel de Rougemont: Probabilistic abstraction for model checking: An approach based on property testing. ACM Trans. Comput. Log. 8(4): (2007)
29		Frédéric Magniez, Michel de Rougemont: Property Testing of Regular Tree Languages. Algorithmica 49(2): 127-146 (2007)
	2006
28		Eldar Fischer, Frédéric Magniez, Michel de Rougemont: Approximate Satisfiability and Equivalence. LICS 2006: 421-430
27		David Gross-Amblard, Michel de Rougemont: Uniform generation in spatial constraint databases and applications. J. Comput. Syst. Sci. 72(4): 576-591 (2006)
	2004
26		Frédéric Magniez, Michel de Rougemont: Property Testing of Regular Tree Languages. ICALP 2004: 932-944
25		Utsav Boobna, Michel de Rougemont: Correctors for XML Data. XSym 2004: 97-111
24		Eldar Fischer, Frédéric Magniez, Michel de Rougemont: Property and Equivalence Testing on Strings Electronic Colloquium on Computational Complexity (ECCC)(096): (2004)
	2003
23		Hans Leiß, Michel de Rougemont: Automata on Lempel-ziv Compressed Strings. CSL 2003: 384-396
22		Foto N. Afrati, Hans Leiß, Michel de Rougemont: Definability and Compression. Fundam. Inform. 56(1-2): 155-180 (2003)
	2002
21		Sophie Laplante, Richard Lassaigne, Frédéric Magniez, Sylvain Peyronnet, Michel de Rougemont: Probabilistic Abstraction for Model Checking: An Approach Based on Property Testing. LICS 2002: 30-39
20		Foto N. Afrati, Irène Guessarian, Michel de Rougemont: The expressiveness of DAC. Theor. Comput. Sci. 286(1): 3-32 (2002)
	2001
19		Sophie Laplante, Richard Lassaigne, Frédéric Magniez, Sylvain Peyronnet, Michel de Rougemont: Probabilistic abstraction for model checking: An approach based on property testing Electronic Colloquium on Computational Complexity (ECCC) 8(51): (2001)
	2000
18		Foto N. Afrati, Hans Leiß, Michel de Rougemont: Definability and Compression. LICS 2000: 63-73
17		David Gross, Michel de Rougemont: Uniform Generation in Spatial Constraint Databases and Applications. PODS 2000: 254-259
	1999
16		Sergei Ivanov, Michel de Rougemont: Interactive protocols over the reals. Computational Complexity 8(4): 330-345 (1999)
	1998
15		Sergei Ivanov, Michel de Rougemont: Interactive Protocols on the Reals. STACS 1998: 499-510
14		Dima Burago, Michel de Rougemont: On the Average-Case Complexity of the Graph Reliability Problem on Gaussian Distributions. Fundam. Inform. 36(4): 307-315 (1998)
	1997
13		Michel de Rougemont, Christoph Schlieder: Spatial Navigation with Uncertain Deviations. AAAI/IAAI 1997: 649-654
12		Foto N. Afrati, Irène Guessarian, Michel de Rougemont: The Expressiveness of Datalog Circuits (DAC). MFCS 1997: 119-128
	1996
11		Dima Burago, Michel de Rougemont, Anatol Slissenko: On the Complexity of Partially Observed Markov Decision Processes. Theor. Comput. Sci. 157(2): 161-183 (1996)
	1995
10		Michel de Rougemont: The Reliability of Queries. PODS 1995: 286-291
	1994
9		Jean Marc Couveignes, Juan Francisco Diaz-Frias, Michel de Rougemont, Miklos Santha: On the Interactive Complexity of Graph Reliability. FSTTCS 1994: 12-23
	1992
8		Michel de Rougemont: The Functional Dimension of Inductive Definitions. Theor. Comput. Sci. 101(1): 143-158 (1992)
	1988
7		Michel de Rougemont: Fixed-point semantics and the representation of algorithms on large data. VLDB 1988: 264-272
	1987
6		Michel de Rougemont: Constructive Second-Order Proofs in Logical Databases. IJCAI 1987: 993-996
	1986
5		Michel de Rougemont: On the Quantification of Knowledge. AIMSA 1986: 245-253
4		Michel de Rougemont: Théorie et pratique de la compilation intensionnelle de requêtes. BDA 1986: 109-132
	1985
3		Michel de Rougemont: Intégrité des Bases de Données logiques. BDA 1985
	1984
2		Michel de Rougemont: From Logic to Logic Programming. AIMSA 1984: 85-92
1		Michel de Rougemont: Uniform Definability on Finite Structures with Successor STOC 1984: 409-417

Coauthor Index

1	Foto N. Afrati	[12] [18] [20] [22]
2	Utsav Boobna	[25]
3	Dima Burago	[11] [14]
4	Huang Cheng	[34]
5	Jean Marc Couveignes	[9]
6	Juan Francisco Diaz-Frias	[9]
7	Eldar Fischer	[24] [28]
8	David Gross-Amblard (David Gross)	[17] [27]
9	Irène Guessarian	[12] [20]
10	Sébastien Hémon	[35]
11	Claudia Hess	[32]
12	Sergei Ivanov	[15] [16]
13	Li Jun	[34]
14	Sophie Laplante	[19] [21] [30]
15	Richard Lassaigne	[19] [21] [30]
16	Hans Leiß	[18] [22] [23]
17	Frédéric Magniez	[19] [21] [24] [26] [28] [29] [30]
18	Sylvain Peyronnet	[19] [21] [30]
19	Miklos Santha	[9] [35]
20	Christoph Schlieder	[13]
21	Anatol Slissenko	[11]
22	Mathieu Tracol	[36]
23	Adrien Vieilleribière	[31] [33] [37]

Colors in the list of coauthors