Veronika Loitzenbauer
Veronika Loitzenbauer
impactit
Verified email at univie.ac.at
Title
Cited by
Cited by
Year
Finding 2-edge and 2-vertex strongly connected components in quadratic time
M Henzinger, S Krinninger, V Loitzenbauer
International Colloquium on Automata, Languages, and Programming, 713-724, 2015
412015
Conditionally Optimal Algorithms for Generalized B\" uchi Games
K Chatterjee, W DvořŠk, M Henzinger, V Loitzenbauer
arXiv preprint arXiv:1607.05850, 2016
242016
Faster Algorithms for Computing Maximal 2-Connected Subgraphs in Sparse Directed Graphs
S Chechik, TD Hansen, GF Italiano, V Loitzenbauer, N Parotsidis
Proceedings of the Twenty-Eighth Annual ACM-SIAM Symposium on Discrete†…, 2017
212017
Improved algorithms for one-pair and k-pair Streett objectives
K Chatterjee, M Henzinger, V Loitzenbauer
2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 269-280, 2015
202015
Improved algorithms for one-pair and k-pair Streett objectives
K Chatterjee, M Henzinger, V Loitzenbauer
2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 269-280, 2015
202015
Improved algorithms for one-pair and k-pair Streett objectives
K Chatterjee, M Henzinger, V Loitzenbauer
Proceedings of the 2015 30th Annual ACM/IEEE Symposium on Logic in Computer†…, 2015
202015
Model and objective separation with conditional lower bounds: Disjunction is harder than conjunction
K Chatterjee, W DvořŠk, M Henzinger, V Loitzenbauer
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer†…, 2016
132016
Improved Set-based Symbolic Algorithms for Parity Games
K Chatterjee, W DvořŠk, M Henzinger, V Loitzenbauer
arXiv preprint arXiv:1706.04889, 2017
82017
Approximating the minimum cycle mean
K Chatterjee, M Henzinger, S Krinninger, V Loitzenbauer, MA Raskin
Theoretical Computer Science 547, 104-116, 2014
82014
Ad Exchange: Envy-Free Auctions with Mediators
O Ben-Zwi, M Henzinger, V Loitzenbauer
International Conference on Web and Internet Economics, 104-117, 2015
72015
Lower Bounds for Symbolic Computation on Graphs: Strongly Connected Components, Liveness, Safety, and Diameter
K Chatterjee, W DvořŠk, M Henzinger, V Loitzenbauer
Proceedings of the Twenty-Ninth Annual ACM-SIAM Symposium on Discrete†…, 2018
52018
Symbolic algorithms for graphs and Markov decision processes with fairness objectives
K Chatterjee, M Henzinger, V Loitzenbauer, S Oraee, V Toman
International Conference on Computer Aided Verification, 178-197, 2018
42018
Improved algorithms and conditional lower bounds for problems in formal verification and reactive synthesis
V Loitzenbauer
uniwien, 2016
42016
Truthful unit-demand auctions with budgets revisited
M Henzinger, V Loitzenbauer
Theoretical Computer Science 573, 1-15, 2015
2015
A Hierarchical Sparsification Technique for Faster Algorithms in Graphs and Game Graphs
V Loitzenbauer
2015
A ROI optimizing and a randomized approach for sponsored search
V Loitzenbauer
uniwien, 2012
2012
Lower Bounds for Symbolic Computation on Graphs
K Chatterjee, W DvořŠk, M Henzinger, V Loitzenbauer
The system can't perform the operation now. Try again later.
Articles 1–17