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

First CADathlon Programming Contest held at 2002 ICCAD., and . IEEE Design & Test of Computers, 20 (3): 104-107 (2003)A Performance Study of BDD-Based Model Checking., , , , , , , and . FMCAD, volume 1522 of Lecture Notes in Computer Science, page 255-289. Springer, (1998)Exploring power management in multi-core systems., , , , , , , , , and 1 other author(s). ASP-DAC, page 708-713. IEEE, (2008)Multicore power management: Ensuring robustness via early-stage formal verification., , , , and . MEMOCODE, page 78-87. IEEE, (2009)Performance modeling for early analysis of multi-core systems., , , , , , , , , and 3 other author(s). CODES+ISSS, page 209-214. ACM, (2007)Exploiting Structural Similarities in a BDD-Based Verification Method., and . TPCD, volume 901 of Lecture Notes in Computer Science, page 110-125. Springer, (1994)A Consumer Report on BDD Packages.. SBCCI, page 217-. IEEE Computer Society, (2003)IBM Blue Gene/Q memory subsystem with speculative execution and transactional memory., , , , , , , and . IBM Journal of Research and Development, 57 (1/2): 7 (2013)Scalable Sequential Equivalence Checking across Arbitrary Design Transformations ., , , , and . ICCD, page 259-266. IEEE, (2006)