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

Superfamilies of Evolved and Designed Networks, , , , , , , and . Science, (2004)A General Method for Compiling Event-Driven Simulations., , , and . DAC, page 151-156. ACM Press, (1995)Validity Checking for Combinations of Theories with Equality., , and . FMCAD, volume 1166 of Lecture Notes in Computer Science, page 187-201. Springer, (1996)Verifying correct pipeline implementation for microprocessors., and . ICCAD, page 162-169. IEEE Computer Society / ACM, (1997)A software-hardware cosynthesis approach to digital system simulation., , , and . IEEE Micro, 14 (4): 48-58 (1994)A Scalable Formal Verification Methodology for Pipelined Microprocessors., and . DAC, page 558-563. ACM Press, (1996)Functional test selection based on unsupervised support vector analysis., , , and . DAC, page 262-267. ACM, (2008)The network matching principle : A model of efficient resource allocation by informal social networks in non-profit and other non-market social structures, and . Economics Letters, 10 (1-2): 1--7 (1982)Blockmodeling complex statutes : Mapping techniques based on combinatorial optimization for analyzing economic legislation and its stress point over time, and . Economics Letters, 13 (1): 1--9 (1983)A Decision Procedure for Bit-Vector Arithmetic., , and . DAC, page 522-527. ACM Press, (1998)