Stefan Zetzsche

According to our database, Stefan Zetzsche authored at least 5 papers between 2020 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Canonical Algebraic Generators in Automata Learning.

Stefan Zetzsche

CoRR, 2023

Generators and Bases for Monadic Closures.

Stefan Zetzsche, Alexandra Silva, Matteo Sammartino

Proceedings of the 10th Conference on Algebra and Coalgebra in Computer Science, 2023

2022

Guarded Kleene Algebra with Tests: Automata Learning.

Stefan Zetzsche, Alexandra Silva, Matteo Sammartino

Proceedings of the 38th Conference on the Mathematical Foundations of Programming Semantics, 2022

2021

Canonical automata via distributive law homomorphisms.

Stefan Zetzsche, Gerco van Heerdt, Alexandra Silva, Matteo Sammartino

Proceedings of the Proceedings 37th Conference on Mathematical Foundations of Programming Semantics, 2021

2020

Bases for algebras over a monad.

Stefan Zetzsche, Alexandra Silva, Matteo Sammartino

CoRR, 2020