| 2003 | Concurrent Construction of Proof-Nets. | Jean-Marc Andreoli, Laurent Mazar |
| 2003 | The Commuting V-Diagram. | Bernhard K. Aichernig |
| 2003 | Deciding Monotonic Games. | Parosh Aziz Abdulla, Ahmed Bouajjani, Julien d'Orso |
| 2002 | Decidability of Bounded Higher-Order Unification. | Manfred Schmidt-Schau, Klaus U. Schulz |
| 2002 | A Proof Theoretical Account of Continuation Passing Style. | Ichiro Ogata |
| 2002 | µ-Calculus via Games. | Damian Niwinski |
| 2002 | Extraction of Proofs from the Clausal Normal Form Transformation. | Hans de Nivelle |
| 2002 | Hoare Logics for Recursive Procedures and Unbounded Nondeterminism. | Tobias Nipkow |
| 2002 | Automata, Logic, and XML. | Frank Neven |
| 2002 | A Logic for Probabilities in Semantics. | M. Andrew Moshier, Achim Jung |
| 2002 | A Fully Abstract Relational Model of Syntactic Control of Interference. | Guy McCusker |
| 2002 | Optimal Complexity Bounds for Positive LTL Games. | Jerzy Marcinkowski, Tomasz Truderung |
| 2002 | Proofnets and Context Semantics for the Additives. | Harry G. Mairson, Xavier Rival |
| 2002 | Possible World Semantics for General Storage in Call-By-Value. | Paul Blain Levy |
| 2002 | Implicit Computational Complexity for Higher Type Functionals. | Daniel Leivant |
| 2002 | The Stuttering Principle Revisited: On the Expressiveness of Nested X and U Operators in the Logic LTL. | Antonn Kucera, Jan Strejcek |
| 2002 | Partial Fixed-Point Logic on Infinite Structures. | Stephan Kreutzer |
| 2002 | Bijections between Partitions by Two-Directional Rewriting Techniques. | Max I. Kanovich |
| 2002 | Duality between Call-by-Name Recursion and Call-by-Value Iteration. | Yoshihiko Kakutani |
| 2002 | Trading Probability for Fairness. | Marcin Jurdzinski, Orna Kupferman, Thomas A. Henzinger |
| 2002 | A Tag-Frame System of Resource Management for Proof Search in Linear-Logic Programming. | Joshua S. Hodas, Pablo Lpez, Jeffrey Polakow, Lubomira Stoilova, Ernesto Pimentel |
| 2002 | Limit-Computable Mathematics and Its Applications. | Susumu Hayashi, Yohji Akama |
| 2002 | Classical Linear Logic of Implications. | Masahito Hasegawa |
| 2002 | Logical Relations for Monadic Types. | Jean Goubault-Larrecq, Slawomir Lasota, David Nowak |
| 2002 | Higher-Order Positive Set Constraints. | Jean Goubault-Larrecq |