| 1995 | Axiomatizing Petri Net Concatenable Processes. | Vladimiro Sassone |
| 1995 | Tiling with Bars and Satisfaction of Boolean Formulas. | Eric Rmila |
| 1995 | On the Synchronization of Semi-Traces. | Klaus Reinhardt |
| 1995 | How Hard is to Compute the Edit Distance. | Giovanni Pighizzini |
| 1995 | Some Results Concerning Two-Dimensional Turing Machines and Finite Automata. | Holger Petersen |
| 1995 | PRAM's Towards Realistic Parallelism: BRAM's. | Rolf Niedermeier, Peter Rossmanith |
| 1995 | On Polynomial Ideals, Their Complexity, and Applications. | Ernst W. Mayr |
| 1995 | Formal Parametric Equations. | G. S. Makanin, Habib Abdulrab, M. N. Maksimenko |
| 1995 | Properties of Probabilistic Pushdown Automata (Extended Abstract). | Ioan I. Macarie, Mitsunori Ogihara |
| 1995 | Randomized Incremental Construction of Simple Abstract Voronoi Diagrams in 3-Space (Extended Abstract). | Ngoc-Minh L |
| 1995 | Model-Checking for Real-Time Systems. | Kim Guldstrand Larsen, Paul Pettersson, Wang Yi |
| 1995 | The Power of Frequency Computation (Extended Abstract). | Martin Kummer, Frank Stephan |
| 1995 | Distributed Catenation and Chomsky Hierarchy. | Manfred Kudlek, Alexandru Mateescu |
| 1995 | Communication as Unification in the Petri Box Calculus. | Hanna Klaudel, Elisabeth Pelz |
| 1995 | Optimal Continguous Expression DAG Evaluations. | Christoph W. Keler, Thomas Rauber |
| 1995 | Restarting Automata. | Petr Jancar, Frantisek Mrz, Martin Pltek, Jrg Vogel |
| 1995 | Effective Systolic Algorithms for Gossiping in Cycles and Two-Dimensional Grids (Extended Abstract). | Juraj Hromkovic, Ralf Klasing, Dana Pardubsk, Walter Unger, Juraj Waczulk, Hubert Wagener |
| 1995 | Categorial Graphs (Extended Abstract). | Erik de Haas |
| 1995 | Computing Petri Net Languages by Reductions. | Anja Gronewold, Hans Fleischhack |
| 1995 | A Delegation-based Object Calculus with Subtying. | Kathleen Fisher, John C. Mitchell |
| 1995 | Dummy Elimination: Making Termination Easier. | Maria C. F. Ferreira, Hans Zantema |
| 1995 | Implementation of a UU-Algorithm for Primitive Recursive Tree Functions. | Heinz Fabender |
| 1995 | Petri Nets, Commutative Context-Free Grammars, and Basic Parallel Processes. | Javier Esparza |
| 1995 | Growing Patterns in 1D Cellular Automata. | Bruno Durand, Jacques Mazoyer |
| 1995 | r-Domination Problems on Homogeneously Ordered Graphs (Extended Abstract). | Feodor F. Dragan, Falk Nicolai |