| 2025 | CiE | On S-Degrees of Some Representations of Irrational Numbers. | Ivan Georgiev, Lars Kristiansen |
| 2024 | CiE | A Weak First-Order Theory of Sequences. | Lars Kristiansen, Juvenal Murwanashyaka |
| 2021 | CiE | On Subrecursive Representation of Irrational Numbers: Contractors and Baire Sequences. | Lars Kristiansen |
| 2020 | CiE | On Interpretability Between Some Weak Essentially Undecidable Theories. | Lars Kristiansen, Juvenal Murwanashyaka |
| 2020 | CiE | On the Complexity of Conversion Between Classic Real Number Representations. | Lars Kristiansen, Jakob Grue Simonsen |
| 2020 | RC | Reversible Programming Languages Capturing Complexity Classes. | Lars Kristiansen |
| 2018 | CiE | On General Sum Approximations of Irrational Numbers. | Ivan Georgiev, Lars Kristiansen, Frank Stephan |
| 2018 | CiE | Decidable and Undecidable Fragments of First-Order Concatenation Theory. | Lars Kristiansen, Juvenal Murwanashyaka |
| 2012 | CiE | Degrees of Total Algorithms versus Degrees of Honest Functions. | Lars Kristiansen |
| 2008 | CiE | Linear, Polynomial or Exponential? Complexity Inference in Polynomial Time. | Amir M. Ben-Amram, Neil D. Jones, Lars Kristiansen |
| 2008 | CiE | Recursion in Higher Types and Resource Bounded Turing Machines. | Lars Kristiansen |
| 2008 | NOMS | On the complexity of determining autonomic policy constrained behaviour. | Mark Burgess, Lars Kristiansen |
| 2008 | TAMC | The Structure of Detour Degrees. | Lars Kristiansen, Paul J. Voda |
| 2006 | CiE | Complexity-Theoretic Hierarchies. | Lars Kristiansen |
| 2006 | TAMC | The Trade-Off Theorem and Fragments of Gdel's | Lars Kristiansen, Paul J. Voda |
| 2005 | CiE | The Small Grzegorczyk Classes and the Typed lambda-Calculus. | Lars Kristiansen, Mathias Barra |
| 2005 | CiE | The Flow of Data and the Complexity of Algorithms. | Lars Kristiansen, Neil D. Jones |
| 2003 | CSL | The Surprising Power of Restricted Programs and Gdel's Functionals. | Lars Kristiansen, Paul J. Voda |