An introduction to ultimately periodic sets of integers
ACM SIGACT News
Rational Transformations of Formal Power Series
ICALP '01 Proceedings of the 28th International Colloquium on Automata, Languages and Programming,
Star Height of Reversible Languages and Universal Automata
LATIN '02 Proceedings of the 5th Latin American Symposium on Theoretical Informatics
Axiomatizing Tropical Semirings
FoSSaCS '01 Proceedings of the 4th International Conference on Foundations of Software Science and Computation Structures
Some properties of recognizable L-subsets
Theoretical Computer Science
Equational theories of tropical semirings
Theoretical Computer Science - Foundations of software science and computation structures
On transformations of formal power series
Information and Computation
The limitedness problem on distance automata: Hashiguchi's method revisited
Theoretical Computer Science
Deciding unambiguity and sequentiality from a finitely ambiguous max-plus automaton
Theoretical Computer Science - Developments in language theory
Discrete Optimization Problems - Some New Heuristic Approaches
HPCASIA '05 Proceedings of the Eighth International Conference on High-Performance Computing in Asia-Pacific Region
On the power of circular splicing
Discrete Applied Mathematics - Special issue: Max-algebra
Classifying regular languages by a split game
Theoretical Computer Science
Finite Automata, Digraph Connectivity, and Regular Expression Size
ICALP '08 Proceedings of the 35th international colloquium on Automata, Languages and Programming, Part II
The Non-deterministic Mostowski Hierarchy and Distance-Parity Automata
ICALP '08 Proceedings of the 35th international colloquium on Automata, Languages and Programming, Part II
The Nesting-Depth of Disjunctive μ-Calculus for Tree Languages and the Limitedness Problem
CSL '08 Proceedings of the 22nd international workshop on Computer Science Logic
The Theory of Stabilisation Monoids and Regular Cost Functions
ICALP '09 Proceedings of the 36th Internatilonal Collogquium on Automata, Languages and Programming: Part II
Factorization forests for infinite words and applications to countable scattered linear orderings
Theoretical Computer Science
On the power of circular splicing
Discrete Applied Mathematics
Deciding the sequentiality of a finitely ambiguous max-plus automaton
DLT'03 Proceedings of the 7th international conference on Developments in language theory
The complexity of regular(-like) expressions
DLT'10 Proceedings of the 14th international conference on Developments in language theory
Chop operations and expressions: descriptional complexity considerations
DLT'11 Proceedings of the 15th international conference on Developments in language theory
Some variants of the star height problem
MFCS'11 Proceedings of the 36th international conference on Mathematical foundations of computer science
Decidability, undecidability, and PSPACE-completeness of the twins property in the tropical semiring
Theoretical Computer Science
Algebraic characterization of the finite power property
ICALP'06 Proceedings of the 33rd international conference on Automata, Languages and Programming - Volume Part I
Hi-index | 0.01 |