| 2008 | A Quantum Information-Theoretic Proof of the Relation between Horn's Problem and the Littlewood-Richardson Coefficients. Matthias Christandl |
| 2008 | A Simple P-Matrix Linear Complementarity Problem for Discounted Games. Marcin Jurdzinski, Rahul Savani |
| 2008 | A Summation Algorithm from 11th Century China. Andrea Bréard |
| 2008 | A Week-End Off: The First Extensive Number-Theoretical Computation on the ENIAC. Liesbeth De Mol, Maarten Bullynck |
| 2008 | Adversarial Scheduling Analysis of Game-Theoretic Models of Norm Diffusion. Gabriel Istrate, Madhav V. Marathe, S. S. Ravi |
| 2008 | An Enhanced Theory of Infinite Time Register Machines. Peter Koepke, Russell G. Miller |
| 2008 | Complete Determinacy and Subsystems of Second Order Arithmetic. Takako Nemoto |
| 2008 | Complexity of Aperiodicity for Topological Properties of Regular omega-Languages. Victor L. Selivanov, Klaus W. Wagner |
| 2008 | Computability and Complexity in Self-assembly. James I. Lathrop, Jack H. Lutz, Matthew J. Patitz, Scott M. Summers |
| 2008 | Computable Categoricity of Graphs with Finite Components. Barbara F. Csima, Bakhadyr Khoussainov, Jiamou Liu |
| 2008 | Computing Equilibria in Large Games We Play. Constantinos Daskalakis |
| 2008 | Computing by Observing: A Brief Survey. Matteo Cavaliere |
| 2008 | Cupping Classes of Enumeration Degrees. Mariya Ivanova Soskova |
| 2008 | Decidability of Hybrid Logic with Local Common Knowledge Based on Linear Temporal Logic LTL. Sergey Babenyshev, Vladimir V. Rybakov |
| 2008 | Describing the Wadge Hierarchy for the Alternation Free Fragment of µ-Calculus (I). Jacques Duparc, Alessandro Facchini |
| 2008 | Deterministic Graphical Games Revisited. Daniel Andersson, Kristoffer Arnsfelt Hansen, Peter Bro Miltersen, Troels Bjerre Sørensen |
| 2008 | Domain Theory and the Causal Structure of Space-Time. Keye Martin, Prakash Panangaden |
| 2008 | Effective Dimensions and Relative Frequencies. Xiaoyang Gu, Jack H. Lutz |
| 2008 | Extraction in Coq: An Overview. Pierre Letouzey |
| 2008 | Factoring Out Intuitionistic Theorems: Continuity Principles and the Uniform Continuity Theorem. Iris Loeb |
| 2008 | First-Order Model Checking Problems Parameterized by the Model. Barnaby Martin |
| 2008 | Herbrand Theorems and Skolemization for Prenex Fuzzy Logics. Matthias Baaz, George Metcalfe |
| 2008 | How We Think of Computing Today. Jirí Wiedermann, Jan van Leeuwen |
| 2008 | Hybrid Functional Interpretations. Mircea-Dan Hernest, Paulo Oliva |
| 2008 | Implementing Spi Calculus Using Nominal Techniques. Temesghen Kahsai, Marino Miculan |
| 2008 | Internal Density Theorems for Hierarchies of Continuous Functionals. Dag Normann |
| 2008 | Interpreting Localized Computational Effects Using Operators of Higher Type. John Longley |
| 2008 | Joining to High Degrees. Jiang Liu, Guohua Wu |
| 2008 | Linear, Polynomial or Exponential? Complexity Inference in Polynomial Time. Amir M. Ben-Amram, Neil D. Jones, Lars Kristiansen |
| 2008 | Logic and Theory of Algorithms, 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008, Proceedings Arnold Beckmann, Costas Dimitracopoulos, Benedikt Löwe |
| 2008 | Many Facets of Complexity in Logic. Antonina Kolokolova |
| 2008 | On the Computational Power of Enhanced Mobile Membranes. Shankara Narayanan Krishna, Gabriel Ciobanu |
| 2008 | On the Hardness of Truthful Online Auctions with Multidimensional Constraints. Rica Gonen |
| 2008 | On the Processing Power of Protozoa. Mark Daley |
| 2008 | P Automata: Membrane Systems as Acceptors. Erzsébet Csuhaj-Varjú |
| 2008 | Pell Equations and Weak Regularity Principles. Charalampos Cornaros |
| 2008 | Perfect Local Computability and Computable Simulations. Russell Miller, Dustin Mulcahey |
| 2008 | Phase Transitions for Weakly Increasing Sequences. Michiel De Smet, Andreas Weiermann |
| 2008 | Principal Typings for Explicit Substitutions Calculi. Daniel Lima Ventura, Mauricio Ayala-Rincón, Fairouz Kamareddine |
| 2008 | Program Schemes with Deep Pushdown Storage. Argimiro Arratia, Iain A. Stewart |
| 2008 | Programming Experimental Procedures for Newtonian Kinematic Machines. Edwin J. Beggs, John V. Tucker |
| 2008 | Pure Iteration and Periodicity. Mathias Barra |
| 2008 | Reachability in Linear Dynamical Systems. Emmanuel Hainry |
| 2008 | Recursion in Higher Types and Resource Bounded Turing Machines. Lars Kristiansen |
| 2008 | Recursion on Nested Datatypes in Dependent Type Theory. Ralph Matthes |
| 2008 | Sequential Automatic Algebras. Michael Brough, Bakhadyr Khoussainov, Peter Nelson |
| 2008 | Solving Simple Stochastic Games. Hugo Gimbert, Florian Horn |
| 2008 | Subrecursive Complexity of Identifying the Ramsey Structure of Posets. Willem L. Fouché |
| 2008 | Succinct NP Proofs from an Extractability Assumption. Giovanni Di Crescenzo, Helger Lipmaa |
| 2008 | The Algebraic Counterpart of the Wagner Hierarchy. Jérémie Cabessa, Jacques Duparc |
| 2008 | The Algorithm Concept - Tool for Historiographic Interpretation or Red Herring?. Jens Høyrup |
| 2008 | The Quantum Complexity of Markov Chain Monte Carlo. Peter C. Richter |
| 2008 | The Relative Consistency of the Axiom of Choice - Mechanized Using Isabelle/ZF. Lawrence C. Paulson |
| 2008 | The Role of Classical Computation in Measurement-Based Quantum Computation. Dan E. Browne, Janet Anders |
| 2008 | The Shrinking Property for NP and coNP. Christian Glaßer, Christian Reitwießner, Victor L. Selivanov |
| 2008 | Topological Dynamics of 2D Cellular Automata. Mathieu Sablik, Guillaume Theyssier |
| 2008 | Two-by-Two Substitution Systems and the Undecidability of the Domino Problem. Nicolas Ollinger |
| 2008 | Uniform Algebraic Reducibilities between Parameterized Numeric Graph Invariants. Johann A. Makowsky |
| 2008 | Union of Reducibility Candidates for Orthogonal Constructor Rewriting. Colin Riba |
| 2008 | Updatable Timed Automata with Additive and Diagonal Constraints. Lakshmi Manasa, Shankara Narayanan Krishna, Kumar Nagaraj |
| 2008 | Upper Semilattices in Many-One Degrees. Sergei Podzorov |
| 2008 | omega-Degree Spectra. Alexandra A. Soskova |