| 2009 | S | Douglas A. Cenzer, Valentina S. Harizanov, Jeffrey B. Remmel |
| 2009 | Program Self-reference in Constructive Scott Subdomains. | John Case, Samuel E. Moelius |
| 2009 | Minimum Entropy Combinatorial Optimization Problems. | Jean Cardinal, Samuel Fiorini, Gwenal Joret |
| 2009 | Hyperloops Do Not Threaten the Notion of an Effective Procedure. | Tim Button |
| 2009 | The Strength of the Grtzer-Schmidt Theorem. | Paul Brodhead, Bjrn Kjos-Hanssen |
| 2009 | Numberings and Randomness. | Paul Brodhead, Bjrn Kjos-Hanssen |
| 2009 | Stochastic Programs and Hybrid Automata for (Biological) Modeling. | Luca Bortolussi, Alberto Policriti |
| 2009 | Complexity of Existential Positive First-Order Logic. | Manuel Bodirsky, Miki Hermann, Florian Richoux |
| 2009 | Structures of Some Strong Reducibilities. | David R. Blanger |
| 2009 | Skolem + Tetration Is Well-Ordered. | Mathias Barra, Philipp Gerhardy |
| 2009 | First-Order Universality for Real Programs. | Thomas Anberre |
| 2008 | How We Think of Computing Today. | Jir Wiedermann, Jan van Leeuwen |
| 2008 | Principal Typings for Explicit Substitutions Calculi. | Daniel Lima Ventura, Mauricio Ayala-Rincn, Fairouz Kamareddine |
| 2008 | Cupping Classes of Enumeration Degrees. | Mariya Ivanova Soskova |
| 2008 | omega-Degree Spectra. | Alexandra A. Soskova |
| 2008 | Phase Transitions for Weakly Increasing Sequences. | Michiel De Smet, Andreas Weiermann |
| 2008 | Complexity of Aperiodicity for Topological Properties of Regular omega-Languages. | Victor L. Selivanov, Klaus W. Wagner |
| 2008 | Topological Dynamics of 2D Cellular Automata. | Mathieu Sablik, Guillaume Theyssier |
| 2008 | The Quantum Complexity of Markov Chain Monte Carlo. | Peter C. Richter |
| 2008 | Union of Reducibility Candidates for Orthogonal Constructor Rewriting. | Colin Riba |
| 2008 | Upper Semilattices in Many-One Degrees. | Sergei Podzorov |
| 2008 | The Relative Consistency of the Axiom of Choice - Mechanized Using Isabelle/ZF. | Lawrence C. Paulson |
| 2008 | Two-by-Two Substitution Systems and the Undecidability of the Domino Problem. | Nicolas Ollinger |
| 2008 | Internal Density Theorems for Hierarchies of Continuous Functionals. | Dag Normann |
| 2008 | Complete Determinacy and Subsystems of Second Order Arithmetic. | Takako Nemoto |