14 citations · 50 across the 20 of their papers we have counts for
Showing 2015 · cs.DCShow all
2 papers · 2 filters
cs.DC2015★ 8 cited
Fast and compact self-stabilizing verification, computation, and fault detection of an MST
Amos Korman, Shay Kutten, Toshimitsu Masuzawa
This paper demonstrates the usefulness of distributed local verification of proofs, as a tool for the design of self-stabilizing algorithms.In particular, it introduces a somewhat…
cs.DC2015★ 7 cited
Construction and impromptu repair of an MST in a distributed network with o(m) communication
Valerie King, Shay Kutten, Mikkel Thorup
In the CONGEST model, a communications network is an undirected graph whose nodes are processors and whose edges are the communications links between processors. At any giv…