| 1995 | A Fully Abstract Semantics for Causality in the Pi-Calculus. | Michele Boreale, Davide Sangiorgi |
| 1995 | A Family of Tag Systems for Paperfolding Sequences. | Christiane Bercoff |
| 1995 | Simultaneous Messages vs. Communication. | Lszl Babai, Peter G. Kimmel, Satyanarayana V. Lokam |
| 1995 | A Prossible Code in the Genetic Code. | Didier Arqus, Christian J. Michel |
| 1995 | Partial Derivates of Regular Expressions and Finite Automata Constructions. | Valentin M. Antimirov |
| 1994 | Economy of Description for Single-valued Transducers. | Andreas Weber, Reinhard Klemm |
| 1994 | On Different Reducibility Notions for Function Classes. | Heribert Vollmer |
| 1994 | On Sets Bounded Truth-Table Reducible to P-selective Sets. | Thomas Thierauf, Seinosuke Toda, Osamu Watanabe |
| 1994 | Deterministic 1-k Routing on Meshes. | Jop F. Sibeyn, Michael Kaufmann |
| 1994 | Automaticity: Properties of a Measure of Descriptional Complexity. | Jeffrey O. Shallit, Yuri Breitbart |
| 1994 | Two Refinements of the Polynomial Hierarcht. | Victor L. Selivanov |
| 1994 | The Nature and Meaning of Perturbations in Geometric Computing. | Raimund Seidel |
| 1994 | About Changing the Ordering During Knuth-Bendix Completion. | Andrea Sattler-Klein |
| 1994 | Combination of Matching Algorithms. | Christophe Ringeissen |
| 1994 | A New Parallel Vector Model, with Exact Characterization of NC^k. | Kenneth W. Regan |
| 1994 | The Ambiguity of Primitive Words. | Holger Petersen |
| 1994 | The Complete Axiomatization of Cs-congruence. | Joachim Parrow, Peter Sjdin |
| 1994 | Transition System Specifications in Stalk Formal with Bisimulation as a Congruence. | Vincent van Oostrom, Erik P. de Vink |
| 1994 | NC^k(NP) = AC^(k-1)(NP). | Mitsunori Ogiwara |
| 1994 | Quasilinear Time Complexity Theory. | Ashish V. Naik, Kenneth W. Regan, D. Sivakumar |
| 1994 | On the Star Operation and the Finite Power Property in Free Partially Commutative Monoids (Extended Abstract). | Yves Mtivier, Gwnal Richomme |
| 1994 | Nondeterminism in Patterns. | Alexandru Mateescu, Arto Salomaa |
| 1994 | Are Parallel Machines Always Faster than Sequential Machines? (Preliminary Version). | Louis Mak |
| 1994 | A Simple Optimal Parallel Algorithm for Reporting Paths in a Tree. | Anil Maheshwari, Andrzej Lingas |
| 1994 | Space-Efficient Deterministic Simulation of Probabilistic Automata (Extended Abstract). | Ioan I. Macarie |