Trade-offs in Distributed Interactive Proofs

9 August 2019

Papers citing "Trade-offs in Distributed Interactive Proofs"

7 / 7 papers shown

Title
The Hardness of Local Certification of Finite-State Dynamics Diego Maldonado Pedro Montealegre Martín Ríos-Wilson 19 0 0 19 Dec 2023
Local certification of geometric graph classes Oscar Defrain Louis Esperet Aurélie Lagoutte Pat Morin Jean-Florent Raymond 13 2 0 28 Nov 2023
Distributed Merlin-Arthur Synthesis of Quantum States and Its Applications Franccois Le Gall Masayuki Miyamoto H. Nishimura 36 5 0 04 Oct 2022
What can be certified compactly? Nicolas Bousquet Laurent Feuilloley Théo Pierron 22 17 0 12 Feb 2022
Local Certification of Graphs with Bounded Genus Laurent Feuilloley Pierre Fraigniaud Pedro Montealegre I. Rapaport É. Rémila Ioan Todinca 18 23 0 16 Jul 2020
Compact Distributed Certification of Planar Graphs Laurent Feuilloley Pierre Fraigniaud I. Rapaport É. Rémila Pedro Montealegre Ioan Todinca 18 28 0 12 May 2020
Introduction to local certification Laurent Feuilloley 22 31 0 28 Oct 2019