Local Certification of Some Geometric Intersection Graph Classes

9 September 2023

Papers citing "Local Certification of Some Geometric Intersection Graph Classes"

6 / 6 papers shown

Title
What can be certified compactly? Nicolas Bousquet Laurent Feuilloley Théo Pierron 42 17 0 12 Feb 2022
Local certification of MSO properties for bounded treedepth graphs Nicolas Bousquet Laurent Feuilloley Théo Pierron 35 4 0 05 Oct 2021
Local certification of graph decompositions and applications to minor-free classes Nicolas Bousquet Laurent Feuilloley Théo Pierron 52 22 0 30 Jul 2021
Compact Distributed Certification of Planar Graphs Laurent Feuilloley Pierre Fraigniaud I. Rapaport É. Rémila Pedro Montealegre Ioan Todinca 33 28 0 12 May 2020
The Power of Distributed Verifiers in Interactive Proofs M. Naor M. Parter E. Yogev 46 52 0 28 Dec 2018
Local verification of global proofs Laurent Feuilloley J. Hirvonen 40 12 0 26 Mar 2018