Teaching by Dietrich Kuske

Sprechstunde: Am günstigsten ist es, einen Termin per email oder im Anschluß an eine Lehrveranstaltung auszumachen. Sie können aber auch unangemeldet zu mir kommen - die Chance, mich zwischen 9 und 18 Uhr in meinem Büro zu treffen, ist sehr groß.


Wintersemester 08/09: Verifikation
Vorlesung Mi 17:15-18:45, KH 2-10
Übungstermine: Mo 11:15 Uhr Brühl 830 und Mi 9:15 Uhr Brühl 1008
1. Übungsblatt (27. und 29.10.)
2. Übungsblatt (10.11.)
3. Übungsblatt (24. und 26.11.)
Ende des Beweises von Korollar 2.9

Wintersemester 08/09: omega-Automaten
Vorlesung Mo 13:15-14:45, Brühl 510
Übungstermin: Mi 9:15 Uhr, Brühl 1008
1. Übungsblatt (20.10.)
2. Übungsblatt (3.11.)
3. Übungsblatt (17.11.)
4. Übungsblatt (1.12.)

Wintersemester 08/09: Seminar Automatentheorie
Mittwoch, 15:15 Uhr, Raum Johannisgasse 4-42
Datum Vortragender
10.12. Sebastian
17.12. Huschenbett
7.1. Schreiter
14.1. Vogler
21.1. Bujack
28.1. Kossack

Sommersemester 08: Baumautomaten Ergebnis der Lehrevaluation
Wintersemester 07/08: omega-Automaten Ergebnis der Lehrevaluation
Wintersemester 07/08: Termersetzungssysteme Ergebnis der Lehrevaluation
Wintersemester 07/08: Seminar Automatentheorie
Datum Vortragender Thema Betreuer
8.11. Daum Kaye: Minesweeper is NP-complete Kuske
29.11. Funkat Alur, Fix, Henzinger: Event-clock automata - a determinizable class of timed automata Meinecke
6.12. Wintsche Alur, La Torre, Pappas. Optimal paths in weighted timed automata Meinecke
20.12. Hui Zeng Vortrag entfällt Droste
10.1. Weidner Ramsey für Bäume Kuske
17.1.   kein Vortrag  
24.1. Märcker Klaedtke, Rueß: Pressburger-Automaten
Folien des Vortrags		 Meinecke/Mathissen

Sommersemester 07: Algorithmische Modelltheorie, Ergebnis der Lehrevaluation
Sommersemester 07: Verifikation, Ergebnis der Lehrevaluation
Wintersemester 06/07: Algorithmische Modelltheorie
Wintersemester 06/07: Algorithmen des Model Checking
Wintersemester 06/07: Seminar Automatentheorie
Sommersemester 06: Vorlesung Berechenbarkeits- und Komplexitätstheorie
Sommersemester 06: Vorlesung Baumautomaten
Sommersemester 06: Vorlesung Termersetzungssysteme
Sommersemester 06: Seminar Automatentheorie
Datum Vortragender Thema Betreuer
7.4.06 Mennicke W. Thomas, Complementation of Büchi automata revisited.
In J. Karhumäki, H.A. Maurer, G. Paun, and G. Rozenberg, editors, Jewels are Forever, Contributions on Theoretical Computer Science in Honor of Arto Salomaa, pages 109-120. Springer, 1999.
Folien und Handout des Vortrags.		 Kuske
21.4.06 Quasthoff V. Antimirov, Partial derivatives of regular expressions and finite automaton constructions,
Theor. Comp. Sc. 155, 1996, 291--319.
Folien 		Meinecke
28.4.06 Sander Ch. Choffrut and B. Durak, Collage of two-dimensional words,
Theor. Comput. Sci. 340, 2005, 364-380.
Folien
Mäurer
5.5.06 kein Vortrag    
12.5.06 Lin M. Kunc, The power of commuting with finite sets of words,
Manuskript 2005. 		Kuske
19.5.06 kein Vortrag    
26.5.06 Heinze Vortrag auf 21.7. verlegt  
2.6.06 Jacob E.L. Leiss, Boolean Language Equations
Kap. 4 in E.L. Leiss, Language Equations, Springer 1998.
Folien: Vortrag
erster Beweis
zweiter Beweis
Kuske
16.6.06 Kutzera O. Kupferman and M. Vardi, Weak alternating automata are not that weak,
ACM Transactions on Computational Logic 3, 2001, 408-429.
Folien
 Kuske
23.6.06 Müller E.L. Leiss, Boolean Language Equations
Kap. 5 in E.L. Leiss, Language Equations, Springer 1998.		 Kuske
30.6.06 Endrullis Ch. Baier und M. Größer,
Recognizing ω-regular Languages with Probabilistic Automata, LICS 2005, 137-146.
Folien
 Meinecke
7.7.06 Bazarek W. Zielonka,
Time-stamps for Mazurkiewicz traces, Theoretical Computer Science, im Druck 2006.		 Kuske
14.7.06 Märcker H. Seidl, Th. Schwentick und A. Muscholl, Numerical Document Queries,
PODS 2003, ACM 2003, 155-166.		 Mathissen
21.7.06 Heinze Vortrag abgesagt Droste

Wintersemester 05/06: Algorithmische Modelltheorie
Wintersemester 05/06: ω-Automaten
Wintersemester 05/06: Seminar Automatentheorie
Sommersemester 05: Verifikation
Sommersemester 05: Formalsprachliche Aspekte des DNA-Computing
Wintersemester 04/05: Baumautomaten
Wintersemester 04/05: Semantik von Programmiersprachen
Sommersemester 04: Lineare Algebra und Analytische Geometrie II
Sommersemester 04: Ausgewählte Kapitel der Informatik
Sommersemester 04: Seminar zur Automatentheorie
Wintersemester 03/04: Baumautomaten
Wintersemester 03/04: DNA-Computing
Sommersemester 2003: Proof theory
Sommersemester 2003: Seminar Automatentheorie
Sommersemester 2003: Algebraische Grundlagen der Informatik
Sommersemester 2003: Schreiben mathematischer Texte (Mittel- und Hauptseminar)
Wintersemester 2002/03: Berechenbarkeit und Logik
Wintersemester 2002/03: Seminar Automatentheorie
spring term 2002: problem class for Logic and discrete structures
spring term 2002: problem class for Design and Analysis of Algorithms
spring term 2002: third year project for computer science
winter term 2001: Information Technology
spring term 2001: problem classes for Design and Analysis of Algorithms
spring term 2001: Homogeneous structures and their automorphism groups (5 lectures)
winter term 2000: Information Technology
Sommersemester 2000: Automatentheorie
Sommersemester 2000: Linear Algebra und Geometrie II (Übung zur Vorlesung von Prof. Pöschel)
Sommersemester 2000: Algebra für Informationssystemtechniker (Übung zur Vorlesung von Prof. Ganter)
Wintersemester 1999/2000: Lineare Algebra und Geometrie I (Übung zur Vorlesung von Prof. Pöschel)
Wintersemester 1999/2000: Algebra für Informationssystemtechniker (Übung zur Vorlesung von Prof. Ganter)
Wintersemester 1999/2000: Logik (Übung zur Vorlesung von Prof. Droste)
Wintersemester 1998/99: Algebraische Grundlagen der Theoretische Informatik
Wintersemester 1997/98: Semantik von Programmiersprachen
Sommersemester 1997: Temporale Logiken
Wintersemester 1995/96: Automaten und Logik