| 2024 | PEPM | In memoriam Neil Deaton Jones. | Fritz Henglein |
| 2022 | RC | Algeo: An Algebraic Approach to Reversibility. | Fritz Henglein, Robin Kaarsgaard, Mikkel Kragh Mathiesen |
| 2020 | FC | A Formally Verified Static Analysis Framework for Compositional Contracts. | Fritz Henglein, Christian Kjr Larsen, Agata Murawska |
| 2017 | PEPM | PEG parsing in less space using progressive tabling and dynamic analysis. | Fritz Henglein, Ulrik Terp Rasmussen |
| 2017 | PLDI | Futhark: purely functional GPU-programming with nested parallelism and in-place array updates. | Troels Henriksen, Niels G. W. Serup, Martin Elsman, Fritz Henglein, Cosmin E. Oancea |
| 2016 | POPL | Kleenex: compiling nondeterministic transducers to deterministic streaming transducers. | Niels Bjrn Bugge Grathwohl, Fritz Henglein, Ulrik Terp Rasmussen, Kristoffer Aalund Sholm, Sebastian Paaske Trholm |
| 2014 | ICTAC | Optimally Streaming Greedy Regular Expression Parsing. | Niels Bjrn Bugge Grathwohl, Fritz Henglein, Ulrik Terp Rasmussen |
| 2014 | ISoLA | Domain-Specific Languages for Enterprise Systems. | Jesper Andersen, Patrick Bahr, Fritz Henglein, Tom Hvitved |
| 2013 | APLAS | Sorting and Searching by Distribution: From Generic Discrimination to Generic Tries. | Fritz Henglein, Ralf Hinze |
| 2012 | ICFP | Financial software on GPUs: between Haskell and Fortran. | Cosmin E. Oancea, Christian Andreetta, Jost Berthold, Alain Frisch, Fritz Henglein |
| 2011 | LATA | Bit-coded Regular Expression Parsing. | Lasse Nielsen, Fritz Henglein |
| 2011 | LOPSTR | Dynamic Symbolic Computation for Domain-Specific Language Implementation. | Fritz Henglein |
| 2011 | POPL | Regular expression containment: coinductive axiomatization and computational interpretation. | Fritz Henglein, Lasse Nielsen |
| 2010 | ICFP | Generic multiset programming for language-integrated querying. | Fritz Henglein, Ken Friis Larsen |
| 2010 | PEPM | Optimizing relational algebra operations using generic equivalence discriminators and lazy products. | Fritz Henglein |
| 2010 | SAC | A standard-driven implementaion of WS-BPEL 2.0. | Tim Hallwyl, Fritz Henglein, Thomas T. Hildebrandt |
| 2008 | ICFP | Generic discrimination: sorting and paritioning unshared data in linear time. | Fritz Henglein |
| 2004 | ISoLA | Compositional Specification of Commercial Contracts. | Jesper Andersen, Ebbe Elsborg, Fritz Henglein, Jakob Grue Simonsen, Christian Stefansen |
| 2001 | PPDP | A Direct Approach to Control-Flow Sensitive Region-Based Memory Management. | Fritz Henglein, Henning Makholm, Henning Niss |
| 1999 | POPL | AnnoDomini: From Type Theory to Year 2000 Conversion Tool. | Peter Harry Eidorff, Fritz Henglein, Christian Mossin, Henning Niss, Morten Heine Srensen, Mads Tofte |
| 1998 | ICALP | Constraint Automata and the Complexity of Recursive Subtype Entailment. | Fritz Henglein, Jakob Rehof |
| 1997 | LICS | The Complexity of Subtype Entailment for Simple Types. | Fritz Henglein, Jakob Rehof |
| 1995 | SAS | Polymorphic Recursion and Subtype Qualifications: Polymorphic Binding-Time Analysis in Polynomial Time | Dirk Dussart, Fritz Henglein, Christian Mossin |
| 1994 | ESOP | Polymorphic Binding-Time Analysis. | Fritz Henglein, Christian Mossin |
| 1994 | POPL | Formally Optimal Boxing. | Fritz Henglein, Jesper Jrgensen |
| 1994 | SAS | Iterative Fixed Point Computation for Type-Based Strictness Analysis. | Fritz Henglein |
| 1992 | ESOP | Dynamic Typing. | Fritz Henglein |
| 1991 | MFCS | A Decidable Case of the Semi-Unification Problem. | Hans Lei, Fritz Henglein |
| 1991 | POPL | The Complexity of Type Inference for Higher-Order Typed Lambda Calculi. | Fritz Henglein, Harry G. Mairson |
| 1990 | ICCI | Fast Left-Linear Semi-Unification. | Fritz Henglein |