Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Weak MSO with the Unbounding Quantifier.. Theory Comput. Syst., 48 (3): 554-576 (2011)Weak MSO+U over infinite trees., and . STACS, volume 14 of LIPIcs, page 648-660. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2012)Beyond omega-Regular Languages.. STACS, volume 5 of LIPIcs, page 11-16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2010)Which Classes of Origin Graphs Are Generated by Transducers., , , and . ICALP, volume 80 of LIPIcs, page 114:1-114:13. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2017)Regular tree languages in low levels of the Wadge Hierarchy., , , and . Logical Methods in Computer Science, (2019)Undecidability of MSO+ültimately periodic"., , , , and . CoRR, (2018)Wreath Products of Forest Algebras, with Applications to Tree Logics, , and . Logical Methods in Computer Science, (2012)Reachability in Unions of Commutative Rewriting Systems Is Decidable., and . STACS, volume 4393 of Lecture Notes in Computer Science, page 622-633. Springer, (2007)Tree-Walking Automata Cannot Be Determinized., and . ICALP, volume 3142 of Lecture Notes in Computer Science, page 246-256. Springer, (2004)Automata Column.. ACM SIGLOG News, 6 (1): 4 (2019)