Michel de Rougemont

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