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

Synchronous Programming (Dagstuhl Seminar 13471)., , und . Dagstuhl Reports, 3 (11): 117-143 (2013)Automatic Hard Block Inference on FPGAs., und . DSD, Seite 551-557. IEEE Computer Society, (2013)Global vs. Local Model Checking: A Comparison of Verification Techniques for Infinite State Systems., und . SEFM, Seite 67-76. IEEE Computer Society, (2004)Towards the Applicability of Alf to Model Cyber-Physical Systems., , und . FedCSIS, Seite 1415-1422. (2013)Formal synthesis of circuits with a simple handshake protocol., , und . VLSI Design, Seite 255-259. IEEE Computer Society, (1995)Verification of Reactive Systems - Formal Methods and Algorithms. Texts in Theoretical Computer Science. An EATCS Series Springer, (2004)Separate compilation and execution of imperative synchronous modules., , und . DATE, Seite 1580-1583. IEEE, (2009)Das grafische Ausgabesystem am VW-Prozeß-Leit-System (PLS)., , und . Elektronische Rechenanlagen, 18 (5): 241-245 (1976)Kontrollfluss-Verifikation von Algorithmen mittels Modellprüfung., , , , und . MBMV, Seite 114-123. HNI-Verlagsschriften, (1998)Synthesis of Parallel Sorting Networks using SAT Solvers., und . MBMV, Seite 71-80. OFFIS-Institut für Informatik, (2011)