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

Latent Ontological Feature Discovery for Text Clustering., , , und . RIVF, Seite 1-8. IEEE, (2009)A Framework for Asynchronous Circuit Modeling and Verification in ACL2., , , und . Haifa Verification Conference, Volume 10629 von Lecture Notes in Computer Science, Seite 3-18. Springer, (2017)Fourier Series Formalization in ACL2(r)., , und . ACL2, Volume 192 von EPTCS, Seite 35-51. (2015)Data-Loop-Free Self-Timed Circuit Verification., , , , und . ASYNC, Seite 51-58. IEEE Computer Society, (2018)A Hierarchical Approach to Self-Timed Circuit Verification., , , , und . ASYNC, Seite 105-113. IEEE, (2019)