BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Madre:Jean_Christophe

Contributed to:

DAC 19991999
DAC 19951995
DAC 19931993
DAC 19921992
CAV 19901990
DAC 19881988

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.