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

The Role of Perceived Legitimacy in Clinical Decision Support., , , und . AMIA, AMIA, (2019)Formal Verification of Executable Complementation and Equivalence Checking for Büchi Automata.. IFM, Volume 12546 von Lecture Notes in Computer Science, Seite 239-256. Springer, (2020)Formal Verification of Algorithms for Automata and Model Checking.. Technical University of Munich, Germany, (2022)A Verified and Compositional Translation of LTL to Deterministic Rabin Automata., , und . ITP, Volume 141 von LIPIcs, Seite 11:1-11:19. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)