Communications of the ACM
Automata, formal languages abstract switching, and computability in a Ph.D. computer science program
Communications of the ACM
Two Dogmas of Computationalism
Minds and Machines
Physical Hypercomputation and the Church–Turing Thesis
Minds and Machines
The nested rectangular array as a model of data
APL '79 Proceedings of the international conference on APL: part 1
Cognition and the Power of Continuous Dynamical Systems
Minds and Machines
Tag systems and Collatz-like functions
Theoretical Computer Science
Implementation of ontology mapping for computational agents
CIMMACS'06 Proceedings of the 5th WSEAS International Conference on Computational Intelligence, Man-Machine Systems and Cybernetics
Theorem Proving for Verification (Invited Tutorial)
CAV '08 Proceedings of the 20th international conference on Computer Aided Verification
On the Brightness of the Thomson Lamp: A Prolegomenon to Quantum Recursion Theory
UC '09 Proceedings of the 8th International Conference on Unconventional Computation
Bernoulli's principle of insufficient reason and conservation of information in computer search
SMC'09 Proceedings of the 2009 IEEE international conference on Systems, Man and Cybernetics
Indistinguishable from Magic: Computation is Cognitive Technology
Minds and Machines
So mechanical or routine: The not original in Feist
Journal of the American Society for Information Science and Technology
A short survey of automated reasoning
AB'07 Proceedings of the 2nd international conference on Algebraic biology
The diagonalization method in quantum recursion theory
Quantum Information Processing
Study of limits of solvability in tag systems
MCU'07 Proceedings of the 5th international conference on Machines, computations, and universality
Solvability of the Halting and Reachability Problem for Binary 2-tag Systems
Fundamenta Informaticae
On the complex behavior of simple tag systems-An experimental approach
Theoretical Computer Science
A public key cryptosystem based on three new provable problems
Theoretical Computer Science
| Hi-index | 0.05 |