Concepedia

Jan Hoffmann

JH

Statistics

Publications

29

Citations

1.2K

H-Index

18

Active since

2011

Affiliations

Carnegie Mellon University(Current)

Yale University

Max Planck Institute for Software Systems

Ludwig-Maximilians-Universität München

IMDEA Software Institute

Jan Hoffmann is an author at Carnegie Mellon University specializing in computing, computer science, and theory of computation.

ORCID

Publications per year

2011–2023

29

Publications

29

Multivariate amortized resource analysis

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

, , +4

Towards automatic resource bound analysis for OCaml

Jan Hoffmann, Ankush Das, Shu-Chun Weng · 2016 · 115 citations

, , +13

Bounded expectations: resource analysis for probabilistic programs

Van Chan Ngo, Quentin Carbonneaux, Jan Hoffmann · 2018 · 96 citations · Full text

, , +13

Multivariate amortized resource analysis

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

, , +4

Compositional certified resource bounds

Quentin Carbonneaux, Jan Hoffmann, Zhong Shao · 2015 · 93 citations

, , +17

1–5 of 29