| 1995 | A Delegation-based Object Calculus with Subtying. Kathleen Fisher, John C. Mitchell |
| 1995 | A Duration Calculus with Infinite Intervals. Chaochen Zhou, Dang Van Hung, Xiaoshan Li |
| 1995 | A Simple Abstract Semantics for Equational Theories. Gilles Barthe |
| 1995 | About Planar Cayley Graphs. Thomas Chaboud |
| 1995 | Axiomatizing Petri Net Concatenable Processes. Vladimiro Sassone |
| 1995 | Categorial Graphs (Extended Abstract). Erik de Haas |
| 1995 | Communication as Unification in the Petri Box Calculus. Hanna Klaudel, Elisabeth Pelz |
| 1995 | Computing Petri Net Languages by Reductions. Anja Gronewold, Hans Fleischhack |
| 1995 | Discrete Time Process Algebra with Abstraction. Jos C. M. Baeten, Jan A. Bergstra |
| 1995 | Distributed Catenation and Chomsky Hierarchy. Manfred Kudlek, Alexandru Mateescu |
| 1995 | Dummy Elimination: Making Termination Easier. Maria C. F. Ferreira, Hans Zantema |
| 1995 | Effective Category and Measure in Abstract Complexity Theory (Extended Abstract). Cristian Calude, Marius Zimand |
| 1995 | Effective Systolic Algorithms for Gossiping in Cycles and Two-Dimensional Grids (Extended Abstract). Juraj Hromkovic, Ralf Klasing, Dana Pardubská, Walter Unger, Juraj Waczulík, Hubert Wagener |
| 1995 | Efficient Rewriting in Cograph Trace Monoids. Michael Bertol |
| 1995 | Fast Algorithms for Maintaining Shortest Paths in Outerplanar and Planar Digraphs. Hristo N. Djidjev, Grammati E. Pantziou, Christos D. Zaroliagis |
| 1995 | Formal Parametric Equations. G. S. Makanin, Habib Abdulrab, M. N. Maksimenko |
| 1995 | From a Concurrent Lambda-Calculus to the Pi-Calculus. Roberto M. Amadio, Lone Leth Thomsen, Bent Thomsen |
| 1995 | Functional Sorts in Data Type Specifications: A Geometric Approach to Semantics. Klaus-Dieter Schewe |
| 1995 | Fundamentals of Computation Theory, 10th International Symposium, FCT '95, Dresden, Germany, August 22-25, 1995, Proceedings Horst Reichel |
| 1995 | Growing Patterns in 1D Cellular Automata. Bruno Durand, Jacques Mazoyer |
| 1995 | How Hard is to Compute the Edit Distance. Giovanni Pighizzini |
| 1995 | Implementation of a UU-Algorithm for Primitive Recursive Tree Functions. Heinz Faßbender |
| 1995 | Model-Checking for Real-Time Systems. Kim Guldstrand Larsen, Paul Pettersson, Wang Yi |
| 1995 | On Condorcet and Median Points of Simple Rectilinear Polygons (Extended Abstract). Victor Chepoi, Feodor F. Dragan |
| 1995 | On Polynomial Ideals, Their Complexity, and Applications. Ernst W. Mayr |
| 1995 | On the Synchronization of Semi-Traces. Klaus Reinhardt |
| 1995 | Optimal Continguous Expression DAG Evaluations. Christoph W. Keßler, Thomas Rauber |
| 1995 | PRAM's Towards Realistic Parallelism: BRAM's. Rolf Niedermeier, Peter Rossmanith |
| 1995 | Petri Nets, Commutative Context-Free Grammars, and Basic Parallel Processes. Javier Esparza |
| 1995 | Processes with Multiple Entries and Exits. Jan A. Bergstra, Gheorghe Stefanescu |
| 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 | Restarting Automata. Petr Jancar, Frantisek Mráz, Martin Plátek, Jörg Vogel |
| 1995 | Rewriting Regular Inequalities (Extended Abstract). Valentin M. Antimirov |
| 1995 | Some Results Concerning Two-Dimensional Turing Machines and Finite Automata. Holger Petersen |
| 1995 | The Power of Frequency Computation (Extended Abstract). Martin Kummer, Frank Stephan |
| 1995 | Tiling with Bars and Satisfaction of Boolean Formulas. Eric Rémila |
| 1995 | r-Domination Problems on Homogeneously Ordered Graphs (Extended Abstract). Feodor F. Dragan, Falk Nicolai |