| 1995 | Decision Problems for Second-Order Linear Logic | Patrick Lincoln, Andre Scedrov, Natarajan Shankar |
| 1995 | Games Semantics for Full Propositional Linear Logic | Franois Lamarche |
| 1995 | Once and For All | Orna Kupferman, Amir Pnueli |
| 1995 | Decidability of Linear Affine Logic | Alexey P. Kopylov |
| 1995 | New Notions of Reduction and Non-Semantic Proofs of beta-Strong Normalization in Typed lambda-Calculi | A. J. Kfoury, J. B. Wells |
| 1995 | A Complete Proof Systems for QPTL | Yonit Kesten, Amir Pnueli |
| 1995 | The Complexity of Neutrals in Linear Logic | Max I. Kanovich |
| 1995 | Compositional Testing Preorders for Probabilistic Processes | Bengt Jonsson, Wang Yi |
| 1995 | A Fully Abstract Semantics for a Concurrent Functional Language with Monadic Types | Alan Jeffrey |
| 1995 | Relativized Logspace and Generalized Quantifiers over Finite Structures | Georg Gottlob |
| 1995 | The Semantic Challenge of Verilog HDL | Michael J. C. Gordon |
| 1995 | Configuration Structures | Rob J. van Glabbeek, Gordon D. Plotkin |
| 1995 | A Typed Calculus of Synchronous Processes | Simon J. Gay, Rajagopal Nagarajan |
| 1995 | Tree Canonization and Transitive Closure | Kousha Etessami, Neil Immerman |
| 1995 | Domain Theory in Stochastic Processes | Abbas Edalat |
| 1995 | Complete Proof Systems for First Order Interval Temporal Logic | Bruno Dutertre |
| 1995 | Higher-Order Unification via Explicit Substitutions (Extended Abstract) | Gilles Dowek, Thrse Hardin, Claude Kirchner |
| 1995 | Equality between Functionals in the Presence of Coproducts | Daniel J. Dougherty, Ramesh Subrahmanyam |
| 1995 | Generalized Quantifiers and 0-1 Laws | Anuj Dawar, Erich Grdel |
| 1995 | Experience with Type Theory as a Foundation for Computer Science | Robert L. Constable |
| 1995 | Orderings, AC-Theories and Symbolic Constraint Solving (Extended Abstract) | Hubert Comon, Robert Nieuwenhuis, Albert Rubio |
| 1995 | Sequentiality, Second Order Monadic Logic and Tree Automata | Hubert Comon |
| 1995 | On the Verification Problem of Nonregular Properties for Nonregular Processes | Ahmed Bouajjani, Rachid Echahed, Peter Habermehl |
| 1995 | Efficient On-the-Fly Model Checking for CTL* | Girish Bhat, Rance Cleaveland, Orna Grumberg |
| 1995 | Partial Model Checking (Extended Abstract) | Henrik Reif Andersen |