| 2010 | Computability of Countable Subshifts. | Douglas A. Cenzer, S. Ali Dashti, Ferit Toska, Sebastian Wyman |
| 2010 | Processes in Space. | Luca Cardelli, Philippa Gardner |
| 2010 | A Faster Algorithm for Finding Minimum Tucker Submatrices. | Guillaume Blin, Romeo Rizzi, Stphane Vialette |
| 2010 | How Powerful Are Integer-Valued Martingales? | Laurent Bienvenu, Frank Stephan, Jason Teutsch |
| 2010 | Ergodic-Type Characterizations of Algorithmic Randomness. | Laurent Bienvenu, Adam R. Day, Ilya Mezhirov, Alexander Shen |
| 2010 | Proofs, Programs, Processes. | Ulrich Berger, Monika Seisenberger |
| 2010 | The Ordinal of Skolem + Tetration Is | Mathias Barra, Philipp Gerhardy |
| 2010 | On the Completeness of Quantum Computation Models. | Pablo Arrighi, Gilles Dowek |
| 2010 | Higher-Order Containers. | Thorsten Altenkirch, Paul Blain Levy, Sam Staton |
| 2010 | Avoiding Simplicity Is Complex. | Eric Allender |
| 2009 | On Generating Independent Random Strings. | Marius Zimand |
| 2009 | A Computation of the Maximal Order Type of the Term Ordering on Finite Multisets. | Andreas Weiermann |
| 2009 | Algorithmic Minimal Sufficient Statistic Revisited. | Nikolay K. Vereshchagin |
| 2009 | Dialectica Interpretation with Fine Computational Control. | Trifon Trifonov |
| 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 | Decidability of Sub-theories of Polynomials over a Finite Field. | Alla Sirokofskich |
| 2009 | An Approach to the Engineering of Cellular Models Based on P Systems. | Francisco Jos Romero-Campero, Natalio Krasnogor |
| 2009 | Survey on Oblivious Routing Strategies. | Harald Rcke |
| 2009 | Functions Definable by Arithmetic Circuits. | Ian Pratt-Hartmann, Ivo Dntsch |
| 2009 | Computational Heuristics for Simplifying a Biological Model. | Ion Petre, Andrzej Mizera, Ralph-Johan Back |
| 2009 | Stability under Strategy Switching. | Soumya Paul, Ramaswamy Ramanujam, Sunil Easaw Simon |
| 2009 | A General Representation Theorem for Probability Functions Satisfying Spectrum Exchangeability. | Jeff B. Paris, Alena Vencovsk |
| 2009 | Notes on the Jump of a Structure. | Antonio Montalbn |
| 2009 | 0 | Alexander G. Melnikov |