Concepedia

Martin Hofmann

MH

Statistics

Publications

42

Citations

2.1K

H-Index

25

Active since

1990

Affiliations

Ludwig-Maximilians-Universität München(Current)

University of Edinburgh

Technische Universität Darmstadt

University of Bamberg

Martin Hofmann is an author at Ludwig-Maximilians-Universität München specializing in computer science, computing, and programming languages.

Publications per year

1990–2016

42

Publications

42

Static prediction of heap space usage for first-order functional programs

Martin Hofmann, Steffen Jost · 2003 · 297 citations

Computing, Computer Science, Algorithms +16

Semantical analysis of higher-order abstract syntax

Martin Hofmann · 2003 · 176 citations

Language Studies, Computer Science, Logic +12

Multivariate amortized resource analysis

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

Computing, Decision Sciences, Resource Utilization Analysis +4

Static determination of quantitative resource usage for higher-order programs

Steffen Jost, Kevin Hammond, Hans‐Wolfgang Loidl et al. · 2010 · 121 citations

Computing, Computer Science, Programming Languages +9

Symmetric lenses

Martin Hofmann, Benjamin C. Pierce, Daniel S. Wagner · ACM SIGPLAN Notices · 2011 · 109 citations

Natural Sciences, Computer Science, Mathematics +14

1–5 of 42