| 1999 | DAC | A Practical Approach to Multiple-Class Retiming. | Klaus Eckl, Jean Christophe Madre, Peter Zepter, Christian Legl |
| 1995 | DAC | New Ideas for Solving Covering Problems. | Olivier Coudert, Jean Christophe Madre |
| 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 |
| 1988 | DAC | Proving Circuit Correctness Using Formal Comparison Between Expected and Extracted Behaviour. | Jean Christophe Madre, Jean-Paul Billon |