| 2009 | 0 Alexander G. Melnikov |
| 2009 | A Computation of the Maximal Order Type of the Term Ordering on Finite Multisets. Andreas Weiermann |
| 2009 | A Divergence Formula for Randomness and Dimension. Jack H. Lutz |
| 2009 | A Gandy Theorem for Abstract Structures and Applications to First-Order Definability. Oleg V. Kudinov, Victor L. Selivanov |
| 2009 | A General Representation Theorem for Probability Functions Satisfying Spectrum Exchangeability. Jeff B. Paris, Alena Vencovská |
| 2009 | Algorithmic Minimal Sufficient Statistic Revisited. Nikolay K. Vereshchagin |
| 2009 | An Application of Martin-Löf Randomness to Effective Probability Theory. Mathieu Hoyrup, Cristobal Rojas |
| 2009 | An Approach to the Engineering of Cellular Models Based on P Systems. Francisco José Romero-Campero, Natalio Krasnogor |
| 2009 | Bayesian Data Integration and Enrichment Analysis for Predicting Gene Function in Malaria. Philip M. R. Tedder, James R. Bradford, Chris J. Needham, Glenn A. McConkey, Andrew J. Bulpitt, David R. Westhead |
| 2009 | Chaitin Omega Numbers and Halting Problems. Kohtaro Tadaki |
| 2009 | Complexity of Existential Positive First-Order Logic. Manuel Bodirsky, Miki Hermann, Florian Richoux |
| 2009 | Computability of Analytic Functions with Analytic Machines. Tobias Gärtner, Günter Hotz |
| 2009 | Computability of Continuous Solutions of Higher-Type Equations. Martín Hötzel Escardó |
| 2009 | Computable Exchangeable Sequences Have Computable de Finetti Measures. Cameron E. Freer, Daniel M. Roy |
| 2009 | Computational Heuristics for Simplifying a Biological Model. Ion Petre, Andrzej Mizera, Ralph-Johan Back |
| 2009 | Constructing New Aperiodic Self-simulating Tile Sets. Grégory Lafitte, Michael Weiss |
| 2009 | Cutting Planes and the Parameter Cutwidth. Stefan S. Dantchev, Barnaby Martin |
| 2009 | Decidability of Sub-theories of Polynomials over a Finite Field. Alla Sirokofskich |
| 2009 | Definability in the Local Theory of the Hristo Ganchev |
| 2009 | Dialectica Interpretation with Fine Computational Control. Trifon Trifonov |
| 2009 | Equivalence Relations on Classes of Computable Structures. Ekaterina B. Fokina, Sy-David Friedman |
| 2009 | First-Order Universality for Real Programs. Thomas Anberrée |
| 2009 | Fractals Generated by Algorithmically Random Brownian Motion. Willem L. Fouché |
| 2009 | Functions Definable by Arithmetic Circuits. Ian Pratt-Hartmann, Ivo Düntsch |
| 2009 | Graph States and the Necessity of Euler Decomposition. Ross Duncan, Simon Perdrix |
| 2009 | Hyperloops Do Not Threaten the Notion of an Effective Procedure. Tim Button |
| 2009 | Immunity for Closed Sets. Douglas Cenzer, Rebecca Weber, Guohua Wu |
| 2009 | Index Sets and Universal Numberings. Sanjay Jain, Frank Stephan, Jason Teutsch |
| 2009 | Infima of Jiang Liu, Shengling Wang, Guohua Wu |
| 2009 | Infinite-Time Turing Machines and Borel Reducibility. Samuel Coskey |
| 2009 | Lower Bounds for Kernelizations and Other Preprocessing Procedures. Yijia Chen, Jörg Flum, Moritz Müller |
| 2009 | Lowness for Demuth Randomness. Rod Downey, Keng Meng Ng |
| 2009 | Mathematical Theory and Computational Practice, 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009. Proceedings Klaus Ambos-Spies, Benedikt Löwe, Wolfgang Merkle |
| 2009 | Members of Random Closed Sets. David Diamondstone, Bjørn Kjos-Hanssen |
| 2009 | Minimum Entropy Combinatorial Optimization Problems. Jean Cardinal, Samuel Fiorini, Gwenaël Joret |
| 2009 | Notes on the Jump of a Structure. Antonio Montalbán |
| 2009 | Numberings and Randomness. Paul Brodhead, Bjørn Kjos-Hanssen |
| 2009 | On Generating Independent Random Strings. Marius Zimand |
| 2009 | On Ladner's Result for a Class of Real Machines with Restricted Use of Constants. Klaus Meer |
| 2009 | On Stateless Multicounter Machines. Ömer Egecioglu, Oscar H. Ibarra |
| 2009 | Ordinal Computability. Peter Koepke |
| 2009 | Program Self-reference in Constructive Scott Subdomains. John Case, Samuel E. Moelius |
| 2009 | Relationship between Kanamori-McAloon Principle and Paris-Harrington Theorem. Gyesik Lee |
| 2009 | S Douglas A. Cenzer, Valentina S. Harizanov, Jeffrey B. Remmel |
| 2009 | Skolem + Tetration Is Well-Ordered. Mathias Barra, Philipp Gerhardy |
| 2009 | Spectra of Algebraic Fields and Subfields. Andrey N. Frolov, Iskander Sh. Kalimullin, Russell G. Miller |
| 2009 | Stability under Strategy Switching. Soumya Paul, Ramaswamy Ramanujam, Sunil Easaw Simon |
| 2009 | Stochastic Programs and Hybrid Automata for (Biological) Modeling. Luca Bortolussi, Alberto Policriti |
| 2009 | Structures of Some Strong Reducibilities. David R. Bélanger |
| 2009 | Survey on Oblivious Routing Strategies. Harald Räcke |
| 2009 | The First Order Theories of the Medvedev and Muchnik Lattices. Andrew E. M. Lewis, André Nies, Andrea Sorbi |
| 2009 | The Strength of the Grätzer-Schmidt Theorem. Paul Brodhead, Bjørn Kjos-Hanssen |