Proof labeling schemes (Q2377139): Difference between revisions

@@ 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 @@
+Time optimal self-stabilizing synchronization
@@ Property / cites work: Time optimal self-stabilizing synchronization / rank @@
+Normal rank
@@ Property / cites work @@
+Distributed Computing – IWDC 2005
@@ Property / cites work: Distributed Computing – IWDC 2005 / rank @@
+Normal rank
@@ Property / cites work @@
+Automata, Languages and Programming
@@ Property / cites work: Automata, Languages and Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Self-stabilizing systems in spite of distributed control
+Normal rank
@@ Property / cites work @@
+Verification and Sensitivity Analysis of Minimum Spanning Trees in Linear 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 @@
+Self-stabilization of dynamic systems assuming only read/write atomicity
+Normal rank
@@ Property / cites work @@
+Q3883524
@@ Property / cites work: Q3883524 / 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 @@
+Distance labeling in graphs
@@ Property / cites work: Distance labeling in graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Oracle size
@@ Property / cites work: Oracle size / rank @@
+Normal rank
@@ Property / cites work @@
+Tree Exploration with an Oracle
@@ Property / cites work: Tree Exploration with an Oracle / rank @@
+Normal rank
@@ Property / cites work @@
+Local MST computation with short advice
@@ Property / cites work: Local MST computation with short advice / rank @@
+Normal rank
@@ Property / cites work @@
+Crash failures can drive protocols to arbitrary states
+Normal rank
@@ Property / cites work @@
+The fault span of crash failures
@@ Property / cites work: The fault span of crash failures / rank @@
+Normal rank
@@ Property / cites work @@
+Implicat Representation of Graphs
@@ Property / cites work: Implicat Representation of Graphs / rank @@
+Normal rank
@@ Property / cites work @@
+A randomized linear-time algorithm to find minimum spanning trees
+Normal rank
@@ Property / cites work @@
+Labeling Schemes for Flow and Connectivity
@@ Property / cites work: Labeling Schemes for Flow and Connectivity / rank @@
+Normal rank
@@ Property / cites work @@
+Labeling Schemes for Vertex Connectivity
@@ Property / cites work: Labeling Schemes for Vertex Connectivity / rank @@
+Normal rank
@@ Property / cites work @@
+Proof labeling schemes
@@ Property / cites work: Proof labeling schemes / rank @@
+Normal rank
@@ Property / cites work @@
+Distributed verification of minimum spanning trees
+Normal rank
@@ Property / cites work @@
+What cannot be computed locally!
@@ Property / cites work: What cannot be computed locally! / rank @@
+Normal rank
@@ Property / cites work @@
+Communication Complexity
@@ Property / cites work: Communication Complexity / 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 trade-off between space and efficiency for routing tables
+Normal rank
@@ Property / cites work @@
+Distributed Computing: A Locality-Sensitive Approach
+Normal rank
@@ Property / cites work @@
+Proximity-preserving labeling schemes
@@ Property / cites work: Proximity-preserving labeling schemes / rank @@
+Normal rank
@@ Property / cites work @@
+Informative labeling schemes for graphs
@@ Property / cites work: Informative labeling schemes for graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Labelling and Implicit Routing in Networks
@@ Property / cites work: Labelling and Implicit Routing in Networks / rank @@
+Normal rank
@@ Property / cites work @@
+Lower bounds on communication complexity in distributed computer networks
+Normal rank
@@ Property / cites work @@
+Distributed Weighted Matching
@@ Property / cites work: Distributed Weighted Matching / rank @@
+Normal rank