Autor der Publikation

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

An Efficient Sequential SAT Solver With Improved Search Strategies., , , , , und . DATE, Seite 1102-1107. IEEE Computer Society, (2005)Compact Vector Generation for Accurate Power Simulation., , , und . DAC, Seite 161-164. ACM Press, (1996)Logic Synthesis for Engineering Change., , , , und . DAC, Seite 647-652. ACM Press, (1995)DAG-Map: Graph-Based FPGA Technology Mapping for Delay Optimization., , , , und . IEEE Design & Test of Computers, 9 (3): 7-20 (1992)Incremental logic rectification., , und . VTS, Seite 143-149. IEEE Computer Society, (1997)An ATPG-Based Framework for Verifying Sequential Equivalence., , , und . ITC, Seite 865-874. IEEE Computer Society, (1996)Efficient Sum-to-One Subsets Algorithm for Logic Optimization., und . DAC, Seite 443-448. (1992)SYLON-DREAM: a multi-level network synthesizer., und . ICCAD, Seite 552-555. IEEE Computer Society, (1989)An Improved Graph-Based FPGA Techology Mapping Algorithm For Delay Optimization., , , , und . ICCD, Seite 154-158. IEEE Computer Society, (1992)On Verifying the Correctness of Retimed Circuits., , und . Great Lakes Symposium on VLSI, Seite 277-. IEEE Computer Society, (1996)