Publications

Léo Exibard, Emmanuel Filiot, Ayrat Khalimov (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 DOI

Léo Exibard, Emmanuel Filiot, Nathan Lhote, Pierre-Alain Reynier (2021). Computability of Data-Word Transductions over Different Data Domains (submitted to the LMCS Special Issue dedicated to FoSSaCS 2020). Logical Methods in Computer Science.

PDF Slides Conference

Léo Exibard, Emmanuel Filiot, Pierre-Alain Reynier (2020). Synthesis of Data Word Transducers (LMCS Special Issue dedicated to CONCUR 2019). Logical Methods in Computer Science.

PDF Poster Slides DOI Conference

Léo Exibard, Emmanuel Filiot, Pierre-Alain Reynier (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 Poster Slides Video DOI Journal Short video

Léo Exibard, Emmanuel Filiot, Pierre-Alain Reynier (2019). Synthesis of Data Word Transducers (CONCUR 2019). 30th International Conference on Concurrency Theory, CONCUR 2019, August 27-30, 2019, Amsterdam, the Netherlands.

PDF Poster Slides DOI Journal

Léo Exibard, Emmanuel Filiot, Ismaël Jecker (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 Slides DOI

Olivier Carton, Léo Exibard, Olivier Serre (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 Slides DOI