A framework to visualize equivalences between computational models of regular languages
Information Processing Letters
International Journal of Parallel Programming
SEAM: A State-Entity-Activity-Model for a Well-Defined Workflow Development Methodology
IEEE Transactions on Knowledge and Data Engineering
Grail: a C++ library for finite-state machines and regular expressions
CASCON '94 Proceedings of the 1994 conference of the Centre for Advanced Studies on Collaborative research
IEEE Annals of the History of Computing
Basic notions in computational complexity
Algorithms and theory of computation handbook
Algorithms and theory of computation handbook
Algorithms and theory of computation handbook
Verifying the incorrectness of programs and automata
SARA'05 Proceedings of the 6th international conference on Abstraction, Reformulation and Approximation
| Hi-index | 0.00 |