| 2013 | An Overview of Genomic Distances Modeled with Indels. | Marlia D. V. Braga |
| 2013 | Computability and Computational Complexity of the Evolution of Nonlinear Dynamical Systems. | Olivier Bournez, Daniel Silva Graa, Amaury Pouly, Ning Zhong |
| 2013 | Cluster Editing. | Sebastian Bcker, Jan Baumbach |
| 2013 | Real Benefit of Promises and Advice. | Klaus Ambos-Spies, Ulrike Brandt, Martin Ziegler |
| 2012 | Making Solomonoff Induction Effective - Or: You Can Learn What You Can Bound. | Jrg Zimmermann, Armin B. Cremers |
| 2012 | Infinite Games and Transfinite Recursion of Multiple Inductive Definitions. | Keisuke Yoshii, Kazuyuki Tanaka |
| 2012 | On the Road to Thinking Machines: Insights and Ideas. | Jir Wiedermann |
| 2012 | Some Natural Zero One Laws for Ordinals Below ε 0. | Andreas Weiermann, Alan R. Woods |
| 2012 | Is Turing's Thesis the Consequence of a More General Physical Principle? | Matthew P. Szudzik |
| 2012 | Bringing Up Turing's 'Child-Machine'. | Susan G. Sterrett |
| 2012 | Low n Boolean Subalgebras. | Rebecca M. Steiner |
| 2012 | A Correspondence Principle for Exact Constructive Dimension. | Ludwig Staiger |
| 2012 | Subsymbolic Computation Theory for the Human Intuitive Processor. | Paul Smolensky |
| 2012 | Turing Patterns in Deserts. | Jonathan A. Sherratt |
| 2012 | Game Arguments in Computability Theory and Algorithmic Information Theory. | Alexander Shen |
| 2012 | On the Behavior of Tile Assembly System at High Temperatures. | Shinnosuke Seki, Yasushi Okuno |
| 2012 | Finite State Verifiers with Constant Randomness. | A. C. Cem Say, Abuzer Yakaryilmaz |
| 2012 | On Shift Spaces with Algebraic Structure. | Ville Salo, Ilkka Trm |
| 2012 | Compactness and the Effectivity of Uniformization. | Robert Rettinger |
| 2012 | What Are Computers (If They're not Thinking Things)? | John Preston |
| 2012 | Lower Bound on Weights of Large Degree Threshold Functions. | Vladimir V. Podolskii |
| 2012 | On the Tarski-Lindenbaum Algebra of the Class of all Strongly Constructivizable Prime Models. | Mikhail G. Peretyat'kin |
| 2012 | Relative Randomness for Martin-Lf Random Sets. | NingNing Peng, Kojiro Higuchi, Takeshi Yamazaki, Kazuyuki Tanaka |
| 2012 | Multi-valued Functions in Computability Theory. | Arno Pauly |
| 2012 | Abstract Partial Cylindrical Algebraic Decomposition I: The Lifting Phase. | Grant Olney Passmore, Paul B. Jackson |