Formal verification of timed properties of randomized distributed algorithms
Proceedings of the fourteenth annual ACM symposium on Principles of distributed computing
Fast distributed construction of k-dominating sets and applications
Proceedings of the fourteenth annual ACM symposium on Principles of distributed computing
Memory space requirements for self-stabilizing leader election protocols
Proceedings of the eighteenth annual ACM symposium on Principles of distributed computing
Verification of randomized distributed algorithms
Lectures on formal methods and performance analysis
A stabilizing algorithm for finding biconnected components
Journal of Parallel and Distributed Computing - Self-stabilizing distributed systems
Self Stabilizing Distributed Queuing
DISC '01 Proceedings of the 15th International Conference on Distributed Computing
Self-Stabilizing Minimum Spanning Tree Construction on Message-Passing Networks
DISC '01 Proceedings of the 15th International Conference on Distributed Computing
Virtual private grid: a command shell for utilizing hundreds of machines efficiently
Future Generation Computer Systems - Selected papers from CCGRID 2002
Compact and localized distributed data structures
Distributed Computing - Papers in celebration of the 20th anniversary of PODC
Self-Stabilizing Real-Time OPS5 Production Systems
IEEE Transactions on Knowledge and Data Engineering
Verification of the randomized consensus algorithm of Aspnes and Herlihy: a case study
Distributed Computing
Proceedings of the twenty-fourth annual ACM symposium on Principles of distributed computing
A Time-Optimal Self-Stabilizing Synchronizer Using A Phase Clock
IEEE Transactions on Dependable and Secure Computing
A self-stabilizing algorithm for the median problem in partial rectangular grids and their relatives
SIROCCO'07 Proceedings of the 14th international conference on Structural information and communication complexity
Low communication self-stabilization through randomization
DISC'10 Proceedings of the 24th international conference on Distributed computing
Fast and compact self stabilizing verification, computation, and fault detection of an MST
Proceedings of the 30th annual ACM SIGACT-SIGOPS symposium on Principles of distributed computing
A self-stabilizing algorithm for finding a spanning tree in a polynomial number of moves
PPAM'05 Proceedings of the 6th international conference on Parallel Processing and Applied Mathematics
Distributed maintenance of a spanning tree using labeled tree encoding
Euro-Par'05 Proceedings of the 11th international Euro-Par conference on Parallel Processing
Time optimal asynchronous self-stabilizing spanning tree
DISC'07 Proceedings of the 21st international conference on Distributed Computing
Dense subgraphs on dynamic networks
DISC'12 Proceedings of the 26th international conference on Distributed Computing
| Hi-index | 0.00 |