| 1995 | Model-Checking of Causality Properties | Rajeev Alur, Doron A. Peled, Wojciech Penczek |
| 1995 | Games and Full Abstraction for the Lazy lambda-Calculus | Samson Abramsky, Guy McCusker |
| 1994 | On the Parallel Complexity of Model Checking in the Modal Mu-Calculus | Shipei Zhang, Oleg Sokolsky, Scott A. Smolka |
| 1994 | Typability and Type-Checking in the Second-Order lambda-Calculus are Equivalent and Undecidable | J. B. Wells |
| 1994 | The Emptiness Problem for Intersection Types | Pawel Urzyczyn |
| 1994 | A Trace Based Extension of Linear Time Temporal Logic | P. S. Thiagarajan |
| 1994 | Systems of Set Constraints with Negative Constraints are NEXPTIME-Complete | Kjartan Stefnsson |
| 1994 | The Declarative Semantics of the Prolog Selection Rule | Robert F. Strk |
| 1994 | Bisimulation is Not Finitely (First Order) Equationally Axiomatisable | Peter Sewell |
| 1994 | Foundations of Timed Concurrent Constraint Programming | Vijay A. Saraswat, Radha Jagadeesan, Vineet Gupta |
| 1994 | Reflexive Graphs and Parametric Polymorphism | Edmund P. Robinson, Giuseppe Rosolini |
| 1994 | Passivity and Independence | Uday S. Reddy |
| 1994 | Higher-Order Narrowing | Christian Prehofer |
| 1994 | Subtyping and Parametricity | Gordon D. Plotkin, Martn Abadi, Luca Cardelli |
| 1994 | Type Inference and Extensionality | Adolfo Piperno, Simona Ronchi Della Rocca |
| 1994 | Language Completeness of the Lambek Calculus | Mati Pentus |
| 1994 | Efficient Inference of Object Types | Jens Palsberg |
| 1994 | Generalized Quantifiers for Simple Properties | Martin Otto |
| 1994 | A General Semantics for Evaluation Logic | Eugenio Moggi |
| 1994 | A Multiple-Conclusion Meta-Logic | Dale Miller |
| 1994 | Axioms for Knowledge and Time in Distributed Systems with Perfect Recall | Ron van der Meyden |
| 1994 | A Syntactic Characterization of NP-Completeness | J. Antonio Medina, Neil Immerman |
| 1994 | Normalised Rewriting and Normalised Completion | Claude March |
| 1994 | Linear Logic, Totality and Full Completeness | Ralph Loader |
| 1994 | Proof Search in First-Order Linear Logic and Other Cut-Free Sequent Calculi | Patrick Lincoln, Natarajan Shankar |