| 2010 | Randomisation and Derandomisation in Descriptive Complexity Theory. | Kord Eickmeyer, Martin Grohe |
| 2010 | Energy and Mean-Payoff Games with Imperfect Information. | Aldric Degorre, Laurent Doyen, Raffaella Gentilini, Jean-Franois Raskin, Szymon Torunczyk |
| 2010 | Formal Theories for Linear Algebra. | Stephen A. Cook, Lila Fontes |
| 2010 | Environment and Classical Channels in Categorical Quantum Mechanics. | Bob Coecke, Simon Perdrix |
| 2010 | A Logic of Sequentiality. | Martin Churchill, James Laird |
| 2010 | On Slicewise Monotone Parameterized Problems and Optimal Proof Systems for TAUT. | Yijia Chen, Jrg Flum |
| 2010 | Classical and Intuitionistic Subexponential Logics Are Equally Expressive. | Kaustuv Chaudhuri |
| 2010 | Exponentials with Infinite Multiplicities. | Alberto Carraro, Thomas Ehrhard, Antonino Salibra |
| 2010 | Embedding Deduction Modulo into a Prover. | Guillaume Burel |
| 2010 | Exact Exploration and Hanging Algorithms. | Andreas Blass, Nachum Dershowitz, Yuri Gurevich |
| 2010 | Graded Computation Tree Logic with Binary Coding. | Alessandro Bianco, Fabio Mogavero, Aniello Murano |
| 2010 | Automata vs. Logics on Data Words. | Michael Benedikt, Clemens Ley, Gabriele Puppis |
| 2010 | Degrees of Security: Protocol Guarantees in the Face of Compromising Adversaries. | David A. Basin, Cas Cremers |
| 2010 | A Formalisation of the Normal Forms of Context-Free Grammars in HOL4. | Aditi Barthwal, Michael Norrish |
| 2010 | Efficient Enumeration for Conjunctive Queries over X-underbar Structures. | Guillaume Bagan, Arnaud Durand, Emmanuel Filiot, Olivier Gauwin |
| 2010 | A Resolution Mechanism for Prenex Gdel Logic. | Matthias Baaz, Christian G. Fermller |
| 2010 | Tableau Calculi for | Rgis Alenda, Nicola Olivetti, Camilla Schwind, Dmitry Tishkovsky |
| 2010 | The Structural | Beniamino Accattoli, Delia Kesner |
| 2009 | On the Complexity of Branching-Time Logics. | Volker Weber |
| 2009 | Decision Problems for Nash Equilibria in Stochastic Games. | Michael Ummels, Dominik Wojtczak |
| 2009 | Nominal Domain Theory for Concurrency. | David Turner, Glynn Winskel |
| 2009 | Confluence of Pure Differential Nets with Promotion. | Paolo Tranquilli |
| 2009 | Model Checking FO(R) over One-Counter Processes and beyond. | Anthony Widjaja To |
| 2009 | Non-Commutative First-Order Sequent Calculus. | Makoto Tatsuta |
| 2009 | A Complete Characterization of Observational Equivalence in Polymorphic | Eijiro Sumii |