·
Guarded Kleene Algebra with Tests: Automata Learning
MFPS · arXiv · pdf · 2022
Canonical Automata via Distributive Law Homomorphisms
MFPS · arXiv · pdf · 2021
Generators and Bases for Algebras over a Monad
arXiv · pdf · 2020
Generalised Duality Theory for Monoidal Categories
University of Hamburg · 2018
Isomorphism Classes of Vertex-Transitive Tournaments
University of Hamburg · 2016