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

1 |
Register Transducers Are Marble Transducers |
Douéneau-Tabot, Gaëtan et al. |
2020 |

2 |
Synthesis from Weighted Specifications with Partial Domains over Finite Words |
Filiot, Emmanuel et al. |
2020 |

3 |
Synthesis of Computable Regular Functions of Infinite Words |
Dave, Vrunda et al. |
2020 |

4 |
The Adversarial Stackelberg Value in Quantitative Games |
Filiot, Emmanuel et al. |
2020 |

5 |
Weighted Transducers for Robustness Verification |
Filiot, Emmanuel et al. |
2020 |

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

7 |
Two-Way Parikh Automata |
Filiot, Emmanuel et al. |
2019 |

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

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

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

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

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

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

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

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

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

17 |
Streamability of Nested Word Transductions |
Filiot, Emmanuel et al. |
2011 |