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


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