Léo Exibard
Orcid: 0000-0003-0318-1217
According to our database1,
Léo Exibard
authored at least 13 papers
between 2017 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
2022
Formal Methods Syst. Des., December, 2022
Log. Methods Comput. Sci., 2022
A Generic Solution to Register-Bounded Synthesis with an Application to Discrete Orders.
Proceedings of the 49th International Colloquium on Automata, Languages, and Programming, 2022
Proceedings of the Coordination Models and Languages, 2022
Proceedings of the Coordination Models and Languages, 2022
2021
Automatic Synthesis of Systems with Data. (Synthèse Automatique de Systèmes avec Données).
PhD thesis, 2021
2020
Proceedings of the Foundations of Software Science and Computation Structures, 2020
2018
Proceedings of the 43rd International Symposium on Mathematical Foundations of Computer Science, 2018
2017
Proceedings of the Developments in Language Theory - 21st International Conference, 2017