Henning Basold

Publications

Conferences

 
Monoidal Company for Accessible Functors. Henning Basold, Damien Pous, and Jurriaan Rot. In CALCO 2017, volume 72 of LIPIcs. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2017. [ bib | DOI | .pdf ]
 
Type Theory Based on Dependent Inductive and Coinductive Types. Henning Basold and Herman Geuvers. In Martin Grohe, Eric Koskinen, and Natarajan Shankar, editors, Proceedings of LICS '16, pages 327--336. ACM, 2016. [ bib | DOI | .pdf ]
 
Dependent Inductive and Coinductive Types Are Fibrational Dialgebras. Henning Basold. In Ralph Matthes and Matteo Mio, editors, Proceedings of FICS '15, volume 191 of EPTCS, pages 3--17. Open Publishing Association, 2015. [ bib | DOI | .pdf ]
 
Newton Series, Coinductively. Henning Basold, Helle Hvid Hansen, Jean-Éric Pin, and Jan Rutten. In Proceedings of ICTAC '15, pages 91--109, 2015. [ bib | DOI | .pdf ]
 
An Open Alternative for SMT-Based Verification of Scade Models. Henning Basold, Henning Günther, Michaela Huhn, and Stefan Milius. In Formal Methods for Industrial Critical Systems - 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014. Proceedings, pages 124--139, 2014. [ bib | DOI | http ]

Journals

 
Higher Inductive Types in Programming. Henning Basold, Herman Geuvers, and Niels van der Weide. Journal of Universal Computer Science, David Turner's Festschrift -- Functional Programming: Past, Present, and Future, 2017. [ bib | .pdf ]
 
Newton Series, Coinductively: A Comparative Study of Composition. Henning Basold, Helle Hvid Hansen, Jean-Éric Pin, and Jan Rutten. Special MSCS Issue of Best ICTAC 2015 Papers, To Appear, 2017. [ bib | .pdf ]
 
Well-Definedness and Observational Equivalence for Inductive-Coinductive Programs. Henning Basold and Helle Hvid Hansen. Journal of Logic and Computation, April 2016. [ bib | DOI | .pdf ]
 
(Co)Algebraic Characterizations of Signal Flow Graphs. Henning Basold, Marcello M. Bonsangue, Helle Hvid Hansen, and Jan Rutten. In Horizons of the Mind -- Prakash Panangaden Festschrift, pages 124--145, 2014. [ bib | DOI | .pdf ]

Theses

 
Transformation von Scade-Modellen zur SMT-basierten Verifikation. Henning Basold. Master's thesis, TU Braunschweig, October 2012. [ bib | arXiv | http ]
 
Parallelism Investigation for Elliptic Curve Key Exchange. Henning Basold. Bachelor's thesis, TU Braunschweig, November 2010. [ bib | .pdf ]

Short Contributions

 
Models of Inductive-Coinductive Logic Programs. Henning Basold and Ekaterina Komendantskaya. In Pre-Proceedings of the Workshop on Coalgebra, Horn Clause Logic Programming and Types, November 2016. [ bib | arXiv | .pdf ]
 
Type Theory Based on Dependent Inductive and Coinductive Types. Henning Basold and Herman Geuvers. In Extended Abstracts for International Conference on Types for Proofs and Programs (TYPES), May 2016. [ bib | .pdf ]
 
Dialgebra-Inspired Syntax for Dependent Inductive and Coinductive Types. Henning Basold and Herman Geuvers. In Extended Abstracts for International Conference on Types for Proofs and Programs (TYPES), May 2015. [ bib | .pdf ]
 
Dependent Inductive and Coinductive Types Through Dialgebras in Fibrations. Henning Basold and Herman Geuvers. In Extended Abstracts for International Conference on Types for Proofs and Programs (TYPES), May 2015. [ bib | .pdf ]
 
A Note on Typed Behavioural Differential Equations. Henning Basold, Helle H. Hansen, and Jan J. M. M. Rutten. In CMCS Short Contributions, 2014. [ bib | .pdf ]
 
Observational Equivalence for Behavioural Differential Equations. Henning Basold and Helle Hvid Hansen. In Extendend Abstracts for the Workshop on Proof, Structures and Computation, 2014. [ bib | .pdf ]
 
Algebraic Characterisations of Signal Flow Graphs. Henning Basold, Marcello Bonsangue, and Jan Rutten. In CALCO Early Ideas, 2013. [ bib | .pdf ]