Veronika Loitzenbauer

Publication Activity (10 Years)

Years Active: 2013-2018
Publications (10 Years): 19

Top Topics

Additively Separable

Improved Algorithm

Top Venues

Theor. Comput. Sci.

Publications

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