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
Current Page :
Number of result pages: 2
Number of documents: 11


DROPS-Home | Imprint | Privacy Published by LZI