Concepedia

Martin Hofmann

MH

Statistics

Publications

24

Citations

1.3K

H-Index

18

Active since

1992

Affiliations

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

Universität Hamburg

Hamburg University of Technology

University Medical Center Hamburg-Eppendorf

University of Pennsylvania

Martin Hofmann is an author at Ludwig-Maximilians-Universität München specializing in engineering, computer science, and automated reasoning.

Top concepts

Publications per year

1992–2016

24

Publications

24

Device-Independent Entanglement Quantification and Related Applications

Tobias Moroder, Jean-Daniel Bancal, Yeong-Cherng Liang et al. · Physical Review Letters · 2013 · 192 citations · Full text

Linear types and non-size-increasing polynomial time computation

Martin Hofmann · 2003 · 109 citations

, , +16

Magnetic Particle / Magnetic Resonance Imaging: In-Vitro MPI-Guided Real Time Catheter Tracking and 4D Angioplasty Using a Road Map and Blood Pool Tracer Approach

Johannes Salamon, Martin Hofmann, Caroline Jung et al. · PLoS ONE · 2016 · 94 citations · Full text

Multivariate amortized resource analysis

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

, , +25

The groupoid model refutes uniqueness of identity proofs

Martin Hofmann, Thomas Streicher · 2002 · 92 citations

, , +7

1–5 of 24