Autor der Publikation

A Standard-Cell Self-Timed Multiplier for Energy and Area Critical Synchronous Systems.

, , und . ARVLSI, Seite 188-201. IEEE Computer Society, (2001)

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

Synthetic Biology Open Language (SBOL) Version 2.2.0., , , , , , , , , und 13 andere Autor(en). J. Integr. Bioinform., (2018)The Systems Biology Markup Language (SBML): Language Specification for Level 3 Version 1 Core., , , , , , , , , und 3 andere Autor(en). J. Integr. Bioinform., (2018)LEMA: A tool for the formal verification of digitally-intensive analog/mixed-signal circuits., , , , , , und . MWSCAS, Seite 1017-1020. IEEE, (2014)STAMINA 2.0: Improving Scalability of Infinite-State Stochastic Model Checking., , , , und . VMCAI, Volume 13182 von Lecture Notes in Computer Science, Seite 319-331. Springer, (2022)Verification of analog/mixed-signal circuits using labeled hybrid petri nets., , , , und . ICCAD, Seite 275-282. ACM, (2006)A new verification method for embedded systems., , , und . ICCD, Seite 193-200. IEEE Computer Society, (2009)Symbolic Model Checking of Analog/Mixed-Signal Circuits., , , , und . ASP-DAC, Seite 316-323. IEEE Computer Society, (2007)An Improvement in Partial Order Reduction Using Behavioral Analysis., , , und . ISVLSI, Seite 100-107. IEEE Computer Society, (2012)Synthetic biology open language visual (SBOL Visual) version 2.3., , , , , , , , , und 26 andere Autor(en). J. Integr. Bioinform., (2021)Erlang-delayed stochastic chemical kinetic formalism for efficient analysis of biological systems with non-elementary reaction effects., und . BCB, Seite 425-429. ACM, (2011)