~/talks

Monika Henzinger

what they talk about

where they keep going back

no series more than once — all 2 in the filters

on a stage with

all 5 in the filters

who talks about the same things

titleconferencedate
A Combinatorial Cut-Toggling Algorithm for Solving Laplacian Linear SystemsITCS 20232023-01-10
Introduces a dual cut-toggling algorithm for solving Lx = b that mirrors KOSZ: it maintains vertex potentials on a low-stretch spanning tree, samples…
Talk on
Asymptotically Tight Bounds on the Time Complexity of Broadcast and its Variants in Dynamic NetworksITCS 20232023-01-10
Proves that broadcast, k‑broadcast and cover‑of‑size‑k in synchronous adversarial dynamic networks all have asymptotically tight linear worst‑case time. Upper…
Talk on
Upper and Lower Bounds for Graph Problems in Computer Aided VerificationComputational Complexity of Low-Polynomial Time Problems (Simons Institute workshop, 2015)2015-12-08
Defines graph and MDP objectives and proves fine-grained separations: disjunctive reachability on MDPs requires roughly K·M^(2−o(1)) time under triangle/OV…
Talk
~/search
type to search 6,249 conferences, 138,987 speakers and 185,172 talks
~/help
cmdctrl k
search every conference, speaker and series
/
focus the filter search
h
home
c
conferences
s
speakers
e
series
t
light / dark — the status bar button does the same
?
this help
esc
close this, then clear every filter — or just the search, while you are typing in it

Ignored while you are typing. Pages without a filter rail have no search to focus.