Henning Basold

Publication Activity (10 Years)

Years Active: 2014-2024
Publications (10 Years): 21

Top Topics

Algebraic Operations

Deductive Reasoning

Communication Protocols

Top Venues

Math. Struct. Comput. Sci.

Publications

Thomas Baronner, Henning Basold, Márton Hablicsek
Irrationality of Process Replication for Higher-Dimensional Automata. RAMiCS (2024)
Alejandro Villoria, Henning Basold, Alfons Laarman
Enriching Diagrams with Algebraic Operations. FoSSaCS (1) (2024)
Henning Basold, Peter Bruin, Dominique Lawson
The Directed Van Kampen Theorem in Lean. CoRR (2023)
Henning Basold, Tanjona Ralaivaosaona
Composition and Recursion for Causal Structures. CALCO (2023)
Alejandro Villoria, Henning Basold, Alfons Laarman
Enriching Diagrams with Algebraic Operations. CoRR (2023)
Henning Basold, Thomas Baronner, Márton Hablicsek
Finitely Presentable Higher-Dimensional Automata and the Irrationality of Process Replication. CoRR (2023)
Alex C. Keizer, Henning Basold, Jorge A. Pérez
Session Coalgebras: A Coalgebraic View on Regular and Context-free Session Types. ACM Trans. Program. Lang. Syst. 44 (3) (2022)
Alex C. Keizer, Henning Basold, Jorge A. Pérez
Session Coalgebras: A Coalgebraic View on Session Types and Communication Protocols. ESOP (2021)
Ekaterina Komendantskaya, Dmitry Rozplokhas, Henning Basold
The New Normal: We Cannot Eliminate Cuts in Coinductive Calculi, But We Can Explore Them. CoRR (2020)
Ekaterina Komendantskaya, Dmitry Rozplokhas, Henning Basold
The New Normal: We Cannot Eliminate Cuts in Coinductive Calculi, But We Can Explore Them. Theory Pract. Log. Program. 20 (6) (2020)
Alex C. Keizer, Henning Basold, Jorge A. Pérez
Session Coalgebras: A Coalgebraic View on Session Types and Communication Protocols. CoRR (2020)
Henning Basold, Ekaterina Komendantskaya, Yue Li
Coinduction in Uniform: Foundations for Corecursive Proof Search with Horn Clauses. ESOP (2019)
Henning Basold
Coinduction in Flow: The Later Modality in Fibrations. CALCO (2019)
Henning Basold, Helle Hvid Hansen
Well-definedness and observational equivalence for inductive-coinductive programs. J. Log. Comput. 29 (4) (2019)
Henning Basold, Helle Hvid Hansen, Jean-Éric Pin, Jan Rutten
Newton series, coinductively: a comparative study of composition. Math. Struct. Comput. Sci. 29 (1) (2019)
Henning Basold
Breaking the Loop: Recursive Proofs for Coinductive Predicates in Fibrations. CoRR (2018)
Henning Basold, Ekaterina Komendantskaya, Yue Li
Coinduction in Uniform: Foundations for Corecursive Proof Search with Horn Clauses. CoRR (2018)
Henning Basold, Herman Geuvers, Niels van der Weide
Higher Inductive Types in Programming. J. Univers. Comput. Sci. 23 (1) (2017)
Henning Basold, Damien Pous, Jurriaan Rot
Monoidal Company for Accessible Functors. CALCO (2017)
Henning Basold, Herman Geuvers
Type Theory based on Dependent Inductive and Coinductive Types. LICS (2016)
Henning Basold, Herman Geuvers
Type Theory based on Dependent Inductive and Coinductive Types. CoRR (2016)
Henning Basold
Dependent Inductive and Coinductive Types are Fibrational Dialgebras. FICS (2015)
Henning Basold, Helle Hvid Hansen, Jean-Éric Pin, Jan Rutten
Newton Series, Coinductively. ICTAC (2015)
Henning Basold, Marcello M. Bonsangue, Helle Hvid Hansen, Jan Rutten
(Co)Algebraic Characterizations of Signal Flow Graphs. Horizons of the Mind (2014)
Henning Basold, Henning Günther, Michaela Huhn, Stefan Milius
An Open Alternative for SMT-Based Verification of Scade Models. FMICS (2014)
Henning Basold
Transformation von Scade-Modellen zur SMT-basierten Verifikation. CoRR (2014)