On Distributed Verification (2006)

View PDF

Download Links

by Amos Korman , Shay Kutten
Citations:1 - 0 self

Documents Related by Co-Citation

762 Graph Theory – R Diestel - 2005
400 Encyclopedia of Integer Sequences. http://www.research.att.com/~njas/sequences/index.html – N J A Sloane
318 Distributed computing: a locality-sensitive approach – David Peleg - 2000
290 Descriptive complexity – N Immerman - 1999
282 Generalized First-order Spectra and Polynomialtime Recognizable Sets – R Fagin - 1974
208 Local and global properties in networks of processors – D Angluin - 1980
121 What Can Be Computed Locally? – Moni Naor, Larry Stockmeyer - 1993
78 Cycles of even lengths in graphs – J A Bondy, M Simonovits - 1974
75 Reachability is harder for directed than for undirected finite graphs – Miklos Ajtai, Ronald Fagin - 1990
73 Compact and Localized Distributed Data Structures – Cyril Gavoille, David Peleg - 2001