An algorithm for minimally latent global virtual time
PADS '93 Proceedings of the seventh workshop on Parallel and distributed simulation
The pessimism behind optimistic simulation
PADS '94 Proceedings of the eighth workshop on Parallel and distributed simulation
Optimal efficiency of optimistic contract signing
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
Longest Fault-Free Paths in Star Graphs with Edge Faults
IEEE Transactions on Computers
Embedding Hamiltonian Paths in Faulty Arrangement Graphs with the Backtracking Method
IEEE Transactions on Parallel and Distributed Systems
Self-stabilization with path algebra
Theoretical Computer Science
Gossiping and broadcasting versus computing functions in networks
Discrete Applied Mathematics - Special issue on international workshop on algorithms, combinatorics, and optimization in interconnection networks (IWACOIN '99)
Synchronous, asynchronous, and causally ordered communication
Distributed Computing
Embedding longest fault-free paths onto star graphs with more vertex faults
Theoretical Computer Science
Causality information and fossil collection in timewarp simulations
Proceedings of the 38th conference on Winter simulation
ACM Transactions on Autonomous and Adaptive Systems (TAAS)
DS-RT '07 Proceedings of the 11th IEEE International Symposium on Distributed Simulation and Real-Time Applications
r-semi-groups: a generic approach for designing stabilizing silent tasks
SSS'07 Proceedings of the 9h international conference on Stabilization, safety, and security of distributed systems
Embedding of cycles in the faulty hypercube
ACSAC'05 Proceedings of the 10th Asia-Pacific conference on Advances in Computer Systems Architecture
Towards a new conceptual framework for the modelling of dynamically distributed systems
1FACS'96 Proceedings of the 1st BCS-FACS conference on Northern Formal Methods
Self-stabilizing distributed data fusion
SSS'12 Proceedings of the 14th international conference on Stabilization, Safety, and Security of Distributed Systems
| Hi-index | 0.01 |