Autor der Publikation

Scope-bounded Multistack Pushdown Systems: Fixed-Point, Sequentialization, and Tree-Width.

, und . FSTTCS, Volume 18 von LIPIcs, Seite 173-184. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, (2012)

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

Automata-based Representations for Infinite Graphs., und . ITA, 35 (4): 311-330 (2001)Parametric temporal logic for "model measuring"., , , und . ACM Trans. Comput. Log., 2 (3): 388-407 (2001)Optimal paths in weighted timed automata., , und . Theor. Comput. Sci., 318 (3): 297-322 (2004)Sequentializing Parameterized Programs, , und . FIT, Volume 87 von EPTCS, Seite 34-47. (2012)Reasoning About Co-Büchi Tree Automata., und . ICTAC, Volume 3407 von Lecture Notes in Computer Science, Seite 527-542. Springer, (2004)Parallel Word Substitution., , und . Fundam. Inform., 27 (1): 27-36 (1996)Games, Automata, Logic, and Formal Verification (GandALF 2011)., und . Theor. Comput. Sci., (2013)Finite automata on timed omega-trees., und . Theor. Comput. Sci., 293 (3): 479-505 (2003)The Firing Squad Synchronization Problem on Squares, Toruses and Rings., , und . Int. J. Found. Comput. Sci., 18 (3): 637-654 (2007)Parametric Metric Interval Temporal Logic., , und . LATA, Volume 6031 von Lecture Notes in Computer Science, Seite 249-260. Springer, (2010)