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


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