 | 2009 |
|---|
| 18 |       | Neil D. Jones,
Lars Kristiansen:
A flow calculus of mwp-bounds for complexity analysis.
ACM Trans. Comput. Log. 10(4): (2009) |
| 2008 |
|---|
| 17 | | Lars Kristiansen:
Recursion in Higher Types and Resource Bounded Turing Machines.
CiE 2008: 336-348 |
| 16 | | Amir M. Ben-Amram,
Neil D. Jones,
Lars Kristiansen:
Linear, Polynomial or Exponential? Complexity Inference in Polynomial Time.
CiE 2008: 67-76 |
| 15 | | Mark Burgess,
Lars Kristiansen:
On the complexity of determining autonomic policy constrained behaviour.
NOMS 2008: 295-301 |
| 14 | | Lars Kristiansen,
Paul J. Voda:
The Structure of Detour Degrees.
TAMC 2008: 148-159 |
| 2007 |
|---|
| 13 | | Lars Kristiansen:
S. Barry Cooper, Computability Theory.
Studia Logica 86(1): 145-146 (2007) |
| 2006 |
|---|
| 12 | | Lars Kristiansen:
Complexity-Theoretic Hierarchies.
CiE 2006: 279-288 |
| 11 | | Lars Kristiansen,
Paul J. Voda:
The Trade-Off Theorem and Fragments of Gödel's T.
TAMC 2006: 654-674 |
| 2005 |
|---|
| 10 | | Lars Kristiansen,
Mathias Barra:
The Small Grzegorczyk Classes and the Typed lambda-Calculus.
CiE 2005: 252-262 |
| 9 | | Lars Kristiansen,
Neil D. Jones:
The Flow of Data and the Complexity of Algorithms.
CiE 2005: 263-274 |
| 8 | | Lars Kristiansen:
Neat function algebraic characterizations of logspace and linspace.
Computational Complexity 14(1): 72-88 (2005) |
| 7 |  | Lars Kristiansen,
Paul J. Voda:
Programming Languages Capturing Complexity Classes.
Nord. J. Comput. 12(2): 89-115 (2005) |
| 2004 |
|---|
| 6 | | Lars Kristiansen,
Karl-Heinz Niggl:
On the computational complexity of imperative programming languages.
Theor. Comput. Sci. 318(1-2): 139-161 (2004) |
| 2003 |
|---|
| 5 | | Lars Kristiansen,
Paul J. Voda:
The Surprising Power of Restricted Programs and Gödel's Functionals.
CSL 2003: 345-358 |
| 4 | | Lars Kristiansen,
Karl-Heinz Niggl:
The Garland Measure and Computational Complexity of Stack Programs.
Electr. Notes Theor. Comput. Sci. 90(1): (2003) |
| 3 | | Lars Kristiansen,
Paul J. Voda:
Complexity classes and fragments of C.
Inf. Process. Lett. 88(5): 213-218 (2003) |
| 2001 |
|---|
| 2 | | Lars Kristiansen:
Subrecursive degrees and fragments of Peano Arithmetic.
Arch. Math. Log. 40(5): 365-397 (2001) |
| 1998 |
|---|
| 1 | | Lars Kristiansen:
A jump operator on honest subrecursive degrees.
Arch. Math. Log. 37(2): 105-125 (1998) |
