Jan Hoffmann

Available identifiers

zbMath Open hoffmann.jan-philippMaRDI QIDQ372958

List of research outcomes

Publication	Date of Publication	Type
Two decades of automatic amortized resource analysis	2023-02-06	Paper
Automated resource analysis with Coq proof objects	2022-08-12	Paper
Work analysis with resource-aware session types	2021-01-20	Paper
Exponential automatic amortized resource analysis	2020-09-23	Paper
https://portal.mardi4nfdi.de/entity/Q5111324	2020-05-26	Paper
Automatic Space Bound Analysis for Functional Programs with Garbage Collection	2019-07-04	Paper
Type-based amortized resource analysis with integers and arrays	2017-10-23	Paper
Towards automatic resource bound analysis for OCaml	2017-10-20	Paper
Relational cost analysis	2017-10-20	Paper
Quantitative reasoning for proving lock-freedom	2017-07-03	Paper
Automatic Static Cost Analysis for Parallel Programs	2016-04-26	Paper
Higher-order functional reactive programming in bounded space	2015-09-11	Paper
Type-based amortized resource analysis with integers and arrays	2014-07-24	Paper
Multivariate amortized resource analysis	2014-04-10	Paper
Tracking data-flow with open closure types	2014-01-17	Paper
The complexity of computing minimal unidirectional covering sets	2013-10-21	Paper
Characterizing progress properties of concurrent objects via contextual refinements	2013-08-12	Paper
The computational complexity of weak saddles	2011-11-23	Paper
The complexity of computing minimal unidirectional covering sets	2010-05-28	Paper
Amortized resource analysis with polynomial potential. A static inference of polynomial bounds for functional programs	2010-05-04	Paper
The computational complexity of weak saddles	2009-12-01	Paper
Finding a tree structure in a resolution proof is NP-complete	2009-05-28	Paper
Resolution Trees with Lemmas: Resolution Refinements that Characterize DLL Algorithms with Clause Learning	2009-04-29	Paper
https://portal.mardi4nfdi.de/entity/Q3549506	2008-12-30	Paper
The NP-hardness of finding a directed acyclic graph for regular resolution	2008-05-28	Paper
https://portal.mardi4nfdi.de/entity/Q5475469	2006-06-26	Paper
https://portal.mardi4nfdi.de/entity/Q3024744	2005-07-04	Paper

Research outcomes over time

This page was built for person: Jan Hoffmann