Optimization of functional programs by grammar thinning
ACM Transactions on Programming Languages and Systems (TOPLAS)
Distances between languages and reflexivity of relations
Theoretical Computer Science
The synthesis of petri nets from path-automatic specifications
Information and Computation
Regular path queries under approximate semantics
Annals of Mathematics and Artificial Intelligence
The "equal last letter" predicate for words on infinite alphabets and classes of multitape automata
Theoretical Computer Science
Program equivalence checking by two-tape automata
Cybernetics and Systems Analysis
Mix and match replacement rules
AdaptLRTtoND '09 Proceedings of the Workshop on Adaptation of Language Resources and Technology to New Domains
Computing Maximal Error-detecting Capabilities and Distances of Regular Languages
Fundamenta Informaticae
Radix cross-sections for length morphisms
LATIN'10 Proceedings of the 9th Latin American conference on Theoretical Informatics
Invertible transducers, iteration and coordinates
CIAA'13 Proceedings of the 18th international conference on Implementation and Application of Automata
Hi-index | 5.23 |