Talks
Cantor-Vorlesung
Graphen und Matrizen
There are 49 Kuratowski lattices
EQINOCS 2013
Varieties of Algorithmic Information 2015
AutoMathA 2015, Leipzig, May 6 - 9
ω-automata: Topology and Measure
Mathematics for Computation
DCFS 2018
CIAA 2018
4 slides on one page
EQINOCS 2013
DCFS 2018
CIAA 2018
Papers
Reguläre Nullmengen
Research in the Theory of ω-languages
Hierarchies of Recursive ω-languages