Sven Dziadek
Publications
Publications
|
|
ω-regular energy problemsFormal Aspects of Computing, 2024, 37 (1), pp.1-30. ⟨10.1145/3678265⟩ |
|
|
Logic for ω-Pushdown AutomataInformation and Computation, 2022, 282, pp.104659. ⟨10.1016/j.ic.2020.104659⟩ |
|
|
Greibach normal form for ω-algebraic systems and weighted simple ω-pushdown automataInformation and Computation, 2022, 285 (B), pp.104871. ⟨10.1016/j.ic.2022.104871⟩ |
|
|
Weighted Simple Reset Pushdown AutomataTheoretical Computer Science, 2019, 777, pp.252-259. ⟨10.1016/j.tcs.2019.01.016⟩ |
|
|
Energy Büchi ProblemsFM 2023 - 25th International Symposium on Formal Methods, Mar 2023, Lübeck, Germany. pp.222-239, ⟨10.1007/978-3-031-27481-7_14⟩ |
|
|
Nivat-Theorem and Logic for Weighted Pushdown Automata on Infinite Words40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2020), Dec 2020, Online, India. ⟨10.4230/LIPIcs.FSTTCS.2020.44⟩ |
|
|
Greibach Normal Form for ω-Algebraic Systems and Weighted Simple ω-Pushdown Automata39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2019), Dec 2019, Bombay, Mumbai, India. ⟨10.4230/LIPIcs.FSTTCS.2019.38⟩ |
Fast on Average, Predictable in the Worst Case: Exploring Real-Time Futexes in LITMUSRT2014 IEEE Real-Time Systems Symposium (RTSS), Dec 2014, Rome, France. pp.96-105, ⟨10.1109/RTSS.2014.33⟩ |
|
|
Weighted Logics and Weighted Simple Automata for Context-Free Languages of Infinite WordsFormal Languages and Automata Theory [cs.FL]. Unversität Leipzig, 2020. English. ⟨NNT : ⟩ |