| No. |
Title |
Author |
Year |
| 1 |
A Regular and Complete Notion of Delay for Streaming String Transducers |
Filiot, Emmanuel et al. |
2023 |
| 2 |
Deterministic Regular Functions of Infinite Words |
Carton, Olivier et al. |
2023 |
| 3 |
A Generic Solution to Register-Bounded Synthesis with an Application to Discrete Orders |
Exibard, Léo et al. |
2022 |
| 4 |
Two-Player Boundedness Counter Games |
Filiot, Emmanuel et al. |
2022 |
| 5 |
Church Synthesis on Register Automata over Linearly Ordered Data Domains |
Exibard, Léo et al. |
2021 |
| 6 |
Synthesizing Computable Functions from Rational Specifications over Infinite Words |
Filiot, Emmanuel et al. |
2021 |
| 7 |
Register Transducers Are Marble Transducers |
Douéneau-Tabot, Gaëtan et al. |
2020 |
| 8 |
Synthesis from Weighted Specifications with Partial Domains over Finite Words |
Filiot, Emmanuel et al. |
2020 |
| 9 |
Synthesis of Computable Regular Functions of Infinite Words |
Dave, Vrunda et al. |
2020 |
| 10 |
The Adversarial Stackelberg Value in Quantitative Games |
Filiot, Emmanuel et al. |
2020 |
| 11 |
Weighted Transducers for Robustness Verification |
Filiot, Emmanuel et al. |
2020 |
| 12 |
Synthesis of Data Word Transducers |
Exibard, Léo et al. |
2019 |
| 13 |
Two-Way Parikh Automata |
Filiot, Emmanuel et al. |
2019 |
| 14 |
On Canonical Models for Rational Functions over Infinite Words |
Filiot, Emmanuel et al. |
2018 |
| 15 |
The Complexity of Transducer Synthesis from Multi-Sequential Specifications |
Exibard, Léo et al. |
2018 |
| 16 |
Formal Methods of Transformations (Dagstuhl Seminar 17142) |
Filiot, Emmanuel et al. |
2017 |
| 17 |
Aperiodicity of Rational Functions Is PSPACE-Complete |
Filiot, Emmanuel et al. |
2016 |
| 18 |
On Equivalence and Uniformisation Problems for Finite Transducers |
Filiot, Emmanuel et al. |
2016 |
| 19 |
The Complexity of Rational Synthesis |
Condurache, Rodica et al. |
2016 |
| 20 |
Finite-Valued Weighted Automata |
Filiot, Emmanuel et al. |
2014 |
| 21 |
First-order Definable String Transformations |
Filiot, Emmanuel et al. |
2014 |
| 22 |
Meet Your Expectations With Guarantees: Beyond Worst-Case Synthesis in Quantitative Games |
Bruyère, Véronique et al. |
2014 |
| 23 |
Streamability of Nested Word Transductions |
Filiot, Emmanuel et al. |
2011 |
