Veronika Loitzenbauer
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
6
Active years
2015–2018
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2018 | CAV | Symbolic Algorithms for Graphs and Markov Decision Processes with Fairness Objectives. | Krishnendu Chatterjee, Monika Henzinger, Veronika Loitzenbauer, Simin Oraee, Viktor Toman |
| 2018 | SODA | Lower Bounds for Symbolic Computation on Graphs: Strongly Connected Components, Liveness, Safety, and Diameter. | Krishnendu Chatterjee, Wolfgang Dvork, Monika Henzinger, Veronika Loitzenbauer |
| 2017 | CSL | Improved Set-Based Symbolic Algorithms for Parity Games. | Krishnendu Chatterjee, Wolfgang Dvork, Monika Henzinger, Veronika Loitzenbauer |
| 2017 | SODA | Faster Algorithms for Computing Maximal 2-Connected Subgraphs in Sparse Directed Graphs. | Shiri Chechik, Thomas Dueholm Hansen, Giuseppe F. Italiano, Veronika Loitzenbauer, Nikos Parotsidis |
| 2016 | LICS | Model and Objective Separation with Conditional Lower Bounds: Disjunction is Harder than Conjunction. | Krishnendu Chatterjee, Wolfgang Dvork, Monika Henzinger, Veronika Loitzenbauer |
| 2016 | MFCS | Conditionally Optimal Algorithms for Generalized Bchi Games. | Krishnendu Chatterjee, Wolfgang Dvork, Monika Henzinger, Veronika Loitzenbauer |
| 2015 | ICALP | Finding 2-Edge and 2-Vertex Strongly Connected Components in Quadratic Time. | Monika Henzinger, Sebastian Krinninger, Veronika Loitzenbauer |
| 2015 | LICS | Improved Algorithms for One-Pair and k-Pair Streett Objectives. | Krishnendu Chatterjee, Monika Henzinger, Veronika Loitzenbauer |