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

Partial Order Reduction for Detecting Safety and Timing Failures of Timed Circuits., , und . IEICE Trans. Inf. Syst., 88-D (7): 1646-1661 (2005)Energy-and-performance efficient differential domino logic cell libraries for QDI-model-based asynchronous circuits., und . APCCAS, Seite 687-690. IEEE, (2014)Modular Model Checking of Large Asynchronous Designs with Efficient Abstraction Refinement., , und . IEEE Trans. Computers, 59 (4): 561-573 (2010)A floorplan method for asynchronous circuits with bundled-data implementation on FPGAs., , , und . ISCAS, Seite 925-928. IEEE, (2010)Preface., und . Int. J. Found. Comput. Sci., (2010)Verification of asynchronous circuits based on zero-suppressed BDDs., , und . Syst. Comput. Jpn., 32 (2): 43-54 (2001)Acceleration of timing verification method based on time petri nets., , und . Syst. Comput. Jpn., 22 (12): 37-52 (1991)An NoC-based evaluation platform for safety-critical automotive applications., , , , , und . APCCAS, Seite 679-682. IEEE, (2014)Symbolic Model Checking of Analog/Mixed-Signal Circuits., , , , und . ASP-DAC, Seite 316-323. IEEE Computer Society, (2007)N-way ring and square arbiters., , und . ICCD, Seite 125-130. IEEE Computer Society, (2009)