Memory requirements for silent stabilization
PODC '96 Proceedings of the fifteenth annual ACM symposium on Principles of distributed computing
Self-stabilizing unidirectional network algorithms by power-supply
SODA '97 Proceedings of the eighth annual ACM-SIAM symposium on Discrete algorithms
Fast Self-Stabilizing Depth-First Token Circulation
WSS '01 Proceedings of the 5th International Workshop on Self-Stabilizing Systems
IEEE/ACM Transactions on Networking (TON)
A self-stabilizing algorithm for the maximum flow problem
Distributed Computing
Self-stabilizing depth-first token circulation in arbitrary rooted networks
Distributed Computing
Self-Stabilizing Anonymous Leader Election in a Tree
IPDPS '05 Proceedings of the 19th IEEE International Parallel and Distributed Processing Symposium (IPDPS'05) - Workshop 8 - Volume 09
Adopt: asynchronous distributed constraint optimization with quality guarantees
Artificial Intelligence - Special issue: Distributed constraint satisfaction
Optimal snap-stabilizing depth-first token circulation in tree networks
Journal of Parallel and Distributed Computing
An improved self-stabilizing algorithm for biconnectivity and bridge-connectivity
Information Processing Letters
A self-stabilizing algorithm for the st-order problem
International Journal of Parallel, Emergent and Distributed Systems
Quasi-self-stabilization of a distributed system assuming read/write atomicity
Computers & Mathematics with Applications
Superstabilizing, fault-containing distributed combinatorial optimization
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 1
M-DPOP: faithful distributed implementation of efficient social choice problems
Journal of Artificial Intelligence Research
Adopt: asynchronous distributed constraint optimization with quality guarantees
Artificial Intelligence - Special issue: Distributed constraint satisfaction
Transformations for write-all-with-collision model
Computer Communications
Dynamic configuration of agent organizations
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Reliability and availability analysis of self-stabilizing systems
SSS'06 Proceedings of the 8th international conference on Stabilization, safety, and security of distributed systems
Fault-tolerant topology adaptation by localized distributed protocol switching
HiPC'07 Proceedings of the 14th international conference on High performance computing
Adaptive broadcast by fault-tolerant spanning tree switching
Journal of Parallel and Distributed Computing
A self-stabilising algorithm for 3-edge-connectivity
International Journal of High Performance Computing and Networking
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
Counterexample generation for Markov chains using SMT-based bounded model checking
FMOODS'11/FORTE'11 Proceedings of the joint 13th IFIP WG 6.1 and 30th IFIP WG 6.1 international conference on Formal techniques for distributed systems
Distributed maintenance of a spanning tree using labeled tree encoding
Euro-Par'05 Proceedings of the 11th international Euro-Par conference on Parallel Processing
Snap-stabilizing depth-first search on arbitrary networks
OPODIS'04 Proceedings of the 8th international conference on Principles of Distributed Systems
The first fully polynomial stabilizing algorithm for BFS tree construction
OPODIS'11 Proceedings of the 15th international conference on Principles of Distributed Systems
A self-stabilizing algorithm for 3-edge-connectivity
ISPA'07 Proceedings of the 5th international conference on Parallel and Distributed Processing and Applications
The Worst-Case Stabilization Time of a Self-Stabilizing Algorithm under the Weakly Fair Daemon Model
International Journal of Artificial Life Research
International Journal of Artificial Life Research
Hi-index | 0.89 |