12.12.2008, Entscheidbare Fälle des Postschen Korrespondenzproblems. Im Rahmen des Kolloquiums zur Promotion zu diesem Thema.
20.06.2008, Postsches Korrespondenzproblem: Entscheidbare Fälle an der Arbeitsgruppe Theoretische Informatik des Fachbereichs Elektrotechnik/Informatik der Universität Kassel
30.08.2007, Post's Correspondence Problem: Generalized Successors am Departement of Mathematics der Universität Turku, Teil des Turku Centre for Computer Science (TUCS), Head of departement Juhani Karhumäki.
05.12.2006, Post's Correspondence Problem: All You Can Count im Lehrstuhlseminar
27.10.2006, More Decidable Instances of Post's Correspondence Problem on MEMCIS 2006
03.12.2004, Anführerauswahl in zellulären Automaten, Vortrag zur Diplomarbeit
18.08.2004, Fast leader election in CA on AUTOMATA 2004
08.09.2003, Universality in rule 110 on AUTOMATA 2003
18.07.2003, Vortrag im Rahmen des Seminars Zellularautomaten zum Thema Using CLERKS in parallel processing
08.04.2003, Universalität in Regel 110, gehalten im Bereichsseminar Theoretische Informatik der Abteilung Automaten und Formale Sprachen, am Institut für Informatik der Fakultät für Mathematik und Informatik der Universität Leipzig
19.03.2003, Universalität in Regel 110, gehalten am Lehrstuhl Informatik für Ingenieure und Naturwissenschaftler des Institut für Algorithmen und Kognitive Systeme (IAKS) der Fakultät für Informatik der Universität Karlsruhe (TH)
01.10.2001, 9. Leipziger Informatik-Tage, mit Johannes Waldmann, Übungsaufgaben automatisch korrigieren mit autotool (Folien)
28.05.2001 und 11.06.2001, Monoidal t-norm based logic (Handout)
03.02.2000, Der Gehalt einer Theorie, Skript, und noch mehr Material