Concepedia

Jera Hensel

JH

Statistics

Publications

3

Citations

158

H-Index

3

Active since

2016

Affiliations

RWTH Aachen University(Current)

University of Southern Denmark

Microsoft Research (United Kingdom)

Birkbeck, University of London

Jera Hensel is an author at RWTH Aachen University specializing in engineering, program analysis, and formal verification.

ORCID

Top concepts

Publications per year

2016–2016

3

Publications

3

Analyzing Program Termination and Complexity Automatically with AProVE

Jürgen Giesl, Cornelius Aschermann, Marc Brockschmidt et al. · Journal of Automated Reasoning · 2016 · 124 citations · Full text

, , +10

Automatically Proving Termination and Memory Safety for Programs with Pointer Arithmetic

Thomas Ströder, Jürgen Giesl, Marc Brockschmidt et al. · Journal of Automated Reasoning · 2016 · 21 citations · Full text

, , +14

Lower Bounds for Runtime Complexity of Term Rewriting

Florian Frohn, Jürgen Giesl, Jera Hensel et al. · Journal of Automated Reasoning · 2016 · 13 citations

, , +5

1–3 of 3