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:
2 × France
8 × USA
Collaborated with:
J.C.Madre R.W.Haddad S.Manne H.Fraisse B.Lin C.Berthet I.L.Markov C.Meinel E.Sentovich
Talks about:
new (4) problem (3) prime (3) solv (3) algorithm (2) function (2) verifi (2) graph (2) cover (2) base (2)

Person: Olivier Coudert

DBLP DBLP: Coudert:Olivier

Contributed to:

DAC 20102010
DAC 20002000
DATE 19981998
DAC 19971997
ED&TC 19971997
DAC 19961996
DAC 19951995
DAC 19931993
DAC 19921992
CAV 19901990

Wrote 12 papers:

DAC-2010-Coudert #algorithm #performance #verification
An efficient algorithm to verify generalized false paths (OC), pp. 188–193.
DAC-2000-CoudertMMS #framework
Web-based frameworks to enable CAD RD (OC, ILM, CM, ES), p. 711.
DATE-1998-Coudert #encoding #paradigm
A New Paradigm for Dichotomy-based Constrained Encoding (OC), pp. 830–834.
DAC-1997-Coudert #graph
Exact Coloring of Real-Life Graphs is Easy (OC), pp. 121–126.
EDTC-1997-Coudert #graph #optimisation #problem
Solving graph optimization problems with ZBDDs (OC), pp. 224–228.
DAC-1996-Coudert #on the #problem
On Solving Covering Problems (OC), pp. 197–202.
DAC-1996-CoudertHM #algorithm #case study #comparative
New Algorithms for Gate Sizing: A Comparative Study (OC, RWH, SM), pp. 734–739.
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.

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.