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

Sven Dziadek


Room: A 416, Augustusplatz 10
Phone: +49-341-97/32336
Research Group:    Automaten und Sprachen
E-mail: dziadek at informatik.uni-leipzig.de


Address

Sven Dziadek
Universität Leipzig
Institut für Informatik
PF 100920
D-04009 Leipzig
Germany


Publications

M. Droste, S. Dziadek, W. Kuich: Greibach normal form for ω-algebraic systems and weighted simple ω-pushdown automata, in: Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2019), LIPIcs, to appear. [pdf]

M. Droste, S. Dziadek, W. Kuich: Logic for ω-pushdown automata, Information and Computation, to appear. [pdf]

M. Droste, S. Dziadek, W. Kuich: Weighted simple reset pushdown automata, Theoretical Computer Science 777 (2019), pp. 252-259, DOI: 10.1016/j.tcs.2019.01.016. [pdf]

R. Spliet; M. Vanga; B. Brandenburg; S. Dziadek: Fast on Average, Predictable in the Worst Case: Exploring Real-Time Futexes in LITMUS RT, in: Real-Time Systems Symposium (RTSS), 2014 IEEE, DOI: 10.1109/RTSS.2014.33.