5 citations · 15 across the 23 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.DC2021
Distributed Interactive Proofs for the Recognition of Some Geometric Intersection Graph Classes
Benjamin Jauregui, Pedro Montealegre, Ivan Rapaport
A graph is a geometric intersection graph if every node is identified with a geometric object of some particular type, and two nodes are adjacent if the corresp…
cs.DC2021
A Meta-Theorem for Distributed Certification
Pierre Fraigniaud, Pedro Montealegre, Ivan Rapaport +1
Distributed certification, whether it be proof-labeling schemes, locally checkable proofs, etc., deals with the issue of certifying the legality of a distributed system with respec…