Michel de Rougemont

According to our database, Michel de Rougemont authored at least 52 papers between 1984 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

Errata for \.

Fuheng Zhao, Divyakant Agrawal, Amr El Abbadi, Ahmed Metwally, Claire Mathieu, Michel de Rougemont

Proc. VLDB Endow., December, 2023

Testing membership for timed automata.

Richard Lassaigne, Michel de Rougemont

Acta Informatica, December, 2023

A Detailed Analysis of the SpaceSaving± Family of Algorithms with Bounded Deletions.

Fuheng Zhao, Divyakant Agrawal, Amr El Abbadi, Claire Mathieu, Ahmed Metwally, Michel de Rougemont

CoRR, 2023

Testing frequency distributions in a stream.

Claire Mathieu, Michel de Rougemont

CoRR, 2023

2021

Large very dense subgraphs in a stream of edges.

Claire Mathieu, Michel de Rougemont

Netw. Sci., 2021

2018

Approximate Integration of Streaming Data.

Michel de Rougemont, Guillaume Vimont

Proceedings of the Information Search, Integration, and Personalization, 2018

The content correlation of multiple streaming edges.

Michel de Rougemont, Guillaume Vimont

Proceedings of the IEEE International Conference on Big Data (IEEE BigData 2018), 2018

2016

Approximate consistency for transformations on words and trees.

Michel de Rougemont, Adrien Vieilleribière

Theor. Comput. Sci., 2016

2015

Streaming Property Testing of Visibly Pushdown Languages.

Nathanaël François, Frédéric Magniez, Olivier Serre, Michel de Rougemont

Electron. Colloquium Comput. Complex., 2015

The value of analytical queries on Social Networks.

Michel de Rougemont, Guillaume Vimont

Proceedings of the 2015 IEEE International Conference on Big Data (IEEE BigData 2015), Santa Clara, CA, USA, October 29, 2015

2014

StatsReduce in the cloud for approximate Analytics.

Michel de Rougemont

Proceedings of the International Conference on Data Science and Advanced Analytics, 2014

2013

Some approximations in Model Checking and Testing

Marie-Claude Gaudel, Richard Lassaigne, Frédéric Magniez, Michel de Rougemont

CoRR, 2013

Approximation of Large Probabilistic Networks by Structured Population Protocols.

Michel de Rougemont, Mathieu Tracol

Proceedings of the Algebraic Informatics - 5th International Conference, 2013

2012

Approximate Verification and Enumeration Problems.

Sylvain Peyronnet, Michel de Rougemont, Yann Strozecki

Proceedings of the Theoretical Aspects of Computing - ICTAC 2012, 2012

Approximate answers to OLAP queries on streaming data warehouses.

Michel de Rougemont, Phuong Thao Cao

Proceedings of the DOLAP 2012, 2012

2011

The Complexity of Approximate Nash Equilibrium in Congestion Games with Negative Delays.

Frédéric Magniez, Michel de Rougemont, Miklos Santha, Xavier Zeitoun

Proceedings of the Internet and Network Economics - 7th International Workshop, 2011

2010

Approximate Satisfiability and Equivalence.

Eldar Fischer, Frédéric Magniez, Michel de Rougemont

SIAM J. Comput., 2010

Approximate Structural Consistency.

Michel de Rougemont, Adrien Vieilleribière

Proceedings of the SOFSEM 2010: Theory and Practice of Computer Science, 2010

2009

Statistic Analysis for Probabilistic Processes.

Michel de Rougemont, Mathieu Tracol

Proceedings of the 24th Annual IEEE Symposium on Logic in Computer Science, 2009

2008

Approximate schemas, source-consistency and query answering.

Michel de Rougemont, Adrien Vieilleribière

J. Intell. Inf. Syst., 2008

Approximate Validity of XML Streaming Data.

Huang Cheng, Li Jun, Michel de Rougemont

Proceedings of the Ninth International Conference on Web-Age Information Management, 2008

Approximate Nash Equilibria for Multi-player Games.

Sébastien Hémon, Michel de Rougemont, Miklos Santha

Proceedings of the Algorithmic Game Theory, First International Symposium, 2008

2007

Probabilistic abstraction for model checking: An approach based on property testing.

Sophie Laplante, Richard Lassaigne, Frédéric Magniez, Sylvain Peyronnet, Michel de Rougemont

ACM Trans. Comput. Log., 2007

Property Testing of Regular Tree Languages.

Frédéric Magniez, Michel de Rougemont

Algorithmica, 2007

Approximate Data Exchange.

Michel de Rougemont, Adrien Vieilleribière

Proceedings of the Database Theory, 2007

A Model of Uncertainty for Near-Duplicates in Document Reference Networks.

Claudia Hess, Michel de Rougemont

Proceedings of the Research and Advanced Technology for Digital Libraries, 2007

2006

Uniform generation in spatial constraint databases and applications.

David Gross-Amblard, Michel de Rougemont

J. Comput. Syst. Sci., 2006

2005

Logic, Randomness and Cognition.

Michel de Rougemont

Proceedings of the Logic, Thought and Action, 2005

2004

Property and Equivalence Testing on Strings

Eldar Fischer, Frédéric Magniez, Michel de Rougemont

Electron. Colloquium Comput. Complex., 2004

Correctors for XML Data.

Utsav Boobna, Michel de Rougemont

Proceedings of the Database and XML Technologies, 2004

Logic and complexity.

Richard Lassaigne, Michel de Rougemont

Discrete mathematics and theoretical computer science, Springer, ISBN: 978-1-85233-565-6, 2004

2003

Definability and Compression.

Foto N. Afrati, Hans Leiß, Michel de Rougemont

Fundam. Informaticae, 2003

Automata on Lempel-ziv Compressed Strings.

Hans Leiß, Michel de Rougemont

Proceedings of the Computer Science Logic, 17th International Workshop, 2003

2002

The expressiveness of DAC.

Foto N. Afrati, Irène Guessarian, Michel de Rougemont

Theor. Comput. Sci., 2002

1999

Interactive protocols over the reals.

Sergei Ivanov, Michel de Rougemont

Comput. Complex., 1999

1998

On the Average-Case Complexity of the Graph Reliability Problem on Gaussian Distributions.

Dima Burago, Michel de Rougemont

Fundam. Informaticae, 1998

Interactive Protocols on the Reals.

Sergei Ivanov, Michel de Rougemont

Proceedings of the STACS 98, 1998

1997

The Expressiveness of Datalog Circuits (DAC).

Foto N. Afrati, Irène Guessarian, Michel de Rougemont

Proceedings of the Mathematical Foundations of Computer Science 1997, 1997

Spatial Navigation with Uncertain Deviations.

Michel de Rougemont, Christoph Schlieder

Proceedings of the Fourteenth National Conference on Artificial Intelligence and Ninth Innovative Applications of Artificial Intelligence Conference, 1997

1996

On the Complexity of Partially Observed Markov Decision Processes.

Dima Burago, Michel de Rougemont, Anatol Slissenko

Theor. Comput. Sci., 1996

1995

The Reliability of Queries.

Michel de Rougemont

Proceedings of the Fourteenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1995

1994

On the Interactive Complexity of Graph Reliability.

Jean Marc Couveignes, Juan Francisco Díaz-Frías, Michel de Rougemont, Miklos Santha

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1994

1992

The Functional Dimension of Inductive Definitions.

Michel de Rougemont

Theor. Comput. Sci., 1992

A theory of robust planning.

Michel de Rougemont, Juan Francisco Díaz-Frías

Proceedings of the 1992 IEEE International Conference on Robotics and Automation, 1992

1988

Fixed-point semantics and the representation of algorithms on large data.

Michel de Rougemont

Proceedings of the Fourteenth International Conference on Very Large Data Bases, August 29, 1988

1987

Second-order and Inductive Definability on Finite Structures.

Michel de Rougemont

Math. Log. Q., 1987

Constructive Second-Order Proofs in Logical Databases.

Michel de Rougemont

Proceedings of the 10th International Joint Conference on Artificial Intelligence. Milan, 1987

1986

Théorie et pratique de la compilation intensionnelle de requêtes.

Michel de Rougemont

Proceedings of the 2^èmes Journées Bases de Données Avancés, 1986

On the Quantification of Knowledge.

Michel de Rougemont

Proceedings of the Artificial Intelligence II: Methodology, Systems, Applications, 1986

1985

Intégrité des Bases de Données logiques.

Michel de Rougemont

Proceedings of the Journées Bases de Données Avancés, 1985

1984

Uniform Definability on Finite Structures with Successor

Michel de Rougemont

Proceedings of the 16th Annual ACM Symposium on Theory of Computing, April 30, 1984

From Logic to Logic Programming.

Michel de Rougemont

Proceedings of the Artificial Intelligence: Methodology, Systems, Applications, 1984