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

Timed Basic Parallel Processes., , and . CONCUR, volume 140 of LIPIcs, page 15:1-15:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)Determinisability of One-Clock Timed Automata., , and . CONCUR, volume 171 of LIPIcs, page 42:1-42:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)Determinisability of register and timed automata., , and . CoRR, (2021)On the complexity of the universality and inclusion problems for unambiguous context-free grammars (technical report).. CoRR, (2020)Cost Automata, Safe Schemes, and Downward Closures., , , and . Fundam. Informaticae, 188 (3): 127-178 (2022)Timed Games and Deterministic Separability., , and . ICALP, volume 168 of LIPIcs, page 121:1-121:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)Bidimensional Linear Recursive Sequences and Universality of Unambiguous Register Automata., and . STACS, volume 187 of LIPIcs, page 8:1-8:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)Efficient reduction of nondeterministic automata with application to language inclusion testing., and . Logical Methods in Computer Science, (2019)Reachability relations of timed pushdown automata., and . J. Comput. Syst. Sci., (2021)On the Complexity of the Universality and Inclusion Problems for Unambiguous Context-Free Grammars.. VPT/HCVS@ETAPS, volume 320 of EPTCS, page 29-43. (2020)