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
What can be certified compactly? Nicolas Bousquet Laurent Feuilloley Théo Pierron 59 19 0 12 Feb 2022
A Meta-Theorem for Distributed Certification Pierre Fraigniaud Pedro Montealegre I. Rapaport Ioan Todinca 66 20 0 06 Dec 2021
Reactive Proof Labeling Schemes for Distributed Decision Jiaqi Chen Shlomi Dolev S. Kutten 35 0 0 04 Nov 2020
Local Certification of Graphs with Bounded Genus Laurent Feuilloley Pierre Fraigniaud Pedro Montealegre I. Rapaport É. Rémila Ioan Todinca 57 24 0 16 Jul 2020
Compact Distributed Certification of Planar Graphs Laurent Feuilloley Pierre Fraigniaud I. Rapaport É. Rémila Pedro Montealegre Ioan Todinca 54 30 0 12 May 2020
Distributed Quantum Proofs for Replicated Data Pierre Fraigniaud Franccois Le Gall H. Nishimura A. Paz 48 13 0 24 Feb 2020
A Breezing Proof of the KMW Bound Corinna Coupette Christoph Lenzen 53 4 0 14 Feb 2020
Introduction to local certification Laurent Feuilloley 70 34 0 28 Oct 2019
Trade-offs in Distributed Interactive Proofs P. Crescenzi Pierre Fraigniaud A. Paz 52 27 0 09 Aug 2019
The Power of Distributed Verifiers in Interactive Proofs M. Naor M. Parter E. Yogev 56 53 0 28 Dec 2018
Local verification of global proofs Laurent Feuilloley J. Hirvonen 49 12 0 26 Mar 2018
Redundancy in Distributed Proofs Laurent Feuilloley Pierre Fraigniaud J. Hirvonen A. Paz M. Perry 55 28 0 08 Mar 2018
Distributed Detection of Cycles Pierre Fraigniaud Dennis Olivetti 40 27 0 13 Jun 2017
Survey of Distributed Decision Laurent Feuilloley Pierre Fraigniaud 82 47 0 14 Jun 2016