Stefan Zetzsche

Publication Activity (10 Years)

Years Active: 2020-2023
Publications (10 Years): 5

Top Topics

Expert Systems In Law

Finite State Automata

Datalog Queries

Top Venues

Publications

Stefan Zetzsche
Canonical Algebraic Generators in Automata Learning. CoRR (2023)
Stefan Zetzsche, Alexandra Silva, Matteo Sammartino
Generators and Bases for Monadic Closures. CALCO (2023)
Stefan Zetzsche, Alexandra Silva, Matteo Sammartino
Guarded Kleene Algebra with Tests: Automata Learning. CoRR (2022)
Stefan Zetzsche, Gerco van Heerdt, Alexandra Silva, Matteo Sammartino
Canonical automata via distributive law homomorphisms. CoRR (2021)
Stefan Zetzsche, Alexandra Silva, Matteo Sammartino
Bases for algebras over a monad. CoRR (2020)