Distributed verification of minimum spanning trees (Q1954247): Difference between revisions

@@ Property / DOI @@
-.1007/s00446-007-0025-1
@@ Property / DOI: 10.1007/s00446-007-0025-1 / rank @@
-Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s00446-007-0025-1
+Normal rank
@@ Property / OpenAlex ID @@
+W2023425290
@@ Property / OpenAlex ID: W2023425290 / rank @@
+Normal rank
@@ Property / cites work @@
+The local detection paradigm and its applications to self-stabilization
+Normal rank
@@ Property / cites work @@
+Distributed reset
@@ Property / cites work: Distributed reset / rank @@
+Normal rank
@@ Property / cites work @@
+A linear algorithm for analysis of minimum spanning and shortest-path trees of planar graphs
+Normal rank
@@ Property / cites work @@
+Verification and Sensitivity Analysis of Minimum Spanning Trees in Linear Time
+Normal rank
@@ Property / cites work @@
+Optimal parallel verification of minimum spanning trees in logarithmic time
+Normal rank
@@ Property / cites work @@
+Memory requirements for silent stabilization
@@ Property / cites work: Memory requirements for silent stabilization / rank @@
+Normal rank
@@ Property / cites work @@
+Q4535803
@@ Property / cites work: Q4535803 / rank @@
+Normal rank
@@ Property / cites work @@
+Trans-dichotomous algorithms for minimum spanning trees and shortest paths
+Normal rank
@@ Property / cites work @@
+A Distributed Algorithm for Minimum-Weight Spanning Trees
+Normal rank
@@ Property / cites work @@
+Q4796196
@@ Property / cites work: Q4796196 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2768294
@@ Property / cites work: Q2768294 / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of crash failures
@@ Property / cites work: The complexity of crash failures / rank @@
+Normal rank
@@ Property / cites work @@
+Crash failures can drive protocols to arbitrary states
+Normal rank
@@ Property / cites work @@
+Implicat Representation of Graphs
@@ Property / cites work: Implicat Representation of Graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Q4829032
@@ Property / cites work: Q4829032 / rank @@
+Normal rank
@@ Property / cites work @@
+A randomized linear-time algorithm to find minimum spanning trees
+Normal rank
@@ Property / cites work @@
+Linear verification for spanning trees
@@ Property / cites work: Linear verification for spanning trees / rank @@
+Normal rank
@@ Property / cites work @@
+Proof labeling schemes
@@ Property / cites work: Proof labeling schemes / rank @@
+Normal rank
@@ Property / cites work @@
+Fast Distributed Construction of Smallk-Dominating Sets and Applications
+Normal rank
@@ Property / cites work @@
+A simpler minimum spanning tree verification algorithm
+Normal rank
@@ Property / cites work @@
+An optimal EREW PRAM algorithm for minimum spanning tree verification
+Normal rank
@@ Property / cites work @@
+Constant-time distributed dominating set approximation
+Normal rank
@@ Property / cites work @@
+What cannot be computed locally!
@@ Property / cites work: What cannot be computed locally! / rank @@
+Normal rank
@@ Property / cites work @@
+What Can be Computed Locally?
@@ Property / cites work: What Can be Computed Locally? / rank @@
+Normal rank
@@ Property / cites work @@
+A Randomized Time-Work Optimal Parallel Algorithm for Finding a Minimum Spanning Forest
+Normal rank
@@ Property / cites work @@
+Q3707420
@@ Property / cites work: Q3707420 / rank @@
+Normal rank
@@ Property / cites work @@
+Applications of Path Compression on Balanced Trees
+Normal rank
@@ Property / DOI @@
+.1007/S00446-007-0025-1
@@ Property / DOI: 10.1007/S00446-007-0025-1 / rank @@
+Normal rank