| 1981 | Making Dynamic Logic First-Order. | Petr Hjek |
| 1981 | Multiplicative Complexity of a Bilinear Form over a Commutative Ring. | Dima Grigoriev |
| 1981 | Probabilistic Two-Way Machines. | Rusins Freivalds |
| 1981 | The Transformational Machine: Theme and Variations. | Andrei P. Ershov |
| 1981 | On Realization and Implementation. | Hans-Dieter Ehrich |
| 1981 | Combining T and level-N. | Werner Damm, Irne Guessarian |
| 1981 | Retraceability, Repleteness and Busy Beaver Sets. | Robert P. Daley |
| 1981 | Structured Nets. | Ludmila Cherkasova, Vadim E. Kotov |
| 1981 | Two Pebbles Don't Suffice. | Lothar Budach |
| 1981 | Pushdown Automata with Restricted Use of Storage Symbols. | Andreas Brandstdt |
| 1981 | On the Tranformation of Derivation Graphs to Derivation Trees (Preliminary Report). | Franz-Josef Brandenburg |
| 1981 | On the Complexity of Word Problems in Certain Thue Systems (Preliminary Report). | Ronald V. Book, Matthias Jantzen, Burkhard Monien, Colm 'Dnlaing, Celia Wrathall |
| 1981 | An Application of the Theory of Free Partially Commutative Monoids: Asymptotic Densities of Trace Languages. | Alberto Bertoni, Marco Brambilla, Giancarlo Mauri, Nicoletta Sabadini |
| 1981 | On the Power of Algebraic Specifications. | Jan A. Bergstra, Manfred Broy, John V. Tucker, Martin Wirsing |
| 1981 | The Complexity of Manipulating Hierarchically Defined Sets of Rectangles. | Jon Louis Bentley, Thomas Ottmann |
| 1981 | More about the "Geography" of Context-Free Languages. | Joffroy Beauquier, Jean Berstel |
| 1981 | Semantics of CSP via Translation into CCS. | Egidio Astesiano, Elena Zucca |
| 1981 | A Characterization of Floyd-Provable Programs. | Hajnal Andrka, Istvn Nmeti, Ildik Sain |
| 1981 | Partial Match Retrieval in Implicit Data Structures. | Helmut Alt, Kurt Mehlhorn, J. Ian Munro |
| 1980 | Abstract Data Types: A Retrospective and Prospective View. | William A. Wulf |
| 1980 | On Some Discrete Optimization Problems in Mass Storage Systems. | C. K. Wong |
| 1980 | The LR(k) Parser. | Jacek Witaszek |
| 1980 | Abstract Data Types as Lattices of Finitely Generated Models. | Martin Wirsing, Manfred Broy |
| 1980 | Relativized Obliviousness. | Paul M. B. Vitnyi |
| 1980 | Decision Complexity of Variants of Propositional Dynamic Logic. | Mars K. Valiev |