| 1979 | A Sound and Complete Proof System for Partial Program Correctness. | J. W. de Bakker |
| 1979 | Relationships between AFDL's and Cylinders. | Jean-Michel Autebert |
| 1979 | Completeness Problems in Verification of Programs and Program Schemes. | Hajnal Andrka, Istvn Nmeti, Ildik Sain |
| 1979 | A Theoretical Study of the Time Analysis of Programs. | Akeo Adachi, Takumi Kasai, Etsuro Moriya |
| 1978 | Programming Languages as Mathematical Objects. | Eric G. Wagner, James W. Thatcher, Jesse B. Wright |
| 1978 | On the Computational Power of Extended Petri Nets. | Rdiger Valk |
| 1978 | Tranformations to Produce Certain Covering Grammars. | Esko Ukkonen |
| 1978 | Free Petri Net Languages. | Peter H. Starke |
| 1978 | Name Independence and Database Abstraction in the Relational Model. | Nicolas Spyratos, Franois Bancilhon |
| 1978 | String-Matching in Real Time: Some Properties of the Data Structure. | A. O. Slisenko |
| 1978 | Ensuring Correctness by Arbitrary Postfixed-Points. | Michel Sintzoff |
| 1978 | Structural Properties of Petri Nets. | Joseph Sifakis |
| 1978 | Analyzing Program Solutions of Coordination problems by CP-Nets. | Michael Schiffers, Horst F. Wedde |
| 1978 | On Algorithmic Theory of Stacks. | Andrzej Salwicki |
| 1978 | Probabilistic LCF. | Nasser Saheb-Djahromi |
| 1978 | Theory of Relations for Databases - A Tutorial Survey. | Jorma Rissanen |
| 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 | Improving Memory Utilization in Transforming Recursive Programs (Extended Abstract). | Alberto Pettorossi |
| 1978 | The Completeness of Propositional Dynamic Logic. | Rohit Parikh |
| 1978 | Compression of Clustered Inverted Files. | Olli Nevalainen, Matti Jakobsson, R. Berg |
| 1978 | On Divergence and Halting Problems for Monadic Program Schemas. | Valery A. Nepomniaschy |
| 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 | Cooperating Grammar Systems. | Robert Meersman, Grzegorz Rozenberg |