Léo Exibard
Léo Exibard
Home
Research
Teaching
Contact
Emmanuel Filiot
Latest
Church Synthesis on Register Automata over Linearly Ordered Data Domains (STACS 2021)
Computability of Data-Word Transductions over Different Data Domains (submitted to the LMCS Special Issue dedicated to FoSSaCS 2020)
Synthesis of Data Word Transducers (LMCS Special Issue dedicated to CONCUR 2019)
On Computability of Data Word Functions Defined by Transducers (FoSSaCS 2020)
On Computability of Data Word Functions Defined by Transducers
Synthesis of Data Word Transducers (CONCUR 2019)
Synthesis of Data Word Transducers
The Complexity of Transducer Synthesis from Multi-Sequential Specifications (MFCS 2018)
The Complexity of Transducer Synthesis from Multi-Sequential Specifications
Cite
×