2026 Martin Hofmann: Computer Science Researcher – H-Index, Publications & Awards

Discipline name	D-Index	World Ranking	Current World Ranking	National Ranking	Current National Ranking	Publications	Citations
Computer Science	49	5934	5766	278	270	229	8730

Discipline name

D-Index

World Ranking

Current World Ranking

National Ranking

Current National Ranking

Publications

Citations

Computer Science

5934

5766

278

270

229

8730

Overview

Martin Hofmann is a researcher affiliated with Ludwig-Maximilians-Universität München in Germany. Their work primarily spans the field of Computer Science, with contributions in both Artificial Intelligence and Computational Theory and Mathematics as subfields.

The main topics addressed in Martin Hofmann's research include:

Logic, programming, and type systems
Logic, Reasoning, and Knowledge
Advanced Algebra and Logic

Their publication record includes research articles published in the venue Mathematical Structures in Computer Science. One notable paper is:

"A quantitative model for simply typed λ-calculus," published in 2021 in Mathematical Structures in Computer Science

Martin Hofmann has collaborated with other researchers, among whom Jérémy Ledent is a frequent co-author.

Best Publications

Background segmentation with feedback: The Pixel-Based Adaptive Segmenter

Martin Hofmann;Philipp Tiefenbacher;Gerhard Rigoll

759
Citations
Multivariate amortized resource analysis

Jan Hoffmann;Klaus Aehlig;Martin Hofmann

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

Martin Hofmann;Steffen Jost

460
Citations
Linear types and non-size-increasing polynomial time computation

Martin Hofmann

432
Citations
Syntax and semantics of dependent types

Martin Hofmann

300
Citations
Mobile Resource Guarantees for smart devices

David Aspinall;Stephen Gilmore;Martin Hofmann;Donald Sannella

284
Citations
The TUM Gait from Audio, Image and Depth (GAID) database

Martin Hofmann;Jürgen Geiger;Sebastian Bachmann;Björn Schuller

276
Citations
Semantical analysis of higher-order abstract syntax

M. Hofmann

259
Citations
Amortized resource analysis with polynomial potential: a static inference of polynomial bounds for functional programs

Jan Hoffmann;Martin Hofmann

181
Citations
Static determination of quantitative resource usage for higher-order programs

Steffen Jost;Kevin Hammond;Hans-Wolfgang Loidl;Martin Hofmann

179
Citations
On the Interpretation of Type Theory in Locally Cartesian Closed Categories

Martin Hofmann

172
Citations
Symmetric lenses

Martin Hofmann;Benjamin Pierce;Daniel Wagner

171
Citations
Type-based amortised heap-space analysis

Martin Hofmann;Steffen Jost

170
Citations
A type system for bounded space and functional in-place update

Martin Hofmann

149
Citations
Categorical Reconstruction of a Reduction Free Normalization Proof

Thorsten Altenkirch;Martin Hofmann;Thomas Streicher

137
Citations
The groupoid model refutes uniqueness of identity proofs

M. Hofmann;T. Streicher

131
Citations
Hypergraphs for Joint Multi-view Reconstruction and Multi-object Tracking

Martin Hofmann;Daniel Wolf;Gerhard Rigoll

126
Citations
Mobile-Agent versus Client/Server Performance: Scalability in an Information-Retrieval Task

Robert S. Gray;David Kotz;Ronald A. Peterson;Joyce Barton

122
Citations
Normalization by evaluation for typed lambda calculus with coproducts

T. Altenkirch;P. Dybjer;M. Hofmann;P. Scott

120
Citations
A unifying type-theoretic framework for objects

Martin Hofmann;Benjamin C. Pierce

114
Citations
Gait Recognition in the Presence of Occlusion: A New Dataset and Baseline Algorithms

Martin Hofmann;Shamik Sural;Gerhard Rigoll

70
Citations
A Type System for Bounded Space and Functional In-Place Update--Extended Abstract

Martin Hofmann

69
Citations

Frequent Co-Authors

Nick Benton Facebook (United States)

Donald Sannella University of Edinburgh

Benjamin C. Pierce University of Pennsylvania

Stephen Gilmore University of Edinburgh

Helmut Seidl Technical University of Munich

Greg Morrisett Cornell University

Gilles Barthe Max Planck Institute for Security and Privacy

Lars Birkedal Aarhus University

David Kotz Dartmouth College

Matthias Felleisen Northeastern University

External Links

Personal website of Martin Hofmann Google Scholar page

If you think any of the details on this page are incorrect, let us know.

Related Online Degrees & Career Pathways

Studying Computer Science in the USA opens doors to a range of flexible, online degree options and career pathways. For those interested in data and analytics, pursuing a data scientist degree can be a smart, affordable choice with strong job prospects.

Engineering fields are also expanding online. You’ll find accredited online electrical engineering programs that offer quality coursework and recognized qualifications without on-campus attendance.

If you’re looking to enter the workforce quickly, consider 3-month certificate programs that pay well. These certifications are designed for in-demand skills, helping students launch well-paying careers in less time.

For those seeking advanced credentials, explore the quickest masters degree online options. Accelerated master’s programs can be completed within a year, letting you boost your career prospects efficiently.