| 2025 | On the Computational Power of rmC-Random Strings. | Alexey Milovanov |
| 2025 | Some Structural Complexity Results for $\exists {\mathbb {R}}$. | Klaus Meer, Adrian Wurm |
| 2025 | A Point to Set Principle for Finite-State Dimension. | Elvira Mayordomo |
| 2025 | The Theory of Reachability of Trace-Pushdown Systems. | Dietrich Kuske |
| 2025 | Proof-Carrying Neuro-Symbolic Code. | Ekaterina Komendantskaya |
| 2025 | Properties of Range Sets of Continuous Functions in Reverse Mathematics. | Corrie Ingall |
| 2025 | Binary Expansions of Regular Reals and Reordered Computable Numbers. | Peter Hertling, Philip Janicki |
| 2025 | Computation with Real Numbers and Continuous-Time Dynamical Systems. | Daniel Silva Graa |
| 2025 | Circuit Metaconstruction in Logspace for Rice-Like Complexity Lower Bounds in ANs and SGRs. | Alinor Goubault-Larrecq, Kvin Perrot |
| 2025 | On S-Degrees of Some Representations of Irrational Numbers. | Ivan Georgiev, Lars Kristiansen |
| 2025 | Represented Spaces of Represented Spaces. | Johanna Franklin, Eike Neumann, Arno Pauly, Ccilia Pradic, Manlio Valenti |
| 2025 | Towards a Computational Quantum Logic - An Overview of an Ongoing Research Program. | Alejandro Daz-Caro |
| 2025 | Full Generalized Effective Reducibility. | Merlin Carl |
| 2025 | Computability of Initial Value Problems. | Vasco Brattka, Hendrik Smischliaew |
| 2025 | Effective Second Countability in Computable Analysis. | Vasco Brattka, Emmanuel Rauzy |
| 2025 | The CDSAT Method for Satisfiability Modulo Theories and Assignment: an Exposition. | Maria Paola Bonacina |
| 2025 | Computability of Real Functions with Oracle Pointer Machines Implies Real-Time Simulation of Chemical Reaction Networks. | Saptarshi Biswas |
| 2025 | Transfinite Structured Programming. | Siddharth Bhaskar |
| 2025 | On Learning Existentially Definable Subsets in a Computable Structure. | Nikolay Bazhenov, Manat Mustafa |
| 2025 | Space-Bounded Online Kolmogorov Complexity is Additive. | Bruno Bauwens, Maria Marchenko |
| 2025 | The Existence of Primitive Recursive Structures. | Pavel Alaev |
| 2024 | Quantum First-Order Logics that Capture Logarithmic-Time/Space Quantum Computability. | Tomoyuki Yamakami |
| 2024 | Fundamental Sequences Based on Localization. | Gunnar Wilken |
| 2024 | A Diamond Embedding Theorem in the Quotient Structure bfR/NCup. | Hong Hanh Tran, Guohua Wu |
| 2024 | Existential Definability of Unary Predicates in Bchi Arithmetic. | Mikhail R. Starchak |