1. Fast estimation of diameter and shortest paths (without matrix multiplication);Aingworth;SIAM J. Comput.,1999
2. Near-linear lower bounds for distributed distance computations, even in sparse networks;Abboud,2016
3. Distributedly testing cycle-freeness;Arfaoui,2014
4. Local decision and verification with bounded-size outputs;Arfaoui,2013
5. Self-stabilization by local checking and correction;Awerbuch,1991