| 1979 | 20th Annual Symposium on Foundations of Computer Science, San Juan, Puerto Rico, 29-31 October 1979 |
| 1979 | A Polynomial Time Algorithm for Solving Systems of Linear Inequalities with Two Variables per Inequality Bengt Aspvall, Yossi Shiloach |
| 1979 | A Subexponential Algorithm for the Discrete Logarithm Problem with Applications to Cryptography (Abstract) Leonard M. Adleman |
| 1979 | A T S^2 = O(2^n) Time/Space Tradeoff for Certain NP-Complete Problems Richard Schroeppel, Adi Shamir |
| 1979 | A Time-Space Tradeoff for Sorting on Non-Oblivious Machines Allan Borodin, Michael J. Fischer, David G. Kirkpatrick, Nancy A. Lynch, Martin Tompa |
| 1979 | Approximate Algorithms for Optimization of Busy Waiting in Parallel Programs (Preliminary Report) Edmund M. Clarke, Lishing Liu |
| 1979 | Bijective A-Transducers Hermann A. Maurer, Maurice Nivat |
| 1979 | Canonical Labelling of Graphs in Linear Average Time László Babai, Ludek Kucera |
| 1979 | Complexity of Partial Satisfaction Karl J. Lieberherr, Ernst Specker |
| 1979 | Complexity of the Mover's Problem and Generalizations (Extended Abstract) John H. Reif |
| 1979 | Computational Complexity in Algebraic Function Fields (Preliminary Version) Nicholas Pippenger |
| 1979 | Controlling Concurrency Using Locking Protocols (Preliminary Report) Zvi M. Kedem, Abraham Silberschatz |
| 1979 | Division Is Good Janos Simon |
| 1979 | Efficient Algorithms for Simple Matroid Intersection Problems Harold N. Gabow, Robert Endre Tarjan |
| 1979 | Efficient Computation of Continuous Skeletons David G. Kirkpatrick |
| 1979 | Explicit Constructions of Linear Size Superconcentrators Ofer Gabber, Zvi Galil |
| 1979 | Field Extension and Triangular Aggregating, Uniting and Canceling for the Acceleration of Matrix Multiplications Victor Y. Pan |
| 1979 | Formal Languages: Origins and Directions Sheila A. Greibach |
| 1979 | Length of Predicate Calculus Formulas as a New Complexity Measure Neil Immerman |
| 1979 | Locking Policies: Safety and Freedom from Deadlock Mihalis Yannakakis, Christos H. Papadimitriou, H. T. Kung |
| 1979 | Modeling Communications Protocols by Automata Alfred V. Aho, Jeffrey D. Ullman, Mihalis Yannakakis |
| 1979 | Models of Program Logics Vaughan R. Pratt |
| 1979 | Multiple-Person Alternation Gary L. Peterson, John H. Reif |
| 1979 | New Classes and Applications of Hash Functions Mark N. Wegman, Larry Carter |
| 1979 | Observations about the Development of Theoretical Computer Science Juris Hartmanis |
| 1979 | On Simultaneous Resource Bounds (Preliminary Version) Nicholas Pippenger |
| 1979 | On Time versus Space II Wolfgang J. Paul, Rüdiger Reischuk |
| 1979 | On Uniform Circuit Complexity (Extended Abstract) Walter L. Ruzzo |
| 1979 | On a General Method for Maximizing and Minimizing among Certain Geometric Problems (Extended Abstract) David P. Dobkin, Lawrence Snyder |
| 1979 | Orderings for Term-Rewriting Systems Nachum Dershowitz |
| 1979 | Origins of Recursive Function Theory Stephen Cole Kleene |
| 1979 | Random Walks, Universal Traversal Sequences, and the Complexity of Maze Problems Romas Aleliunas, Richard M. Karp, Richard J. Lipton, László Lovász, Charles Rackoff |
| 1979 | Reductions that Lie Leonard M. Adleman, Kenneth L. Manders |
| 1979 | Relativized Cryptography Gilles Brassard |
| 1979 | Resource Allocation with Immunity to Limited Process Failure (Preliminary Report) Michael J. Fischer, Nancy A. Lynch, James E. Burns, Allan Borodin |
| 1979 | Semantics of Probabilistic Programs Dexter Kozen |
| 1979 | Some Theoretical Aspects of Position-Location Problems Yechiam Yemini |
| 1979 | Succinct Certificates for the Solvability of Binary Quadratic Diophantine Equations J. C. Lagarias |
| 1979 | Succinctness, Verifiability and Determinism in Representations of Polynomial-Time Languages Theodore P. Baker, Juris Hartmanis |
| 1979 | The Cube-Connected-Cycles: A Versatile Network for Parallel Computation (Extended Abstract) Franco P. Preparata, Jean Vuillemin |
| 1979 | The Decidability of the Equivalence of Context-Free Grammar Forms Meera Blattner |
| 1979 | Toward Self-Organizing Linear Search (Preliminary Draught) Gaston H. Gonnet, J. Ian Munro, Hendra Suwanda |
| 1979 | Towards Analysing Sequences of Operations for Dynamic Data Structures (Preliminary Version) Philippe Flajolet, Jean Françon, Jean Vuillemin |
| 1979 | Transforming Static Data Structures to Dynamic Structures (Abridged Version) James B. Saxe, Jon Louis Bentley |