Distances between languages and reflexivity of relations
Theoretical Computer Science
The homomorphism problem for the free monoid
Discrete Mathematics
On the Theory of One-Step Rewriting in Trace Monoids
ICALP '02 Proceedings of the 29th International Colloquium on Automata, Languages and Programming
A Short Introduction to Infinite Automata
DLT '01 Revised Papers from the 5th International Conference on Developments in Language Theory
On the transition graphs of Turing machines
Theoretical Computer Science
Definable relations and first-order query languages over strings
Journal of the ACM (JACM)
The homomorphism problem for trace monoids
Theoretical Computer Science - WORDS
The growth ratio of synchronous rational relations is unique
Theoretical Computer Science
A Testing Framework for Finite-State Morphology
CIAA '09 Proceedings of the 14th International Conference on Implementation and Application of Automata
Prognosis of ω-Languages for the Diagnosis of *-Languages: A Topological Perspective
Discrete Event Dynamic Systems
Edit-distance of weighted automata
CIAA'02 Proceedings of the 7th international conference on Implementation and application of automata
CIAA'07 Proceedings of the 12th international conference on Implementation and application of automata
On infinitary rational relations and Borel sets
DMTCS'03 Proceedings of the 4th international conference on Discrete mathematics and theoretical computer science
On factors of synchronized sequences
Theoretical Computer Science
Selected operations and applications of n-tape weighted finite-state machines
FSMNLP'09 Proceedings of the 8th international conference on Finite-state methods and natural language processing
Deciding word neighborhood with universal neighborhood automata
Theoretical Computer Science
Singular artin monoids of finite coxeter type are automatic
LATA'11 Proceedings of the 5th international conference on Language and automata theory and applications
Regular growth automata: properties of a class of finitely induced infinite machines
MOL'11 Proceedings of the 12th biennial conference on The mathematics of language
Invariants of automatic presentations and semi-synchronous transductions
STACS'06 Proceedings of the 23rd Annual conference on Theoretical Aspects of Computer Science
Regularity problems for visibly pushdown languages
STACS'06 Proceedings of the 23rd Annual conference on Theoretical Aspects of Computer Science
Radix cross-sections for length morphisms
LATIN'10 Proceedings of the 9th Latin American conference on Theoretical Informatics
The growth ratio of synchronous rational relations is unique
DLT'06 Proceedings of the 10th international conference on Developments in Language Theory
A class of rational n-WFSM auto-intersections
CIAA'05 Proceedings of the 10th international conference on Implementation and Application of Automata
Modularization of regular growth automata
FSMNLP '11 Proceedings of the 9th International Workshop on Finite State Methods and Natural Language Processing
Graph Logics with Rational Relations and the Generalized Intersection Problem
LICS '12 Proceedings of the 2012 27th Annual IEEE/ACM Symposium on Logic in Computer Science
| Hi-index | 0.00 |