The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Michel de Rougemont: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

  32. Statistic Analysis for Probabilistic Processes. [Citation Graph (, )][DBLP]


  33. Approximate Structural Consistency. [Citation Graph (, )][DBLP]


  34. Approximate Validity of XML Streaming Data. [Citation Graph (, )][DBLP]


  35. Approximate Nash Equilibria for Multi-player Games. [Citation Graph (, )][DBLP]


  36. Property Testing of Regular Tree Languages. [Citation Graph (, )][DBLP]


Search in 0.042secs, Finished in 0.045secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002