ICAL '99 Proceedings of the 26th International Colloquium on Automata, Languages and Programming
The Equivalence Problem of Finite Substitutions on ab*c, with Applications
ICALP '02 Proceedings of the 29th International Colloquium on Automata, Languages and Programming
Combinatorial and Computational Problems on Finite Sets of Words
MCU '01 Proceedings of the Third International Conference on Machines, Computations, and Universality
On D0L systems with finite axiom sets
Acta Cybernetica
On the Decidability of Bounded Valuedness for Transducers
MFCS '08 Proceedings of the 33rd international symposium on Mathematical Foundations of Computer Science
On the Decidability of the Equivalence for k-Valued Transducers
DLT '08 Proceedings of the 12th international conference on Developments in Language Theory
A combinatorial study of k-valued rational relations
Journal of Automata, Languages and Combinatorics
Nondeterministic streaming string transducers
ICALP'11 Proceedings of the 38th international conference on Automata, languages and programming - Volume Part II
DLT'11 Proceedings of the 15th international conference on Developments in language theory
On the containment and equivalence problems for GSMs, transducers, and linear CFGs
CIAA'11 Proceedings of the 16th international conference on Implementation and application of automata
Symbolic finite state transducers: algorithms and applications
POPL '12 Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Finite sets of words and computing
MCU'04 Proceedings of the 4th international conference on Machines, Computations, and Universality
On the containment and equivalence problems for two-way transducers
Theoretical Computer Science
Equivalence of extended symbolic finite transducers
CAV'13 Proceedings of the 25th international conference on Computer Aided Verification
Hi-index | 5.23 |