Stefan Zetzsche

According to our database, Stefan Zetzsche authored at least 7 papers between 2020 and 2024.

Collaborative distances:

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

2024

Verified Foundations for Differential Privacy.

Markus de Medeiros, Muhammad Naveed, Tancrède Lepoint, Temesghen Kahsai, Tristan Ravitch, Stefan Zetzsche, Anjali Joshi, Joseph Tassarotti, Aws Albarghouthi, Jean-Baptiste Tristan

IACR Cryptol. ePrint Arch., 2024

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

Stefan Zetzsche, Wojciech Rozowski

Proceedings of the Theoretical Aspects of Computing - ICTAC 2024, 2024

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