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

Alternating RQ Timed Automata., und . CAV, Volume 697 von Lecture Notes in Computer Science, Seite 237-252. Springer, (1993)On Relationship Between ITE and BDD., und . ICCD, Seite 448-451. IEEE Computer Society, (1992)Timed Boolean functions - a unified formalism for exact timing analysis., und . The Kluwer international series in engineering and computer science Kluwer, (1994)Delay Fault Coverage and Performance Tradeoffs., , , und . DAC, Seite 446-452. ACM Press, (1993)Criteria for the Simple Path Property in Timed Automata., und . CAV, Volume 818 von Lecture Notes in Computer Science, Seite 27-40. Springer, (1994)Exact Minimum Cycle Times for Finite State Machines., , und . DAC, Seite 100-105. ACM Press, (1994)Circuit Delay Models and Their Exact Computation Using Timed Boolean Functions., , und . DAC, Seite 128-134. ACM Press, (1993)Valid clocking in wavepipelined circuits., , und . ICCAD, Seite 518-525. IEEE Computer Society / ACM, (1992)