Jean Christophe Madre
发表
Klaus Eckl,
Jean Christophe Madre,
Peter Zepter,
1999,
DAC '99.
Olivier Coudert,
Bill Lin,
Jean Christophe Madre,
1992,
[1992] Proceedings 29th ACM/IEEE Design Automation Conference.
Olivier Coudert,
Christian Berthet,
Jean Christophe Madre,
1989,
Automatic Verification Methods for Finite State Systems.
Olivier Coudert,
Jean Christophe Madre,
O. Coudert,
1993
.
Olivier Coudert,
Jean Christophe Madre,
1993,
The Sixth International Conference on VLSI Design.
Olivier Coudert,
Christian Berthet,
Jean Christophe Madre,
1990,
International Conference on Computer Aided Verification.
Olivier Coudert,
Jean Christophe Madre,
O. Coudert,
1990,
1990 IEEE International Conference on Computer-Aided Design. Digest of Technical Papers.
Olivier Coudert,
Jean Christophe Madre,
O. Coudert,
1995,
32nd Design Automation Conference.
Olivier Coudert,
Jean Christophe Madre,
Jean-Paul Billon,
1989,
1989 IEEE International Conference on Computer-Aided Design. Digest of Technical Papers.
Jean Christophe Madre,
Jean-Paul Billon,
1988,
25th ACM/IEEE, Design Automation Conference.Proceedings 1988..
Olivier Coudert,
Jean Christophe Madre,
Henri Fraisse,
1993,
30th ACM/IEEE Design Automation Conference.
Olivier Coudert,
Jean Christophe Madre,
Henri Fraisse,
1994,
Proceedings of Annual Reliability and Maintainability Symposium (RAMS).
Olivier Coudert,
Jean Christophe Madre,
O. Coudert,
1991,
IJCAI.
Olivier Coudert,
Jean Christophe Madre,
O. Coudert,
1992,
[1992] Proceedings 29th ACM/IEEE Design Automation Conference.
Olivier Coudert,
Christian Berthet,
Jean Christophe Madre,
1990,
CAV.
Olivier Coudert,
Christian Berthet,
Jean Christophe Madre,
1990,
Proceedings of the European Design Automation Conference, 1990., EDAC..
Olivier Coudert,
Jean Christophe Madre,
Henri Fraisse,
1994,
Proceedings of Annual Reliability and Maintainability Symposium (RAMS).
Olivier Coudert,
Jean Christophe Madre,
O. Coudert,
1995,
Formal Methods Syst. Des..
Olivier Coudert,
Christian Berthet,
Jean Christophe Madre,
1990,
Proceedings., 1990 IEEE International Conference on Computer Design: VLSI in Computers and Processors.
Une approche intentionnelle du calcul des implicants premiers et essentiels des fonctions booléennes
Olivier Coudert,
Jean Christophe Madre,
J.-C. Madre,
1994,
RAIRO Theor. Informatics Appl..
Olivier Coudert,
Jean Christophe Madre,
2011
.
Olivier Coudert,
Jean Christophe Madre,
H. Touati,
2011
.