Direct and dual laws for automata with multiplicities
Theoretical Computer Science
Forty years of formal power series in automata theory
A half-century of automata theory
Modelization of deterministic rational relations
Theoretical Computer Science
Complete System of Equivalent Transformations for Multitape Automata
Programming and Computing Software
Applications of Finite Automata
MFCS '02 Proceedings of the 27th International Symposium on Mathematical Foundations of Computer Science
The Delta Operation: From Strings to Trees to Strings
Formal and Natural Computing - Essays Dedicated to Grzegorz Rozenberg [on occasion of his 60th birthday, March 14, 2002]
The Equivalence Problem of Finite Substitutions on ab*c, with Applications
ICALP '02 Proceedings of the 29th International Colloquium on Automata, Languages and Programming
Operations over Automata with Multiplicities
WIA '98 Revised Papers from the Third International Workshop on Automata Implementation
Learning Unary Output Two-Tape Automata from Multiplicity and Equivalence Queries
ALT '98 Proceedings of the 9th International Conference on Algorithmic Learning Theory
Decision Questions on Integer Matrices
DLT '01 Revised Papers from the 5th International Conference on Developments in Language Theory
The Equivalence Problem for Computational Models: Decidable and Undecidable Cases
MCU '01 Proceedings of the Third International Conference on Machines, Computations, and Universality
The delta operation: from strings to trees to strings
Formal and natural computing
A New Approach to Solving Equivalence Problem
Programming and Computing Software
Many aspects of defect theorems
Theoretical Computer Science - Words, languages and combinatorics
On size reduction techniques for multitape automata
Theoretical Computer Science - Implementation and application of automata
Fundamenta Informaticae - SPECIAL ISSUE ON TRAJECTORIES OF LANGUAGE THEORY Dedicated to the memory of Alexandru Mateescu
Equivalence of two-dimensional multitape automata
Cybernetics and Systems Analysis
Decidability and syntactic control of interference
Theoretical Computer Science
The problem of equivalent transformations for homogeneous multitape automata
Programming and Computing Software
Weighted automata with discounting
Information Processing Letters
The equivalence problem of multidimensional multitape automata
Journal of Computer and System Sciences
The "equal last letter" predicate for words on infinite alphabets and classes of multitape automata
Theoretical Computer Science
On decision problems for parameterized machines
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
On synchronized multitape and multihead automata
DCFS'11 Proceedings of the 13th international conference on Descriptional complexity of formal systems
On the equivalence of Z-automata
ICALP'05 Proceedings of the 32nd international conference on Automata, Languages and Programming
Decidability in syntactic control of interference
ICALP'05 Proceedings of the 32nd international conference on Automata, Languages and Programming
On the equivalence-checking problem for a model of programs related with multi-tape automata
CIAA'04 Proceedings of the 9th international conference on Implementation and Application of Automata
Journal of Computer and System Sciences
A new formal test method for networked software integration testing
ICCSA'10 Proceedings of the 2010 international conference on Computational Science and Its Applications - Volume Part II
A class of rational n-WFSM auto-intersections
CIAA'05 Proceedings of the 10th international conference on Implementation and Application of Automata
Size reduction of multitape automata
CIAA'05 Proceedings of the 10th international conference on Implementation and Application of Automata
On synchronized multi-tape and multi-head automata
Theoretical Computer Science
Annals of Mathematics and Artificial Intelligence
Fundamenta Informaticae - SPECIAL ISSUE ON TRAJECTORIES OF LANGUAGE THEORY Dedicated to the memory of Alexandru Mateescu
ON A POWER SERIES GENERALIZATION OF ETOL LANGUAGES
Fundamenta Informaticae
Revisiting the equivalence problem for finite multitape automata
ICALP'13 Proceedings of the 40th international conference on Automata, Languages, and Programming - Volume Part II
Hi-index | 5.23 |