Alexander Svozil
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
6
Active years
2017–2021
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | ALENEX | Fully Dynamic | Gramoz Goranci, Monika Henzinger, Dariusz Leniowski, Christian Schulz, Alexander Svozil |
| 2021 | ICALP | Faster Algorithms for Bounded Liveness in Graphs and Game Graphs. | Krishnendu Chatterjee, Monika Henzinger, Sagar Kale, Alexander Svozil |
| 2021 | LICS | Symbolic Time and Space Tradeoffs for Probabilistic Verification. | Krishnendu Chatterjee, Wolfgang Dvork, Monika Henzinger, Alexander Svozil |
| 2019 | CONCUR | Near-Linear Time Algorithms for Streett Objectives in Graphs and MDPs. | Krishnendu Chatterjee, Wolfgang Dvork, Monika Henzinger, Alexander Svozil |
| 2018 | LPAR | Quasipolynomial Set-Based Symbolic Algorithms for Parity Games. | Krishnendu Chatterjee, Wolfgang Dvork, Monika Henzinger, Alexander Svozil |
| 2017 | MFCS | Faster Algorithms for Mean-Payoff Parity Games. | Krishnendu Chatterjee, Monika Henzinger, Alexander Svozil |