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


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