Trade-offs in Distributed Interactive Proofs

9 August 2019

Papers citing "Trade-offs in Distributed Interactive Proofs"

10 / 10 papers shown

Title
Distributed Merlin-Arthur Synthesis of Quantum States and Its Applications Franccois Le Gall Masayuki Miyamoto H. Nishimura 63 5 0 04 Oct 2022
What can be certified compactly? Nicolas Bousquet Laurent Feuilloley Théo Pierron 59 19 0 12 Feb 2022
Distributed Interactive Proofs for the Recognition of Some Geometric Intersection Graph Classes Benjamín Jauregui Pedro Montealegre I. Rapaport 41 5 0 06 Dec 2021
Compact Distributed Interactive Proofs for the Recognition of Cographs and Distance-Hereditary Graphs Pedro Montealegre Diego Ramírez-Romero I. Rapaport 61 8 0 06 Dec 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
Shared vs Private Randomness in Distributed Interactive Proofs Pedro Montealegre Diego Ramírez-Romero I. Rapaport 41 7 0 29 Jun 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
Introduction to local certification Laurent Feuilloley 70 34 0 28 Oct 2019
Redundancy in Distributed Proofs Laurent Feuilloley Pierre Fraigniaud J. Hirvonen A. Paz M. Perry 55 28 0 08 Mar 2018