Michel de Rougemont

Publication Activity (10 Years)

Years Active: 1984-2023
Publications (10 Years): 15

Top Topics

Dense Subgraphs

Top Venues

Proc. VLDB Endow.

Publications

Richard Lassaigne, Michel de Rougemont
Testing membership for timed automata. Acta Informatica 60 (4) (2023)
Fuheng Zhao, Divyakant Agrawal, Amr El Abbadi, Claire Mathieu, Ahmed Metwally, Michel de Rougemont
A Detailed Analysis of the SpaceSaving± Family of Algorithms with Bounded Deletions. CoRR (2023)
Claire Mathieu, Michel de Rougemont
Testing frequency distributions in a stream. CoRR (2023)
Fuheng Zhao, Divyakant Agrawal, Amr El Abbadi, Ahmed Metwally, Claire Mathieu, Michel de Rougemont
Errata for \. Proc. VLDB Endow. 17 (4) (2023)
Claire Mathieu, Michel de Rougemont
Large very dense subgraphs in a stream of edges. Netw. Sci. 9 (4) (2021)
Claire Mathieu, Michel de Rougemont
Large Very Dense Subgraphs in a Stream of Edges. CoRR (2020)
Claire Mathieu, Michel de Rougemont
Large Very Dense Subgraphs in a Stream of Edges. FODS (2020)
Richard Lassaigne, Michel de Rougemont
Testing Membership for Timed Automata. CoRR (2019)
Michel de Rougemont, Guillaume Vimont
The content correlation of multiple streaming edges. IEEE BigData (2018)
Michel de Rougemont, Guillaume Vimont
The content correlation of multiple streaming edges. CoRR (2018)
Michel de Rougemont, Guillaume Vimont
Approximate Integration of Streaming Data. ISIP (2018)
Michel de Rougemont, Guillaume Vimont
Approximate Integration of streaming data. EDA (2017)
Michel de Rougemont, Guillaume Vimont
Approximate Integration of streaming data. CoRR (2017)
Nathanaël François, Frédéric Magniez, Michel de Rougemont, Olivier Serre
Streaming Property Testing of Visibly Pushdown Languages. ESA (2016)
Michel de Rougemont, Adrien Vieilleribière
Approximate consistency for transformations on words and trees. Theor. Comput. Sci. 626 (2016)
Michel de Rougemont, Guillaume Vimont
The value of analytical queries on Social Networks. IEEE BigData (2015)
Nathanaël François, Frédéric Magniez, Michel de Rougemont, Olivier Serre
Streaming Property Testing of Visibly Pushdown Languages. CoRR (2015)
Nathanaël François, Frédéric Magniez, Olivier Serre, Michel de Rougemont
Streaming Property Testing of Visibly Pushdown Languages. Electron. Colloquium Comput. Complex. 22 (2015)
Michel de Rougemont
StatsReduce in the cloud for approximate Analytics. DSAA (2014)
Marie-Claude Gaudel, Richard Lassaigne, Frédéric Magniez, Michel de Rougemont
Some approximations in Model Checking and Testing CoRR (2013)
Michel de Rougemont, Mathieu Tracol
Approximation of Large Probabilistic Networks by Structured Population Protocols. CAI (2013)
Michel de Rougemont, Phuong Thao Cao
Approximate answers to OLAP queries on streaming data warehouses. DOLAP (2012)
Sylvain Peyronnet, Michel de Rougemont, Yann Strozecki
Approximate Verification and Enumeration Problems. ICTAC (2012)
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)
Frédéric Magniez, Michel de Rougemont, Miklos Santha, Xavier Zeitoun
The complexity of approximate Nash equilibrium in congestion games with negative delays CoRR (2011)
Michel de Rougemont, Adrien Vieilleribière
Approximate Structural Consistency. SOFSEM (2010)
Eldar Fischer, Frédéric Magniez, Michel de Rougemont
Approximate Satisfiability and Equivalence. SIAM J. Comput. 39 (6) (2010)
Michel de Rougemont, Mathieu Tracol
Statistic Analysis for Probabilistic Processes. LICS (2009)
Michel de Rougemont, Adrien Vieilleribière
Approximate schemas, source-consistency and query answering. J. Intell. Inf. Syst. 31 (2) (2008)
Huang Cheng, Li Jun, Michel de Rougemont
Approximate Validity of XML Streaming Data. WAIM (2008)
Sébastien Hémon, Michel de Rougemont, Miklos Santha
Approximate Nash Equilibria for Multi-player Games. SAGT (2008)
Michel de Rougemont, Adrien Vieilleribière
Approximate Data Exchange. ICDT (2007)
Frédéric Magniez, Michel de Rougemont
Property Testing of Regular Tree Languages. Algorithmica 49 (2) (2007)
Claudia Hess, Michel de Rougemont
A Model of Uncertainty for Near-Duplicates in Document Reference Networks. ECDL (2007)
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)
David Gross-Amblard, Michel de Rougemont
Uniform generation in spatial constraint databases and applications. J. Comput. Syst. Sci. 72 (4) (2006)
Eldar Fischer, Frédéric Magniez, Michel de Rougemont
Approximate Satisfiability and Equivalence. LICS (2006)
Eldar Fischer, Frédéric Magniez, Michel de Rougemont
Property and Equivalence Testing on Strings Electron. Colloquium Comput. Complex. (096) (2004)
Frédéric Magniez, Michel de Rougemont
Property Testing of Regular Tree Languages. ICALP (2004)
Utsav Boobna, Michel de Rougemont
Correctors for XML Data. XSym (2004)
Foto N. Afrati, Hans Leiß, Michel de Rougemont
Definability and Compression. Fundam. Informaticae 56 (1-2) (2003)
Hans Leiß, Michel de Rougemont
Automata on Lempel-ziv Compressed Strings. CSL (2003)
Foto N. Afrati, Irène Guessarian, Michel de Rougemont
The expressiveness of DAC. Theor. Comput. Sci. 286 (1) (2002)
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)
Sophie Laplante, Richard Lassaigne, Frédéric Magniez, Sylvain Peyronnet, Michel de Rougemont
Probabilistic abstraction for model checking: An approach based on property testing Electron. Colloquium Comput. Complex. 8 (51) (2001)
David Gross, Michel de Rougemont
Uniform Generation in Spatial Constraint Databases and Applications. PODS (2000)
Foto N. Afrati, Hans Leiß, Michel de Rougemont
Definability and Compression. LICS (2000)
Sergei Ivanov, Michel de Rougemont
Interactive protocols over the reals. Comput. Complex. 8 (4) (1999)
Dima Burago, Michel de Rougemont
On the Average-Case Complexity of the Graph Reliability Problem on Gaussian Distributions. Fundam. Informaticae 36 (4) (1998)
Sergei Ivanov, Michel de Rougemont
Interactive Protocols on the Reals. STACS (1998)
Michel de Rougemont, Christoph Schlieder
Spatial Navigation with Uncertain Deviations. AAAI/IAAI (1997)
Foto N. Afrati, Irène Guessarian, Michel de Rougemont
The Expressiveness of Datalog Circuits (DAC). MFCS (1997)
Dima Burago, Michel de Rougemont, Anatol Slissenko
On the Complexity of Partially Observed Markov Decision Processes. Theor. Comput. Sci. 157 (2) (1996)
Michel de Rougemont
The Reliability of Queries. PODS (1995)
Jean Marc Couveignes, Juan Francisco Díaz-Frías, Michel de Rougemont, Miklos Santha
On the Interactive Complexity of Graph Reliability. FSTTCS (1994)
Michel de Rougemont
The Functional Dimension of Inductive Definitions. Theor. Comput. Sci. 101 (1) (1992)
Michel de Rougemont, Juan Francisco Díaz-Frías
A theory of robust planning. ICRA (1992)
Michel de Rougemont
Fixed-point semantics and the representation of algorithms on large data. VLDB (1988)
Michel de Rougemont
Constructive Second-Order Proofs in Logical Databases. IJCAI (1987)
Michel de Rougemont
Second-order and Inductive Definability on Finite Structures. Math. Log. Q. 33 (1) (1987)
Michel de Rougemont
Théorie et pratique de la compilation intensionnelle de requêtes. BDA (1986)
Michel de Rougemont
On the Quantification of Knowledge. AIMSA (1986)
Michel de Rougemont
Intégrité des Bases de Données logiques. BDA (1985)
Michel de Rougemont
From Logic to Logic Programming. AIMSA (1984)
Michel de Rougemont
Uniform Definability on Finite Structures with Successor STOC (1984)