| 2010 | DAC | An efficient algorithm to verify generalized false paths. | Olivier Coudert |
| 2001 | ICCAD | Automatic Hierarchical Design: Fantasy or Reality? (Panel). | Rob A. Rutenbar, Olivier Coudert, Patrick Groeneveld, Jrgen Koehl, Scott Peterson, Vivek Raghavan, Naresh Soni |
| 2000 | ASPDAC | Timing closure: the solution and its problems. | Raul Camposano, Olivier Coudert, Patrick Groeneveld, Leon Stok, Ralph H. J. M. Otten |
| 2000 | DAC | Web-based frameworks to enable CAD RD (abstract). | Olivier Coudert, Igor L. Markov, Christoph Meinel, Ellen Sentovich |
| 2000 | ICCAD | Incremental CAD. | Olivier Coudert, Jason Cong, Sharad Malik, Majid Sarrafzadeh |
| 1998 | DATE | A New Paradigm for Dichotomy-based Constrained Encoding. | Olivier Coudert |
| 1998 | FMCAD | A Performance Study of BDD-Based Model Checking. | Bwolen Yang, Randal E. Bryant, David R. O'Hallaron, Armin Biere, Olivier Coudert, Geert Janssen, Rajeev K. Ranjan, Fabio Somenzi |
| 1997 | DAC | Exact Coloring of Real-Life Graphs is Easy. | Olivier Coudert |
| 1997 | DATE | Solving graph optimization problems with ZBDDs. | Olivier Coudert |
| 1996 | DAC | On Solving Covering Problems. | Olivier Coudert |
| 1996 | DAC | New Algorithms for Gate Sizing: A Comparative Study. | Olivier Coudert, Ramsey W. Haddad, Srilatha Manne |
| 1996 | DATE | Gate Sizing: A General Purpose Optimization Approach. | Olivier Coudert |
| 1996 | ICCD | Exact Dichotomy-based Constrained Encodi. | Olivier Coudert, C.-J. Richard Shi |
| 1996 | ISLPED | Integrated resynthesis for low power. | Olivier Coudert, Ramsey W. Haddad |
| 1996 | ISLPED | What is the state of the art in commercial EDA tools for low power? | Kurt Keutzer, Olivier Coudert, Ramsey W. Haddad |
| 1995 | DAC | New Ideas for Solving Covering Problems. | Olivier Coudert, Jean Christophe Madre |
| 1995 | SODA | Doing Two-Level Logic Minimization 100 Times Faster. | Olivier Coudert |
| 1993 | DAC | A New Viewpoint on Two-Level Logic Minimization. | Olivier Coudert, Jean Christophe Madre, Henri Fraisse |
| 1993 | VLSID | Towards a Symbolic Logic Minimization Algorithm. | Olivier Coudert, Jean Christophe Madre |
| 1992 | DAC | Implicit and Incremental Computation of Primes and Essential Primes of Boolean Functions. | Olivier Coudert, Jean Christophe Madre |
| 1992 | DAC | Symbolic Prime Generation for Multiple-Valued Functions. | Bill Lin, Olivier Coudert, Jean Christophe Madre |
| 1991 | IJCAI | A Logically Complete Reasoning Maintenance System Based on a Logical Constraint Solver. | Jean Christophe Madre, Olivier Coudert |
| 1990 | CAV | Verifying Temporal Properties of Sequential Machines Without Building their State Diagrams. | Olivier Coudert, Jean Christophe Madre, Christian Berthet |
| 1990 | ICCAD | A Unified Framework for the Formal Verification of Sequential Circuits. | Olivier Coudert, Jean Christophe Madre |
| 1990 | ICCD | New ideas on symbolic manipulations of finite state machines. | Christian Berthet, Olivier Coudert, Jean Christophe Madre |
| 1989 | ICCAD | Automating the diagnosis and the rectification of design errors with PRIAM. | Jean Christophe Madre, Olivier Coudert, Jean-Paul Billon |