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


DROPS-Home | Fulltext Search | Imprint Published by LZI