Author of the publication

Exact Minimization of Binary Decision Diagrams Using Implicit Techniques.

, , , and . IEEE Trans. Computers, 47 (11): 1282-1296 (1998)

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.

 

Other publications of authors with the same name

Diagnosability of Nonlinear Circuits and Systems - Part I: The dc Case., and . IEEE Trans. Computers, 30 (11): 889-898 (1981)Tag machines., , , and . EMSOFT, page 255-263. ACM, (2005)The ultimate IoT application: A cyber-physical system for ambient assisted living., , and . ISCAS, page 2042-2045. IEEE, (2016)Conservative approximations for heterogeneous design., , and . EMSOFT, page 155-164. ACM, (2004)Exact Minimization of Binary Decision Diagrams Using Implicit Techniques., , , and . IEEE Trans. Computers, 47 (11): 1282-1296 (1998)Guest Editors' Introduction: Trends and Directions in Microelectronics., and . IEEE Micro, 23 (3): 6-7 (2003)Mixed-level fault coverage estimation., and . DAC, page 553-559. IEEE Computer Society Press, (1986)Chameleon: a new multi-layer channel router., , , , , , and . DAC, page 495-502. IEEE Computer Society Press, (1986)Two-dimensional compaction by "zone refining"., , and . DAC, page 115-122. IEEE Computer Society Press, (1986)On Thermal Effects in Deep Sub-Micron VLSI Interconnects., , , and . DAC, page 885-891. ACM Press, (1999)