| 1995 | Comparing Counting Classes for Logspace, One-way Logspace, and First-order. | Hans-Jrg Burtschick |
| 1995 | An Elementary Bisimulation Decision Procedure for Arbitrary Context-Free Processes. | Olaf Burkart, Didier Caucal, Bernhard Steffen |
| 1995 | Deterministic Parsing for Augmented Context-free Grammars. | Luca Breveglieri, Alessandra Cherubini, Stefano Crespi-Reghizzi |
| 1995 | Multiple Product Modulo Arbitrary Numbers. | Claudia Bertram-Kretzberg, Thomas Hofmeister |
| 1995 | Strong Optimal Lower Bounds for Turing Machines that Accept Nonregular Languages. | Alberto Bertoni, Carlo Mereghetti, Giovanni Pighizzini |
| 1995 | On the Complexity of Finite Memory Policies for Markov Decision Processes. | Danile Beauquier, Dima Burago, Anatol Slissenko |
| 1995 | On Congruences and Partial Orders. | Serge Bauget, Paul Gastin |
| 1995 | Decomposable Structures, Boolean Function Representations, and Optimization. | Stefan Arnborg |
| 1995 | Measure on P: Robustness of the Notion. | Eric Allender, Martin Strauss |
| 1995 | Scheduling Parallel Communication: The h-relation Problem. | Micah Adler, John W. Byers, Richard M. Karp |
| 1995 | An Abstract Account of Composition. | Martn Abadi, Stephan Merz |
| 1994 | Stable Bistructure Models of PCF. | Glynn Winskel |
| 1994 | The Finest Homophonic Partition and Related Code Concepts. | Andreas Weber, Tom Head |
| 1994 | Full Abstraction for the Second Order Subset of an Algol-Like Language. | Kurt Sieber |
| 1994 | Shorter Queues for Permutation Routing on Meshes. | Jop F. Sibeyn, Bogdan S. Chlebus, Michael Kaufmann |
| 1994 | On-Line Scheduling of Parallel Jobs. | Jir Sgall |
| 1994 | Complexity of E0L Structural Equivalence. | Kai Salomaa, Derick Wood, Sheng Yu |
| 1994 | On the Minimization Prolem for Omega-Automata. | Bertrand Le Sac, Igor Litovsky |
| 1994 | Some Trace Monoids Where Both the Star Problem and the Finite Power Property Problem are Decidable. | Gwnal Richomme |
| 1994 | Read-Write Causality. | Corrado Priami, Daniel Yankelevich |
| 1994 | Critical Pairs in Term Graph Rewriting. | Detlef Plump |
| 1994 | Towards DNA Sequencing Chips. | Pavel A. Pevzner, Robert J. Lipshutz |
| 1994 | Longest Common Subsequences. | Mike Paterson, Vlado Danck |
| 1994 | How a Rainbow Coloring Function Can Simulate Wait-Free Handshaking. | Marina Papatriantafilou, Philippas Tsigas |
| 1994 | Algebraic Methods in the Compositional Analysis of Logic Programs. | Fernando Orejas, Elvira Pino, Hartmut Ehrig |