Veronika Loitzenbauer
Identifiers
- name variant Veronika Loitzenbauer 0.60 · backfill
Papers (10)
- Symbolic Algorithms for Graphs and Markov Decision Processes with Fairness Objectives cs.DS · 2018 · author #3
- Lower Bounds for Symbolic Computation on Graphs: Strongly Connected Components, Liveness, Safety, and Diameter cs.DS · 2017 · author #4
- Improved Set-based Symbolic Algorithms for Parity Games cs.DS · 2017 · author #4
- Faster Algorithms for Computing Maximal 2-Connected Subgraphs in Sparse Directed Graphs cs.DS · 2017 · author #4
- Conditionally Optimal Algorithms for Generalized B\"uchi Games cs.DS · 2016 · author #4
- Ad Exchange: Envy-Free Auctions with Mediators cs.GT · 2016 · author #3
- Model and Objective Separation with Conditional Lower Bounds: Disjunction is Harder than Conjunction cs.DS · 2016 · author #4
- Finding 2-Edge and 2-Vertex Strongly Connected Components in Quadratic Time cs.DS · 2014 · author #3
- Improved Algorithms for Parity and Streett objectives cs.DS · 2014 · author #3
- Approximating the minimum cycle mean cs.DS · 2013 · author #4
Mentions
Frequent Coauthors
- Monika Henzinger 9 shared papers
- Krishnendu Chatterjee 7 shared papers
- Wolfgang Dvo\v{r}\'ak 4 shared papers
- Sebastian Krinninger 2 shared papers
- Giuseppe F. Italiano 1 shared papers
- Nikos Parotsidis 1 shared papers
- Oren Ben-Zwi 1 shared papers
- Shiri Chechik 1 shared papers
- Simin Oraee 1 shared papers
- Thomas Dueholm Hansen 1 shared papers
- Viktor Toman 1 shared papers