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

Weighted automata and their applications to formal verification (עם תקציר בעברית ושער נוסף: אוטומטים ממושקלים והשימוש בהם בתחום האימות הפורמלי.).. Hebrew University of Jerusalem, Israel, (2009)Model-checking behavioral programs., , , und . EMSOFT, Seite 279-288. ACM, (2011)On the Construction of Fine Automata for Safety Properties., und . ATVA, Volume 4218 von Lecture Notes in Computer Science, Seite 110-124. Springer, (2006)On the Succinctness of Idioms for Concurrent Programming., , , , und . CONCUR, Volume 42 von LIPIcs, Seite 85-99. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2015)Formal Analysis of Online Algorithms., , und . ATVA, Volume 6996 von Lecture Notes in Computer Science, Seite 213-227. Springer, (2011)Reasoning about online algorithms with weighted automata., , und . SODA, Seite 835-844. SIAM, (2009)Rigorous Approximated Determinization of Weighted Automata., , und . LICS, Seite 345-354. IEEE Computer Society, (2011)