| 2025 | ICRA | Unleashing HyDRa: Hybrid Fusion, Depth Consistency and Radar for Unified 3D Perception. | Philipp Wolters, Johannes Gilg, Torben Teepe, Fabian Herzog, Anouar Laouichi, Martin Hofmann, Gerhard Rigoll |
| 2018 | LPAR | Decidable Inequalities over Infinite Trees. | Sabine Bauer, Steffen Jost, Martin Hofmann |
| 2017 | APLAS | Enforcing Programming Guidelines with Region Types and Effects. | Serdar Erbatur, Martin Hofmann, Eugen Zalinescu |
| 2017 | LICS | A cartesian-closed category for higher-order model checking. | Martin Hofmann, Jrmy Ledent |
| 2017 | LPAR | Decidable linear list constraints. | Sabine Bauer, Martin Hofmann |
| 2016 | FM | An Implementation of Deflate in Coq. | Christoph-Simon Senjak, Martin Hofmann |
| 2016 | PPDP | Effect-dependent transformations for concurrent programs. | Nick Benton, Martin Hofmann, Vivek Nigam |
| 2015 | FDTC | On the Complexity Reduction of Laser Fault Injection Campaigns Using OBIC Measurements. | Falk Schellenberg, Markus Finkeldey, Bastian Richter, Maximilian Schapers, Nils C. Gerhardt, Martin Hofmann, Christof Paar |
| 2015 | PPDP | Automatic amortized analysis. | Martin Hofmann |
| 2015 | SEFM | GuideForce: Type-Based Enforcement of Programming Guidelines. | Serdar Erbatur, Martin Hofmann |
| 2014 | CSL | Abstract interpretation from Bchi automata. | Martin Hofmann, Wei Chen |
| 2014 | ICIP | PID-based regulation of background dynamics for foreground segmentation. | Philipp Tiefenbacher, Martin Hofmann, Daniel Merget, Gerhard Rigoll |
| 2014 | POPL | Abstract effects and proof-relevant logical relations. | Nick Benton, Martin Hofmann, Vivek Nigam |
| 2013 | CVPR | Hypergraphs for Joint Multi-view Reconstruction and Multi-object Tracking. | Martin Hofmann, Daniel Wolf, Gerhard Rigoll |
| 2013 | ESOP | Automatic Type Inference for Amortised Heap-Space Analysis. | Martin Hofmann, Dulma Rodriguez |
| 2013 | FOSSACS | On Monadic Parametricity of Second-Order Functionals. | Andrej Bauer, Martin Hofmann, Aleksandr Karbyshev |
| 2013 | FOSSACS | Pure Pointer Programs and Tree Isomorphism. | Martin Hofmann, Ramyaa Ramyaa, Ulrich Schpp |
| 2013 | ICASSP | Gait-based person identification by spectral, cepstral and energy-related audio features. | Jrgen T. Geiger, Martin Hofmann, Bjrn W. Schuller, Gerhard Rigoll |
| 2013 | ICIP | Exploiting gradient histograms for gait-based person identification. | Martin Hofmann, Gerhard Rigoll |
| 2012 | CAV | Resource Aware ML. | Jan Hoffmann, Klaus Aehlig, Martin Hofmann |
| 2012 | CVPR | Background segmentation with feedback: The Pixel-Based Adaptive Segmenter. | Martin Hofmann, Philipp Tiefenbacher, Gerhard Rigoll |
| 2012 | ICIP | Improved Gait Recognition using Gradient Histogram Energy Image. | Martin Hofmann, Gerhard Rigoll |
| 2012 | LPAR | Linear Constraints over Infinite Trees. | Martin Hofmann, Dulma Rodriguez |
| 2012 | POPL | Edit lenses. | Martin Hofmann, Benjamin C. Pierce, Daniel Wagner |
| 2011 | CVPR | Late fusion for person detection in camera networks. | Martin Hofmann, Martin Kiechle, Gerhard Rigoll |
| 2011 | POPL | Multivariate amortized resource analysis. | Jan Hoffmann, Klaus Aehlig, Martin Hofmann |
| 2011 | POPL | Symmetric lenses. | Martin Hofmann, Benjamin C. Pierce, Daniel Wagner |
| 2010 | APLAS | Amortized Resource Analysis with Polymorphic Recursion and Partial Big-Step Operational Semantics. | Jan Hoffmann, Martin Hofmann |
| 2010 | CVPR | Dense spatio-temporal motion segmentation for tracking multiple self-occluding people. | Martin Hofmann, Gerhard Rigoll, Thomas S. Huang |
| 2010 | ECAI | Data-Driven Detection of Recursive Program Schemes. | Martin Hofmann, Ute Schmid |
| 2010 | ESOP | Amortized Resource Analysis with Polynomial Potential. | Jan Hoffmann, Martin Hofmann |
| 2010 | FUSION | Depth gradient based segmentation of overlapping foreground objects in range images. | Andre Strmer, Martin Hofmann, Gerhard Rigoll |
| 2010 | ICALP | What Is a Pure Functional? | Martin Hofmann, Aleksandr Karbyshev, Helmut Seidl |
| 2010 | LPAR | Verifying Pointer and String Analyses with Region Type Systems. | Lennart Beringer, Robert Grabowski, Martin Hofmann |
| 2010 | PEPM | IGOR2 - an analytical inductive functional programming system: tool demo. | Martin Hofmann |
| 2010 | PEPM | I/O guided detection of list catamorphisms: towards problem specific use of program templates in IP. | Martin Hofmann, Emanuel Kitzelmann |
| 2010 | POPL | Static determination of quantitative resource usage for higher-order programs. | Steffen Jost, Kevin Hammond, Hans-Wolfgang Loidl, Martin Hofmann |
| 2010 | PPDP | Type inference in intuitionistic linear logic. | Patrick Baillot, Martin Hofmann |
| 2010 | SAS | Verifying a Local Generic Solver in Coq. | Martin Hofmann, Aleksandr Karbyshev, Helmut Seidl |
| 2009 | CSL | Efficient Type-Checking for Amortised Heap-Space Analysis. | Martin Hofmann, Dulma Rodriguez |
| 2009 | FM | "Carbon Credits" for Resource-Bounded Computations Using Amortised Analysis. | Steffen Jost, Hans-Wolfgang Loidl, Kevin Hammond, Norman Scaife, Martin Hofmann |
| 2009 | IJCCI | Evolutionary Programming Guided by Analytically Generated Seeds. | Neil Crossley, Emanuel Kitzelmann, Martin Hofmann, Ute Schmid |
| 2009 | LICS | Pointer Programs and Undirected Reachability. | Martin Hofmann, Ulrich Schpp |
| 2009 | PPDP | Relational semantics for effect-based program transformations: higher-order store. | Nick Benton, Andrew Kennedy, Lennart Beringer, Martin Hofmann |
| 2008 | CSL | Pure Pointer Programs with Iteration. | Martin Hofmann, Ulrich Schpp |
| 2008 | CSR | A Semantic Proof of Polytime Soundness of Light Affine Logic. | Ugo Dal Lago, Martin Hofmann |
| 2008 | KI | Analysis and Evaluation of Inductive Programming Systems in a Higher-Order Framework. | Martin Hofmann, Emanuel Kitzelmann, Ute Schmid |
| 2008 | LPAR | Nominal Renaming Sets. | Murdoch James Gabbay, Martin Hofmann |
| 2007 | KI | Inductive Synthesis of Recursive Functional Programs. | Martin Hofmann, Andreas Hirschberger, Emanuel Kitzelmann, Ute Schmid |
| 2007 | PPDP | Relational semantics for effect-based program transformations with dynamic allocation. | Nick Benton, Andrew Kennedy, Lennart Beringer, Martin Hofmann |
| 2006 | APLAS | Reading, Writing and Relations. | Nick Benton, Andrew Kennedy, Martin Hofmann, Lennart Beringer |
| 2006 | APLAS | A Bytecode Logic for JML and Types. | Lennart Beringer, Martin Hofmann |
| 2006 | CCGRID | Grid Added Value to Address Malaria. | Vincent Breton, Nicolas Jacq, Martin Hofmann |
| 2006 | ESOP | Type-Based Amortised Heap-Space Analysis. | Martin Hofmann, Steffen Jost |
| 2005 | GI | GRID Computing. | Martin Hofmann, Uta Bohnebeck |
| 2005 | LICS | Proof-Theoretic Approach to Description-Logic. | Martin Hofmann |
| 2004 | ICALP | What Do Program Logics and Type Systems Have in Common? | Martin Hofmann |
| 2004 | LPAR | Automatic Certification of Heap Consumption. | Lennart Beringer, Martin Hofmann, Alberto Momigliano, Olha Shkaravska |
| 2003 | POPL | Static prediction of heap space usage for first-order functional programs. | Martin Hofmann, Steffen Jost |
| 2002 | ESOP | Another Type System for In-Place Update. | David Aspinall, Martin Hofmann |
| 2002 | POPL | The strength of non-size increasing computation. | Martin Hofmann |
| 2001 | LICS | Normalization by Evaluation for Typed Lambda Calculus with Coproducts. | Thorsten Altenkirch, Peter Dybjer, Martin Hofmann, Philip J. Scott |
| 2001 | MFCS | The Strength of Non-size-increasing Computation (Introduction and Summary). | Martin Hofmann |
| 2000 | ESOP | A Type System for Bounded Space and Functional In-Place Update--Extended Abstract. | Martin Hofmann |
| 1999 | LICS | Semantical Analysis of Higher-Order Abstract Syntax. | Martin Hofmann |
| 1999 | LICS | Linear Types and Non-Size-Increasing Polynomial Time Computation. | Martin Hofmann |
| 1997 | CSL | A Mixed Modal/Linear Lambda Calculus with Applications to Bellantoni-Cook Safe Recursion. | Martin Hofmann |
| 1997 | LICS | Continuation Models are Universal for Lambda-Mu-Calculus. | Martin Hofmann, Thomas Streicher |
| 1996 | LICS | Reduction-Free Normalisation for a Polymorphic System. | Thorsten Altenkirch, Martin Hofmann, Thomas Streicher |
| 1995 | POPL | Positive Subtyping. | Martin Hofmann, Benjamin C. Pierce |
| 1994 | CSL | On the Interpretation of Type Theory in Locally Cartesian Closed Categories. | Martin Hofmann |
| 1994 | LICS | The Groupoid Model Refutes Uniqueness of Identity Proofs | Martin Hofmann, Thomas Streicher |
| 1994 | STACS | A Unifying Type-Theoretic Framework for Objects. | Martin Hofmann, Benjamin C. Pierce |
| 1992 | DEXA | Graphical Structure-Oriented Search in a Hypertext System. | Martin Hofmann, S. Schmezko |
| 1991 | GI | Graph-Layout fr eine objektorientierte Benutzungsoberflche. | K. Laue, Martin Hofmann, Horst Langendrfer |
| 1990 | DEXA | The Process of Knowledge Structuring Supported by a Hypertext System. | Martin Hofmann, Uwe Schreiweis, Horst Langendrfer |
| 1989 | BTW | Dekomposition und Wertfortpflanzung in einem objektorientierten, multimedialen Modellierungsansatz. | Martin Hofmann, Ralf Cordes, Horst Langendrfer |
| 1987 | BTW | Objekt- und Kommunikationsmanagement im multimedialen Broinformationssystem MuBIS. | Ralf Cordes, Rdiger Buck-Emden, Martin Hofmann, Horst Langendrfer |
| 1987 | ISMIS | Module: A Modular Programming Environment in Prolog. | Martin Hofmann, Anne Usha, Souri Das, Kazuhiko Kawamura, Atsushi Kara, Ravi Rastogi |