| 1984 | On the Complexity of Inductive Inference (Preliminary Report). | Robert P. Daley, Carl H. Smith |
| 1984 | Weak and Strong Fairness in CCS. | Gerardo Costa, Colin Stirling |
| 1984 | Nondeterminism Is Essential for Two-Way Counter Machines. | Marek Chrobak |
| 1984 | Complexity of Quantifier Elimination in the Theory of Algebraically Closed Fields. | Alexander L. Chistov, Dima Grigoriev |
| 1984 | On Generalized Words of Thue-Morse. | Anton Cern |
| 1984 | An Investigation of Controls for Concurrent Systems by Abstract Control Languages. | Hans-Dieter Burkhard |
| 1984 | On the Herbrand Kleene Universe for Nondeterministic Computations. | Manfred Broy |
| 1984 | A Truely Morphic Characterization of Recursively Enumerable Sets. | Franz-Josef Brandenburg |
| 1984 | Computability of Probabilistic Parameters for Some Classes of Formal Languages. | Joffroy Beauquier, Los Thimonier |
| 1984 | Sparse Oracles, Lowness, and Highness. | Jos L. Balczar, Ronald V. Book, Uwe Schning |
| 1984 | Separating, Strongly Separating, and Collapsing Relativized Complexity Classes. | Jos L. Balczar |
| 1984 | On the Ehrenfeucht Conjecture on Test Sets and Its Dual Version. | Jrgen Albert |
| 1981 | Preserving Total Order in Constant Expected Time. | Juraj Wiedermann |
| 1981 | Admissible Representations of Effective CPO's. | Klaus Weihrauch, Gisela Schfer |
| 1981 | A Starvation-Free Solution of the Dining Philosopher's Problem by Use of Interaction Systems. | Horst F. Wedde |
| 1981 | Generalizations of Petri Nets. | Rdiger Valk |
| 1981 | Fast Parallel Computation of Polynomials Using Few Processes. | Leslie G. Valiant, Sven Skyum |
| 1981 | Testing of Join Dependency Preserving by a Modified Chase Method. | Katsumi Tanaka, Yahiko Kambayashi |
| 1981 | Axiomatic Semantics of Indirect Addressing. | Juraj Steiner |
| 1981 | Complexity and Entropy. | Ludwig Staiger |
| 1981 | Axioms for the Term-Wise Correctness of Programs. | Stefan Sokolowski |
| 1981 | On Structural Similarity of Context-Free Grammars. | Eljas Soisalon-Soininen, Derick Wood |
| 1981 | On Existence of Complete Predicate Calculus in Metamathematics without Exponentiation. | Vladimir Yu. Sazonov |
| 1981 | A Framework for Studying Grammars. | Branislav Rovan |
| 1981 | On Representations of Dynamic Algebras with Reversion. | Jan Reiterman, Vera Trnkov |