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

Regular Transformations (Dagstuhl Seminar 23202)., , , , and . Dagstuhl Reports, 13 (5): 96-113 (2023)The Presburger Award for Young Scientists 2020 - Call for Nominations., , and . Bull. EATCS, (2019)Report on ICALP 2022 - 49th EATCS International Colloquium on Automata, Languages and Programming.. Bull. EATCS, (2023)On Canonical Models for Rational Functions over Infinite Words., , , and . FSTTCS, volume 122 of LIPIcs, page 30:1-30:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2018)Construction of Asynchronous Automata., and . The Book of Traces, World Scientific, (1995)Computing epsilon-Free NFA from Regular Expressions in O(n log²(n)) Time., and . MFCS, volume 1450 of Lecture Notes in Computer Science, page 277-285. Springer, (1998)The Many Facets of String Transducers (Invited Talk)., and . STACS, volume 126 of LIPIcs, page 2:1-2:21. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)Report on ICALP 2023.. Bull. EATCS, (2023)Distributed Controller Synthesis for Deadlock Avoidance., , , and . ICALP, volume 229 of LIPIcs, page 125:1-125:20. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)Infinite-State High-Level MSCs: Model-Checking and Realizability., , , and . ICALP, volume 2380 of Lecture Notes in Computer Science, page 657-668. Springer, (2002)