Institut für Informatik / Fakultät für Mathematik und Informatik / Universität Leipzig
Wissenschaftlicher Mitarbeiter
Former Member of the DFG Graduiertenkolleg QuantLA

Stefan Dück


Room: A 426, Augustusplatz 10
Phone: +49-341-97/32202
Research Group: Automaten und Sprachen
E-mail: dueck at informatik.uni minus leipzig.de


Address

Stefan Dück
Universität Leipzig
Institut für Informatik
PF 100920
D-04009 Leipzig
Germany


Lehre

Sprechzeiten: Mittwoch 15:15 - 16:15 oder nach Absprache

Wintersemester 2017/18: Übungen Automaten und Sprachen

Vorlesung: (Manfred Droste) freitags 11:15 - 12:45, Hs 1
• Übung a:   mittwochs  13:15 - 14:45 (B-Woche),  SG 3-12  (ab 25.10.)
• Übung b: mittwochs 13:15 - 14:45 (A-Woche),  SG 3-12  (ab 18.10.)
• Übung c: donnerstags 9:15 - 10:45 (B-Woche),  SG 2-14  (ab 26.10.)
• Übung d: donnerstags 9:15 - 10:45 (A-Woche),  SG 2-14  (ab 19.10.)
• Übung e: freitags 15:15 - 16:45 (B-Woche),  SG 3-12  (ab 13.10.)
• Übung f: freitags 15:15 - 16:45 (A-Woche),  SG 3-12  (ab 20.10.)
A-Wochen: ab Montag 16.10. / 30.10. / 13.11. / 27.11. / 11.12. / 08.01. / 22.01.
B-Wochen: ab Montag 23.10. / 06.11. / 20.11. / 04.12. / 18.12. / 15.01. / 29.01.

Wintersemester 2017/18: Bachelor- & Masterseminar Automatentheorie

Das Bachelorseminar und das Masterseminar finden zu den folgenden Terminen am Donnerstag 13:15 Uhr im Raum A314 statt.
Ein Teil der Vorträge basiert auf dem Buch "Principles of Model Checking" von Christel Baier und Joost-Pieter Katoen.
Weitere Themen sind Model Checking und temporale Logiken für Nested Words, und Model Checking with Fly-Automata.
TerminNameThemaBetreuer
16.11.17Jörg SchließerNested WordsDziadek
23.11.17Paul ReinhardtLinear Temporal LogicDück
30.11.17Stefan WalterDekomposition von Linear Time PropertiesDück
07.12.17Franz RugeAutomaten über unendlichen WörternGrabolle
14.12.17Malte BlattmannModel Checking Regular PropertiesGrabolle
04.01.18Manuel JacobLTL Model CheckingDück
11.01.18Dominik StrohscheerCTL Syntax und SemanticsHeindel
18.01.18Jakob RiekeCTL Model CheckingHeindel
25.01.18Johannes KellerModel Checking with Fly-AutomataHeindel
01.02.18Falco KirchnerFirst Order and Temporal Logic for Nested WordsDück


Publications

M. Droste, S. Dück, D. Mandrioli, M. Pradella: Weighted operator precedence languages, in: Mathematical Foundations of Computer Science (MFCS 2017), LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, vol. 83, 2017, pp. 31:1--31:15. The final publication is available at http://dx.doi.org/10.1007/978-3-662-53132-7_13.

S. Dück: Weighted automata and logics on infinite graphs, in: 20th International Conference on Developments in Language Theory (DLT 2016), Lecture Notes in Computer Science, vol. 9840, Springer, 2016, pp. 151-163. PDF. The final publication is available at link.springer.com. http://dx.doi.org/10.1007/978-3-662-53132-7_13.

M. Droste, S. Dück: Weighted automata and logics for infinite nested words, Information and Computation, Special Issue of LATA 2014, vol. 253, Part 3, pp. 448-466, 2017 http://dx.doi.org/10.1016/j.ic.2016.06.010.

M. Droste, S. Dück: Weighted automata and logics on graphs, in: Mathematical Foundations of Computer Science (MFCS 2015), Lecture Notes in Computer Science. Springer, vol.9234, pp. 192-204, Springer, 2015. PDF. The final publication is available at link.springer.com. http://dx.doi.org/10.1007/978-3-662-48057-1_15.

M. Droste, S. Dück: Weighted automata and logics for infinite nested words, in: Language and Automata Theory and Applications (LATA 2014), Lecture Notes in Computer Science, vol. 8370, pp. 323-334, Springer, 2014. PDF. The final publication is available at link.springer.com. http://dx.doi.org/10.1007/978-3-319-04921-2_26.