| 2008 | A Week-End Off: The First Extensive Number-Theoretical Computation on the ENIAC. | Liesbeth De Mol, Maarten Bullynck |
| 2008 | Perfect Local Computability and Computable Simulations. | Russell Miller, Dustin Mulcahey |
| 2008 | Recursion on Nested Datatypes in Dependent Type Theory. | Ralph Matthes |
| 2008 | Domain Theory and the Causal Structure of Space-Time. | Keye Martin, Prakash Panangaden |
| 2008 | First-Order Model Checking Problems Parameterized by the Model. | Barnaby Martin |
| 2008 | Updatable Timed Automata with Additive and Diagonal Constraints. | Lakshmi Manasa, Shankara Narayanan Krishna, Kumar Nagaraj |
| 2008 | Uniform Algebraic Reducibilities between Parameterized Numeric Graph Invariants. | Johann A. Makowsky |
| 2008 | Interpreting Localized Computational Effects Using Operators of Higher Type. | John Longley |
| 2008 | Factoring Out Intuitionistic Theorems: Continuity Principles and the Uniform Continuity Theorem. | Iris Loeb |
| 2008 | Joining to High Degrees. | Jiang Liu, Guohua Wu |
| 2008 | Extraction in Coq: An Overview. | Pierre Letouzey |
| 2008 | Computability and Complexity in Self-assembly. | James I. Lathrop, Jack H. Lutz, Matthew J. Patitz, Scott M. Summers |
| 2008 | Recursion in Higher Types and Resource Bounded Turing Machines. | Lars Kristiansen |
| 2008 | On the Computational Power of Enhanced Mobile Membranes. | Shankara Narayanan Krishna, Gabriel Ciobanu |
| 2008 | Many Facets of Complexity in Logic. | Antonina Kolokolova |
| 2008 | An Enhanced Theory of Infinite Time Register Machines. | Peter Koepke, Russell G. Miller |
| 2008 | Implementing Spi Calculus Using Nominal Techniques. | Temesghen Kahsai, Marino Miculan |
| 2008 | A Simple P-Matrix Linear Complementarity Problem for Discounted Games. | Marcin Jurdzinski, Rahul Savani |
| 2008 | Adversarial Scheduling Analysis of Game-Theoretic Models of Norm Diffusion. | Gabriel Istrate, Madhav V. Marathe, S. S. Ravi |
| 2008 | The Algorithm Concept - Tool for Historiographic Interpretation or Red Herring?. | Jens Hyrup |
| 2008 | Hybrid Functional Interpretations. | Mircea-Dan Hernest, Paulo Oliva |
| 2008 | Reachability in Linear Dynamical Systems. | Emmanuel Hainry |
| 2008 | Effective Dimensions and Relative Frequencies. | Xiaoyang Gu, Jack H. Lutz |
| 2008 | On the Hardness of Truthful Online Auctions with Multidimensional Constraints. | Rica Gonen |
| 2008 | The Shrinking Property for NP and coNP. | Christian Glaer, Christian Reitwiener, Victor L. Selivanov |