Publications

Prints

• Guarded Kleene Algebra with Tests: Automata Learning

  S. Zetzsche, A. Silva, M. Sammartino
  

  MFPS · arXiv · pdf · 2022

• Canonical Automata via Distributive Law Homomorphisms

  S. Zetzsche, G. v. Heerdt, M. Sammartino, A. Silva
  

  MFPS · arXiv · pdf · 2021

Preprints

• Generators and Bases for Algebras over a Monad

  S. Zetzsche, A. Silva, M. Sammartino
  

  arXiv · pdf · 2020

Theses

• Generalised Duality Theory for Monoidal Categories

  MSc Thesis
  

  University of Hamburg · 2018

• Isomorphism Classes of Vertex-Transitive Tournaments

  BSc Thesis
  

  University of Hamburg · 2016