Tight Bounds For Distributed MST Verification. - Liah Kor; Amos Korman; David Peleg (STACS, 2011)

Distributed Verification and Hardness of Distributed Approximation. - Atish Das Sarma; Stephan Holzer; Liah Kor; Amos Korman; Danupon Nanongkai; Gopal Pandurangan; David Peleg; Roger Wattenhofer (SIAM J. Comput., 2012)

Tight Bounds for Distributed Minimum-Weight Spanning Tree Verification. - Liah Kor; Amos Korman; David Peleg (Theory Comput. Syst., 2013)