Jean Christophe Madre
According to our database1,
Jean Christophe Madre
authored at least 16 papers
between 1988 and 1999.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
1999
Proceedings of the 36th Conference on Design Automation, 1999
1995
Formal Methods Syst. Des., 1995
Proceedings of the 32st Conference on Design Automation, 1995
1994
Une approche intentionnelle du calcul des implicants premiers et essentiels des fonctions booléennes.
RAIRO Theor. Informatics Appl., 1994
1993
Proceedings of the Sixth International Conference on VLSI Design, 1993
Proceedings of the 30th Design Automation Conference. Dallas, 1993
1992
Proceedings of the 29th Design Automation Conference, 1992
Implicit and Incremental Computation of Primes and Essential Primes of Boolean Functions.
Proceedings of the 29th Design Automation Conference, 1992
1991
A Logically Complete Reasoning Maintenance System Based on a Logical Constraint Solver.
Proceedings of the 12th International Joint Conference on Artificial Intelligence. Sydney, 1991
1990
Proceedings of the 1990 IEEE International Conference on Computer Design: VLSI in Computers and Processors, 1990
Proceedings of the IEEE/ACM International Conference on Computer-Aided Design, 1990
Proceedings of the European Design Automation Conference, 1990
Verifying Temporal Properties of Sequential Machines Without Building their State Diagrams.
Proceedings of the Computer Aided Verification, 2nd International Workshop, 1990
1989
Proceedings of the 1989 IEEE International Conference on Computer-Aided Design, 1989
Proceedings of the Automatic Verification Methods for Finite State Systems, 1989
1988
Proving Circuit Correctness Using Formal Comparison Between Expected and Extracted Behaviour.
Proceedings of the 25th ACM/IEEE Conference on Design Automation, 1988