No. Title Author Year
1 Cost Functions Definable by Min/Max Automata Colcombet, Thomas et al. 2016
2 On a Fragment of AMSO and Tiling Systems Blumensath, Achim et al. 2016
3 The Bridge Between Regular Cost Functions and Omega-Regular Languages Colcombet, Thomas et al. 2016
4 Combinatorial Expressions and Lower Bounds Colcombet, Thomas et al. 2015
5 Fragments of Fixpoint Logic on Data Words Colcombet, Thomas et al. 2015
6 Generalized Data Automata and Fixpoint Logic Colcombet, Thomas et al. 2014
7 Playing Safe Colcombet, Thomas et al. 2014
8 Approximate comparison of distance automata Colcombet, Thomas et al. 2013
9 Deciding the weak definability of Büchi definable tree languages Colcombet, Thomas et al. 2013
10 Forms of Determinism for Automata (Invited Talk) Colcombet, Thomas 2012
Current Page :
Number of result pages: 1
Number of documents: 10


DROPS-Home | Fulltext Search | Imprint Published by LZI