Embedding computers in a cellular array
ACM SIGARCH Computer Architecture News
Representational and Denotational Semantics of Digital Systems
IEEE Transactions on Computers
Abstractions of Finite-State Machines and Immediately-Detectable Output Faults
IEEE Transactions on Computers
Fifty years of research on self-replication: an overview
Artificial Life - Special issue on self-replication
Characterizing the behavior of a program using multiple-length N-grams
Proceedings of the 2000 workshop on New security paradigms
Abstractions of Random Finite-State Machines
Formal Methods in System Design
Readings in hardware/software co-design
Minimality of an automaton cascade decomposition for learning system environments
Journal of Computer and System Sciences
AI '01 Proceedings of the 14th Australian Joint Conference on Artificial Intelligence: Advances in Artificial Intelligence
New Small Universal Circular Post Machines
FCT '01 Proceedings of the 13th International Symposium on Fundamentals of Computation Theory
The relationship between computational circuit complexity and radix
MVL '76 Proceedings of the sixth international symposium on Multiple-valued logic
How to show something is not: Proofs in formal language and computability theory
SIGCSE '78 Proceedings of the ninth SIGCSE technical symposium on Computer science education
On generalized finite automata and unrestricted generative grammars
STOC '71 Proceedings of the third annual ACM symposium on Theory of computing
A methodology for decomposing system requirements into data processing requirements
ICSE '76 Proceedings of the 2nd international conference on Software engineering
A prototype DBMS with a Turkish query Language
ACM '82 Proceedings of the ACM '82 conference
An introductory adaptive systems course for undergraduate computer science majors
SIGCSE '74 Proceedings of the fourth SIGCSE technical symposium on Computer science education
Minimizing system models for efficient simulation
ANSS '84 Proceedings of the 17th annual symposium on Simulation
English and the class of context-free languages
Computational Linguistics - Special issue on mathematical properties of grammatical formalisms
On teaching theoretical foundations of Computer Science
ACM SIGACT News
Simulating Self-replicating Machines
Journal of Intelligent and Robotic Systems
Probabilistic Automata with Monitored Final State Sets
IEEE Transactions on Computers
R70-38 The Time Required for Group Multiplication
IEEE Transactions on Computers
Processing by Data and Program Blocks
IEEE Transactions on Computers
Establishing lower bounds on algorithms: a survey
AFIPS '72 (Spring) Proceedings of the May 16-18, 1972, spring joint computer conference
Aspects of dictionary making developing an in-house text parsing tool
WSEAS Transactions on Computers
A Model of Database Components and their Interconnection Based upon Communicating Views
Proceedings of the 2008 conference on Information Modelling and Knowledge Bases XIX
ICLS'08 Proceedings of the 8th international conference on International conference for the learning sciences - Volume 2
Large systems and their regular expressions: an approach to pattern recognition
IJCAI'71 Proceedings of the 2nd international joint conference on Artificial intelligence
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
System properties of action theories
AIS'04 Proceedings of the 13th international conference on AI, Simulation, and Planning in High Autonomy Systems
Journal of Computer and System Sciences
| Hi-index | 0.02 |