| 2024 | Complexities of Theories of Profinite Subgroups of S | Jason Block |
| 2024 | Learning Families of Algebraic Structures from Text. | Nikolay Bazhenov, Ekaterina B. Fokina, Dino Rossegger, Alexandra A. Soskova, Stefan V. Vatev |
| 2024 | On Arithmetical Numberings in Reverse Mathematics. | Nikolay Bazhenov, Marta Fiori-Carones, Manat Mustafa |
| 2024 | Isometric Sets of Words and Generalizations of the Fibonacci Cubes. | Marcella Anselmo, Giusi Castiglione, Manuela Flores, Dora Giammarresi, Maria Madonia, Sabrina Mantaci |
| 2024 | Inversion in P-Computable Fields. | Pavel Alaev |
| 2024 | Higher-Order Feedback Computation. | Juan P. Aguilera, Robert S. Lubarsky, Leonardo Pacheco |
| 2023 | Cupping Computably Enumerable Degrees Simultaneously. | Hong Hanh Tran, Guohua Wu |
| 2023 | The Relationship Between Local and Global Structure in the Enumeration Degrees. | Mariya Ivanova Soskova |
| 2023 | Inequalities for Entropies and Dimensions. | Alexander Shen |
| 2023 | Extending Wagner's Hierarchy to Deterministic Visibly Pushdown Automata. | Victor L. Selivanov |
| 2023 | The Non-normal Abyss in Kleene's Computability Theory. | Sam Sanders |
| 2023 | Physical Zero-Knowledge Proof for Ball Sort Puzzle. | Suthee Ruangwises |
| 2023 | Turning Block-Sequential Automata Networks into Smaller Parallel Networks with Isomorphic Limit Dynamics. | Pacme Perrotin, Sylvain Sen |
| 2023 | Improved Complexity Analysis of Quasi-Polynomial Algorithms Solving Parity Games. | Pawel Parys, Aleksander Wiacek |
| 2023 | Logic vs Topology on Regular mega-languages. | Vladislav Orekhovskii, Victor L. Selivanov |
| 2023 | An $O(\sqrt{k})$-Approximation Algorithm for Minimum Power k Edge Disjoint st-Paths. | Zeev Nutov |
| 2023 | Structural Complexity of Rational Interactive Proofs. | Daniil Musatov, Georgii Potapov |
| 2023 | Some Games on Turing Machines and Power from Random Strings. | Alexey Milovanov |
| 2023 | Direct Construction of Scott Ideals. | Russell G. Miller |
| 2023 | De Groot Duality for Represented Spaces. | Takayuki Kihara, Arno Pauly |
| 2023 | Elementarily Traceable Irrational Numbers. | Keita Hiroshima, Akitoshi Kawamura |
| 2023 | Subrecursive Graphs of Representations of Irrational Numbers. | Ivan Georgiev |
| 2023 | Symmetry for Transfinite Computability. | Lorenzo Galeotti, Ethan S. Lewis, Benedikt Lwe |
| 2023 | The Complexity of Finding Supergraphs. | Vittorio Cipriani, Arno Pauly |
| 2023 | All Melodies Are Lost - Recognizability for Weak and Strong α-Register Machines. | Merlin Carl |