On the Two-Variable Fragment of the Equational Theory of the Max-Sum Algebra of the Natural Numbers
STACS '00 Proceedings of the 17th Annual Symposium on Theoretical Aspects of Computer Science
The finite power property in free groups
Theoretical Computer Science
Some properties of recognizable L-subsets
Theoretical Computer Science
Equational theories of tropical semirings
Theoretical Computer Science - Foundations of software science and computation structures
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
The Theory of Stabilisation Monoids and Regular Cost Functions
ICALP '09 Proceedings of the 36th Internatilonal Collogquium on Automata, Languages and Programming: Part II
A novel max-plus algebra based wavelet transform and its applications in image processing
SMC'09 Proceedings of the 2009 IEEE international conference on Systems, Man and Cybernetics
Deciding the sequentiality of a finitely ambiguous max-plus automaton
DLT'03 Proceedings of the 7th international conference on Developments in language theory
Max-plus algebra-based wavelet transforms and their FPGA implementation for image coding
Information Sciences: an International Journal
The cost of traveling between languages
ICALP'11 Proceedings of the 38th international conference on Automata, languages and programming - Volume Part II
What's decidable about weighted automata?
ATVA'11 Proceedings of the 9th international conference on Automated technology for verification and analysis
Decidability, undecidability, and PSPACE-completeness of the twins property in the tropical semiring
Theoretical Computer Science
Membership and finiteness problems for rational sets of regular languages
DLT'05 Proceedings of the 9th international conference on Developments in Language Theory
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 |