| Publication | Date of Publication | Type |
|---|
The net automaton of a rational expression
LATIN 2022: Theoretical Informatics | 2023-07-26 | Paper |
scientific article; zbMATH DE number 7650917 (Why is no real title available?)
(available as arXiv preprint) | 2023-02-07 | Paper |
Morphisms and Minimisation of Weighted Automata
Fundamenta Informaticae | 2022-10-07 | Paper |
| Max-plus automata | 2022-02-04 | Paper |
| On Hadamard series and rotating \(\mathbb{Q}\)-automata | 2021-08-04 | Paper |
| On determinism and unambiguity of weighted two-way automata | 2021-06-22 | Paper |
| Two-way automata over locally finite semirings | 2020-06-30 | Paper |
From Hadamard expressions to weighted rotating automata and back
Theoretical Computer Science | 2019-08-20 | Paper |
| The validity of weighted automata | 2018-11-07 | Paper |
| Two routes to automata minimization and the ways to reach it efficiently | 2018-11-07 | Paper |
From Hadamard expressions to weighted rotating automata and back
Implementation and Application of Automata | 2017-08-22 | Paper |
Two-way representations and weighted automata
RAIRO - Theoretical Informatics and Applications | 2017-03-24 | Paper |
On the number of broken derived terms of a rational expression
Journal of Automata, Languages and Combinatorics | 2016-09-29 | Paper |
On determinism and unambiguity of weighted two-way automata
International Journal of Foundations of Computer Science | 2016-04-15 | Paper |
Factorizations and universal automaton of omega languages
International Journal of Foundations of Computer Science | 2015-04-23 | Paper |
A type system for weighted automata and rational expressions
Implementation and Application of Automata | 2014-09-26 | Paper |
Tropical Two-Way Automata
Advanced Information Systems Engineering | 2014-09-15 | Paper |
Implementation concepts in Vaucanson 2
Implementation and Application of Automata | 2013-08-07 | Paper |
The validity of weighted automata
International Journal of Algebra and Computation | 2013-07-30 | Paper |
Factorizations and universal automaton of omega languages
Developments in Language Theory | 2013-06-28 | Paper |
On the finiteness problem for automaton (semi)groups.
International Journal of Algebra and Computation | 2012-11-22 | Paper |
Decidability of geometricity of regular languages
Developments in Language Theory | 2012-11-02 | Paper |
The Removal of Weighted ε-Transitions
Implementation and Application of Automata | 2012-09-20 | Paper |
Factor and Subsequence Kernels and Signatures of Rational Languages
Implementation and Application of Automata | 2012-09-20 | Paper |
| Deciding unambiguity and sequentiality of polynomially ambiguous min-plus automata | 2012-04-24 | Paper |
Embeddings of local automata
Illinois Journal of Mathematics | 2011-04-28 | Paper |
| The universal automaton | 2011-03-30 | Paper |
Corrigendum to our paper: How Expressions Can Code for Automata
RAIRO - Theoretical Informatics and Applications | 2010-12-01 | Paper |
Regular temporal cost functions
Automata, Languages and Programming | 2010-09-07 | Paper |
Radix cross-sections for length morphisms
LATIN 2010: Theoretical Informatics | 2010-04-27 | Paper |
LATIN 2004: Theoretical Informatics
Lecture Notes in Computer Science | 2009-05-07 | Paper |
On the Size of the Universal Automaton of a Regular Language
STACS 2007 | 2007-09-03 | Paper |
Conjugacy and Equivalence of Weighted Automata and Functional Transducers
Computer Science – Theory and Applications | 2007-05-02 | Paper |
Implementation and Application of Automata
Lecture Notes in Computer Science | 2006-11-13 | Paper |
Sequential?
Theoretical Computer Science | 2006-05-18 | Paper |
Series which are both max-plus and min-plus rational are unambiguous
RAIRO - Theoretical Informatics and Applications | 2006-02-22 | Paper |
Series which are both max-plus and min-plus rational are unambiguous
RAIRO - Theoretical Informatics and Applications | 2006-02-22 | Paper |
Series which are both max-plus and min-plus rational are unambiguous
RAIRO - Theoretical Informatics and Applications | 2006-02-22 | Paper |
Automata, Languages and Programming
Lecture Notes in Computer Science | 2006-01-10 | Paper |
How expressions can code for automata
RAIRO - Theoretical Informatics and Applications | 2005-06-07 | Paper |
How expressions can code for automata
RAIRO - Theoretical Informatics and Applications | 2005-06-07 | Paper |
How expressions can code for automata
RAIRO - Theoretical Informatics and Applications | 2005-06-07 | Paper |
Derivatives of rational expressions with multiplicity
Theoretical Computer Science | 2005-04-06 | Paper |
Deciding unambiguity and sequentiality from a finitely ambiguous max-plus automaton
Theoretical Computer Science | 2005-01-11 | Paper |
Introducing VAUCANSON
Theoretical Computer Science | 2005-01-11 | Paper |
| scientific article; zbMATH DE number 2086620 (Why is no real title available?) | 2004-08-11 | Paper |
| scientific article; zbMATH DE number 2086220 (Why is no real title available?) | 2004-08-11 | Paper |
| scientific article; zbMATH DE number 2040921 (Why is no real title available?) | 2004-02-11 | Paper |
| scientific article; zbMATH DE number 1929961 (Why is no real title available?) | 2003-06-18 | Paper |
