Complexity of network synchronization
Journal of the ACM (JACM)
Resourceful systems for fault tolerance, reliability, and safety
ACM Computing Surveys (CSUR)
A self-stabilizing algorithm for constructing spanning trees
Information Processing Letters
Self-stabilization by local checking and correction (extended abstract)
SFCS '91 Proceedings of the 32nd annual symposium on Foundations of computer science
The temporal logic of reactive and concurrent systems
The temporal logic of reactive and concurrent systems
Closure and Convergence: A Foundation of Fault-Tolerant Computing
IEEE Transactions on Software Engineering - Special issue on software reliability
Fault-local distributed mending (extended abstract)
Proceedings of the fourteenth annual ACM symposium on Principles of distributed computing
Memory Adaptive Self-Stabilizing Protocols (Extended Abstract)
WDAG '92 Proceedings of the 6th International Workshop on Distributed Algorithms
Non-Exploratory Self-Stabilization for Constant-Space Symmetry-Breaking
ESA '94 Proceedings of the Second Annual European Symposium on Algorithms
The Triumph and Tribulation of System Stabilization
WDAG '95 Proceedings of the 9th International Workshop on Distributed Algorithms
Time-adaptive self stabilization
PODC '97 Proceedings of the sixteenth annual ACM symposium on Principles of distributed computing
Trade-offs in fault-containing self-stabilization
PODC '97 Proceedings of the sixteenth annual ACM symposium on Principles of distributed computing
Asynchronous time-adaptive self stabilization
PODC '98 Proceedings of the seventeenth annual ACM symposium on Principles of distributed computing
Optimal reactive k-stabilization: the case of mutual exclusion
Proceedings of the eighteenth annual ACM symposium on Principles of distributed computing
Fault-containing network protocols
SAC '97 Proceedings of the 1997 ACM symposium on Applied computing
Phase Clocks for Transient Fault Repair
IEEE Transactions on Parallel and Distributed Systems
IEEE Transactions on Software Engineering
IEEE Transactions on Software Engineering
Journal of Parallel and Distributed Computing - Self-stabilizing distributed systems
A latency optimal superstabilizing mutual exclusion protocol in unidirectional rings
Journal of Parallel and Distributed Computing - Self-stabilizing distributed systems
Journal of Parallel and Distributed Computing - Self-stabilizing distributed systems
Stabilizing Replicated Search Trees
DISC '01 Proceedings of the 15th International Conference on Distributed Computing
A Composite Stabilizing Data Structure
WSS '01 Proceedings of the 5th International Workshop on Self-Stabilizing Systems
Proceedings of the twenty-second annual symposium on Principles of distributed computing
An Efficient Fault-Containing Self-Stabilizing Algorithm for Finding a Maximal Independent Set
IEEE Transactions on Parallel and Distributed Systems
Superstabilizing mutual exclusion
Distributed Computing
A self-stabilizing algorithm for the maximum flow problem
Distributed Computing
Self-organizing publish/subscribe
DSM '05 Proceedings of the 2nd international doctoral symposium on Middleware
How to Improve Safety under Convergence Using Stable Storage
IEEE Transactions on Parallel and Distributed Systems
LSRP: local stabilization in shortest path routing
IEEE/ACM Transactions on Networking (TON)
Guaranteed fault containment and local stabilization in routing
Computer Networks: The International Journal of Computer and Telecommunications Networking
Self-stabilizing algorithm for checkpointing in a distributed system
Journal of Parallel and Distributed Computing
Analytical model for optimizing periodic route maintenance in proactive routing for manets
Proceedings of the 10th ACM Symposium on Modeling, analysis, and simulation of wireless and mobile systems
Empire of colonies: Self-stabilizing and self-organizing distributed algorithm
Theoretical Computer Science
Self-managing energy-efficient multicast support in MANETs under end-to-end reliability constraints
Computer Networks: The International Journal of Computer and Telecommunications Networking
Superstabilizing, fault-containing distributed combinatorial optimization
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 1
Making Population Protocols Self-stabilizing
SSS '09 Proceedings of the 11th International Symposium on Stabilization, Safety, and Security of Distributed Systems
Fault-Containment in Weakly-Stabilizing Systems
SSS '09 Proceedings of the 11th International Symposium on Stabilization, Safety, and Security of Distributed Systems
Dependability Engineering of Silent Self-stabilizing Systems
SSS '09 Proceedings of the 11th International Symposium on Stabilization, Safety, and Security of Distributed Systems
Analysis of an Intentional Fault Which Is Undetectable by Local Checks under an Unfair Scheduler
SSS '09 Proceedings of the 11th International Symposium on Stabilization, Safety, and Security of Distributed Systems
Journal of Parallel and Distributed Computing
Calibrating embedded protocols on asynchronous systems
Information Sciences: an International Journal
Timer-based composition of fault-containing self-stabilizing protocols
Information Sciences: an International Journal
A 1-strong self-stabilizing transformer
SSS'06 Proceedings of the 8th international conference on Stabilization, safety, and security of distributed systems
Fault masking in tri-redundant systems
SSS'06 Proceedings of the 8th international conference on Stabilization, safety, and security of distributed systems
Best paper: stabilizing clock synchronization for wireless sensor networks
SSS'06 Proceedings of the 8th international conference on Stabilization, safety, and security of distributed systems
SSS'06 Proceedings of the 8th international conference on Stabilization, safety, and security of distributed systems
A framework of safe stabilization
SSS'03 Proceedings of the 6th international conference on Self-stabilizing systems
Probabilistic fault-containment
SSS'07 Proceedings of the 9h international conference on Stabilization, safety, and security of distributed systems
ACM Transactions on Algorithms (TALG)
Brief announcement: monotonic stabilization
Proceedings of the 29th ACM SIGACT-SIGOPS symposium on Principles of distributed computing
A self-stabilizing minimal dominating set algorithm with safe convergence
IPDPS'06 Proceedings of the 20th international conference on Parallel and distributed processing
IPDPS'06 Proceedings of the 20th international conference on Parallel and distributed processing
Necessary and sufficient conditions for 1-adaptivity
IPDPS'06 Proceedings of the 20th international conference on Parallel and distributed processing
Adaptive containment of time-bounded byzantine faults
SSS'10 Proceedings of the 12th international conference on Stabilization, safety, and security of distributed systems
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
SSS'11 Proceedings of the 13th international conference on Stabilization, safety, and security of distributed systems
Reconfiguring self-stabilizing publish/subscribe systems
DSOM'06 Proceedings of the 17th IFIP/IEEE international conference on Distributed Systems: operations and management
Empire of Colonies: self-stabilizing and self-organizing distributed algorithms
OPODIS'06 Proceedings of the 10th international conference on Principles of Distributed Systems
Self-stabilizing checkpointing algorithm in ring topology
IWDC'05 Proceedings of the 7th international conference on Distributed Computing
A local self-stabilizing enumeration algorithm
DAIS'06 Proceedings of the 6th IFIP WG 6.1 international conference on Distributed Applications and Interoperable Systems
A self-stabilizing link-coloring protocol resilient to byzantine faults in tree networks
OPODIS'04 Proceedings of the 8th international conference on Principles of Distributed Systems
A hierarchy-based fault-local stabilizing algorithm for tracking in sensor networks
OPODIS'04 Proceedings of the 8th international conference on Principles of Distributed Systems
Adaptive stabilization of reactive protocols
FSTTCS'04 Proceedings of the 24th international conference on Foundations of Software Technology and Theoretical Computer Science
Asynchronous and fully self-stabilizing time-adaptive majority consensus
OPODIS'05 Proceedings of the 9th international conference on Principles of Distributed Systems
Output stability versus time till output
DISC'07 Proceedings of the 21st international conference on Distributed Computing
International Journal of Grid and Utility Computing
International Journal of Artificial Life Research
Hi-index | 0.00 |