Canonical Automata via Distributive Law Homomorphisms S Zetzsche, G van Heerdt, M Sammartino, A Silva Electronic Proceedings in Theoretical Computer Science 351, 296--313, 2021 | 8 | 2021 |
Generalised Duality Theory for Monoidal Categories and Applications S Zetzsche University of Hamburg, 2018 | 6* | 2018 |
Guarded Kleene Algebra with Tests: Automata Learning S Zetzsche, M Sammartino, A Silva Electronic Notes in Theoretical Informatics and Computer Science 1, 2023 | 2 | 2023 |
Generators and Bases for Monadic Closures S Zetzsche, A Silva, M Sammartino 10th Conference on Algebra and Coalgebra in Computer Science (CALCO 2023), 2023 | 1 | 2023 |
Well-Behaved (Co)algebraic Semantics of Regular Expressions in Dafny S Zetzsche, W Różowski https://dafny.org/blog/2024/01/12/semantics-of-regular-expressions/, 2024 | | 2024 |
VMC: a Dafny Library for Verified Monte Carlo Algorithms S Zetzsche, F Zaiser, JB Tristan Dafny Workshop at the 51st ACM SIGPLAN Symposium on Principles of …, 2024 | | 2024 |
Cracking the Coding Interview in Dafny: Permutations S Zetzsche https://dafny.org/blog/2023/11/08/cracking-the-coding-interview-in-dafny …, 2023 | | 2023 |
Canonical Algebraic Generators in Automata Learning S Zetzsche University College London, 2023 | | 2023 |
Isomorphism Classes of Vertex-Transitive Tournaments S Zetzsche University of Hamburg, 2016 | | 2016 |