Publications

(2021). Church Synthesis on Register Automata over Linearly Ordered Data Domains (STACS 2021). 38th International Symposium on Theoretical Aspects of Computer Science, STACS 2021, March 16-19, 2021, Saarbrücken, Germany.

PDF Cite DOI

(2021). Computability of Data-Word Transductions over Different Data Domains (LMCS Special Issue dedicated to FoSSaCS 2020). Logical Methods in Computer Science.

PDF Cite Slides Conference

(2020). Synthesis of Data Word Transducers (LMCS Special Issue dedicated to CONCUR 2019). Logical Methods in Computer Science.

PDF Cite Poster Slides DOI Conference

(2020). On Computability of Data Word Functions Defined by Transducers (FoSSaCS 2020). Foundations of Software Science and Computation Structures - 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings.

PDF Cite Poster Slides Video DOI Journal Short video

(2019). Synthesis of Data Word Transducers (CONCUR 2019). 30th International Conference on Concurrency Theory, CONCUR 2019, August 27-30, 2019, Amsterdam, the Netherlands.

PDF Cite Poster Slides DOI Journal

(2018). The Complexity of Transducer Synthesis from Multi-Sequential Specifications (MFCS 2018). 43rd International Symposium on Mathematical Foundations of Computer Science, MFCS 2018, August 27-31, 2018, Liverpool, UK.

PDF Cite Slides DOI

(2017). Two-Way Two-Tape Automata (DLT 2017). Developments in Language Theory - 21st International Conference, DLT 2017, Liège, Belgium, August 7-11, 2017, Proceedings.

PDF Cite Slides DOI