Publications

Workshops

• VMC: a Dafny Library for Verified Monte Carlo Algorithms

  F. Zaiser, S. Zetzsche, J. Tristan
  

  POPL (Dafny) · 2024

Conferences

• Well-Behaved (Co)algebraic Semantics of Regular Expressions in Dafny

  S. Zetzsche, W. Różowski
  

  ICTAC · arXiv · pdf · 2024

• Generators and Bases for Monadic Closures

  S. Zetzsche, A. Silva, M. Sammartino
  

  CALCO · arXiv · pdf · 2023

• 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

Theses

• Canonical Algebraic Generators in Automata Learning

  PhD Thesis
  

  University College London · arXiv · pdf · 2023

• Generalised Duality Theory for Monoidal Categories

  MSc Thesis
  

  University of Hamburg · arXiv · pdf · 2018

• Isomorphism Classes of Vertex-Transitive Tournaments

  BSc Thesis
  

  University of Hamburg · arXiv · pdf · 2016

Blog posts

• Well-Behaved (Co)algebraic Semantics of Regular Expressions in Dafny

  S. Zetzsche, W. Różowski
  

  Dafny Blog · pdf · 2024

• Cracking the Coding Interview in Dafny: Permutations

  S. Zetzsche
  

  Dafny Blog · pdf · 2023