A model for self-adaptation in a robot colony
ISMIS '86 Proceedings of the ACM SIGART international symposium on Methodologies for intelligent systems
Formal Verification of Fault Tolerance Using Theorem-Proving Techniques
IEEE Transactions on Computers
SIGCSE '99 The proceedings of the thirtieth SIGCSE technical symposium on Computer science education
Recipes, Algorithms, and Programs
Minds and Machines
The complexity of the equivalence problem for straight-line programs
STOC '80 Proceedings of the twelfth annual ACM symposium on Theory of computing
Exploring an information-based approach to computation and computational complexity
ACM-SE 38 Proceedings of the 38th annual on Southeast regional conference
How to compare the power of computational models
CiE'05 Proceedings of the First international conference on Computability in Europe: new Computational Paradigms
| Hi-index | 0.00 |