dblp.uni-trier.dewww.uni-trier.de

Michel de Rougemont Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2008
35EESébastien Hémon, Michel de Rougemont, Miklos Santha: Approximate Nash Equilibria for Multi-player Games. SAGT 2008: 267-278
34EEHuang Cheng, Li Jun, Michel de Rougemont: Approximate Validity of XML Streaming Data. WAIM 2008: 149-156
33EEMichel de Rougemont, Adrien Vieilleribière: Approximate schemas, source-consistency and query answering. J. Intell. Inf. Syst. 31(2): 127-146 (2008)
2007
32EEClaudia Hess, Michel de Rougemont: A Model of Uncertainty for Near-Duplicates in Document Reference Networks. ECDL 2007: 449-453
31EEMichel de Rougemont, Adrien Vieilleribière: Approximate Data Exchange. ICDT 2007: 44-58
30EESophie 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)
29EEFrédéric Magniez, Michel de Rougemont: Property Testing of Regular Tree Languages. Algorithmica 49(2): 127-146 (2007)
2006
28EEEldar Fischer, Frédéric Magniez, Michel de Rougemont: Approximate Satisfiability and Equivalence. LICS 2006: 421-430
27EEDavid Gross-Amblard, Michel de Rougemont: Uniform generation in spatial constraint databases and applications. J. Comput. Syst. Sci. 72(4): 576-591 (2006)
2004
26EEFrédéric Magniez, Michel de Rougemont: Property Testing of Regular Tree Languages. ICALP 2004: 932-944
25EEUtsav Boobna, Michel de Rougemont: Correctors for XML Data. XSym 2004: 97-111
24EEEldar Fischer, Frédéric Magniez, Michel de Rougemont: Property and Equivalence Testing on Strings Electronic Colloquium on Computational Complexity (ECCC)(096): (2004)
2003
23EEHans Leiß, Michel de Rougemont: Automata on Lempel-ziv Compressed Strings. CSL 2003: 384-396
22EEFoto N. Afrati, Hans Leiß, Michel de Rougemont: Definability and Compression. Fundam. Inform. 56(1-2): 155-180 (2003)
2002
21EESophie 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
20EEFoto N. Afrati, Irène Guessarian, Michel de Rougemont: The expressiveness of DAC. Theor. Comput. Sci. 286(1): 3-32 (2002)
2001
19EESophie 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
18EEFoto N. Afrati, Hans Leiß, Michel de Rougemont: Definability and Compression. LICS 2000: 63-73
17EEDavid Gross, Michel de Rougemont: Uniform Generation in Spatial Constraint Databases and Applications. PODS 2000: 254-259
1999
16EESergei Ivanov, Michel de Rougemont: Interactive protocols over the reals. Computational Complexity 8(4): 330-345 (1999)
1998
15EESergei 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
12EEFoto N. Afrati, Irène Guessarian, Michel de Rougemont: The Expressiveness of Datalog Circuits (DAC). MFCS 1997: 119-128
1996
11EEDima Burago, Michel de Rougemont, Anatol Slissenko: On the Complexity of Partially Observed Markov Decision Processes. Theor. Comput. Sci. 157(2): 161-183 (1996)
1995
10EEMichel de Rougemont: The Reliability of Queries. PODS 1995: 286-291
1994
9EEJean 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
7EEMichel 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

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)