Recent Developments in the Matchbox Termination Prover (with Alexander Bau, Tobias Kalbitz, Maria Voigtländer; talk given by Alexander) (12th Intl. Workshop on Termination, February 19 to February 23, 2012, Obergurgl, Austria) (Abstract, Slides)
autotool und autotool-Netzwerk (mit Hans-Gert Gräbe, Frank Loebe, Sibylle Schwarz) (Vortrag auf HDS-Jahrestagung, TU Dresden, 4. 11. 2011) (Folien)
Datenschutz und (sozial)wissenschaftliche Forschung (Vortrag, HTWK Leipzig, FZ Eilenburger Str., 3. 11. 2011) (Folien)
Die wissenschaftliche Publikation (Vortrag im Rahmen der Kompetenzschule für Doktoranden, HTWK Leipzig, 20. 10. 2011) (Zusammenfassung, Folien)
Rechnen mit natürlichen Zahlen (Vortrag im LSGM-Wochenendseminar, Bennewitz, 16. 9. 2011)
(with Hans-Gert Gräbe und Sibylle Schwarz) OLAT-Erweiterungen zur Kursverwaltung, Prüfungsanmeldung und automatischen Auswertung von Programmieraufgaben (OLAT-User-Day, TU Dresden, 5. 9. 2011)
The ICFP 2010 Programming Contest (with Bertram Felgenhauer) (IFIP WG 1.6 meeting, June 2, 2011, Novi Sad, Serbia) (slides)
Durch Zufall zum Dan? Die Monte-Carlo-Baumsuche (Vortrag während des Go-Turniers "Potsdamer Panda", 2. 4. 2011) (Zusammenfassung, Folien)
Matchbounds for Relative Termination (with Dieter Hofbauer) (Workshop on Termination, Edinburgh, 14. 7. 2010) (slides)
Polynomially Bounded Matrix Interpretations (Conf. Rewriting Techniques and Applications, Edinburgh, 13. 7. 2010) (slides)
Tropical Termination (with Adam Koprowski and Dieter Hofbauer) (Term Rewriting Seminar (TeReSe), RWTH Aachen, 28. 5. 2010) (slides)
Growth Bounds for Ordered Monoids and Semirings (Workshop on Weighted Automata Techniques and Applications, Leipzig, 7. 5. 2010) (slides)
Constructing Lower Bounds on the Derivational Complexity of Rewrite Systems (with Dieter Hofbauer) (Workshop Proof Theory and Rewriting, Obergurgl, 30. 3. 2010) (slides)
Gewichtete Automaten und Ableitungskomplexität (Theorietag FG A+S, Wittenberg, 29. 9. 2009) (slides)
SMT solvers for Termination Provers (IFIP WG 1.6 Meeting, Brasilia, July 2009) (slides)
Automatic Termination (Invited talk, Conf. Rewriting Techniques and Applications, Brasilia, June 2009) (slides)
Entwurfsmuster vom Kopf auf die Füße gestellt (Haskell-Workshop, Halle, Juni 2009) (Folien)
Report on the 2008 Termination Competition (Workshop on Termination, Leipzig, June 2009) (slides)
Polynomial bounds for N-weighted word automata (Forschungsseminar Theoretische Informatik, Univ. Leipzig, Dezember 2008) (slides)
The Leipzig autotool E-Learning/E-Testing System (Symposium on Math Tutoring, Tools and Feedback, Open Universiteit Nederland, September 19, 2008) (slides)
Non-Termination (mit Martin Oppelt) (Forschungsseminar Theoretische Informatik, Univ. Leipzig, Juli 2008)
Certified Termination (Overview) (IFIP WG 1.6 meeting, Hagenberg, July 2008) (slides)
Arctic Termination ... Below Zero) (with Adam Koprowski, talk given by Adam) (Conf. Rewriting Techniques and Applications, Hagenberg, July 2008)
Weighted Automata define a Hierarchy of Terminating String Rewriting Systems (with Andreas Gebhardt, talk given by Andreas) (Workshop Weighted Automata: Theory and Applications, Dresden, May 2008)
Max/Plus Tree Automata for Termination of Term Rewriting (with Adam Koprowski) (Workshop Weighted Automata Techniques and Applications, Dresden, May 2008)
Weighted Tree Automata for Termination of Term Rewriting (with Adam Koprowski) (Bereichsseminar Theoretische Informatik, Univ. Leipzig, Januar 08) (abstract, slides)
Non-Termination (Austro Japanese Rewriting Workshop, Obergurgl, August 07) (slides)
Das autotool als Service-Provider (mit Christian Wanka) (Workshop E-Learning, Leipzig, July 07) (Folien)
Das autotool-System und seine Anwendung in einem Informatik-Grundkurs (Nebenfach) (Workshop E-Learning, Leipzig, July 07) (Folien)
Matrix Evolutions (with Andreas Gebhardt and Dieter Hofbauer; talk given by Andreas) (Workshop on Termination, Paris/FR, June 07) (slides)
Arctic Termination (Workshop on Termination, Paris/FR, June 07) (slides)
Report on the 2007 Termination Competition (with Claude Marche and Hans Zantema) (Workshop on Termination, Paris/FR, June 07) (slides)
A Control Language (Proposal) for Modular Termination Provers (CoLoR Workshop, Nancy/FR, May 07) (slides)
Spieltheorie und -Praxis (Leipziger Informatik-Tage, Dezember 06)
Algorithmen zur gerechten Teilung (Weiterbildung für Mat/Nat-Lehrer, Jena, September 06)
Complexity bounds from relative termination proofs (With Dieter Hofbauer; talk given by Dieter) (Workshop on Proof Theory and Rewriting, Obergurgl, September 06) (slides)
Automatic Certification of Polynomial Derivation Lengths in String Rewriting (Workshop on Proof Theory and Rewriting, Obergurgl, September 06) (slides)
Termination of String Rewriting with Matrix Interpretations (With Dieter Hofbauer; talk given by Dieter) (Universität Innsbruck, September 06) (slides)
"Free" SCC Analysis via Constant Interpretations (Workshop on Termination, Seattle, August 06) (slides)
Decomposing Terminating Rewrite Relations (With Jörg Endrullis and Dieter Hofbauer; talk given by Jörg) (Workshop on Termination, Seattle, August 06) (slides)
Matrix Interpretations for Termination of Term Rewriting (With Jörg Endrullis and Hans Zantema; talk given by Jörg) (Intl. Joint Conf. Automated Reasoning, Seattle, August 06) (slides)
Termination of String Rewriting With Matrix Intepretations (With Dieter Hofbauer) (Intl. Conf. Rewriting Techniques and Applications, Seattle, August 06) (slides)
Weighted Automata for Proving Termination of String Rewriting (Workshop on Weighted Automata Theory and Applications, Uni Leipzig, 30. 3. 06) (Folien: pdf, einzeln, ps, acht pro Seite)
Objektorientierte Entwurfsmuster in funktionalen Programmiersprachen (Kolloquium FB IMN, HTWK Leipzig, 14. 6. 05) (Folien: pdf, einzeln, ps, acht pro Seite )
Gewichtete Automaten als Terminations-Zertifikate für String Rewriting (Bereichsseminar Theoretische Informatik, Universität Leipzig, 8. 6. 05) (Folien: pdf, einzeln, ps, acht pro Seite )
Generische Polymorphie in Java-1.5 (Kolloquium FB IMN, HTWK Leipzig, 31. 5. 05) (Folien: pdf, einzeln, ps, acht pro Seite )
Endliche Automaten als Terminations-Zertifikate (Bereichsseminar Theoretische Informatik, Universität Halle, 17. 5. 05) (Folien: pdf, einzeln, ps, acht pro Seite )
Das E-Learning-System autotool (Bereichsseminar Theoretische Informatik, Universität Leipzig, 11. 5. 05) (Folien: pdf, einzeln, ps, acht pro Seite )
Matchbox - a tool for matchbounded string rewriting (Intl. Conf. Rewriting Techniques and Applications, RWTH Aachen, Juni 04)
Automatische Terminations-Beweise durch Deleting und Match-Bounded String-Rewriting (Bereichsseminar Theoretische Informatik, Universität Leipzig, 29. 4. 03) ( Zusammenfassung )
Schieberegister, Spiele und endliche Automaten (Bereichsseminar Theoretische Informatik, Universität Leipzig, 7. 1. 03) ( Zusammenfassung | Folien )
Syntaktische Monoide, Synchronisierende Wörter und Straßenfärbungen (Bereichsseminar Theoretische Informatik, Universität Leipzig, 12. 11. 02)
Nachfolgermengen in Wort-Ersetzungs-Systemen (Bereichsseminar Theoretische Informatik, Universität Leipzig, 29. 10. 02) ( Zusammenfassung | Folien )
Rewriting, Automata, and Games (ICASE NASA LAngley Research Center, Hampton, Virginia, 2. Oktober 02) (Slides)
Praktische Haskell-Programmierung (Gastvortrag in der Vorlesung Funktionale Programmierung von Prof. Dr. S. Gerber, Leipzig, 28. 6. 02) ( Folien )
Kalküle für Objekte (Bereichsseminar Theoretische Informatik, Universität Leipzig, 18. 6. 2002) ( Zusammenfassung | Folien )
Typsysteme für Programmiersprachen (Bereichsseminar Theoretische Informatik, Universität Leipzig, 11. 6. 2002) ( Zusammenfassung | Folien )
Term-Ersetzungs-Spiele (Bereichsseminar Theoretische Informatik, Universität Leipzig, 23. und 30. 4. 2002) ( Zusammenfassung | Folien (Teil 1) | Folien (Teil 2) )
Die Zwillingskreise des Archimedes (Wochenendseminar der LSGM, Bennewitz, 20. 4. 2002)
Baumweite, historisch gesehen (Kurzvortrag im Bereichsseminar Theoretische Informatik, Universität Leipzig, 16. 4. 2002) (Zusammenfassung (Gesamtvortrag) | Folien)
Programmierwettbewerb Phutball (Vortrag auf Veranstaltung des GAOS e.V. Leipzig, Moritzbastei, 9. 4. 2002) (Zusammenfassung, Folien)
Wort-Ersetzungs-Systeme und kontextfreie Sprachen (gemeinsame Arbeit mit Alfons Geser, Dieter Hofbauer, und Mirko Rahn) (Bereichsseminar Theoretische Informatik, Universität Leipzig, 15. 1. 2002) (Zusammenfassung)
Partitionen und erzeugende Funktionen (Wochenendseminar der LSGM, 26. Oktober 2001, Bennewitz) (Text)
Dreibeinige PCP-Biber (Ko-Autoren Mario Schmidt und Heiko Stamer, Vortrag gehalten von Heiko) (11. Theorietag der Fachgruppe 0.1.5 Automaten und Formale Sprachen der GI, Wendgräben bei Magdeburg, 5. 10. 2001)
Programmierwettbewerb Connections und Fortsetzungen (Konferenz LIT01, HTWK Leipzig, 1. 10. 2001) (Folien)
Übungsaufgaben automatisch korrigieren mit autotool (Ko-Autor und Vortragender: Mirko Rahn) (Konferenz LIT01, HTWK Leipzig, 1. 10. 2001)
Zum Studium der Grundlagen der Informatik (Vortrag für Schüler aus Leistungskursen Mathematik, Univ. Leipzig, 16. 9. 2001) (Text)
Tree Walking Automata, (Seminar Theoretische Informatik, Univ. GH Kassel, 13. 7. 2001) (Zusammenfassung)
Zwei Unterrichtsthemen im Sommerlager der Leipziger Schülergesellschaft Mathematik (1. - 8. 7. 2001) ( Kuchenteilung, Spieltheorie)
Praktische Funktionale Programmierung (im Rahmen der Vorlesung Funktionale Programmierung von Prof. Dr. S. Gerber, Inst. f. Informatik, Univ. Leipzig, 25. 6. 2001) (Folien)
Approximation von Nachfolgermengen durch Baum-Automaten, (AG Implementierung von Programmiersprachen, Inst. Th. Inf., TU Dresden, 22. 6. 2001) (Zusammenfassung)
Busy Beaver PCPs (with co-authors Mario Schmidt and Heiko Stamer) (5th International Workshop on Termination, Utrecht, 21. 5. 2001) (Abstract | Slides)
Übungsaufgaben automatisch korrigieren mit autotool (Bereichsseminar Theoretische Informatik, Universität Leipzig, 8. 5. 2001) (Zusammenfassung | Folien)
Automaten, die auf Bäumen spazierengehen (Bereichsseminar Theoretische Informatik, Universität Leipzig, 24. 4. 2001) (Zusammenfassung | Folien)
Programmierwettbewerb Connections (Bereichsseminar Theoretische Informatik, Universität Leipzig, 10. 4. 2001) (mehr Informationen)
Regeln für unregelmäßige Zeichenketten, Konferenz Begabtenförderung Mathematik, Universität Leipzig, 30. 3. 2001
Zwei Vorträge im Seminar zur Vorbereitung der sächsischen Teilnehmer der Deutschen Mathematik-Olympiade (Sayda, 20. 3. 2001)
(Haupt-Autor Gundula Niemann) Die regulären Sprachen und die Church-Rosser-Kongruenz-Sprachen (Bereichsseminar Theoretische Informatik, Universität Leipzig, 28. 11. 2000) (Zusammenfassung | Folien (nur Teil 2))
(Co-Autor Heiko Stamer) Neuigkeiten vom Postschen Korrespondenzproblem (Bereichsseminar Theoretische Informatik, Universität Leipzig, 7. 11. 2000) (Zusammenfassung | Folien (Teil 1) | Folien (Teil 2))
Aktuelles aus der Theorie Endlicher Automaten (Bereichsseminar Theoretische Informatik, Universität Leipzig, 17. 10. 2000) (Zusammenfassung | Text)
Fixpunkte von Morphismen und Normalformen von Ersetzungssystemen (10. Theorietag der Fachgruppe 0.1.5 Automaten und Formale Sprachen der GI, Technische Universität Wien, 27. 9. 2000) (Ausgedehnte Zusammenfassung)
Zwei Kurse im Mathecamp der Leipziger Schülergesellschaft für Mathematik (Schneeberg, 13. - 23. 7. 2000)
Praxis der Funktionalen Programmierung (Bereichsseminar Theoretische Informatik, Universität Leipzig, 27. 6. 2000) (Abstrakt | Folien)
Wozu bewies F. P. Ramsey den Satz von F. P. Ramsey? (Bereichsseminar Theoretische Informatik, Universität Leipzig, 30. 5. 2000) (Abstrakt | Aufsatz | Folien)
Zwei Vorträge im Wochenendseminar der Leipziger Schülergesellschaft für Mathematik (Bennewitz, 13. 5. 2000)
Aktuelles aus der Kombinatorischen Logik (Bereichsseminar Theoretische Informatik, Universität Leipzig, 2. 5. 2000) (Abstrakt | Folien)
Zwei Vorträge im Seminar für die sächsischen Teilnehmer der Deutschland-Olympiade (Grünheide, 14. 3. 2000)
Drei Vorträge im Wochenendseminar der Leipziger Schülergesellschaft für Mathematik (Bennewitz, vom 11. - 13. 2. 2000)
Zwei Vorträge im Seminar Funktionales Programmieren von Prof. Dr. S. Gerber, Institut für Informatik, Universität Leipzig
Drei Vorträge zu Struktur und Endlichkeit (Bereichsseminar Theoretische Informatik, Universität Leipzig, 2., 16. und 23. 11. 1999) (Zusammenfassung und Folien)
Boolesche Operationen auf Wort- und Baumautomaten mit kurzen Schleifen (9. Theorietag der Fachgruppe 0.1.5 der Gesellschaft für Informatik, Schauenburg-Elmshagen, 28. 9. 1999) (Text)
Jonglieren und Mathematik (Schülerakademie Mathematik, Hundeshagen, 29. 7. 1999) (Text)
Tree Automata in RX (software demo) (Workshop on Implementing Automata, Potsdam, 17. 7. 1999) (extended abstract)
Logische Klassifizierung regulärer Sprachen (Bereichsseminar Theoretische Informatik, Universität Leipzig, 8. 6. 1999) (Abstrakt | Folien)
Set Constraints (Bereichsseminar Theoretische Informatik, Universität Leipzig, 18. 5. 1999) (Abstrakt | Folien)
Deciding Head Normalization and Proving Top Termination for CL(S) (4th Intl. Workshop on Termination, Schloß Dagstuhl, 12. 5. 1999) (slides)
Top-Termination für CL(S) (Bereichsseminar Theoretische Informatik, Universität Leipzig, 27. 4. 1999) (Abstrakt)
Les mathématiques du jonglage (avec démo!) (Laboratoire d'Informatique Fondamentale de Lille, 30. März 1999) (abstract)
Regular Languages of S Terms (Réunions Calcul formel, Automates, Logique et Complexité, Laboratoire d'Informatique Fondamentale de Lille, 25. 02. 1999)
Busy Beaver (Bereichsseminar Theoretische Informatik, Universität Leipzig, 27. 10. 1998) (Abstrakt)
Kategorien, Monaden und Funktionales Programmieren (Bereichsseminar Theoretische Informatik, Universität Leipzig, 16. und 23. 6. 1998) (Folien)
Term-Ersetzungs-Systeme und Reguläre Baum-Sprachen, (Bereichsseminar Theoretische Informatik, Universität Leipzig, 5. 5. 1998) (Folien)
Normalization of S-Terms is Decidable (9th RTA, Tsukuba, 31. 3. 1998) (slides|text)
Jonglieren und Mathematik (Institut für Informatik, Universität Jena, 25. 3. 1998) (Text)
Der Kombinator S, (Verteidigung meiner Dissertation, Jena, 20. 2. 1998) (Folien|Text)
this page is best viewed with any browser