Sven Dziadek

12 papers A 1B 1Journal 7Unranked 2
YearRankTypeTitle / Venue / Authors
2026 J jnl
Constant-Time Dynamic Enumeration of Word Infixes in a Regular Language.
CoRR
Antoine Amarilli, Sven Dziadek, Luc Segoufin
2025 J jnl
ω-Regular Energy Problems.
Formal Aspects Comput.
Sven Dziadek, Uli Fahrenberg, Philipp Schlehuber
2023 B conf
Energy Büchi Problems.
FM
Sven Dziadek, Uli Fahrenberg, Philipp Schlehuber-Caissier
2022 J jnl
Energy Büchi Problems.
CoRR
Sven Dziadek, Uli Fahrenberg, Philipp Schlehuber-Caissier
2022 J jnl
Greibach normal form for
Inf. Comput.
Manfred Droste, Sven Dziadek, Werner Kuich
2022 J jnl
Logic for
Inf. Comput.
Manfred Droste, Sven Dziadek, Werner Kuich
2021 — —
Weighted Logics and Weighted Simple Automata for Context-Free Languages of Infinite Words.
Sven Dziadek
2020 J jnl
Greibach Normal Form for ω-Algebraic Systems and Weighted Simple ω-Pushdown Automata.
CoRR
Manfred Droste, Sven Dziadek, Werner Kuich
2020 — conf
Nivat-Theorem and Logic for Weighted Pushdown Automata on Infinite Words.
FSTTCS
Manfred Droste, Sven Dziadek, Werner Kuich
2019 — conf
Greibach Normal Form for omega-Algebraic Systems and Weighted Simple omega-Pushdown Automata.
FSTTCS
Manfred Droste, Sven Dziadek, Werner Kuich
2019 J jnl
Weighted simple reset pushdown automata.
Theor. Comput. Sci.
Manfred Droste, Sven Dziadek, Werner Kuich
2014 A conf
Fast on Average, Predictable in the Worst Case: Exploring Real-Time Futexes in LITMUSRT.
RTSS
Roy Spliet, Manohar Vanga, Björn B. Brandenburg, Sven Dziadek