A hierarchy of local decision

A hierarchy of local decision

29 February 2016

Laurent Feuilloley

Pierre Fraigniaud

ArXiv (abs)PDF HTML

Papers citing "A hierarchy of local decision"

14 / 14 papers shown

Title
The Power of Distributed Verifiers in Interactive Proofs M. Naor M. Parter E. Yogev 51 53 0 28 Dec 2018
Local verification of global proofs Laurent Feuilloley J. Hirvonen 45 12 0 26 Mar 2018
Proof-Labeling Schemes: Broadcast, Unicast and In Between B. Patt-Shamir M. Perry 47 21 0 23 Aug 2017
Error-Sensitive Proof-Labeling Schemes Laurent Feuilloley Pierre Fraigniaud 90 13 0 11 May 2017
Towards a complexity theory for the congested clique Janne H. Korhonen Jukka Suomela 39 43 0 09 May 2017
Certification of Compact Low-Stretch Routing Schemes Alkida Balliu Pierre Fraigniaud 46 5 0 20 Apr 2017
Survey of Distributed Decision Laurent Feuilloley Pierre Fraigniaud 78 47 0 14 Jun 2016
Space-Time Tradeoffs for Distributed Verification R. Ostrovsky M. Perry Will Rosenbaum 43 20 0 22 May 2016
Fast and compact self-stabilizing verification, computation, and fault detection of an MST Amos Korman S. Kutten Toshimitsu Masuzawa LRM 71 50 0 24 Dec 2015
On the Impact of Identifiers on Local Decision Pierre Fraigniaud Magnús M. Halldórsson Amos Korman 35 32 0 22 Dec 2015
Node Labels in Local Decision Pierre Fraigniaud J. Hirvonen Jukka Suomela 76 18 0 03 Jul 2015
Distributed Graph Automata and Verification of Distributed Algorithms Fabian Reiter 41 26 0 13 Aug 2014
What can be decided locally without identifiers? Pierre Fraigniaud Mika Göös Amos Korman Jukka Suomela 63 35 0 11 Feb 2013
Distributed Verification and Hardness of Distributed Approximation Atish Das Sarma S. Holzer Liah Kor Amos Korman Danupon Nanongkai Gopal Pandurangan David Peleg Roger Wattenhofer 85 348 0 12 Nov 2010