(Co)Algebraic Characterizations of Signal Flow Graphs. - Henning Basold; Marcello M. Bonsangue; Helle Hvid Hansen; Jan Rutten (Horizons of the Mind, 2014)

An Open Alternative for SMT-Based Verification of Scade Models. - Henning Basold; Henning Günther; Michaela Huhn; Stefan Milius (FMICS, 2014)

Transformation von Scade-Modellen zur SMT-basierten Verifikation. - Henning Basold (CoRR, 2014)

Newton Series, Coinductively. - Henning Basold; Helle Hvid Hansen; Jean-Éric Pin; Jan Rutten (ICTAC, 2015)

Dependent Inductive and Coinductive Types are Fibrational Dialgebras. - Henning Basold (FICS, 2015)

Type Theory based on Dependent Inductive and Coinductive Types. - Henning Basold; Herman Geuvers (LICS, 2016)

Monoidal Company for Accessible Functors. - Henning Basold; Damien Pous; Jurriaan Rot (CALCO, 2017)

Higher Inductive Types in Programming. - Henning Basold; Herman Geuvers; Niels van der Weide (J. Univers. Comput. Sci., 2017)

Breaking the Loop: Recursive Proofs for Coinductive Predicates in Fibrations. - Henning Basold (CoRR, 2018)

Coinduction in Flow: The Later Modality in Fibrations. - Henning Basold (CALCO, 2019)

Coinduction in Uniform: Foundations for Corecursive Proof Search with Horn Clauses. - Henning Basold; Ekaterina Komendantskaya; Yue Li 021 (ESOP, 2019)

Well-definedness and observational equivalence for inductive-coinductive programs. - Henning Basold; Helle Hvid Hansen (J. Log. Comput., 2019)

Newton series, coinductively: a comparative study of composition. - Henning Basold; Helle Hvid Hansen; Jean-Éric Pin; Jan Rutten (Math. Struct. Comput. Sci., 2019)

The New Normal: We Cannot Eliminate Cuts in Coinductive Calculi, But We Can Explore Them. - Ekaterina Komendantskaya; Dmitry Rozplokhas; Henning Basold (Theory Pract. Log. Program., 2020)

Session Coalgebras: A Coalgebraic View on Session Types and Communication Protocols. - Alex C. Keizer; Henning Basold; Jorge A. Pérez 001 (ESOP, 2021)

Session Coalgebras: A Coalgebraic View on Regular and Context-free Session Types. - Alex C. Keizer; Henning Basold; Jorge A. Pérez 001 (ACM Trans. Program. Lang. Syst., 2022)

Composition and Recursion for Causal Structures. - Henning Basold; Tanjona Ralaivaosaona (CALCO, 2023)

Finitely Presentable Higher-Dimensional Automata and the Irrationality of Process Replication. - Henning Basold; Thomas Baronner; Márton Hablicsek (CoRR, 2023)

Irrationality of Process Replication for Higher-Dimensional Automata. - Thomas Baronner; Henning Basold; Márton Hablicsek (RAMiCS, 2024)

Enriching Diagrams with Algebraic Operations. - Alejandro Villoria; Henning Basold; Alfons Laarman (FoSSaCS (1), 2024)

The Directed Van Kampen Theorem in Lean. - Henning Basold; Peter Bruin; Dominique Lawson (ITP, 2024)

An Expressive Coalgebraic Modal Logic for Cellular Automata. - Henning Basold; Chase Ford; Lulof Piree (CoRR, 2025)