On Distributed Verification (2006)

Cached

Download Links

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

Documents Related by Co-Citation

18 Graph Connectivity and Monadic NP – Thomas Schwentick - 1994
3 Survey of local algorithms. http://www.iki.fi/jukka. suomela/local-survey – Jukka Suomela - 2009
1 Erdős and Alfréd Rényi. Asymmetric graphs – Paul - 1963
1 Distributed computational complexities: are you Volvo-addicted or NASCAR-obsessed – Pierre Fraigniaud - 2010
1 Locally checkable proofs. http://www.iki.fi/jukka.suomela/lcp – Mika Göös, Jukka Suomela - 2011
1 Yoav Rodeh. Constructing labeling schemes through universal matrices – Amos Korman, David Peleg
71 Reachability is harder for directed than for undirected finite graphs – Miklos Ajtai, Ronald Fagin - 1990
18 Local Normal Forms for First-Order Logic with Applications to Games and Automata – Thomas Schwentick, Klaus Barthelmann - 1998
20 Characterizations of derived graphs – L W Beineke - 1970
9 Local Distributed Decision – Pierre Fraigniaud, Amos Korman, David Peleg
274 Descriptive Complexity – Neil Immerman - 1998
72 Compact and Localized Distributed Data Structures – Cyril Gavoille, David Peleg - 2001
112 What Can Be Computed Locally? – Moni Naor, Larry Stockmeyer - 1993
22 Proof Labeling Schemes – Amos Korman, Shay Kutten, David Peleg - 2005
22 Distributed computing with advice: Information sensitivity of graph coloring – Pierre Fraigniaud, Cyril Gavoille, David Ilcinkas, Andrzej Pelc - 2007
19 Distributed Verification of Minimum Spanning Trees – Amos Korman, Shay Kutten - 2006
721 Graph Theory – Reinhard Diestel - 2000
203 Local and global properties in networks of processors – D Angluin - 1980
304 Distributed Computing: A Locality-Sensitive Approach – D Peleg - 2000