Monika R. Henzinger

From MaRDI portal
Person:1370851

Available identifiers

zbMath Open rauch-henzinger.monikaDBLPh/MonikaRauchHenzingerFactGridQ885070WikidataQ1944655 ScholiaQ1944655MaRDI QIDQ1370851

List of research outcomes





PublicationDate of PublicationType
Deterministic near-linear time minimum cut in weighted graphs2024-11-28Paper
Dynamically maintaining the persistent homology of time series2024-11-28Paper
A unifying framework for differentially private sums under continual observation2024-11-28Paper
Efficient data structures for incremental exact and approximate maximum flow2024-11-14Paper
Faster submodular maximization for several classes of matroids2024-11-14Paper
Dynamic maintenance of monotone dynamic programs and applications2024-10-08Paper
Asymptotically tight bounds on the time complexity of broadcast and its variants in dynamic networks2024-09-25Paper
A combinatorial cut-toggling algorithm for solving Laplacian linear systems2024-09-25Paper
Modern dynamic data structures (invited talk)2024-08-06Paper
The complexity of average-case dynamic subgraph counting2024-07-19Paper
Experimental evaluation of fully dynamic \(k\)-means via coresets2024-05-29Paper
Practical fully dynamic minimum cut algorithms2024-05-24Paper
Fully dynamic exact edge connectivity in sublinear time2024-05-14Paper
Online min-max paging2024-05-14Paper
Optimal fully dynamic \(k\)-center clustering for adaptive and oblivious adversaries2024-05-14Paper
Almost tight error bounds on differentially private continual counting2024-05-14Paper
Recent Advances in Fully Dynamic Graph Algorithms – A Quick Reference Guide2024-04-14Paper
Brief Announcement: Broadcasting Time in Dynamic Rooted Trees is Linear2024-03-26Paper
https://portal.mardi4nfdi.de/entity/Q61473272024-01-15Paper
https://portal.mardi4nfdi.de/entity/Q61473662024-01-15Paper
https://portal.mardi4nfdi.de/entity/Q61474072024-01-15Paper
https://portal.mardi4nfdi.de/entity/Q61474242024-01-15Paper
A combinatorial cut-toggling algorithm for solving Laplacian linear systems2023-12-13Paper
Multiplicative auction algorithm for approximate maximum weight bipartite matching2023-11-09Paper
Dynamic approximate maximum independent set of intervals, hypercubes and hyperrectangles2023-11-02Paper
Constant-time Dynamic (Δ +1)-Coloring2023-10-31Paper
Deterministic Near-Optimal Approximation Algorithms for Dynamic Set Cover2023-10-26Paper
https://portal.mardi4nfdi.de/entity/Q60759312023-09-20Paper
Fine-grained complexity lower bounds for problems in computer aided verification2023-08-10Paper
Certificates and fast algorithms for biconnectivity in fully-dynamic graphs2023-05-08Paper
Symbolic algorithms for graphs and Markov decision processes with fairness objectives2023-05-05Paper
Faster fully dynamic transitive closure in practice2023-02-07Paper
https://portal.mardi4nfdi.de/entity/Q58745282023-02-07Paper
https://portal.mardi4nfdi.de/entity/Q58745302023-02-07Paper
Constant-time dynamic \((\Delta+1)\)-coloring2023-02-07Paper
https://portal.mardi4nfdi.de/entity/Q58753682023-02-03Paper
An algorithm for finding predecessors in integer sets2023-01-18Paper
Faster algorithms for the nonemptiness of streett automata and for communication protocol pruning2022-12-09Paper
Fully dynamic 2-edge-connectivity in planar graphs2022-12-09Paper
https://portal.mardi4nfdi.de/entity/Q50911612022-07-21Paper
Upper and lower bounds for fully retroactive graph problems2022-03-25Paper
A Deamortization Approach for Dynamic Spanner and Dynamic Maximal Matching2022-02-22Paper
Constant-time dynamic weight approximation for minimum spanning forest2021-11-25Paper
Algorithms and conditional lower bounds for planning problems2021-11-02Paper
https://portal.mardi4nfdi.de/entity/Q50096002021-08-04Paper
https://portal.mardi4nfdi.de/entity/Q50095992021-08-04Paper
A deterministic almost-tight distributed algorithm for approximating single-source shortest paths2021-06-29Paper
Approximating the minimum cycle mean2021-06-09Paper
Fully Dynamic k-Center Clustering in Low Dimensional Metrics2021-01-27Paper
Fully Dynamic Single-Source Reachability in Practice: An Experimental Study2021-01-27Paper
Shared-Memory Branch-and-Reduce for Multiterminal Cuts2021-01-27Paper
Memetic graph clustering2020-12-16Paper
The State of the Art in Dynamic Graph Algorithms2020-10-21Paper
Dynamic clustering to minimize the sum of radii2020-10-21Paper
The power of vertex sparsifiers in dynamic graph algorithms2020-05-27Paper
Dynamic clustering to minimize the sum of radii2020-05-27Paper
Improved guarantees for vertex sparsification in planar graphs2020-05-27Paper
Improved set-based symbolic algorithms for parity games2020-05-26Paper
Faster algorithms for mean-payoff parity games2020-05-26Paper
Faster Parallel Multiterminal Cuts2020-04-24Paper
Deterministic dynamic matching in \(O(1)\) update time2020-02-28Paper
Distributed edge connectivity in sublinear time2020-01-30Paper
Local flow partitioning for faster edge connectivity2020-01-21Paper
Improved guarantees for vertex sparsification in planar graphs2020-01-10Paper
A deamortization approach for dynamic spanner and dynamic maximal matching2019-10-15Paper
Practical minimum cut algorithms2019-09-12Paper
Quasipolynomial set-based symbolic algorithms for parity games2019-07-04Paper
A subquadratic-time algorithm for decremental single-source shortest paths2019-06-20Paper
New amortized cell-probe lower bounds for dynamic problems2019-06-06Paper
An \(O(n^2)\) time algorithm for alternating Büchi games2019-05-10Paper
Practical minimum cut algorithms2019-03-27Paper
Decremental Single-Source Shortest Paths on Undirected Graphs in Near-Linear Total Update Time2019-02-25Paper
Approximating minimum cuts under insertions2019-01-10Paper
Incremental exact min-cut in polylogarithmic amortized update time2018-11-13Paper
Sublinear-time maintenance of breadth-first spanning trees in partially dynamic networks2018-11-12Paper
Local flow partitioning for faster edge connectivity2018-07-16Paper
Fully dynamic approximate maximum matching and minimum vertex cover in \(O(\log^3 n)\) worst case update time2018-07-16Paper
Deterministic fully dynamic data structures for vertex cover and matching2018-07-04Paper
Maintaining minimum spanning trees in dynamic graphs2018-07-04Paper
Dynamic algorithms via the primal-dual method2018-06-14Paper
https://portal.mardi4nfdi.de/entity/Q46438772018-05-29Paper
Conditional hardness for sensitivity problems2018-05-03Paper
Improved algorithms for one-pair and \(k\)-pair Streett objectives2018-04-23Paper
Model and objective separation with conditional lower bounds: disjunction is harder than conjunction2018-04-23Paper
Conditionally Optimal Algorithms for Generalized B\"uchi Games2018-03-21Paper
https://portal.mardi4nfdi.de/entity/Q46078722018-03-15Paper
Lower bounds for symbolic computation on graphs: strongly connected components, liveness, safety, and diameter2018-03-15Paper
Incremental and fully dynamic subgraph connectivity for emergency planning2018-03-02Paper
https://portal.mardi4nfdi.de/entity/Q46063172018-03-02Paper
Welfare maximization with friends-of-friends network externalities2018-02-01Paper
Graph Minors for Preserving Terminal Distances Approximately - Lower and Upper Bounds2017-12-19Paper
Improved algorithms for parity and Streett objectives2017-10-12Paper
Deterministic fully dynamic data structures for vertex cover and matching2017-10-05Paper
Faster and dynamic algorithms for maximal end-component decomposition and related graph problems in probabilistic verification2017-09-29Paper
A deterministic almost-tight distributed algorithm for approximating single-source shortest paths2017-09-29Paper
New deterministic approximation algorithms for fully dynamic matching2017-09-29Paper
Deterministic fully dynamic approximate vertex cover and fractional matching in \(O(1)\) amortized update time2017-08-31Paper
Maximizing a submodular function with viability constraints2017-03-06Paper
Welfare maximization with friends-of-friends network externalities2017-01-24Paper
Scheduling data transfers in a network and the set scheduling problem2016-09-29Paper
Improved data structures for fully dynamic biconnectivity2016-09-01Paper
Faster shortest-path algorithms for planar graphs2016-09-01Paper
Dynamic approximate all-pairs shortest paths: breaking the \(O(mn)\) barrier and derandomization2016-07-04Paper
Ad exchange: envy-free auctions with mediators2016-01-08Paper
Combinatorial auctions with conflict-based externalities2016-01-08Paper
Online ad assignment with an ad exchange2015-11-20Paper
Finding 2-edge and 2-vertex strongly connected components in quadratic time2015-10-27Paper
Improved Algorithms for Decremental Single-Source Reachability on Directed Graphs2015-10-27Paper
Design of dynamic algorithms via primal-dual method2015-10-27Paper
Unifying and strengthening hardness for dynamic problems via the online matrix-vector multiplication conjecture2015-08-21Paper
Space- and Time-Efficient Algorithm for Maintaining Dense Subgraphs on One-Pass Dynamic Streams2015-08-21Paper
Sublinear-time decremental algorithms for single-source reachability and shortest paths on directed graphs2015-06-26Paper
Truthful unit-demand auctions with budgets revisited2015-02-24Paper
Polynomial-time algorithms for energy games with special weight structures2015-01-19Paper
Valuation compressions in VCG-based combinatorial auctions2015-01-12Paper
Limiting Price Discrimination when Selling Products with Positive Network Externalities2015-01-07Paper
Combinatorial algorithms for web search engines -- three success stories2014-12-18Paper
Online bipartite matching with decomposable weights2014-10-08Paper
Efficient and dynamic algorithms for alternating Büchi games and maximal end-component decomposition2014-09-12Paper
Approximating the minimum cycle mean2014-07-25Paper
Symbolic algorithms for qualitative analysis of Markov decision processes with Büchi objectives2014-06-30Paper
Maximizing a submodular function with viability constraints2013-09-17Paper
Sublinear-time maintenance of breadth-first spanning tree in partially dynamic networks2013-08-07Paper
Bidder optimal assignments for general utilities2013-06-06Paper
Offline file assignments for online load balancing2013-04-04Paper
Sponsored search, market equilibria, and the Hungarian method2013-03-20Paper
On multiple keyword sponsored search auctions with budgets2012-11-01Paper
Polynomial-time algorithms for energy games with special weight structures2012-09-25Paper
Sponsored Search, Market Equilibria, and the Hungarian Method2012-01-23Paper
Multi-parameter mechanism design under budget and matroid constraints2011-09-16Paper
Online stochastic packing applied to display ad allocation2010-09-06Paper
Mechanisms for the Marriage and the Assignment Game2010-05-28Paper
Automata, Languages and Programming2005-08-24Paper
Algorithmic Challenges in Web Search Engines2005-05-09Paper
An online throughput-competitive algorithm for multicast routing and admission control2005-05-04Paper
Randomized fully dynamic graph algorithms with polylogarithmic time per operation2005-01-25Paper
https://portal.mardi4nfdi.de/entity/Q48188422004-09-24Paper
Scheduling data transfers in a network and the set scheduling problem2004-03-14Paper
Scheduling multicasts on unit-capacity trees and meshes.2003-08-19Paper
On the number of small cut in a graph2003-06-24Paper
https://portal.mardi4nfdi.de/entity/Q45520372002-10-06Paper
Maintaining minimum spanning forests in dynamic graphs2002-04-23Paper
https://portal.mardi4nfdi.de/entity/Q42341002002-01-29Paper
https://portal.mardi4nfdi.de/entity/Q27539172001-11-11Paper
https://portal.mardi4nfdi.de/entity/Q45270092001-02-28Paper
Improved Data Structures for Fully Dynamic Biconnectivity2000-10-18Paper
Computing Vertex Connectivity: New Bounds from Old Techniques2000-06-22Paper
https://portal.mardi4nfdi.de/entity/Q42527302000-04-26Paper
https://portal.mardi4nfdi.de/entity/Q42527522000-04-26Paper
https://portal.mardi4nfdi.de/entity/Q49455382000-03-23Paper
Exploring Unknown Environments2000-03-19Paper
https://portal.mardi4nfdi.de/entity/Q42501702000-02-17Paper
Lower bounds for fully dynamic connectivity problems in graphs1999-07-05Paper
https://portal.mardi4nfdi.de/entity/Q42303261999-07-05Paper
Constructing a tree from homeomorphic subtrees, with applications to computational evolutionary biology1999-06-29Paper
https://portal.mardi4nfdi.de/entity/Q42523181999-06-17Paper
Average-case analysis of dynamic graph algorithms1998-09-08Paper
Sampling to provide or to bound: With applications to fully dynamic graph algorithms1998-05-13Paper
A Static 2-Approximation Algorithm for Vertex Connectivity and Incremental Approximation Algorithms for Edge and Vertex Connectivity1998-01-12Paper
Faster shortest-path algorithms for planar graphs1997-10-28Paper
https://portal.mardi4nfdi.de/entity/Q48752031996-10-08Paper
https://portal.mardi4nfdi.de/entity/Q48860611996-08-22Paper
Data structures for two-edge connectivity in planar graphs1995-10-09Paper
Fully dynamic biconnectivity in graphs1995-06-19Paper
Verification and Sensitivity Analysis of Minimum Spanning Trees in Linear Time1993-03-09Paper

Research outcomes over time

This page was built for person: Monika R. Henzinger