| 2026 | LICS | LFPL: Revisited and Mechanized. | Nathaniel Glover, Jan Hoffmann |
| 2023 | LICS | Automatic Amortized Resource Analysis with Regular Recursive Types. | Jessie Grosen, David M. Kahn, Jan Hoffmann |
| 2021 | CSL | Typable Fragments of Polynomial Automatic Amortized Resource Analysis. | Long Pham, Jan Hoffmann |
| 2021 | PLDI | Central moment analysis for cost accumulators in probabilistic programs. | Di Wang, Jan Hoffmann, Thomas W. Reps |
| 2021 | PLDI | Sound probabilistic inference via guide types. | Di Wang, Jan Hoffmann, Thomas W. Reps |
| 2020 | FOSSACS | Exponential Automatic Amortized Resource Analysis. | David M. Kahn, Jan Hoffmann |
| 2019 | PLDI | Resource-guided program synthesis. | Tristan Knoth, Di Wang, Nadia Polikarpova, Jan Hoffmann |
| 2018 | LICS | Work Analysis with Resource-Aware Session Types. | Ankush Das, Jan Hoffmann, Frank Pfenning |
| 2018 | LPAR | Automatic Space Bound Analysis for Functional Programs with Garbage Collection. | Yue Niu, Jan Hoffmann |
| 2018 | PLDI | Bounded expectations: resource analysis for probabilistic programs. | Van Chan Ngo, Quentin Carbonneaux, Jan Hoffmann |
| 2018 | PLDI | PMAF: an algebraic framework for static analysis of probabilistic programs. | Di Wang, Jan Hoffmann, Thomas W. Reps |
| 2017 | CAV | Automated Resource Analysis with Coq Proof Objects. | Quentin Carbonneaux, Jan Hoffmann, Thomas W. Reps, Zhong Shao |
| 2017 | CHI | Towards Interaction Techniques for Social Media Data Exploration on Large High-Resolution Displays. | Lars Lischke, Jan Hoffmann, Robert Krger, Patrick Bader, Pawel W. Wozniak, Albrecht Schmidt |
| 2017 | MUM | Interaction techniques for window management on large high-resolution displays. | Lars Lischke, Sven Mayer, Jan Hoffmann, Philipp Kratzer, Stephan Roth, Katrin Wolf, Pawel W. Wozniak |
| 2017 | POPL | Relational cost analysis. | Ezgi iek, Gilles Barthe, Marco Gaboardi, Deepak Garg, Jan Hoffmann |
| 2017 | POPL | Towards automatic resource bound analysis for OCaml. | Jan Hoffmann, Ankush Das, Shu-Chun Weng |
| 2017 | SP | Verifying and Synthesizing Constant-Resource Implementations with Types. | Van Chan Ngo, Mario Dehesa-Azuara, Matthew Fredrikson, Jan Hoffmann |
| 2017 | TACAS | ML for ML: Learning Cost Semantics by Experiment. | Ankush Das, Jan Hoffmann |
| 2015 | ESOP | Automatic Static Cost Analysis for Parallel Programs. | Jan Hoffmann, Zhong Shao |
| 2015 | PLDI | Compositional certified resource bounds. | Quentin Carbonneaux, Jan Hoffmann, Zhong Shao |
| 2014 | FLOPS | Type-Based Amortized Resource Analysis with Integers and Arrays. | Jan Hoffmann, Zhong Shao |
| 2014 | PLDI | End-to-end verification of stack-space bounds for C programs. | Quentin Carbonneaux, Jan Hoffmann, Tahina Ramananandro, Zhong Shao |
| 2013 | CONCUR | Characterizing Progress Properties of Concurrent Objects via Contextual Refinements. | Hongjin Liang, Jan Hoffmann, Xinyu Feng, Zhong Shao |
| 2013 | LICS | Quantitative Reasoning for Proving Lock-Freedom. | Jan Hoffmann, Michael Marmar, Zhong Shao |
| 2013 | LPAR | Tracking Data-Flow with Open Closure Types. | Gabriel Scherer, Jan Hoffmann |
| 2012 | CAV | Resource Aware ML. | Jan Hoffmann, Klaus Aehlig, Martin Hofmann |
| 2012 | POPL | Higher-order functional reactive programming in bounded space. | Neelakantan R. Krishnaswami, Nick Benton, Jan Hoffmann |
| 2011 | POPL | Multivariate amortized resource analysis. | Jan Hoffmann, Klaus Aehlig, Martin Hofmann |
| 2010 | APLAS | Amortized Resource Analysis with Polymorphic Recursion and Partial Big-Step Operational Semantics. | Jan Hoffmann, Martin Hofmann |
| 2010 | CIAC | The Complexity of Computing Minimal Unidirectional Covering Sets. | Dorothea Baumeister, Felix Brandt, Felix A. Fischer, Jan Hoffmann, Jrg Rothe |
| 2010 | ESOP | Amortized Resource Analysis with Polynomial Potential. | Jan Hoffmann, Martin Hofmann |
| 2009 | SAGT | The Computational Complexity of Weak Saddles. | Felix Brandt, Markus Brill, Felix A. Fischer, Jan Hoffmann |
| 2006 | ICRA | Further Studies on the Use of Negative Information in Mobile Robot Localization. | Jan Hoffmann, Michael Spranger, Daniel Ghring, Matthias Jngel, Hans-Dieter Burkhard |
| 2006 | RoboCup | Sensor Modeling Using Visual Object Relation in Multi Robot Object Tracking. | Daniel Ghring, Jan Hoffmann |
| 2006 | RoboCup | Proprioceptive Motion Modeling for Monte Carlo Localization. | Jan Hoffmann |
| 2005 | IROS | Making use of what you don't see: negative information in Markov localization. | Jan Hoffmann, Michael Spranger, Daniel Ghring, Matthias Jngel |
| 2005 | RoboCup | Reliable and Precise Gait Modeling for a Quadruped Robot. | Uwe Dffert, Jan Hoffmann |
| 2005 | RoboCup | Exploiting the Unexpected: Negative Evidence Modeling and Proprioceptive Motion Modeling for Improved Markov Localization. | Jan Hoffmann, Michael Spranger, Daniel Ghring, Matthias Jngel |
| 2004 | RoboCup | Sensor-Actuator-Comparison as a Basis for Collision Detection for a Quadruped Robot. | Jan Hoffmann, Daniel Ghring |
| 2004 | RoboCup | A Vision Based System for Goal-Directed Obstacle Avoidance. | Jan Hoffmann, Matthias Jngel, Martin Ltzsch |
| 2003 | RoboCup | A Real-Time Auto-Adjusting Vision System for Robotic Soccer. | Matthias Jngel, Jan Hoffmann, Martin Ltzsch |