No. Title Author Year
1 Synthesis of Data Word Transducers Exibard, Léo et al. 2019
2 Two-Way Parikh Automata Filiot, Emmanuel et al. 2019
3 On Canonical Models for Rational Functions over Infinite Words Filiot, Emmanuel et al. 2018
4 The Complexity of Transducer Synthesis from Multi-Sequential Specifications Exibard, Léo et al. 2018
5 Formal Methods of Transformations (Dagstuhl Seminar 17142) Filiot, Emmanuel et al. 2017
6 Aperiodicity of Rational Functions Is PSPACE-Complete Filiot, Emmanuel et al. 2016
7 On Equivalence and Uniformisation Problems for Finite Transducers Filiot, Emmanuel et al. 2016
8 The Complexity of Rational Synthesis Condurache, Rodica et al. 2016
9 Finite-Valued Weighted Automata Filiot, Emmanuel et al. 2014
10 First-order Definable String Transformations Filiot, Emmanuel et al. 2014
11 Meet Your Expectations With Guarantees: Beyond Worst-Case Synthesis in Quantitative Games Bruyère, Véronique et al. 2014
12 Streamability of Nested Word Transductions Filiot, Emmanuel et al. 2011
Current Page :
Number of result pages: 1
Number of documents: 12


DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI