| 2004 | Games with Secure Equilibria. | Krishnendu Chatterjee, Thomas A. Henzinger, Marcin Jurdzinski |
| 2004 | A Graph of a Relational Structure and Constraint Satisfaction Problems. | Andrei A. Bulatov |
| 2004 | The Sensible Graph Theories of Lambda Calculus. | Antonio Bucciarelli, Antonino Salibra |
| 2004 | A Computational Interpretation of Open Induction. | Ulrich Berger |
| 2004 | Spi Calculus Translated to ?--Calculus Preserving May-Tests. | Michael Baldamus, Joachim Parrow, Bjrn Victor |
| 2004 | Light Types for Polynomial Time Computation in Lambda-Calculus. | Patrick Baillot, Kazushige Terui |
| 2004 | Three-Valued Abstractions of Games: Uncertainty, but with Precision. | Luca de Alfaro, Patrice Godefroid, Radha Jagadeesan |
| 2004 | An Arithmetical Hierarchy of the Law of Excluded Middle and Related Principles. | Yohji Akama, Stefano Berardi, Susumu Hayashi, Ulrich Kohlenbach |
| 2004 | Nominal Games and Full Abstraction for the Nu-Calculus. | Samson Abramsky, Dan R. Ghica, Andrzej S. Murawski, C.-H. Luke Ong, Ian David Bede Stark |
| 2004 | A Categorical Semantics of Quantum Protocols. | Samson Abramsky, Bob Coecke |
| 2004 | High-Level Methods for Quantum Computation and Information. | Samson Abramsky |
| 2004 | Multi-Clock Timed Networks. | Parosh Aziz Abdulla, Johann Deneux, Pritha Mahata |
| 2003 | Successor-Invariance in the Finite. | Benjamin Rossman |
| 2003 | System ST \beta-reduction and completeness. | Christophe Raffalli |
| 2003 | Micro-Macro Stack Systems: A New Frontier of Elementary Decidability for Sequential Systems. | Nir Piterman, Moshe Y. Vardi |
| 2003 | The Planning Spectrum - One, Two, Three, Infinity. | Marco Pistore, Moshe Y. Vardi |
| 2003 | Types and Programming Languages: The Next Generation. | Benjamin C. Pierce |
| 2003 | Revisiting Digitization, Robustness, and Decidability for Timed Automata. | Jol Ouaknine, James Worrell |
| 2003 | Polynomial-time Algorithms from Ineffective Proofs. | Paulo Oliva |
| 2003 | A Sound Framework for Untrusted Verification-Condition Generators. | George C. Necula, Robert R. Schneck |
| 2003 | On Program Equivalence in Languages with Ground-Type References. | Andrzej S. Murawski |
| 2003 | A Proof Theory for Generic Judgments: An extended abstract. | Dale Miller, Alwen Fernanto Tiu |
| 2003 | Advice about logical AI. | John McCarthy |
| 2003 | Model-checking Trace Event Structures. | P. Madhusudan |
| 2003 | Convergence Law for Random Graphs with Specified Degree Sequence. | James F. Lynch |