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

Formal method for self-timed design., , und . EURO-DAC, Seite 197-201. EEE Computer Society, (1991)Synthesis of synchronous elastic architectures., , und . DAC, Seite 657-662. ACM, (2006)Timing-driven N-way decomposition., , und . ACM Great Lakes Symposium on VLSI, Seite 363-368. ACM, (2009)The Use of Petri Nets for the Design and Verification of Asynchronous Circuits and Systems., , , , und . Journal of Circuits, Systems, and Computers, 8 (1): 67-118 (1998)Automatic microarchitectural pipelining., , , und . DATE, Seite 961-964. IEEE Computer Society, (2010)Compositional performance verification of NoC designs., , , und . MEMOCODE, Seite 1-10. IEEE, (2012)OR Causality: Modelling and Hardware Implementation., , , und . Application and Theory of Petri Nets, Volume 815 von Lecture Notes in Computer Science, Seite 568-587. Springer, (1994)A Structural Approach for the Analysis of Petri Nets by Reduced Unfoldings., , , und . Application and Theory of Petri Nets, Volume 1091 von Lecture Notes in Computer Science, Seite 346-365. Springer, (1996)Characterizing speed-independence of high-level designs., und . ASYNC, Seite 44-53. IEEE, (1994)Time elastic digital systems and Petri Nets., und . ACSD, Seite 1-2. IEEE, (2008)