Stefan Zetzsche
From MaRDI portal
Person:6424253
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Guarded Kleene algebra with tests: automata learning | 2026-04-02 | Paper |
| Well-behaved (co)algebraic semantics of regular expressions in Dafny | 2025-05-23 | Paper |
| Canonical automata via distributive law homomorphisms | 2024-12-17 | Paper |
| Generators and bases for monadic closures | 2024-11-26 | Paper |
| Isomorphism Classes of Vertex-Transitive Tournaments | 2023-01-24 | Paper |
| Generalised Duality Theory for Monoidal Categories and Applications | 2023-01-24 | Paper |
Research outcomes over time
This page was built for person: Stefan Zetzsche
