Sven Dziadek

Publication Activity (10 Years)

Years Active: 2014-2023
Publications (10 Years): 8

Top Topics

Finite State Machines

Probabilistic Automata

Top Venues

Publications

Sven Dziadek, Uli Fahrenberg, Philipp Schlehuber-Caissier
Energy Büchi Problems. FM (2023)
Manfred Droste, Sven Dziadek, Werner Kuich
-pushdown automata. Inf. Comput. 282 (2022)
Sven Dziadek, Uli Fahrenberg, Philipp Schlehuber-Caissier
Energy Büchi Problems. CoRR (2022)
Manfred Droste, Sven Dziadek, Werner Kuich
-pushdown automata. Inf. Comput. 285 (Part) (2022)
Manfred Droste, Sven Dziadek, Werner Kuich
Nivat-Theorem and Logic for Weighted Pushdown Automata on Infinite Words. FSTTCS (2020)
Manfred Droste, Sven Dziadek, Werner Kuich
Greibach Normal Form for ω-Algebraic Systems and Weighted Simple ω-Pushdown Automata. CoRR (2020)
Manfred Droste, Sven Dziadek, Werner Kuich
Greibach Normal Form for omega-Algebraic Systems and Weighted Simple omega-Pushdown Automata. FSTTCS (2019)
Manfred Droste, Sven Dziadek, Werner Kuich
Weighted simple reset pushdown automata. Theor. Comput. Sci. 777 (2019)
Roy Spliet, Manohar Vanga, Björn B. Brandenburg, Sven Dziadek
Fast on Average, Predictable in the Worst Case: Exploring Real-Time Futexes in LITMUSRT. RTSS (2014)