Jera Hensel

Available identifiers

zbMath Open hensel.jeraMaRDI QIDQ1647966

List of research outcomes

Publication	Date of Publication	Type
Proving Termination of C Programs with Lists	2024-04-26	Paper
Proving Termination of Programs with Bitvector Arithmetic by Symbolic Execution	2018-07-06	Paper
Termination and complexity analysis for programs with bitvector arithmetic by symbolic execution	2018-06-27	Paper
Lower bounds for runtime complexity of term rewriting	2017-08-15	Paper
Inferring Lower Bounds for Runtime Complexity	2017-07-12	Paper
Analyzing program termination and complexity automatically with \textsf{AProVE}	2017-07-10	Paper
Automatically proving termination and memory safety for programs with pointer arithmetic	2017-07-10	Paper
Lower Runtime Bounds for Integer Programs	2016-09-05	Paper
Proving Termination and Memory Safety for Programs with Pointer Arithmetic	2014-09-26	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Jera Hensel