No. |
Title |
Author |
Year |
---|

1 |
Synthesis of Data Word Transducers |
Exibard, Léo et al. |
2019 |

2 |
On Canonical Models for Rational Functions over Infinite Words |
Filiot, Emmanuel et al. |
2018 |

3 |
The Complexity of Transducer Synthesis from Multi-Sequential Specifications |
Exibard, Léo et al. |
2018 |

4 |
Formal Methods of Transformations (Dagstuhl Seminar 17142) |
Filiot, Emmanuel et al. |
2017 |

5 |
Aperiodicity of Rational Functions Is PSPACE-Complete |
Filiot, Emmanuel et al. |
2016 |

6 |
On Equivalence and Uniformisation Problems for Finite Transducers |
Filiot, Emmanuel et al. |
2016 |

7 |
The Complexity of Rational Synthesis |
Condurache, Rodica et al. |
2016 |

8 |
Finite-Valued Weighted Automata |
Filiot, Emmanuel et al. |
2014 |

9 |
First-order Definable String Transformations |
Filiot, Emmanuel et al. |
2014 |

10 |
Meet Your Expectations With Guarantees: Beyond Worst-Case Synthesis in Quantitative Games |
Bruyère, Véronique et al. |
2014 |