Institut für Informatik / Fakultät für Mathematik und Informatik / Universität Leipzig
Member of the DFG Graduiertenkolleg QuantLA
Supervisor: Prof. Dr. Manfred Droste

Stefan Dück


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


Address

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


Publications

S. Dück: Weighted automata and logics on infinite graphs, in: 20th International Conference on Developments in Language Theory (DLT), 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, in press, 2016. 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.