On the Impact of Identifiers on Local Decision

22 December 2015

Papers citing "On the Impact of Identifiers on Local Decision"

8 / 8 papers shown

Title
Planarity can be Verified by an Approximate Proof Labeling Scheme in Constant-Time G. Elek 56 6 0 21 Jun 2020
Introduction to local certification Laurent Feuilloley 70 34 0 28 Oct 2019
The Power of Distributed Verifiers in Interactive Proofs M. Naor M. Parter E. Yogev 53 53 0 28 Dec 2018
Survey of Distributed Decision Laurent Feuilloley Pierre Fraigniaud 82 47 0 14 Jun 2016
A hierarchy of local decision Laurent Feuilloley Pierre Fraigniaud J. Hirvonen 50 38 0 29 Feb 2016
Fast and compact self-stabilizing verification, computation, and fault detection of an MST Amos Korman S. Kutten Toshimitsu Masuzawa LRM 78 50 0 24 Dec 2015
Node Labels in Local Decision Pierre Fraigniaud J. Hirvonen Jukka Suomela 80 19 0 03 Jul 2015
What can be decided locally without identifiers? Pierre Fraigniaud Mika Göös Amos Korman Jukka Suomela 75 35 0 11 Feb 2013