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)A Scheduling Strategy for Synchronous Elastic Designs., , , und . Fundam. Informaticae, 108 (1-2): 1-21 (2011)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)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)Synthesis of synchronous elastic architectures., , und . DAC, Seite 657-662. ACM, (2006)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)Time elastic digital systems and Petri Nets., und . ACSD, Seite 1-2. IEEE, (2008)