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

Properties of Multiset Language Classes Defined by Multiset Pushdown Automata., , und . Fundam. Inform., 93 (1-3): 235-244 (2009)Branching-Time Model Checking Gap-Order Constraint Systems., und . Fundam. Inform., 143 (3-4): 339-353 (2016)Multiset Pushdown Automata., , und . Fundam. Inform., 93 (1-3): 221-233 (2009)Trace Inclusion for One-Counter Nets Revisited., und . RP, Volume 8762 von Lecture Notes in Computer Science, Seite 151-162. Springer, (2014)Infinite-state energy games., , , , , und . CSL-LICS, Seite 7:1-7:10. ACM, (2014)Controlling a Random Population is EXPTIME-hard., , und . CoRR, (2019)Linear Combinations of Unordered Data Vectors., , und . CoRR, (2016)MDPs with energy-parity objectives., , , und . LICS, Seite 1-12. IEEE Computer Society, (2017)Simulation Problems Over One-Counter Nets., , , und . Logical Methods in Computer Science, (2016)Universal Safety for Timed Petri Nets is PSPACE-complete., , , , und . CONCUR, Volume 118 von LIPIcs, Seite 6:1-6:15. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, (2018)