Fast on Average, Predictable in the Worst Case: Exploring Real-Time Futexes in LITMUSRT. - Roy Spliet; Manohar Vanga; Björn B. Brandenburg; Sven Dziadek (RTSS, 2014)

Greibach Normal Form for omega-Algebraic Systems and Weighted Simple omega-Pushdown Automata. - Manfred Droste; Sven Dziadek; Werner Kuich (FSTTCS, 2019)

Weighted simple reset pushdown automata. - Manfred Droste; Sven Dziadek; Werner Kuich (Theor. Comput. Sci., 2019)

Nivat-Theorem and Logic for Weighted Pushdown Automata on Infinite Words. - Manfred Droste; Sven Dziadek; Werner Kuich (FSTTCS, 2020)

Greibach Normal Form for ω-Algebraic Systems and Weighted Simple ω-Pushdown Automata. - Manfred Droste; Sven Dziadek; Werner Kuich (CoRR, 2020)

Weighted Logics and Weighted Simple Automata for Context-Free Languages of Infinite Words. - Sven Dziadek (2021)

Logic for ω-pushdown automata. - Manfred Droste; Sven Dziadek; Werner Kuich (Inf. Comput., 2022)

Greibach normal form for ω-algebraic systems and weighted simple ω-pushdown automata. - Manfred Droste; Sven Dziadek; Werner Kuich (Inf. Comput., 2022)

Energy Büchi Problems. - Sven Dziadek; Uli Fahrenberg; Philipp Schlehuber-Caissier (FM, 2023)

ω-Regular Energy Problems. - Sven Dziadek; Uli Fahrenberg; Philipp Schlehuber (Formal Aspects Comput., 2025)