bibliographer - Monika Henzinger

bibliographer a curated TCS bibliography

obsidian
tags
authors
no doi
no pdf
bad author
add item
librarian

Symbolic Time and Space Tradeoffs for Probabilistic Verification Krishnendu Chatterjee Wolfgang Dvořák Monika Henzinger Alexander Svozil [github]

Conditionally Optimal Algorithms for Generalized Buchi Games Krishnendu Chatterjee Wolfgang Dvořák Monika Henzinger Veronika Loitzenbauer [github]

An O(N2) Time Algorithm for Alternating Buchi automata Krishnendu Chatterjee Monika Henzinger [github]

Faster and Dynamic Algorithms for Maximal End-component Decomposition and Related Graph Problems in Probabilistic Verification Krishnendu Chatterjee Monika Henzinger [github]

Unifying and Strengthening Hardness for Dynamic Problems via the Online Matrix-Vector Multiplication Conjecture Monika Henzinger Sebastian Krinninger Danupon Nanongkai Thatchaphol Saranurak [github]

Model and Objective Separation with Conditional Lower Bounds Krishnendu Chatterjee Wolfgang Dvořák Monika Henzinger Veronika Loitzenbauer [github]

Library Size: 13G (6 entries), Last Updated: Apr 05, 2026, 08:41:35, Build Time: N/A

[show logs] [hide logs]