2 citations · 2 across the 3 of their papers we have counts for
3 papers
cs.FL2023
Canonical Algebraic Generators in Automata Learning
Stefan Zetzsche
Many methods for the verification of complex computer systems require the existence of a tractable mathematical abstraction of the system, often in the form of an automaton. In rea…
math.CT2023★ 2 cited
Generalised Duality Theory for Monoidal Categories and Applications
Stefan Zetzsche
We discuss generalised duality theory for monoidal categories and its applications to the categories of exact endofunctors, graded vector spaces, and topological vector spaces.
math.CO2023
Isomorphism Classes of Vertex-Transitive Tournaments
Stefan Zetzsche
Tournaments are graphs obtained by assigning a direction for every edge in an undirected complete graph. We give a formula for the number of isomorphism classes of vertex-transitiv…