| 1997 | Bisimulation for Labelled Markov Processes. | Richard Blute, Jose Desharnais, Abbas Edalat, Prakash Panangaden |
| 1997 | Believe it or not, AJM's Games Model is a Model of Classical Linear Logic. | Patrick Baillot, Vincent Danos, Thomas Ehrhard, Laurent Regnier |
| 1997 | Combination of Compatible Reduction Orderings that are Total on Ground Terms. | Franz Baader |
| 1997 | A Kleene Theorem for Timed Automata. | Eugene Asarin, Paul Caspi, Oded Maler |
| 1997 | Boolean Expression Diagrams (Extended Abstract). | Henrik Reif Andersen, Henrik Hulgaard |
| 1996 | Partial-Order Methods for Model Checking: From Linear Time to Branching Time. | Bernard Willems, Pierre Wolper |
| 1996 | The Subtyping Problem for Second-Order Types is Undecidable. | Jerzy Tiuryn, Pawel Urzyczyn |
| 1996 | A Fully Abstract Domain Model for the pi-Calculus. | Ian Stark |
| 1996 | Order-Incompleteness and Finite Lambda Models (Extended Abstract). | Peter Selinger |
| 1996 | A Modal Mu-Calculus for Durational Transition Systems. | Helmut Seidl |
| 1996 | Locally Linear Time Temporal Logic. | Ramaswamy Ramanujam |
| 1996 | Semantics of Normal Logic Programs and Contested Information. | Shekhar Pradhan |
| 1996 | Reasoning about Local Variables with Operationally-Based Logical Relations. | Andrew M. Pitts |
| 1996 | A Semantic View of Classical Proofs: Type-Theoretic, Categorical, and Denotational Characterizations (Preliminary Extended Abstract). | C.-H. Luke Ong |
| 1996 | Counting Modulo Quantifiers on Finite Linearly Ordered Trees. | Juha Nurmonen |
| 1996 | Basic Paramodulation and Decidable Theories (Extended Abstract). | Robert Nieuwenhuis |
| 1996 | An Algebraic Theory of Process Efficiency. | V. Natarajan, Rance Cleaveland |
| 1996 | Solving Linear Equations over Polynomial Semirings. | Paliath Narendran |
| 1996 | Confluence and Preservation of Strong Normalisation in an Explicit Substitutions Calculus. | Csar A. Muoz |
| 1996 | A Generalization of Fagin's Theorem. | J. Antonio Medina, Neil Immerman |
| 1996 | Games and Full Abstraction for FPC. | Guy McCusker |
| 1996 | Zero-One Laws for Gilbert Random Graphs. | Gregory L. McColm |
| 1996 | Tarskian Set Constraints. | David A. McAllester, Robert Givan, Carl Witty, Dexter Kozen |
| 1996 | Decision Problems for Semi-Thue Systems with a Few Rules. | Yuri V. Matiyasevich, Graud Snizergues |
| 1996 | On the Complexity of Abduction. | V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel |