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


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