| Publication | Date of Publication | Type |
|---|
| Computational completeness of interaction machines and Turing machines | 2026-01-14 | Paper |
Principles of interactive computation
Interactive Computation | 2013-06-18 | Paper |
Turing machines, transition systems, and interaction
Electronic Notes in Theoretical Computer Science | 2013-04-26 | Paper |
| scientific article; zbMATH DE number 5604101 (Why is no real title available?) | 2009-09-15 | Paper |
New Computational Paradigms
Lecture Notes in Computer Science | 2006-01-11 | Paper |
New Models of Computation
The Computer Journal | 2004-11-19 | Paper |
A nonlinear extension of the simplex method
Management Science | 2002-10-22 | Paper |
| scientific article; zbMATH DE number 1314226 (Why is no real title available?) | 1999-07-12 | Paper |
Interactive foundations of computing
Theoretical Computer Science | 1998-08-13 | Paper |
| scientific article; zbMATH DE number 517017 (Why is no real title available?) | 1994-03-17 | Paper |
Processes, Tasks, and Monitors: A Comparative Study of Concurrent Programming Primitives
IEEE Transactions on Software Engineering | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3677173 (Why is no real title available?) | 1980-01-01 | Paper |
Programming Languages—The First 25 Years
IEEE Transactions on Computers | 1976-01-01 | Paper |
A nucleus of a theorem-prover described inAlgol-68
International Journal of Computer & Information Sciences | 1974-01-01 | Paper |
| scientific article; zbMATH DE number 3383521 (Why is no real title available?) | 1972-01-01 | Paper |
| scientific article; zbMATH DE number 3420280 (Why is no real title available?) | 1972-01-01 | Paper |
Translation Networks and Function Composition
Journal of the ACM | 1969-01-01 | Paper |
| scientific article; zbMATH DE number 3277146 (Why is no real title available?) | 1966-01-01 | Paper |
| scientific article; zbMATH DE number 3204966 (Why is no real title available?) | 1964-01-01 | Paper |
| scientific article; zbMATH DE number 3208619 (Why is no real title available?) | 1964-01-01 | Paper |
| scientific article; zbMATH DE number 3221709 (Why is no real title available?) | 1964-01-01 | Paper |
An Introduction to Statistical Programming
Revue de l'Institut International de Statistique / Review of the International Statistical Institute | 1963-01-01 | Paper |
Communications between independently translated blocks
Communications of the ACM | 1962-01-01 | Paper |
Zero-Address Computers
The Computer Journal | 1962-01-01 | Paper |
