Improved Algorithms for One-Pair and k-Pair Streett Objectives Krishnendu Chatterjee* , Monika Henzinger** , and Veronika Loitzenbauer** * IST Austria

Source URL: eprints.cs.univie.ac.at

Incremental and Fully Dynamic Subgraph Connectivity For Emergency Planning Monika Henzinger University of Vienna, Faculty of Computer Science, Vienna, Austria Stefan Neumann

Source URL: eprints.cs.univie.ac.at

Incremental Exact Min-Cut in Poly-logarithmic Amortized Update Time Gramoz Goranci∗ Monika Henzinger†

Source URL: eprints.cs.univie.ac.at

Finding 2-edge and 2-vertex strongly connected components in quadratic time Monika Henzinger Sebastian Krinninger

Source URL: eprints.cs.univie.ac.at

0 An Expressive Mechanism for Auctions on the Web ¨ PAUL DUTTING , London School of Economics and Political Science MONIKA HENZINGER, University of Vienna

Source URL: paulduetting.com

• Auction theory
• Auctions
• Game theory
• Decision theory
• Gaming
• VickreyClarkeGroves auction
• Auction
• Competitive equilibrium
• Sponsored search auction
• Generalized second-price auction

0 Auctions for Heterogeneous Items and Budget Limits ¨ PAUL DUTTING , Department of Mathematics, London School of Economics MONIKA HENZINGER, Faculty of Computer Science, University of Vienna

Source URL: paulduetting.com

• Mechanism design
• Game theory
• Decision theory
• Gaming
• Vickrey auction
• VickreyClarkeGroves mechanism
• Monotonicity
• VickreyClarkeGroves auction
• Valuation
• Incentive compatibility
• Rental harmony

ERC Advanced Grant for microbiologist Christa Schleper 30. März 2016 Bild: 1 von 4 Christa Schleper surrounded by her scientific team (Copyright: University of Vienna).

Source URL: genetics-ecology.univie.ac.at

• Archaea
• Domains
• Extremophiles
• European Research Council
• Microorganism
• Lokiarchaeota
• Microbiology
• University of Vienna
• Monika Henzinger

Presburger Award 2012 The Presburger Award Committee 2012, consisting of Monika Henzinger, Antonin Kucera, and Stefano Leonardi (chair) has unanimously decided to propose *************************************************

Source URL: eatcs.org

Deterministic Fully Dynamic Data Structures for Vertex Cover and Matching Sayan Bhattacharya∗ Monika Henzinger†

Source URL: eprints.cs.univie.ac.at

Unifying and Strengthening Hardness for Dynamic Problems via the Online Matrix-Vector Multiplication Conjecture∗ Monika Henzinger† University of Vienna, Austria Faculty of Computer Science

Source URL: eprints.cs.univie.ac.at