Michel de Rougemont

2008
35	EE	Sébastien Hémon, Michel de Rougemont, Miklos Santha: Approximate Nash Equilibria for Multi-player Games. SAGT 2008: 267-278
34	EE	Huang Cheng, Li Jun, Michel de Rougemont: Approximate Validity of XML Streaming Data. WAIM 2008: 149-156
33	EE	Michel de Rougemont, Adrien Vieilleribière: Approximate schemas, source-consistency and query answering. J. Intell. Inf. Syst. 31(2): 127-146 (2008)
2007
32	EE	Claudia Hess, Michel de Rougemont: A Model of Uncertainty for Near-Duplicates in Document Reference Networks. ECDL 2007: 449-453
31	EE	Michel de Rougemont, Adrien Vieilleribière: Approximate Data Exchange. ICDT 2007: 44-58
30	EE	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	EE	Frédéric Magniez, Michel de Rougemont: Property Testing of Regular Tree Languages. Algorithmica 49(2): 127-146 (2007)
2006
28	EE	Eldar Fischer, Frédéric Magniez, Michel de Rougemont: Approximate Satisfiability and Equivalence. LICS 2006: 421-430
27	EE	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	EE	Frédéric Magniez, Michel de Rougemont: Property Testing of Regular Tree Languages. ICALP 2004: 932-944
25	EE	Utsav Boobna, Michel de Rougemont: Correctors for XML Data. XSym 2004: 97-111
24	EE	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	EE	Hans Leiß, Michel de Rougemont: Automata on Lempel-ziv Compressed Strings. CSL 2003: 384-396
22	EE	Foto N. Afrati, Hans Leiß, Michel de Rougemont: Definability and Compression. Fundam. Inform. 56(1-2): 155-180 (2003)
2002
21	EE	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	EE	Foto N. Afrati, Irène Guessarian, Michel de Rougemont: The expressiveness of DAC. Theor. Comput. Sci. 286(1): 3-32 (2002)
2001
19	EE	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	EE	Foto N. Afrati, Hans Leiß, Michel de Rougemont: Definability and Compression. LICS 2000: 63-73
17	EE	David Gross, Michel de Rougemont: Uniform Generation in Spatial Constraint Databases and Applications. PODS 2000: 254-259
1999
16	EE	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	EE	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	EE	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	EE	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	[17]
9	David Gross-Amblard	[27]
10	Irène Guessarian	[12] [20]
11	Sébastien Hémon	[35]
12	Claudia Hess	[32]
13	Sergei Ivanov	[15] [16]
14	Li Jun	[34]
15	Sophie Laplante	[19] [21] [30]
16	Richard Lassaigne	[19] [21] [30]
17	Hans Leiß	[18] [22] [23]
18	Frédéric Magniez	[19] [21] [24] [26] [28] [29] [30]
19	Sylvain Peyronnet	[19] [21] [30]
20	Miklos Santha	[9] [35]
21	Christoph Schlieder	[13]
22	Anatol Slissenko	[11]
23	Adrien Vieilleribière	[31] [33]

Colors in the list of coauthors