Sven Dziadek
Orcid: 0000-0001-6767-7751Affiliations:
- Inria Paris, France
- EPITA Research and Development Laboratory (LRDE), Le Kremlin-Bicêtre, France (former)
- University of Leipzig, Department of Computer Science, Germany (former)
According to our database1,
Sven Dziadek
authored at least 9 papers
between 2014 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2023
Proceedings of the Formal Methods - 25th International Symposium, 2023
2022
Greibach normal form for <i>ω</i>-algebraic systems and weighted simple <i>ω</i>-pushdown automata.
Inf. Comput., 2022
2021
Weighted Logics and Weighted Simple Automata for Context-Free Languages of Infinite Words.
PhD thesis, 2021
2020
Greibach Normal Form for ω-Algebraic Systems and Weighted Simple ω-Pushdown Automata.
CoRR, 2020
Proceedings of the 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2020
2019
Greibach Normal Form for omega-Algebraic Systems and Weighted Simple omega-Pushdown Automata.
Proceedings of the 39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2019
2014
Fast on Average, Predictable in the Worst Case: Exploring Real-Time Futexes in LITMUSRT.
Proceedings of the IEEE 35th IEEE Real-Time Systems Symposium, 2014