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

Regular Separability of One Counter Automata., und . Logical Methods in Computer Science, (2019)Unboundedness Problems for Languages of Vector Addition Systems., , und . ICALP, Volume 107 von LIPIcs, Seite 119:1-119:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2018)An Approach to Regular Separability in Vector Addition Systems., und . LICS, Seite 341-354. ACM, (2020)Universal trees grow inside separating automata: Quasi-polynomial lower bounds for parity games., , , , , und . SODA, Seite 2333-2349. SIAM, (2019)Improved Bounds for the Excluded-Minor Approximation of Treedepth., , und . SIAM J. Discret. Math., 35 (2): 934-947 (2021)Partially-commutative context-free processes: Expressibility and tractability., , und . Inf. Comput., 209 (5): 782-798 (2011)Efficient Separability of Regular Languages by Subsequences and Suffixes., , und . ICALP (2), Volume 7966 von Lecture Notes in Computer Science, Seite 150-161. Springer, (2013)Branching Bisimilarity of Normed BPA Processes is in NEXPTIME., und . CoRR, (2014)Regular Separability of Well-Structured Transition Systems., , , , , und . CONCUR, Volume 118 von LIPIcs, Seite 35:1-35:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2018)New Pumping Technique for 2-Dimensional VASS., , , und . MFCS, Volume 138 von LIPIcs, Seite 62:1-62:14. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)