| A friendly introduction to mathematical logic CC Leary, L Kristiansen Lulu. com, 2015 | 62 | 2015 |
| On the computational complexity of imperative programming languages L Kristiansen, KH Niggl Theoretical Computer Science 318 (1-2), 139-161, 2004 | 50 | 2004 |
| Linear, polynomial or exponential? Complexity inference in polynomial time AM Ben-Amram, ND Jones, L Kristiansen Logic and Theory of Algorithms: 4th Conference on Computability in Europe …, 2008 | 48 | 2008 |
| A flow calculus of mwp-bounds for complexity analysis ND Jones, L Kristiansen ACM Transactions on Computational Logic (TOCL) 10 (4), 1-41, 2009 | 44 | 2009 |
| Neat function algebraic characterizations of LOGSPACE and LINSPACE L Kristiansen computational complexity 14, 72-88, 2005 | 34 | 2005 |
| The flow of data and the complexity of algorithms L Kristiansen, ND Jones New Computational Paradigms: First Conference on Computability in Europe …, 2005 | 34 | 2005 |
| Programming languages capturing complexity classes L Kristiansen, PJ Voda Nord. J. Comput. 12 (2), 89-115, 2005 | 21 | 2005 |
| Streamlined subrecursive degree theory L Kristiansen, JC Schlage-Puchta, A Weiermann Annals of Pure and Applied Logic 163 (6), 698-716, 2012 | 19 | 2012 |
| Complexity classes and fragments of C L Kristiansen, PJ Voda Information Processing Letters 88 (5), 213-218, 2003 | 18 | 2003 |
| On the edge of decidability in complexity analysis of loop programs AM Ben-Amram, L Kristiansen International Journal of Foundations of Computer Science 23 (07), 1451-1464, 2012 | 16 | 2012 |
| The Small Grzegorczyk Classes and the Typed lambda-Calculus. L Kristiansen, M Barra CiE, 252-262, 2005 | 16 | 2005 |
| A jump operator on honest subrecursive degrees L Kristiansen Archive for Mathematical Logic 37 (2), 105-125, 1998 | 16 | 1998 |
| On subrecursive representability of irrational numbers L Kristiansen Computability 6 (3), 249-276, 2017 | 15 | 2017 |
| Complexity-Theoretic Hierarchies Induced by Fragments of Gödel’s T L Kristiansen Theory of Computing Systems 43, 516-541, 2008 | 15 | 2008 |
| The surprising power of restricted programs and Gödel’s functionals L Kristiansen, PJ Voda Computer Science Logic: 17th International Workshop CSL 2003, 12th Annual …, 2003 | 14 | 2003 |
| Subrecursive degrees and fragments of Peano arithmetic L Kristiansen Archive for Mathematical Logic 40, 365-397, 2001 | 13 | 2001 |
| Information content and computational complexity of recursive sets L Kristiansen Gödel 96, 235-246, 1996 | 13 | 1996 |
| A friendly introduction to mathematical logic, 2015 CC Leary, L Kristiansen | 13 | |
| On subrecursive representability of irrational numbers, part II L Kristiansen Computability 8 (1), 43-65, 2019 | 11 | 2019 |
| Lown, highn, and intermediate subrecursive degrees L Kristiansen Combinatorics, computation and logic (Proceedings), Springer, Singapore, 286-300, 1999 | 10 | 1999 |
Neil JonesVerified email at diku.dk
