`Travelled to:`

6 × USA

`Collaborated with:`

O.Coudert J.Billon H.Fraisse B.Lin C.Berthet K.Eckl P.Zepter C.Legl

`Talks about:`

prime (3) function (2) multipl (2) new (2) comparison (1) viewpoint (1) increment (1) behaviour (1) sequenti (1) properti (1)

## Person: Jean Christophe Madre

### DBLP: Madre:Jean_Christophe

### Contributed to:

### Wrote 7 papers:

- DAC-1999-EcklMZL #approach #multi
- A Practical Approach to Multiple-Class Retiming (KE, JCM, PZ, CL), pp. 237–242.
- DAC-1995-CoudertM #problem
- New Ideas for Solving Covering Problems (OC, JCM), pp. 641–646.
- DAC-1993-CoudertMF #logic
- A New Viewpoint on Two-Level Logic Minimization (OC, JCM, HF), pp. 625–630.
- DAC-1992-CoudertM #incremental
- Implicit and Incremental Computation of Primes and Essential Primes of Boolean Functions (OC, JCM), pp. 36–39.
- DAC-1992-LinCM #generative #multi
- Symbolic Prime Generation for Multiple-Valued Functions (BL, OC, JCM), pp. 40–44.
- CAV-1990-CoudertMB #diagrams #verification
- Verifying Temporal Properties of Sequential Machines Without Building their State Diagrams (OC, JCM, CB), pp. 23–32.
- DAC-1988-MadreB #behaviour #comparison #correctness #proving #using
- Proving Circuit Correctness Using Formal Comparison Between Expected and Extracted Behaviour (JCM, JPB), pp. 205–210.