Veronika Loitzenbauer

23 papers A* 4B 2Journal 12Unranked 4
YearRankTypeTitle / Venue / Authors
2018 A* conf
Lower Bounds for Symbolic Computation on Graphs: Strongly Connected Components, Liveness, Safety, and Diameter.
SODA
Krishnendu Chatterjee, Wolfgang Dvorák, Monika Henzinger, Veronika Loitzenbauer
2018 — conf
Symbolic Algorithms for Graphs and Markov Decision Processes with Fairness Objectives.
CAV (2)
Krishnendu Chatterjee, Monika Henzinger, Veronika Loitzenbauer, Simin Oraee, Viktor Toman
2018 J jnl
Symbolic Algorithms for Graphs and Markov Decision Processes with Fairness Objectives.
CoRR
Krishnendu Chatterjee, Monika Henzinger, Veronika Loitzenbauer, Simin Oraee, Viktor Toman
2017 A* conf
Faster Algorithms for Computing Maximal 2-Connected Subgraphs in Sparse Directed Graphs.
SODA
Shiri Chechik, Thomas Dueholm Hansen, Giuseppe F. Italiano, Veronika Loitzenbauer, Nikos Parotsidis
2017 J jnl
Faster Algorithms for Computing Maximal 2-Connected Subgraphs in Sparse Directed Graphs.
CoRR
Shiri Chechik, Thomas Dueholm Hansen, Giuseppe F. Italiano, Veronika Loitzenbauer, Nikos Parotsidis
2017 J jnl
Improved Algorithms for Parity and Streett objectives.
Log. Methods Comput. Sci.
Krishnendu Chatterjee, Monika Henzinger, Veronika Loitzenbauer
2017 B conf
Improved Set-Based Symbolic Algorithms for Parity Games.
CSL
Krishnendu Chatterjee, Wolfgang Dvorák, Monika Henzinger, Veronika Loitzenbauer
2017 J jnl
Improved Set-based Symbolic Algorithms for Parity Games.
CoRR
Krishnendu Chatterjee, Wolfgang Dvorák, Monika Henzinger, Veronika Loitzenbauer
2017 J jnl
Lower Bounds for Symbolic Computation on Graphs: Strongly Connected Components, Liveness, Safety, and Diameter.
CoRR
Krishnendu Chatterjee, Wolfgang Dvorák, Monika Henzinger, Veronika Loitzenbauer
2017 — ch.
Verbesserte Algorithmen und Bedingte Untere Schranken für Probleme in Formaler Verifikation und Reaktiver Synthese.
Ausgezeichnete Informatikdissertationen
Veronika Loitzenbauer
2016 J jnl
Ad Exchange: Envy-Free Auctions with Mediators.
CoRR
Oren Ben-Zwi, Monika Henzinger, Veronika Loitzenbauer
2016 B conf
Conditionally Optimal Algorithms for Generalized Büchi Games.
MFCS
Krishnendu Chatterjee, Wolfgang Dvorák, Monika Henzinger, Veronika Loitzenbauer
2016 J jnl
Conditionally Optimal Algorithms for Generalized Büchi Games.
CoRR
Krishnendu Chatterjee, Wolfgang Dvorák, Monika Henzinger, Veronika Loitzenbauer
2016 A* conf
Model and Objective Separation with Conditional Lower Bounds: Disjunction is Harder than Conjunction.
LICS
Krishnendu Chatterjee, Wolfgang Dvorák, Monika Henzinger, Veronika Loitzenbauer
2016 J jnl
Model and Objective Separation with Conditional Lower Bounds: Disjunction is Harder than Conjunction.
CoRR
Krishnendu Chatterjee, Wolfgang Dvorák, Monika Henzinger, Veronika Loitzenbauer
2015 — conf
Ad Exchange: Envy-Free Auctions with Mediators.
WINE
Oren Ben-Zwi, Monika Henzinger, Veronika Loitzenbauer
2015 — conf
Finding 2-Edge and 2-Vertex Strongly Connected Components in Quadratic Time.
ICALP (1)
Monika Henzinger, Sebastian Krinninger, Veronika Loitzenbauer
2015 A* conf
Improved Algorithms for One-Pair and k-Pair Streett Objectives.
LICS
Krishnendu Chatterjee, Monika Henzinger, Veronika Loitzenbauer
2015 J jnl
Truthful unit-demand auctions with budgets revisited.
Theor. Comput. Sci.
Monika Henzinger, Veronika Loitzenbauer
2014 J jnl
Approximating the minimum cycle mean.
Theor. Comput. Sci.
Krishnendu Chatterjee, Monika Henzinger, Sebastian Krinninger, Veronika Loitzenbauer, Michael A. Raskin
2014 J jnl
Finding 2-edge and 2-vertex strongly connected components in quadratic time.
CoRR
Monika Henzinger, Sebastian Krinninger, Veronika Loitzenbauer
2014 J jnl
Improved Algorithms for One-Pair and k-Pair Streett Objectives.
CoRR
Krishnendu Chatterjee, Monika Henzinger, Veronika Loitzenbauer
2013 — conf
Approximating the minimum cycle mean.
GandALF
Krishnendu Chatterjee, Monika Henzinger, Sebastian Krinninger, Veronika Loitzenbauer