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

Dr. 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

Sommersemester 2018: Veranstaltung Nebenläufige Prozess: Spurtheorie

Vorlesung: (Manfred Droste) Freitag 9:15 - 11:45, Seminarraum S2-14
• Übung:   Montag  13:15 - 14:45 (A-Woche),  Paulinum, P-801  (ab 23.04.)
Termine: 23.04. / 07.05. / - / 04.06. / 18.06. / 02.07.

Sommersemester 2018: Veranstaltung Logik und Modelltheorie

Vorlesung: (Manfred Droste) Donnerstag 13:15 - 14:45, Seminarraum S2-14
• Übung:   Montag  13:15 - 14:45 (B-Woche),  Paulinum, P-801  (ab 16.04.)
Termine: 16.04. / 30.05. / 14.05. / 28.05. / 11.06. / 25.06. / 09.07.

Sommersemester 2018: Bachelor- & Masterseminar Automatentheorie

Das Bachelorseminar und das Masterseminar finden zu den folgenden Terminen am Mittwoch 15:15 Uhr statt.
TerminNameThemaBetreuer
20.06.18 (S-202)Schindler, BenjaminGreibach NFDziadek
11.07.18 (HS 17)Asaad, BasharAmbiguity of finite AutomataPaul


Wintersemester 2017/18: Veranstaltung Automaten und Sprachen

Vorlesung: (Manfred Droste), es gab 6 Übungsgruppen

Wintersemester 2017/18: Bachelor- & Masterseminar Automatentheorie

Ein Teil der Vorträge basierte auf dem Buch "Principles of Model Checking" von Christel Baier und Joost-Pieter Katoen.
Weitere Themen waren 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
01.02.18Falco KirchnerFirst Order and Temporal Logic for Nested WordsDück


Publications

S. Dück: Weighted Automata and Logics on Hierarchical Structures and Graphs, Dissertation, Universität Leipzig, 2017.

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.