Concepedia

Klaus Aehlig

KA

8

Publications

414

Citations

8

H-Index

2002

Active since

Affiliations

Ludwig-Maximilians-Universität München(Current)

University of Wales

Swansea University

Klaus Aehlig is an author at Ludwig-Maximilians-Universität München specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringFormal MethodsComputer ScienceComputational ComplexityAutomated ReasoningBusinessEconomicsEconometricsProgram AnalysisEconomic Analysis

Publications per year

2002–2012

8

Publications

8

Multivariate amortized resource analysis

Jan Hoffmann, Klaus Aehlig, Martin Hofmann · ACM Transactions on Programming Languages and Systems · 2012 · 137 citations · Full text

Mathematical Programming, Computational Complexity Theory, Engineering +24

Multivariate amortized resource analysis

Jan Hoffmann, Klaus Aehlig, Martin Hofmann · 2011 · 94 citations

Software Maintenance, Engineering, Automatic Analyses +25

Multivariate amortized resource analysis

Jan Hoffmann, Klaus Aehlig, Martin Hofmann · ACM SIGPLAN Notices · 2011 · 93 citations

Mathematical Programming, Computational Complexity Theory, Engineering +26

Operational aspects of untyped Normalisation by Evaluation

Klaus Aehlig, Felix Joachimski · Mathematical Structures in Computer Science · 2004 · 29 citations

Text Normalization, Engineering, Feature Scaling +14

Normalization by Evaluation for Martin-Löf Type Theory with One Universe

Andreas Abel, Klaus Aehlig, Peter Dybjer · Electronic Notes in Theoretical Computer Science · 2007 · 21 citations · Full text

Normal Forms, Alternative Cosmology, Engineering +11

Rows per page

1–5 of 8