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

Binary Decision Diagrams - Theory and Implementation., und . Springer, (1998)Äquivalenzvergleich digitaler Schaltungen im industriellen Umfeld (Equivalence Checking of Digital Circuits in an Industrial Environment).. it+ti - Informationstechnik und Technische Informatik, 43 (4): 200-205 (2001)Automatische formale Verifikation der Fehlertoleranz von Schaltkreisen (Automated Formal Verification of Fault Tolerance for Circuits)., , , und . it - Information Technology, 52 (4): 216-223 (2010)Measuring the Quality of a SystemC Testbench by using Code Coverage Techniques., , , und . FDL, Seite 146-151. ECSI, (2007)Heuristic Learning Based on Genetic Programming., , , und . Genetic Programming and Evolvable Machines, 3 (4): 363-388 (2002)RevKit: A Toolkit for Reversible Circuit Design., , , und . Multiple-Valued Logic and Soft Computing, 18 (1): 55-65 (2012)Exact Synthesis of Elementary Quantum Gate Circuits., , , und . Multiple-Valued Logic and Soft Computing, 15 (4): 283-300 (2009)PASSAT: Efficient SAT-Based Test Pattern Generation for Industrial Circuits., , , , , und . ISVLSI, Seite 212-217. IEEE Computer Society, (2005)On the representational power of bit-level and word-level decision diagrams., , und . ASP-DAC, Seite 461-467. IEEE, (1997)Automatic design of low-power encoders using reversible circuit synthesis., , , und . DATE, Seite 1036-1041. IEEE, (2012)