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

A comparative study on search strategies for cell assignments., , , und . Int. J. Comput. Math., 81 (7): 901-908 (2004)Segmented channel routing with pin rearrangements via satisfiability., , , , und . ISCAS (6), Seite 6248-6251. IEEE, (2005)Sequential dependency and reliability analysis of embedded systems., , , , , und . ASP-DAC, Seite 423-428. IEEE, (2013)Temporal Coverage Analysis for Dynamic Verification., , , , und . IEEE Trans. Circuits Syst. II Express Briefs, 65-II (1): 66-70 (2018)Implication of assertion graphs in GSTE., , , und . ASP-DAC, Seite 1060-1063. ACM Press, (2005)An efficient NPN Boolean matching algorithm based on structural signature and Shannon expansion., , , , und . Clust. Comput., 22 (Supplement): 7491-7506 (2019)Verification and Implementation of the Protocol Standard in Train Control System., , , , , und . COMPSAC, Seite 549-558. IEEE Computer Society, (2013)On data address computation for embedded DSP systems., und . ISCAS (4), Seite 532-535. IEEE, (2002)Domain-Driven Probabilistic Analysis of Programmable Logic Controllers., , , , und . ICFEM, Volume 6991 von Lecture Notes in Computer Science, Seite 115-130. Springer, (2011)A Case Study on Formal Analysis of an Automated Guided Vehicle System., , , , , und . J. Appl. Math., (2014)