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

Special issue - Implementation and Application of Automata (CIAA 2017)., and . Theor. Comput. Sci., (2019)Random DFA With One Added Transition., , , and . CoRR, (2024)Collapsible Pushdown Parity Games., , , , , and . CoRR, (2020)Higher-order Recursion Schemes and Collapsible Pushdown Automata: Logical Properties., , , and . ACM Trans. Comput. Log., 22 (2): 12:1-12:37 (2021)Collapsible Pushdown Parity Games., , , , , and . ACM Trans. Comput. Log., 22 (3): 16:1-16:51 (2021)On the Representation of McCarthy's amb in the π-calculus., , and . EXPRESS, volume 96 of Electronic Notes in Theoretical Computer Science, page 73-89. Elsevier, (2003)One Drop of Non-Determinism in a Random Deterministic Automaton., , , and . STACS, volume 254 of LIPIcs, page 19:1-19:14. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)Higher-Order Recursion Schemes and Collapsible Pushdown Automata: Logical Properties., , , and . CoRR, (2020)Higher-order recursion schemes and their automata models., and . Handbook of Automata Theory (II.), European Mathematical Society Publishing House, Zürich, Switzerland, (2021)Weakly-Unambiguous Parikh Automata and Their Link to Holonomic Series., , , and . ICALP, volume 168 of LIPIcs, page 114:1-114:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)