| 2018 | Multiple Permitting and Array Noncomputability. | Klaus Ambos-Spies |
| 2018 | Polynomial-Time Presentations of Algebraic Number Fields. | Pavel Alaev, Victor L. Selivanov |
| 2017 | Delayed-Input Cryptographic Protocols. | Ivan Visconti |
| 2017 | Character-Based Phylogeny Construction and Its Application to Tumor Evolution. | Gianluca Della Vedova, Murray Patterson, Raffaella Rizzi, Mauricio Soto Gomez |
| 2017 | Compressibility and Probabilistic Proofs. | Alexander Shen |
| 2017 | Extending Wadge Theory to k-Partitions. | Victor L. Selivanov |
| 2017 | A One-Dimensional Physically Universal Cellular Automaton. | Ville Salo, Ilkka Trm |
| 2017 | Total Nondeterministic Turing Machines and a p-optimal Proof System for SAT. | Zenon Sadowski |
| 2017 | Formulas with Reversal. | Narad Rampersad |
| 2017 | McShane-Whitney Pairs. | Iosif Petrakis |
| 2017 | Randomness Deficiencies. | Gleb Novikov |
| 2017 | Game Characterizations and Lower Cones in the Weihrauch Degrees. | Hugo Nobrega, Arno Pauly |
| 2017 | Computable Transformations of Structures. | Russell G. Miller |
| 2017 | Eliminating Unbounded Search in Computable Algebra. | Alexander G. Melnikov |
| 2017 | Dimension Spectra of Lines. | Neil Lutz, Donald M. Stull |
| 2017 | ∑ | Karoliina Lehtinen, Sandra Quickert |
| 2017 | On Higher Effective Descriptive Set Theory. | Margarita V. Korovina, Oleg V. Kudinov |
| 2017 | Outline of Partial Computability in Computable Topology. | Margarita V. Korovina, Oleg V. Kudinov |
| 2017 | A Guided Tour to Computational Haplotyping. | Gunnar W. Klau, Tobias Marschall |
| 2017 | Gdel's Reception of Turing's Model of Computability: The "Shift of Perception" in 1934. | Juliette Kennedy |
| 2017 | Turing's 1949 Paper in Context. | Cliff B. Jones |
| 2017 | Formalizing a Fragment of Combinatorics on Words. | Stepan Holub, Robert Veroff |
| 2017 | Is there any Real Substance to the Claims for a 'New Computationalism'? | Alberto Hernndez-Espinosa, Francisco Hernndez Quiroz, Hctor Zenil |
| 2017 | Surjective H-Colouring: New Hardness Results. | Petr A. Golovach, Matthew Johnson, Barnaby Martin, Danil Paulusma, Anthony Stewart |
| 2017 | Finite Language Forbidding-Enforcing Systems. | Daniela Genova, Hendrik Jan Hoogeboom |