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	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