Redundancy in distributed proofs (Q2025853): Difference between revisions

@@ Property / DOI @@
-.1007/s00446-020-00386-z
@@ Property / DOI: 10.1007/s00446-020-00386-z / rank @@
-Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W3091964988
@@ Property / OpenAlex ID: W3091964988 / rank @@
+Normal rank
@@ Property / cites work @@
+Near-linear lower bounds for distributed distance computations, even in sparse networks
+Normal rank
@@ Property / cites work @@
+Local stabilizer
@@ Property / cites work: Local stabilizer / rank @@
+Normal rank
@@ Property / cites work @@
+The local detection paradigm and its applications to self-stabilization
+Normal rank
@@ Property / cites work @@
+Distributedly Testing Cycle-Freeness
@@ Property / cites work: Distributedly Testing Cycle-Freeness / rank @@
+Normal rank
@@ Property / cites work @@
+Memory-efficient and self-stabilizing network RESET (extended abstract)
+Normal rank
@@ Property / cites work @@
+Q4636605
@@ Property / cites work: Q4636605 / rank @@
+Normal rank
@@ Property / cites work @@
+On Mobile Agent Verifiable Problems
@@ Property / cites work: On Mobile Agent Verifiable Problems / rank @@
+Normal rank
@@ Property / cites work @@
+Transient fault detectors
@@ Property / cites work: Transient fault detectors / rank @@
+Normal rank
@@ Property / cites work @@
+Approximate proof-labeling schemes
@@ Property / cites work: Approximate proof-labeling schemes / rank @@
+Normal rank
@@ Property / cites work @@
+Distributed Verification and Hardness of Distributed Approximation
+Normal rank
@@ Property / cites work @@
+Unconditional lower bounds on the time-approximation tradeoffs for the distributed minimum spanning tree problem
+Normal rank
@@ Property / cites work @@
+Q4967211
@@ Property / cites work: Q4967211 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4598260
@@ Property / cites work: Q4598260 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5090916
@@ Property / cites work: Q5090916 / rank @@
+Normal rank
@@ Property / cites work @@
+Local checkability, no strings attached: (a)cyclicity, reachability, loop free updates in SDNs
+Normal rank
@@ Property / cites work @@
+Towards a complexity theory for local distributed computing
+Normal rank
@@ Property / cites work @@
+Randomized proof-labeling schemes
@@ Property / cites work: Randomized proof-labeling schemes / rank @@
+Normal rank
@@ Property / cites work @@
+Minimizing the Number of Opinions for Fault-Tolerant Distributed Decision Using Well-Quasi Orderings
+Normal rank
@@ Property / cites work @@
+Perfect failure detection with very few bits
@@ Property / cites work: Perfect failure detection with very few bits / rank @@
+Normal rank
@@ Property / cites work @@
+Q5743466
@@ Property / cites work: Q5743466 / rank @@
+Normal rank
@@ Property / cites work @@
+A Distributed Algorithm for Minimum-Weight Spanning Trees
+Normal rank
@@ Property / cites work @@
+Q3179347
@@ Property / cites work: Q3179347 / rank @@
+Normal rank
@@ Property / cites work @@
+Interactive Distributed Proofs
@@ Property / cites work: Interactive Distributed Proofs / rank @@
+Normal rank
@@ Property / cites work @@
+Distributed verification of minimum spanning trees
+Normal rank
@@ Property / cites work @@
+Fast and compact self-stabilizing verification, computation, and fault detection of an MST
+Normal rank
@@ Property / cites work @@
+Proof labeling schemes
@@ Property / cites work: Proof labeling schemes / rank @@
+Normal rank
@@ Property / cites work @@
+Communication Complexity
@@ Property / cites work: Communication Complexity / rank @@
+Normal rank
@@ Property / cites work @@
+Probability and Computing
@@ Property / cites work: Probability and Computing / rank @@
+Normal rank
@@ Property / cites work @@
+The Power of Distributed Verifiers in Interactive Proofs
+Normal rank
@@ Property / cites work @@
+Space-time tradeoffs for distributed verification
@@ Property / cites work: Space-time tradeoffs for distributed verification / rank @@
+Normal rank
@@ Property / cites work @@
+Proof-Labeling Schemes: Broadcast, Unicast and in Between
+Normal rank
@@ Property / cites work @@
+Distributed Computing: A Locality-Sensitive Approach
+Normal rank
@@ Property / cites work @@
+High-Probability Parallel Transitive-Closure Algorithms
+Normal rank
@@ Property / cites work @@
+Trade-offs in distributed interactive proofs
@@ Property / cites work: Trade-offs in distributed interactive proofs / rank @@
+Normal rank
@@ Property / cites work @@
+Error-sensitive proof-labeling schemes
@@ Property / cites work: Error-sensitive proof-labeling schemes / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q113905016
@@ Property / Wikidata QID: Q113905016 / rank @@
+Normal rank
@@ Property / DOI @@
+.1007/S00446-020-00386-Z
@@ Property / DOI: 10.1007/S00446-020-00386-Z / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2025853