An object-based programming model for shared data
ACM Transactions on Programming Languages and Systems (TOPLAS)
An alternative solution to a problem on self-stabilization
ACM Transactions on Programming Languages and Systems (TOPLAS)
Leader election in uniform rings
ACM Transactions on Programming Languages and Systems (TOPLAS)
Uniform and Self-Stabilizing Token Rings Allowing Unfair Daemon
IEEE Transactions on Parallel and Distributed Systems
Journal of Parallel and Distributed Computing - Self-stabilizing distributed systems
Exploitation of Ljapunov Theory for Verifying Self-Stabilizing Algorithms
DISC '00 Proceedings of the 14th International Conference on Distributed Computing
A New Rewrite Method for Convergence of Self-Stabilizing Systems
Proceedings of the 13th International Symposium on Distributed Computing
An Exercise in Proving Self-Stabilization through Ljapunov Functions
ICDCS '01 Proceedings of the The 21st International Conference on Distributed Computing Systems
A self-stabilizing algorithm for maximal 2-packing
Nordic Journal of Computing
Self-stabilizing token circulation in uniform networks
Distributed Computing
Self-stabilizing depth-first token circulation on networks
Distributed Computing - Special issue: Self-stabilization
ICPADS '06 Proceedings of the 12th International Conference on Parallel and Distributed Systems - Volume 1
Formal design of self-stabilizing programs
Journal of High Speed Networks - Self-Stabilizing Systems, Part 1
On the Performance of Beauquier and Debas' Self-stabilizing Algorithm for Mutual Exclusion
SIROCCO '08 Proceedings of the 15th international colloquium on Structural Information and Communication Complexity
Fast Distributed Approximations in Planar Graphs
DISC '08 Proceedings of the 22nd international symposium on Distributed Computing
Dependability Engineering of Silent Self-stabilizing Systems
SSS '09 Proceedings of the 11th International Symposium on Stabilization, Safety, and Security of Distributed Systems
Lyapunov analysis of neural network stability in an adaptive flight control system
SSS'03 Proceedings of the 6th international conference on Self-stabilizing systems
On the performance of Dijkstra's third self-stabilizing algorithm for mutual exclusion
SSS'07 Proceedings of the 9h international conference on Stabilization, safety, and security of distributed systems
A tranformational approach for designing scheduler-oblivious self-stabilizing algorithms
SSS'10 Proceedings of the 12th international conference on Stabilization, safety, and security of distributed systems
Towards automatic convergence verification of self-stabilizing algorithms
SSS'05 Proceedings of the 7th international conference on Self-Stabilizing Systems
Tiara: A self-stabilizing deterministic skip list and skip graph
Theoretical Computer Science
Self-stabilizing local k-placement of replicas with minimal variance
SSS'12 Proceedings of the 14th international conference on Stabilization, Safety, and Security of Distributed Systems
Hi-index | 0.89 |