| 2007 | Strong Normalization as Safe Interaction. | Colin Riba |
| 2007 | A New Efficient Simulation Equivalence Algorithm. | Francesco Ranzato, Francesco Tapparo |
| 2007 | Highly Efficient Secrecy-Preserving Proofs of Correctness of Computations and Applications. | Michael O. Rabin, Rocco A. Servedio, Christopher Thorpe |
| 2007 | Static Name Control for FreshML. | Franois Pottier |
| 2007 | Examining The Fragments of G. | Steven James Perron |
| 2007 | Modified Realizability Interpretation of Classical Linear Logic. | Paulo Oliva |
| 2007 | The Complexity of Proving the Discrete Jordan Curve Theorem. | Phuong Nguyen, Stephen A. Cook |
| 2007 | Separating DAG-Like and Tree-Like Proof Systems. | Phuong Nguyen |
| 2007 | A Contraction Method to Decide MSO Theories of Deterministic Trees. | Angelo Montanari, Gabriele Puppis |
| 2007 | Relational Parametricity for Computational Effects. | Rasmus Ejlers Mgelberg, Alex Simpson |
| 2007 | A Dependent Set Theory. | Wojciech Moczydlowski |
| 2007 | Resource modalities in game semantics. | Paul-Andr Mellis, Nicolas Tabareau |
| 2007 | Reflections on Finite Model Theory. | Phokion G. Kolaitis |
| 2007 | Bialgebraic Operational Semantics and Modal Logic. | Bartek Klin |
| 2007 | Infinite State AMC-Model Checking for Cryptographic Protocols. | Detlef Khler, Ralf Ksters, Tomasz Truderung |
| 2007 | Alternation-free modal mu-calculus for data trees. | Marcin Jurdzinski, Ranko Lazic |
| 2007 | Tractability and learnability arising from algebras with few subpowers. | Pawel M. Idziak, Petar Markovic, Ralph McKenzie, Matthew Valeriote, Ross Willard |
| 2007 | Categorical Combinatorics for Innocent Strategies. | Russell Harmer, Martin Hyland, Paul-Andr Mellis |
| 2007 | Some Methods of Problem Solving in Elementary Geometry. | Thomas C. Hales |
| 2007 | On Noetherian Spaces. | Jean Goubault-Larrecq |
| 2007 | Limits of Multi-Discounted Markov Decision Processes. | Hugo Gimbert, Wieslaw Zielonka |
| 2007 | Infinite sets that admit fast exhaustive search. | Martn Htzel Escard |
| 2007 | Symmetric Datalog and Constraint Satisfaction Problems in Logspace. | Lszl Egri, Benot Larose, Pascal Tesson |
| 2007 | A computable approach to measure and integration theory. | Abbas Edalat |
| 2007 | Characterising Testing Preorders for Finite Probabilistic Processes. | Yuxin Deng, Rob J. van Glabbeek, Matthew Hennessy, Carroll Morgan, Chenyi Zhang |