| 1978 | A Framework for Producing Deterministic Canonical Bottom-up Parsers. Otto Mayer |
| 1978 | An Algebra for Parallelism Based on Petri Nets. Vadim E. Kotov |
| 1978 | Analysis of a Universal Class of Hash Functions. George Markowsky, Larry Carter, Mark N. Wegman |
| 1978 | Analyzing Program Solutions of Coordination problems by CP-Nets. Michael Schiffers, Horst F. Wedde |
| 1978 | Attribute Grammars and Two-Level Grammars: A Unifying Approach. Piotr Dembinski, Jan Maluszynski |
| 1978 | Complexity Measures Defined by Mazurkiewicz-Algorithms. Gerhard Lischke |
| 1978 | Compression of Clustered Inverted Files. Olli Nevalainen, Matti Jakobsson, R. Berg |
| 1978 | Concurrency of Manipulations in Multidimensional Information Structures. Hartmut Ehrig, Barry K. Rosen |
| 1978 | Contribution to the Theory of Concurrency in Databases. Georges Gardarin |
| 1978 | Cooperating Grammar Systems. Robert Meersman, Grzegorz Rozenberg |
| 1978 | Cycles of Partial Orders. Elöd Knuth |
| 1978 | Data Types as Functions. Brian H. Mayoh |
| 1978 | Decision Problems Concerning Parallel Programming. Jan A. Bergstra |
| 1978 | Deriving Structures from Structures. Hartmut Ehrig, Hans-Jörg Kreowski, Andrea Maggiolo-Schettini, Barry K. Rosen, Józef Winkowski |
| 1978 | Dynamic Theories of Real and Complex Numbers. Michal Grabowski, Antoni Kreczmar |
| 1978 | Ensuring Correctness by Arbitrary Postfixed-Points. Michel Sintzoff |
| 1978 | Extensions and Implementations of Abstract Data Type Specifications. Hans-Dieter Ehrich |
| 1978 | Facts in Place/Transition-Nets. Hartmann J. Genrich, Kurt Lautenbach |
| 1978 | Fast Matrix Multiplication by Boolean RAM in Linear Storage. Reinhard Klette |
| 1978 | Finding the Correctness Proof of a Concurrent Program. Edsger W. Dijkstra |
| 1978 | Free Petri Net Languages. Peter H. Starke |
| 1978 | Goal-Oriented Derivation of Logic Programs. Christopher J. Hogger |
| 1978 | Improving Memory Utilization in Transforming Recursive Programs (Extended Abstract). Alberto Pettorossi |
| 1978 | Loop Programs and Classes of Primitive Recursive Functions. Bernhard G. Goetze, Werner Nehrlich |
| 1978 | Mastering Contextsensitivity in Programming Languages. Gerhard Barth |
| 1978 | Mathematical Foundations of Computer Science 1978, Proceedings, 7th Symposium, Zakopane, Poland, September 4-8, 1978 Józef Winkowski |
| 1978 | Multiplicative Complexity of a Pair of Bilinear Forms and of the Polynomial Multiplication. Dima Grigoriev |
| 1978 | Name Independence and Database Abstraction in the Relational Model. Nicolas Spyratos, François Bancilhon |
| 1978 | On Algorithmic Theory of Stacks. Andrzej Salwicki |
| 1978 | On Divergence and Halting Problems for Monadic Program Schemas. Valery A. Nepomniaschy |
| 1978 | On Functional Grammars. Leon Lukaszewicz |
| 1978 | On Information Storage and Retrieval Systems: An Algebraic Approach, Part I. Zbigniew W. Ras |
| 1978 | On Two Subclasses of Real-Time Grammars. Jan Pittl |
| 1978 | On the Completeness of Query Languages for Relational Data Bases. François Bancilhon |
| 1978 | On the Computational Power of Extended Petri Nets. Rüdiger Valk |
| 1978 | Probabilistic LCF. Nasser Saheb-Djahromi |
| 1978 | Programming Languages as Mathematical Objects. Eric G. Wagner, James W. Thatcher, Jesse B. Wright |
| 1978 | Semantics of Nondeterminism, Concurrency and Communication (Extended Abstract). Nissim Francez, C. A. R. Hoare, Willem P. de Roever |
| 1978 | Some Applications of Algebraic Semantics. Irène Guessarian |
| 1978 | String-Matching in Real Time: Some Properties of the Data Structure. A. O. Slisenko |
| 1978 | Structural Invariants for Some Classes of Structured Programs. Gérard Jacob |
| 1978 | Structural Properties of Petri Nets. Joseph Sifakis |
| 1978 | Synchronized Petri Nets: A Model for the Description of Non-Autonomous Systems. M. Moalla, Jacques Pulou, Joseph Sifakis |
| 1978 | Synthesis of Communicating Behaviour. Robin Milner |
| 1978 | Synthesis of Concurrent Schemes. Ryszard Janicki |
| 1978 | The Algebraic Semantics of Recursive Program Schemes. Bruno Courcelle, Maurice Nivat |
| 1978 | The Completeness of Propositional Dynamic Logic. Rohit Parikh |
| 1978 | The Connection between Modal Logic and Algorithmic Logic. Peter van Emde Boas |
| 1978 | Theory of Relations for Databases - A Tutorial Survey. Jorma Rissanen |
| 1978 | Tranformations to Produce Certain Covering Grammars. Esko Ukkonen |
| 1978 | Transforming Recursive Equations to Algorithms. Jacek Irlik |
| 1978 | Writing and Verifying Sequential Files Updating Programs. Mikhail Auguston |