pith. sign in

Veronika Loitzenbauer

Identifiers

  • name variant Veronika Loitzenbauer 0.60 · backfill

Papers (10)

  1. Symbolic Algorithms for Graphs and Markov Decision Processes with Fairness Objectives cs.DS · 2018 · author #3
  2. Lower Bounds for Symbolic Computation on Graphs: Strongly Connected Components, Liveness, Safety, and Diameter cs.DS · 2017 · author #4
  3. Improved Set-based Symbolic Algorithms for Parity Games cs.DS · 2017 · author #4
  4. Faster Algorithms for Computing Maximal 2-Connected Subgraphs in Sparse Directed Graphs cs.DS · 2017 · author #4
  5. Conditionally Optimal Algorithms for Generalized B\"uchi Games cs.DS · 2016 · author #4
  6. Ad Exchange: Envy-Free Auctions with Mediators cs.GT · 2016 · author #3
  7. Model and Objective Separation with Conditional Lower Bounds: Disjunction is Harder than Conjunction cs.DS · 2016 · author #4
  8. Finding 2-Edge and 2-Vertex Strongly Connected Components in Quadratic Time cs.DS · 2014 · author #3
  9. Improved Algorithms for Parity and Streett objectives cs.DS · 2014 · author #3
  10. Approximating the minimum cycle mean cs.DS · 2013 · author #4

Mentions

  • 1412.6466 #3 · backfill · confidence 0.70 Veronika Loitzenbauer
  • 1410.0833 #3 · backfill · confidence 0.70 Veronika Loitzenbauer
  • 1307.4473 #4 · backfill · confidence 0.70 Veronika Loitzenbauer

Frequent Coauthors