interactions - Winds of change
A categorical framework for finite state machines
Mathematical Structures in Computer Science
On the futility of blind search: An algorithmic view of “no free lunch”
Evolutionary Computation
Testing from X-machine specifications
Formal methods and testing
One-stack automata as acceptors of context-free languages
Journal of Computing Sciences in Colleges
On the density of regular and context-free languages
COCOON'10 Proceedings of the 16th annual international conference on Computing and combinatorics
Relating automata to other fields
Journal of Computing Sciences in Colleges
On synthesizing robust discrete controllers under modeling uncertainty
Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control
Fine-tuning the search for microsatellites
Journal of Discrete Algorithms
Hi-index | 0.00 |
From the Publisher:This text strikes a good balance between rigor and an intuitive approach to computer theory. Covers all the topics needed by computer scientists with a sometimes humorous approach that reviewers found "refreshing". It is easy to read and the coverage of mathematics is fairly simple so readers do not have to worry about proving theorems.