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


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