Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

No persons found for author name Coudert, Olivier
add a person with the name Coudert, Olivier
 

Other publications of authors with the same name

Incremental CAD., , , and . ICCAD, page 236-243. IEEE Computer Society, (2000)Gate Sizing: A General Purpose Optimization Approach.. ED&TC, page 214-218. IEEE Computer Society, (1996)Symbolic Prime Generation for Multiple-Valued Functions., , and . DAC, page 40-44. (1992)A Logically Complete Reasoning Maintenance System Based on a Logical Constraint Solver., and . IJCAI, page 294-299. Morgan Kaufmann, (1991)New Ideas for Solving Covering Problems., and . DAC, page 641-646. ACM Press, (1995)Optimization in an Integrated Physical Design Flow (Tutorial Abstract).. ISQED, page 13-14. IEEE Computer Society, (2002)Verifying Temporal Properties of Sequential Machines Without Building their State Diagrams., , and . CAV, volume 531 of Lecture Notes in Computer Science, page 23-32. Springer, (1990)Verification of Synchronous Sequential Machines Based on Symbolic Execution., , and . Automatic Verification Methods for Finite State Systems, volume 407 of Lecture Notes in Computer Science, page 365-373. Springer, (1989)Web-based frameworks to enable CAD RD (abstract)., , , and . DAC, page 711. ACM, (2000)Automatic Hierarchical Design: Fantasy or Reality? (Panel)., , , , , , and . ICCAD, page 656. IEEE Computer Society, (2001)