| 1965 | A proof concerning infinite nets of logic elements without feedback | Edward W. Veitch |
| 1965 | Investigation and simulation of a self-repairing digital computer | I. Terris, Michel A. Melkanoff |
| 1965 | Hierarchies of memory limited computations | Richard Edwin Stearns, Juris Hartmanis, Philip M. Lewis II |
| 1965 | Threshold gate network synthesis | Edward P. Stabler |
| 1965 | Holiac-A family of student-constructed logic teaching aids | Parker W. Snapp |
| 1965 | Translational methods and computational complexity | S. S. Ruby, Patrick C. Fischer |
| 1965 | On multi-head finite automata | Arnold L. Rosenberg |
| 1965 | Procedures for minimization of "exclusive-OR" and "logical-equivalence" switching circuits. | C. V. Ramamoorthy |
| 1965 | Partially ordered classes of finite automata | Jrg Nievergelt |
| 1965 | Modular synthesis of sequential machines | A. J. Nichols III |
| 1965 | A theory of high-speed clocked logic | Herschel H. Loomis Jr., Michael R. McCoy |
| 1965 | Memory bounds for recognition of context-free and context-sensitive languages | Philip M. Lewis II, Richard Edwin Stearns, Juris Hartmanis |
| 1965 | Decomposition of sequential machines | Zvi Kohavi, Edward J. Smith |
| 1965 | Minimal linear decompositions of switching functions | Sze-Tsen Hu |
| 1965 | Crossing sequences and off-line Turing machine computations | F. C. Hennie |
| 1965 | An integrated approach to automated computer maintenance | F. J. Hackl, R. W. Shirk |
| 1965 | Synthesis of counters with threshold elements | Charles H. Gustafson, Donald R. Haring, Alfred K. Susskind, Thomas G. Wills-Sanford |
| 1965 | Two-level threshold minimization | R. Gonzalez, Eugene L. Lawler |
| 1965 | Transparent categories and categories of transition systems | Yehoshafat Give'on |
| 1965 | Deterministic context free languages | Seymour Ginsburg, Sheila A. Greibach |
| 1965 | The synthesis of TANT networks | James F. Gimpel |
| 1965 | Feedback in asynchronous sequential circuits | Arthur D. Friedman |
| 1965 | Reliability and fault-masking in n-variable NOR trees | Marion Dunning, Bernard Kolman |
| 1965 | On shift register realizations for sequential machines | Wayne A. Davis |
| 1965 | On maximum stability realizations of linearly separable Boolean functions | C. L. Coates, Vatana Supornpaibul |