| 1995 | A Characterization of the Existence of Energies for Neural Networks. Michel Cosnard, Eric Goles Ch. |
| 1995 | A Domain for Concurrent Termination: A Generalization of Mazurkiewicz Traces (Extended Abstract). Volker Diekert, Paul Gastin |
| 1995 | A Dynamic Programming Algorithm for Constructing Optimal Refix-Free Codes for Unequal Letter Costs. Mordecai J. Golin, Günter Rote |
| 1995 | Alternation in Simple Devices. Holger Petersen |
| 1995 | Approximating Minimum Cuts under Insertions. Monika Rauch Henzinger |
| 1995 | Automata, Languages and Programming, 22nd International Colloquium, ICALP95, Szeged, Hungary, July 10-14, 1995, Proceedings Zoltán Fülöp, Ferenc Gécseg |
| 1995 | Automatic Synthesis of Real Time Systems. Jørgen H. Andersen, Kåre J. Kristoffersen, Kim Guldstrand Larsen, Jesper Niedermann |
| 1995 | Bicriteria Network Design Problems. Madhav V. Marathe, R. Ravi, Ravi Sundaram, S. S. Ravi, Daniel J. Rosenkrantz, Harry B. Hunt III |
| 1995 | Break Finite Automata Public Key Cryptosystem. Feng Bao, Yoshihide Igarashi |
| 1995 | Causality for Mobile Processes. Pierpaolo Degano, Corrado Priami |
| 1995 | Compactness of Systems of Equations in Semigroups. Tero Harju, Juhani Karhumäki, Wojciech Plandowski |
| 1995 | Computing the Closure of Sets of Words Under Partial Commutations. Yves Métivier, Gwénaël Richomme, Pierre-André Wacrenier |
| 1995 | Divergence and Fair Testing. V. Natarajan, Rance Cleaveland |
| 1995 | Extension Orderings. Albert Rubio |
| 1995 | Fast Gossiping by Short Messages. Jean-Claude Bermond, Luisa Gargano, Adele A. Rescigno, Ugo Vaccaro |
| 1995 | Finite State Transformations of Images. Karel Culík II, Jarkko Kari |
| 1995 | Generalized Sturmian Languages. Luis-Miguel Lopez, Philippe Narbel |
| 1995 | Grammar Systems: A Grammatical Approach to Distribution and Cooperation. Gheorghe Paun |
| 1995 | Graph Connectivity, Monadic NP and Built-in Relations of Moderate Degree. Thomas Schwentick |
| 1995 | Graphbots: Mobility in Discrete Spaces. Samir Khuller, Ehud Rivlin, Azriel Rosenfeld |
| 1995 | How to Use the Minimal Separators of a Graph for its Chordal Triangulation. Andreas Parra, Petra Scheffler |
| 1995 | Hybrid Automata with Finite Bisimulatioins. Thomas A. Henzinger |
| 1995 | Implicit Definability and Infinitary Logic in Finite Model Theory. Anuj Dawar, Lauri Hella, Phokion G. Kolaitis |
| 1995 | Improved Deterministic PRAM Simulation on the Mesh. Andrea Pietracaprina, Geppino Pucci |
| 1995 | Internal Mobility and Agent-Passing Calculi. Davide Sangiorgi |
| 1995 | Intervalizing k-Colored Graphs. Hans L. Bodlaender, Babette de Fluiter |
| 1995 | Linear Time Algorithms for Dominating Pairs in Asteroidal Triple-free Graphs. Derek G. Corneil, Stephan Olariu, Lorna Stewart |
| 1995 | Lower Bounds on Algebraic Random Access Machines (Extended Abstract). Amir M. Ben-Amram, Zvi Galil |
| 1995 | Lower Time Bounds for Randomized Computation. Rusins Freivalds, Marek Karpinski |
| 1995 | Measure, Category and Learning Theory. Lance Fortnow, Rusins Freivalds, William I. Gasarch, Martin Kummer, Stuart A. Kurtz, Carl H. Smith, Frank Stephan |
| 1995 | NC Algorithms for Finding a Maximal Set of Paths with Application to Compressing Strings. Zhi-Zhong Chen |
| 1995 | New Collapse Consequences of NP Having Small Circuits. Johannes Köbler, Osamu Watanabe |
| 1995 | New Upper Bounds for Generalized Intersection Searching Problems. Panayiotis Bozanis, Nectarios Kitsios, Christos Makris, Athanasios K. Tsakalidis |
| 1995 | Nonfinite Axiomatizability of the Equational Theory of Shuffle. Zoltán Ésik, Michael Bertol |
| 1995 | OKFDDs versus OBDDs and OFDDs. Bernd Becker, Rolf Drechsler, Michael Theobald |
| 1995 | On Determining Optimal Strategies in Pursiut Games in the Plane. Ngoc-Minh Lê |
| 1995 | On Optimal Polynomial Time Approximations: P-Levelability vs. Delta-Levelability (Extended Abstract). Klaus Ambos-Spies |
| 1995 | On the Construction of Classes of Suffix Trees for Square Matrices: Algorithms and Applications. Raffaele Giancarlo, Roberto Grossi |
| 1995 | On the Number of Random Bits in Totally Private Computation. Carlo Blundo, Alfredo De Santis, Giuseppe Persiano, Ugo Vaccaro |
| 1995 | On-line Resource Management with Applications to Routing and Scheduling. Stefano Leonardi, Alberto Marchetti-Spaccamela |
| 1995 | Optimal Shooting: Characterizations and Applications. Frank Bauernöppel, Evangelos Kranakis, Danny Krizanc, Anil Maheshwari, Marc Noy, Jörg-Rüdiger Sack, Jorge Urrutia |
| 1995 | Parallel Algorithms with Optimal Speedup for Bounded Treewidth. Hans L. Bodlaender, Torben Hagerup |
| 1995 | Placing Resources in a Tree: Dynamic and Static Algorithms. Vincenzo Auletta, Domenico Parente, Giuseppe Persiano |
| 1995 | Polynomial Closure and Unambiguous Product. Jean-Eric Pin, Pascal Weil |
| 1995 | Post Correspondence Problem: Words Possible as Primitive Solutions. Marjo Lipponen |
| 1995 | Self-Correcting for Function Fields Transcendental Degree. Manuel Blum, Bruno Codenotti, Peter Gemmell, Troy Shahoumian |
| 1995 | Sensing Versus Nonsensing Automata. Pavol Duris, Zvi Galil |
| 1995 | Shortest Path Queries in Digraphs of Small Treewidth. Shiva Chaudhuri, Christos D. Zaroliagis |
| 1995 | Solving Recursive Net Equations. Eike Best, Maciej Koutny |
| 1995 | Stochastic Graphs Have Short Memory: Fully Dynamic Connectivity in Poly-Log Expected Time. Sotiris E. Nikoletseas, John H. Reif, Paul G. Spirakis, Moti Yung |
| 1995 | The Algebraic Equivalent of AFL Theory. Werner Kuich |
| 1995 | The Complexity of Searching Succinctly Represented Graphs. José L. Balcázar |
| 1995 | The Expressive Power of Clocks. Thomas A. Henzinger, Peter W. Kopke, Howard Wong-Toi |
| 1995 | The Limit of Split_n-Language Equivalence. Walter Vogler |
| 1995 | The PushDown Method to Optimize Chain Logic Programs (Extended Abstract). Sergio Greco, Domenico Saccà, Carlo Zaniolo |
| 1995 | Theory of 2-Structures. Andrzej Ehrenfeucht, Tero Harju, Grzegorz Rozenberg |
| 1995 | Variable-Length Codes for Error Correction. Helmut Jürgensen, Stavros Konstantinidis |
| 1995 | Weakly Useful Sequences. Stephen A. Fenner, Jack H. Lutz, Elvira Mayordomo |