Concepedia

Lars Kristiansen

LK

Statistics

Publications

14

Citations

269

H-Index

12

Active since

1990

Affiliations

University of Oslo(Current)

OsloMet – Oslo Metropolitan University

Dolphin Interconnect Solutions (Norway)

Simula Research Laboratory

Comenius University Bratislava

Lars Kristiansen is an author at University of Oslo specializing in computing, computer science, and theory of computation.

ORCID

Publications per year

1990–2022

14

Publications

14

On the computational complexity of imperative programming languages

Lars Kristiansen, Karl-Heinz Niggl · Theoretical Computer Science · 2003 · 38 citations

, , +13

Glacial stratigraphy of East and Central Jutland

Christian Kronborg, Henry E. Bender, Regnar Bjerre et al. · Boreas · 1990 · 35 citations

, , +17

A flow calculus of<i>mwp</i>-bounds for complexity analysis

Neil D. Jones, Lars Kristiansen · ACM Transactions on Computational Logic · 2009 · 29 citations

, , +8

Neat function algebraic characterizations of logspace and linspace

Lars Kristiansen · Computational Complexity · 2005 · 26 citations

, , +8

Streamlined subrecursive degree theory

Lars Kristiansen, Jan‐Christoph Schlage‐Puchta, Andreas Weiermann · Annals of Pure and Applied Logic · 2011 · 17 citations

, , +5

1–5 of 14