Talks

  1. Cantor-Vorlesung
  2. Graphen und Matrizen
  3. EQINOCS 2013
  4. Varieties of Algorithmic Information 2015
  5. ω-automata: Topology and Measure
  6. Mathematics for Computation
  7. DCFS 2018
  8. CIAA 2018
4 slides on one page

Papers

  1. Reguläre Nullmengen
  2. Research in the Theory of ω-languages
  3. Hierrchies of Recursive ω-languages