Publications

2025

1. An Expressive Coalgebraic Modal Logic for Cellular Automata

   Henning Basold, Chase Ford, and Lulof Pirée

   Apr 2025

   submitted

   DOI arXiv Bib

   @misc{BFP25:ExpressiveCoalgebraicModal,
     title = {An {{Expressive Coalgebraic Modal Logic}} for {{Cellular Automata}}},
     author = {Basold, Henning and Ford, Chase and Pir{\'e}e, Lulof},
     year = {2025},
     month = apr,
     primaryclass = {cs},
     doi = {10.48550/arXiv.2504.16735},
     keywords = {Computer Science - Logic in Computer Science},
     note = {submitted}
   }

2. Separation Logic of Generic Resources via Sheafeology

   Berend Starkenburg, Henning Basold, and Chase Ford

   Aug 2025

   submitted

   DOI arXiv Bib

   @misc{SBF25:SeparationLogicGeneric,
     title = {Separation {{Logic}} of {{Generic Resources}} via {{Sheafeology}}},
     author = {van Starkenburg, Berend and Basold, Henning and Ford, Chase},
     year = {2025},
     month = aug,
     primaryclass = {cs},
     doi = {10.48550/arXiv.2508.01866},
     urldate = {2025-09-17},
     keywords = {Computer Science - Logic in Computer Science},
     note = {submitted}
   }

3. Optimization and Synthesis of Quantum Circuits with Global Gates

   Alejandro Villoria, Henning Basold, and Alfons Laarman

   Jul 2025

   submitted

   DOI arXiv Bib

   @misc{VBL25:OptimizationSynthesisQuantuma,
     title = {Optimization and {{Synthesis}} of {{Quantum Circuits}} with {{Global Gates}}},
     author = {Villoria, Alejandro and Basold, Henning and Laarman, Alfons},
     year = {2025},
     month = jul,
     primaryclass = {quant-ph},
     doi = {10.48550/arXiv.2507.20694},
     urldate = {2025-09-17},
     keywords = {Quantum Physics},
     note = {submitted}
   }

2024

1. Irrationality of Process Replication for Higher-Dimensional Automata

   Thomas Baronner, Henning Basold, and Márton Hablicsek

   In Proceedings of Relational and Algebraic Methods in Computer Science (RAMICS), Jul 2024

   DOI arXiv Bib

   @inproceedings{BBH24:IrrationalityProcessReplication,
     title = {Irrationality of~{{Process Replication}} for~{{Higher-Dimensional Automata}}},
     booktitle = {Proceedings of {{Relational}} and {{Algebraic Methods}} in {{Computer Science}} ({{RAMICS}})},
     author = {Baronner, Thomas and Basold, Henning and Hablicsek, M{\'a}rton},
     editor = {Fahrenberg, Uli and Fussner, Wesley and Gl{\"u}ck, Roland},
     year = {2024},
     pages = {46--64},
     publisher = {Springer Nature Switzerland},
     address = {Cham},
     doi = {10.1007/978-3-031-68279-7_4},
     isbn = {978-3-031-68279-7},
     langid = {english},
     keywords = {Concurrent Kleene Algebras,Higher-dimensional automata,Locally finitely presentable categories,Process replication}
   }

2. The Directed Van Kampen Theorem in Lean

   Henning Basold, Peter Bruin, and Dominique Lawson

   In Proc. of ITP 2024, Jul 2024

   DOI arXiv Bib

   @inproceedings{BBL24:DirectedVanKampenLean,
     title = {The {{Directed Van Kampen Theorem}} in {{Lean}}},
     booktitle = {Proc. of {{ITP}} 2024},
     author = {Basold, Henning and Bruin, Peter and Lawson, Dominique},
     year = {2024},
     pages = {8:1-8:18},
     publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
     doi = {10.4230/LIPIcs.ITP.2024.8},
     urldate = {2024-10-23},
     langid = {english},
   }

3. Enriching Diagrams with Algebraic Operations

   Alejandro Villoria, Henning Basold, and Alfons Laarman

   In Proc. of FoSSaCS 2024, Jul 2024

   DOI arXiv Bib

   @inproceedings{VBL24:EnrichingDiagramsAlgebraic,
     title = {Enriching {{Diagrams}} with {{Algebraic Operations}}},
     booktitle = {Proc. of {{FoSSaCS}} 2024},
     author = {Villoria, Alejandro and Basold, Henning and Laarman, Alfons},
     editor = {Kobayashi, Naoki and Worrell, James},
     year = {2024},
     series = {{{LNCS}}},
     volume = {14574},
     primaryclass = {quant-ph},
     pages = {121--143},
     publisher = {Springer Nature Switzerland},
     address = {Cham},
     doi = {10.1007/978-3-031-57228-9_7},
     isbn = {978-3-031-57228-9},
     langid = {english},
   }

2023

1. Composition and Recursion for Causal Structures

   Henning Basold, and Tanjona Ralaivaosaona

   In Proc. of CALCO 2023, Jul 2023

   DOI Bib

   @inproceedings{BR23:CompositionRecursionCausal,
     title = {Composition and {{Recursion}} for {{Causal Structures}}},
     booktitle = {Proc. of {{CALCO}} 2023},
     author = {Basold, Henning and Ralaivaosaona, Tanjona},
     editor = {Baldan, Paolo and {de Paiva}, Valeria},
     year = {2023},
     series = {{{LIPIcs}}},
     volume = {270},
     pages = {18:1--18:17},
     publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
     issn = {1868-8969},
     doi = {10.4230/LIPIcs.CALCO.2023.18},
     isbn = {978-3-95977-287-7},
     urn = {urn:nbn:de:0030-drops-188157},
     keywords = {Causal morphisms,Final Chains,Final Coalgebras,Guarded Recursion,Metric Maps,Traced Symmetric Monoidal Category},
   }