| 2015 | New Bounds on Optimal Sorting Networks. | Thorsten Ehlers, Mike Mller |
| 2015 | Is Human Mind Fully Algorithmic? Remarks on Kurt Gdel's Incompleteness Theorems. | Mircea Dumitru |
| 2015 | Error and Predicativity. | Laura Crosilla |
| 2015 | P Systems with Parallel Rewriting for Chain Code Picture Languages. | Rodica Ceterchi, K. G. Subramanian, Ibrahim Venkat |
| 2015 | ITRM I T R M -Recognizability from Random Oracles. | Merlin Carl |
| 2015 | Computers and the Mechanics of Communication - Outline of a Vision from the Work of Petri and Holt. | Felice Cardone |
| 2015 | Base-Complexity Classifications of QCB | Matthew de Brecht, Matthias Schrder, Victor L. Selivanov |
| 2015 | Immune Systems in Computer Virology. | Guillaume Bonfante, Mohamed El-Aqqad, Benjamin Greenbaum, Mathieu Hoyrup |
| 2015 | Prime Model with No Degree of Autostability Relative to Strong Constructivizations. | Nikolay Bazhenov |
| 2015 | Some Results on Interactive Proofs for Real Computations. | Martijn Baartse, Klaus Meer |
| 2015 | Weihrauch Degrees of Finding Equilibria in Sequential Games. | Stphane Le Roux, Arno Pauly |
| 2014 | Short Lists with Short Programs in Short Time - A Short Proof. | Marius Zimand |
| 2014 | Exploiting Membrane Features to Compute. | Claudio Zandron |
| 2014 | The FPGA-Based High-Performance Computer RIVYERA for Applications in Bioinformatics. | Lars Wienbrandt |
| 2014 | Pluralism Ignored: The Church-Turing Thesis and Philosophical Practice. | G. Graham White |
| 2014 | Phase Transitions Related to the Pigeonhole Principle. | Michiel De Smet, Andreas Weiermann |
| 2014 | Online Bin Packing: Old Algorithms and New Results. | Jir Sgall |
| 2014 | Hyperprojective Hierarchy of qcb | Matthias Schrder, Victor L. Selivanov |
| 2014 | Metric-Driven Grammars and Morphogenesis (Extended Abstract). | Przemyslaw Prusinkiewicz, Brendan Lane, Adam Runions |
| 2014 | An Early Completion Algorithm: Thue's 1914 Paper on the Transformation of Symbol Sequences. | James F. Power |
| 2014 | The Complexity of Satisfaction Problems in Reverse Mathematics. | Ludovic Patey |
| 2014 | On the Ramseyan Factorization Theorem. | Shota Murakami, Takeshi Yamazaki, Keita Yokoyama |
| 2014 | On the Effectiveness of Symmetry Breaking. | Russell G. Miller, Reed Solomon, Rebecca M. Steiner |
| 2014 | An Efficient Algorithm for the Equation Tree Automaton via the k-C-Continuations. | Ludovic Mignot, Nadia Ouali Sebti, Djelloul Ziadi |
| 2014 | Natural Descriptions and Anthropic Bias: Extant Problems In Solomonoff Induction. | Simon McGregor |