Michel de Rougemont Home Page Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2013
i4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Marie-Claude Gaudel, Richard Lassaigne, Frédéric Magniez, Michel de Rougemont: Some approximations in Model Checking and Testing. CoRR abs/1304.5199 (2013)
2012
c28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Michel de Rougemont, Phuong Thao Cao: Approximate answers to OLAP queries on streaming data warehouses. DOLAP 2012: 121-128
c27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Sylvain Peyronnet, Michel de Rougemont, Yann Strozecki: Approximate Verification and Enumeration Problems. ICTAC 2012: 228-242
2011
c26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Frédéric Magniez, Michel de Rougemont, Miklos Santha, Xavier Zeitoun: The Complexity of Approximate Nash Equilibrium in Congestion Games with Negative Delays. WINE 2011: 266-277
i3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Frédéric Magniez, Michel de Rougemont, Miklos Santha, Xavier Zeitoun: The complexity of approximate Nash equilibrium in congestion games with negative delays. CoRR abs/1102.1161 (2011)
2010
j11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Eldar Fischer, Frédéric Magniez, Michel de Rougemont: Approximate Satisfiability and Equivalence. SIAM J. Comput. 39(6): 2251-2281 (2010)
c25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Michel de Rougemont, Adrien Vieilleribière: Approximate Structural Consistency. SOFSEM 2010: 685-696
2009
c24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Michel de Rougemont, Mathieu Tracol: Statistic Analysis for Probabilistic Processes. LICS 2009: 299-308
2008
j10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Michel de Rougemont, Adrien Vieilleribière: Approximate schemas, source-consistency and query answering. J. Intell. Inf. Syst. 31(2): 127-146 (2008)
c23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Sébastien Hémon, Michel de Rougemont, Miklos Santha: Approximate Nash Equilibria for Multi-player Games. SAGT 2008: 267-278
c22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Huang Cheng, Li Jun, Michel de Rougemont: Approximate Validity of XML Streaming Data. WAIM 2008: 149-156
2007
j9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Frédéric Magniez, Michel de Rougemont: Property Testing of Regular Tree Languages. Algorithmica 49(2): 127-146 (2007)
j8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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)
c21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Claudia Hess, Michel de Rougemont: A Model of Uncertainty for Near-Duplicates in Document Reference Networks. ECDL 2007: 449-453
c20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Michel de Rougemont, Adrien Vieilleribière: Approximate Data Exchange. ICDT 2007: 44-58
2006
j7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
David Gross-Amblard, Michel de Rougemont: Uniform generation in spatial constraint databases and applications. J. Comput. Syst. Sci. 72(4): 576-591 (2006)
c19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Eldar Fischer, Frédéric Magniez, Michel de Rougemont: Approximate Satisfiability and Equivalence. LICS 2006: 421-430
2005
p1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Michel de Rougemont: Logic, Randomness and Cognition. Logic, Thought and Action 2005: 497-506
2004
c18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Frédéric Magniez, Michel de Rougemont: Property Testing of Regular Tree Languages. ICALP 2004: 932-944
c17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Utsav Boobna, Michel de Rougemont: Correctors for XML Data. XSym 2004: 97-111
i2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Eldar Fischer, Frédéric Magniez, Michel de Rougemont: Property and Equivalence Testing on Strings. Electronic Colloquium on Computational Complexity (ECCC)(096) (2004)
2003
j6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Foto N. Afrati, Hans Leiß, Michel de Rougemont: Definability and Compression. Fundam. Inform. 56(1-2): 155-180 (2003)
c16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Hans Leiß, Michel de Rougemont: Automata on Lempel-ziv Compressed Strings. CSL 2003: 384-396
2002
j5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Foto N. Afrati, Irène Guessarian, Michel de Rougemont: The expressiveness of DAC. Theor. Comput. Sci. 286(1): 3-32 (2002)
c15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
2001
i1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Foto N. Afrati, Hans Leiß, Michel de Rougemont: Definability and Compression. LICS 2000: 63-73
c13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
David Gross, Michel de Rougemont: Uniform Generation in Spatial Constraint Databases and Applications. PODS 2000: 254-259
1999
j4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Sergei Ivanov, Michel de Rougemont: Interactive protocols over the reals. Computational Complexity 8(4): 330-345 (1999)
1998
j3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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)
c12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Sergei Ivanov, Michel de Rougemont: Interactive Protocols on the Reals. STACS 1998: 499-510
1997
c11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Michel de Rougemont, Christoph Schlieder: Spatial Navigation with Uncertain Deviations. AAAI/IAAI 1997: 649-654
c10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Foto N. Afrati, Irène Guessarian, Michel de Rougemont: The Expressiveness of Datalog Circuits (DAC). MFCS 1997: 119-128
1996
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Michel de Rougemont: The Reliability of Queries. PODS 1995: 286-291
1994
c8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jean Marc Couveignes, Juan Francisco Díaz-Frías, Michel de Rougemont, Miklos Santha: On the Interactive Complexity of Graph Reliability. FSTTCS 1994: 12-23
1992
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Michel de Rougemont: The Functional Dimension of Inductive Definitions. Theor. Comput. Sci. 101(1): 143-158 (1992)
1988
c7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Michel de Rougemont: Fixed-point semantics and the representation of algorithms on large data. VLDB 1988: 264-272
1987
c6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Michel de Rougemont: Constructive Second-Order Proofs in Logical Databases. IJCAI 1987: 993-996
1986
c5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Michel de Rougemont: On the Quantification of Knowledge. AIMSA 1986: 245-253
c4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Michel de Rougemont: Théorie et pratique de la compilation intensionnelle de requêtes. BDA 1986: 109-132
1985
c3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Michel de Rougemont: Intégrité des Bases de Données logiques. BDA 1985
1984
c2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Michel de Rougemont: From Logic to Logic Programming. AIMSA 1984: 85-92
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Michel de Rougemont: Uniform Definability on Finite Structures with Successor. STOC 1984: 409-417

Coauthor Index

1Foto N. Afrati
[j6] [j5] [c14] [c10]
2Utsav Boobna
[c17]
3Dima Burago
[j3] [j2]
4Phuong Thao Cao
[c28]
5Huang Cheng
[c22]
6Jean Marc Couveignes
[c8]
7Juan Francisco Díaz-Frías
[c8]
8Eldar Fischer
[j11] [c19] [i2]
9Marie-Claude Gaudel
[i4]
10David Gross-Amblard (David Gross)
[j7] [c13]
11Irène Guessarian
[j5] [c10]
12Claudia Hess
[c21]
13Sébastien Hémon
[c23]
14Sergei Ivanov
[j4] [c12]
15Li Jun
[c22]
16Sophie Laplante
[j8] [c15] [i1]
17Richard Lassaigne
[i4] [j8] [c15] [i1]
18Hans Leiß
[j6] [c16] [c14]
19Frédéric Magniez
[i4] [c26] [i3] [j11] [j9] [j8] [c19] [c18] [i2] [c15] [i1]
20Sylvain Peyronnet
[c27] [j8] [c15] [i1]
21Miklos Santha
[c26] [i3] [c23] [c8]
22Christoph Schlieder
[c11]
23Anatol Slissenko
[j2]
24Yann Strozecki
[c27]
25Mathieu Tracol
[c24]
26Adrien Vieilleribière
[c25] [j10] [c20]
27Xavier Zeitoun
[c26] [i3]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Sat May 18 14:02:21 2013 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page