| 2020 | On Simulation in Automata Networks. | Florian Bridoux, Maximilien Gadouleau, Guillaume Theyssier |
| 2020 | Some Notes on Spaces of Ideals and Computable Topology. | Matthew de Brecht |
| 2020 | ASNP: A Tame Fragment of Existential Second-Order Logic. | Manuel Bodirsky, Simon Knuer, Florian Starke |
| 2020 | Repetitions in Toeplitz Words and the Thue Threshold. | Antonio Boccuto, Arturo Carpi |
| 2020 | A Note on Computable Embeddings for Ordinals and Their Reverses. | Nikolay Bazhenov, Stefan V. Vatev |
| 2020 | Number of Prefixes in Trace Monoids: Clique Polynomials and Dependency Graphs. | Cyril Banderier, Massimiliano Goldwurm |
| 2020 | The Computational Significance of Hausdorff's Maximal Chain Principle. | Peter Schuster, Daniel Misselbeck-Wessel |
| 2020 | Prawf: An Interactive Proof System for Program Extraction. | Ulrich Berger, Olga Petrovska, Hideki Tsuiki |
| 2019 | Representations of Natural Numbers and Computability of Various Functions. | Michal Wroclawski |
| 2019 | Finite State Machines with Feedback: An Architecture Supporting Minimal Machine Consciousness. | Jir Wiedermann, Jan van Leeuwen |
| 2019 | Higher Type Recursion for Transfinite Machine Theory. | Philip D. Welch |
| 2019 | The d.r.e wtt-Degrees are Dense. | Shaoyi Wang, Guohua Wu, Mars M. Yamaleev |
| 2019 | Correctness, Explanation and Intention. | Raymond Turner |
| 2019 | Kalmr's Argument for the Independence of Computer Science. | Mt Szab |
| 2019 | Nets and Reverse Mathematics - Some Initial Results. | Sam Sanders |
| 2019 | Borel and Baire Sets in Bishop Spaces. | Iosif Petrakis |
| 2019 | More Intensional Versions of Rice's Theorem. | Jean-Yves Moyen, Jakob Grue Simonsen |
| 2019 | Uniform Relativization. | Kenshi Miyabe |
| 2019 | Probabilistic Analysis of Facility Location on Random Shortest Path Metrics. | Stefan Klootwijk, Bodo Manthey |
| 2019 | Degree Spectra for Transcendence in Fields. | Iskander Sh. Kalimullin, Russell G. Miller, Hans Schoutens |
| 2019 | On Approximate Uncomputability of the Kolmogorov Complexity Function. | Ruslan Ishkuvatov, Daniil Musatov |
| 2019 | Destroying Bicolored P | Niels Grttemeier, Christian Komusiewicz, Jannik Schestag, Frank Sommer |
| 2019 | Surreal Blum-Shub-Smale Machines. | Lorenzo Galeotti |
| 2019 | An algorithmic approach to characterizations of admissibles. | Bruno Durand, Grgory Lafitte |
| 2019 | Cohesive Powers of Linear Orders. | Rumen D. Dimitrov, Valentina S. Harizanov, Andrei S. Morozov, Paul Shafer, Alexandra A. Soskova, Stefan V. Vatev |