| 2025 | ICDE | The SpaceSaving± Family of Algorithms for Data Streams with Bounded Deletions. | Fuheng Zhao, Divyakant Agrawal, Amr El Abbadi, Claire Mathieu, Ahmed Metwally, Michel de Rougemont |
| 2016 | ESA | Streaming Property Testing of Visibly Pushdown Languages. | Nathanal Franois, Frdric Magniez, Michel de Rougemont, Olivier Serre |
| 2014 | DSAA | StatsReduce in the cloud for approximate Analytics. | Michel de Rougemont |
| 2012 | DOLAP | Approximate answers to OLAP queries on streaming data warehouses. | Michel de Rougemont, Phuong Thao Cao |
| 2012 | ICTAC | Approximate Verification and Enumeration Problems. | Sylvain Peyronnet, Michel de Rougemont, Yann Strozecki |
| 2010 | SOFSEM | Approximate Structural Consistency. | Michel de Rougemont, Adrien Vieilleribire |
| 2009 | LICS | Statistic Analysis for Probabilistic Processes. | Michel de Rougemont, Mathieu Tracol |
| 2008 | SAGT | Approximate Nash Equilibria for Multi-player Games. | Sbastien Hmon, Michel de Rougemont, Miklos Santha |
| 2007 | ICDT | Approximate Data Exchange. | Michel de Rougemont, Adrien Vieilleribire |
| 2006 | LICS | Approximate Satisfiability and Equivalence. | Eldar Fischer, Frdric Magniez, Michel de Rougemont |
| 2004 | ICALP | Property Testing of Regular Tree Languages. | Frdric Magniez, Michel de Rougemont |
| 2003 | CSL | Automata on Lempel-ziv Compressed Strings. | Hans Lei, Michel de Rougemont |
| 2002 | LICS | Probabilistic Abstraction for Model Checking: An Approach Based on Property Testing. | Sophie Laplante, Richard Lassaigne, Frdric Magniez, Sylvain Peyronnet, Michel de Rougemont |
| 2000 | LICS | Definability and Compression. | Foto N. Afrati, Hans Lei, Michel de Rougemont |
| 2000 | PODS | Uniform Generation in Spatial Constraint Databases and Applications. | David Gross, Michel de Rougemont |
| 1998 | STACS | Interactive Protocols on the Reals. | Sergei Ivanov, Michel de Rougemont |
| 1997 | AAAI | Spatial Navigation with Uncertain Deviations. | Michel de Rougemont, Christoph Schlieder |
| 1997 | MFCS | The Expressiveness of Datalog Circuits (DAC). | Foto N. Afrati, Irne Guessarian, Michel de Rougemont |
| 1995 | PODS | The Reliability of Queries. | Michel de Rougemont |
| 1992 | ICRA | A theory of robust planning. | Michel de Rougemont, Juan Francisco Daz-Fras |
| 1988 | VLDB | Fixed-point semantics and the representation of algorithms on large data. | Michel de Rougemont |
| 1987 | IJCAI | Constructive Second-Order Proofs in Logical Databases. | Michel de Rougemont |
| 1986 | AIMSA | On the Quantification of Knowledge. | Michel de Rougemont |
| 1984 | AIMSA | From Logic to Logic Programming. | Michel de Rougemont |
| 1984 | STOC | Uniform Definability on Finite Structures with Successor | Michel de Rougemont |