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.

 

Other publications of authors with the same name

Using the Minimum Description Length Principle to Infer Reduced Ordered Decision Graphs., and . Mach. Learn., 25 (1): 23-50 (1996)ESPRESSO-SIGNATURE: a new exact minimizer for logic functions., , , and . IEEE Trans. Very Large Scale Integr. Syst., 1 (4): 432-440 (1993)DAC Turns 40!. IEEE Des. Test Comput., 20 (3): 90-96 (2003)Solution of piecewise-linear ordinary differential equations using waveform relaxation and laplace transforms., and . IEEE Trans. Syst. Man Cybern., 13 (4): 465-469 (1983)Generating Dominant Strategies for Continuous Two-Player Zero-Sum Games., , , , and . ADHS, volume 51 of IFAC-PapersOnLine, page 7-12. Elsevier, (2018)Conservative approximations for heterogeneous design., , and . EMSOFT, page 155-164. ACM, (2004)A hierarchical coordination language for interacting real-time tasks., , , , and . EMSOFT, page 132-141. ACM, (2006)Guest Editors' Introduction: Trends and Directions in Microelectronics., and . IEEE Micro, 23 (3): 6-7 (2003)Exact Minimization of Binary Decision Diagrams Using Implicit Techniques., , , and . IEEE Trans. Computers, 47 (11): 1282-1296 (1998)A Formalization of Robustness for Deep Neural Networks., , , and . CoRR, (2019)