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


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