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

Synthesis of deterministic top-down tree transducers from automatic tree relations., and . Inf. Comput., (2017)Synthesis of Deterministic Top-down Tree Transducers from Automatic Tree Relations., and . GandALF, volume 161 of EPTCS, page 88-101. (2014)Synthesizing Computable Functions from Rational Specifications Over Infinite Words., and . Int. J. Found. Comput. Sci., 35 (1&2): 179-214 (January 2024)Synthesis from Weighted Specifications with Partial Domains over Finite Words., , and . CoRR, (2021)A Regular and Complete Notion of Delay for Streaming String Transducers., , , and . STACS, volume 254 of LIPIcs, page 32:1-32:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)Weak Muller Conditions Make Delay Games Hard., and . CoRR, (2022)Synthesis of transducers from relations on finite words and trees.. RWTH Aachen University, Germany, (2018)Strategies Resilient to Delay: Games under Delayed Control vs. Delay Games., , and . GandALF, volume 390 of EPTCS, page 220-235. (2023)Deterministic Regular Functions of Infinite Words., , , and . ICALP, volume 261 of LIPIcs, page 121:1-121:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)Synthesizing Computable Functions from Rational Specifications over Infinite Words., and . FSTTCS, volume 213 of LIPIcs, page 43:1-43:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)