| 1978 | Data Types as Functions. | Brian H. Mayoh |
| 1978 | A Framework for Producing Deterministic Canonical Bottom-up Parsers. | Otto Mayer |
| 1978 | Analysis of a Universal Class of Hash Functions. | George Markowsky, Larry Carter, Mark N. Wegman |
| 1978 | On Functional Grammars. | Leon Lukaszewicz |
| 1978 | Complexity Measures Defined by Mazurkiewicz-Algorithms. | Gerhard Lischke |
| 1978 | An Algebra for Parallelism Based on Petri Nets. | Vadim E. Kotov |
| 1978 | Cycles of Partial Orders. | Eld Knuth |
| 1978 | Fast Matrix Multiplication by Boolean RAM in Linear Storage. | Reinhard Klette |
| 1978 | Synthesis of Concurrent Schemes. | Ryszard Janicki |
| 1978 | Structural Invariants for Some Classes of Structured Programs. | Grard Jacob |
| 1978 | Transforming Recursive Equations to Algorithms. | Jacek Irlik |
| 1978 | Goal-Oriented Derivation of Logic Programs. | Christopher J. Hogger |
| 1978 | Some Applications of Algebraic Semantics. | Irne Guessarian |
| 1978 | Multiplicative Complexity of a Pair of Bilinear Forms and of the Polynomial Multiplication. | Dima Grigoriev |
| 1978 | Dynamic Theories of Real and Complex Numbers. | Michal Grabowski, Antoni Kreczmar |
| 1978 | Loop Programs and Classes of Primitive Recursive Functions. | Bernhard G. Goetze, Werner Nehrlich |
| 1978 | Facts in Place/Transition-Nets. | Hartmann J. Genrich, Kurt Lautenbach |
| 1978 | Contribution to the Theory of Concurrency in Databases. | Georges Gardarin |
| 1978 | Semantics of Nondeterminism, Concurrency and Communication (Extended Abstract). | Nissim Francez, C. A. R. Hoare, Willem P. de Roever |
| 1978 | Concurrency of Manipulations in Multidimensional Information Structures. | Hartmut Ehrig, Barry K. Rosen |
| 1978 | Deriving Structures from Structures. | Hartmut Ehrig, Hans-Jrg Kreowski, Andrea Maggiolo-Schettini, Barry K. Rosen, Jzef Winkowski |
| 1978 | Extensions and Implementations of Abstract Data Type Specifications. | Hans-Dieter Ehrich |
| 1978 | Finding the Correctness Proof of a Concurrent Program. | Edsger W. Dijkstra |
| 1978 | Attribute Grammars and Two-Level Grammars: A Unifying Approach. | Piotr Dembinski, Jan Maluszynski |
| 1978 | The Algebraic Semantics of Recursive Program Schemes. | Bruno Courcelle, Maurice Nivat |