| 2008 | Solving Simple Stochastic Games. | Hugo Gimbert, Florian Horn |
| 2008 | Subrecursive Complexity of Identifying the Ramsey Structure of Posets. | Willem L. Fouch |
| 2008 | Describing the Wadge Hierarchy for the Alternation Free Fragment of -Calculus (I). | Jacques Duparc, Alessandro Facchini |
| 2008 | Computing Equilibria in Large Games We Play. | Constantinos Daskalakis |
| 2008 | On the Processing Power of Protozoa. | Mark Daley |
| 2008 | P Automata: Membrane Systems as Acceptors. | Erzsbet Csuhaj-Varj |
| 2008 | Computable Categoricity of Graphs with Finite Components. | Barbara F. Csima, Bakhadyr Khoussainov, Jiamou Liu |
| 2008 | Succinct NP Proofs from an Extractability Assumption. | Giovanni Di Crescenzo, Helger Lipmaa |
| 2008 | Pell Equations and Weak Regularity Principles. | Charalampos Cornaros |
| 2008 | A Quantum Information-Theoretic Proof of the Relation between Horn's Problem and the Littlewood-Richardson Coefficients. | Matthias Christandl |
| 2008 | Computing by Observing: A Brief Survey. | Matteo Cavaliere |
| 2008 | The Algebraic Counterpart of the Wagner Hierarchy. | Jrmie Cabessa, Jacques Duparc |
| 2008 | The Role of Classical Computation in Measurement-Based Quantum Computation. | Dan E. Browne, Janet Anders |
| 2008 | Sequential Automatic Algebras. | Michael Brough, Bakhadyr Khoussainov, Peter Nelson |
| 2008 | A Summation Algorithm from 11th Century China. | Andrea Brard |
| 2008 | Linear, Polynomial or Exponential? Complexity Inference in Polynomial Time. | Amir M. Ben-Amram, Neil D. Jones, Lars Kristiansen |
| 2008 | Programming Experimental Procedures for Newtonian Kinematic Machines. | Edwin J. Beggs, John V. Tucker |
| 2008 | Pure Iteration and Periodicity. | Mathias Barra |
| 2008 | Decidability of Hybrid Logic with Local Common Knowledge Based on Linear Temporal Logic LTL. | Sergey Babenyshev, Vladimir V. Rybakov |
| 2008 | Herbrand Theorems and Skolemization for Prenex Fuzzy Logics. | Matthias Baaz, George Metcalfe |
| 2008 | Program Schemes with Deep Pushdown Storage. | Argimiro Arratia, Iain A. Stewart |
| 2008 | Deterministic Graphical Games Revisited. | Daniel Andersson, Kristoffer Arnsfelt Hansen, Peter Bro Miltersen, Troels Bjerre Srensen |
| 2007 | (Short) Survey of Real Hypercomputation. | Martin Ziegler |
| 2007 | Approximating Generalized Multicut on Trees. | Peng Zhang |
| 2007 | The Complexity of Small Universal Turing Machines. | Damien Woods, Turlough Neary |