Two-Way Two-Tape Automata. - Olivier Carton; Léo Exibard; Olivier Serre (DLT, 2017)

The Complexity of Transducer Synthesis from Multi-Sequential Specifications. - Léo Exibard; Emmanuel Filiot; Ismaël Jecker (MFCS, 2018)

On Computability of Data Word Functions Defined by Transducers. - Léo Exibard; Emmanuel Filiot; Pierre-Alain Reynier (FoSSaCS, 2020)

Register Games on Infinite Ordered Data Domains. - Léo Exibard; Emmanuel Filiot; Ayrat Khalimov 001 (CoRR, 2020)

Transducer Synthesis from Universal Register Automata in (N, >). - Ayrat Khalimov 001; Emmanuel Filiot; Léo Exibard (CoRR, 2021)

Synthesis of Data Word Transducers. - Léo Exibard; Emmanuel Filiot; Pierre-Alain Reynier (Log. Methods Comput. Sci., 2021)

Automatic Synthesis of Systems with Data. (Synthèse Automatique de Systèmes avec Données). - Léo Exibard (2021)

A Monitoring Tool for Linear-Time μHML. - Luca Aceto; Antonis Achilleos; Duncan Paul Attard; Léo Exibard; Adrian Francalanza; Anna Ingólfsdóttir (COORDINATION, 2022)

A Synthesis Tool for Optimal Monitors in a Branching-Time Setting. - Antonis Achilleos; Léo Exibard; Adrian Francalanza; Karoliina Lehtinen; Jasmine Xuereb (COORDINATION, 2022)

A Generic Solution to Register-Bounded Synthesis with an Application to Discrete Orders. - Léo Exibard; Emmanuel Filiot; Ayrat Khalimov 001 (ICALP, 2022)

Computability of Data-Word Transductions over Different Data Domains. - Léo Exibard; Emmanuel Filiot; Nathan Lhote; Pierre-Alain Reynier (Log. Methods Comput. Sci., 2022)

Church synthesis on register automata over linearly ordered data domains. - Léo Exibard; Emmanuel Filiot; Ayrat Khalimov 001 (Formal Methods Syst. Des., 2022)

A monitoring tool for linear-time μHML. - Luca Aceto; Antonis Achilleos; Duncan Paul Attard; Léo Exibard; Adrian Francalanza; Anna Ingólfsdóttir (Sci. Comput. Program., 2024)

Monitorability for the Modal Mu-Calculus over Systems with Data: From Practice to Theory. - Luca Aceto; Antonis Achilleos; Duncan Paul Attard; Léo Exibard; Adrian Francalanza; Anna Ingólfsdóttir; Karoliina Lehtinen (CONCUR, 2025)