| 1965 | State-calculable stochastic sequential machines, equivalences, and events | Jack W. Carlyle |
| 1965 | The controls automation system | B. R. S. Buckingham, William C. Carter, W. R. Crawford, G. A. Nowell |
| 1965 | On single-loop realizations of automata | Janusz A. Brzozowski |
| 1965 | Reversibility in monadic algebras and automata | Zamir Bavel, David E. Muller |
| 1964 | Some new results on the analysis and reliability of large polyfunctional nets | Rocco H. Urbano |
| 1964 | New techniques for designing speed independent control logic | Robert E. Swartwout |
| 1964 | On the application of pair algebra to automata theory | Richard Edwin Stearns, Juris Hartmanis |
| 1964 | On n-tape finite state acceptors | Arnold L. Rosenberg |
| 1964 | Derivation of optimum test sequences for sequential machines | J. F. Poage, Edward J. McCluskey |
| 1964 | Sequential-machine realization using feedback shift registers | C. L. Liu |
| 1964 | On the minimum stage realization of switching functions using logic gates with limited fan-in | G. L. Hicks, Arthur J. Bernstein |
| 1964 | Fault detecting experiments for sequential circuits | F. C. Hennie |
| 1964 | Computational complexity of recursive sequences | Juris Hartmanis, Richard Edwin Stearns |
| 1964 | A census of finite automata (extended summary) | Michael A. Harrison |
| 1964 | Ideas on asynchronous feedback networks | David G. Hammel |
| 1964 | Turing machine recognizers for general rewriting systems | Thomas V. Griffiths |
| 1964 | A lower bound on Rado's sigma function for binary Turing machines | Milton W. Green |
| 1964 | Antiparallel control logic | Jack Goldberg, Robert A. Short |
| 1964 | Mappings of languages by two-tape devices | Seymour Ginsburg, Edwin H. Spanier |
| 1964 | A reduction technique for prime implicant tables | James F. Gimpel |
| 1964 | Implication techniques for Boolean functions | R. Stockton Gaines |
| 1964 | On formalisms for Turing machines | Patrick C. Fischer |
| 1964 | On state assignments and sequential machine decompositions from S. P. partitions | Donald L. Epley, P. T. Wang |
| 1964 | Topological constraints on interconnection-limited logic | Bernard Elspas |
| 1964 | Hazard detection in combinational and sequential switching circuits | Edward B. Eichelberger |