| 2024 | FOSSACS | Enriching Diagrams with Algebraic Operations. | Alejandro Villoria, Henning Basold, Alfons Laarman |
| 2024 | ITP | The Directed Van Kampen Theorem in Lean. | Henning Basold, Peter Bruin, Dominique Lawson |
| 2023 | CALCO | Composition and Recursion for Causal Structures. | Henning Basold, Tanjona Ralaivaosaona |
| 2021 | ESOP | Session Coalgebras: A Coalgebraic View on Session Types and Communication Protocols. | Alex C. Keizer, Henning Basold, Jorge A. Prez |
| 2019 | CALCO | Coinduction in Flow: The Later Modality in Fibrations. | Henning Basold |
| 2019 | ESOP | Coinduction in Uniform: Foundations for Corecursive Proof Search with Horn Clauses. | Henning Basold, Ekaterina Komendantskaya, Yue Li |
| 2017 | CALCO | Monoidal Company for Accessible Functors. | Henning Basold, Damien Pous, Jurriaan Rot |
| 2016 | LICS | Type Theory based on Dependent Inductive and Coinductive Types. | Henning Basold, Herman Geuvers |
| 2015 | ICTAC | Newton Series, Coinductively. | Henning Basold, Helle Hvid Hansen, Jean-ric Pin, Jan Rutten |
| 2014 | FMICS | An Open Alternative for SMT-Based Verification of Scade Models. | Henning Basold, Henning Gnther, Michaela Huhn, Stefan Milius |