Synchronizing clocks in the presence of faults
Journal of the ACM (JACM)
The Byzantine Generals Problem
ACM Transactions on Programming Languages and Systems (TOPLAS)
Byzantine generals in action: implementing fail-stop processors
ACM Transactions on Computer Systems (TOCS)
Maintaining the time in a distributed system
PODC '83 Proceedings of the second annual ACM symposium on Principles of distributed computing
Byzantine clock synchronization
PODC '84 Proceedings of the third annual ACM symposium on Principles of distributed computing
A new fault-tolerant algorithm for clock synchronization
PODC '84 Proceedings of the third annual ACM symposium on Principles of distributed computing
Fault-tolerant clock synchronization
PODC '84 Proceedings of the third annual ACM symposium on Principles of distributed computing
Journal of the ACM (JACM)
On the reliability of consensus-based fault-tolerant distributed computing systems
ACM Transactions on Computer Systems (TOCS)
Clock synchronization in distributed real-time systems
IEEE Transactions on Computers - Special Issue on Real-Time Systems
Asynchronous approximate agreement
PODC '87 Proceedings of the sixth annual ACM Symposium on Principles of distributed computing
A Compiler that Increases the Fault Tolerance of Asynchronous Protocols
IEEE Transactions on Computers
Investigations of fault-tolerant networks of computers
STOC '88 Proceedings of the twentieth annual ACM symposium on Theory of computing
Efficient solution to the distributed mutual exclusion problem
Proceedings of the eighth annual ACM Symposium on Principles of distributed computing
An efficient and fault-tolerant solution for distributed mutual exclusion
ACM Transactions on Computer Systems (TOCS)
Impossibility results for asynchronous PRAM (extended abstract)
SPAA '91 Proceedings of the third annual ACM symposium on Parallel algorithms and architectures
Tolerating failures of continuous-valued sensors
ACM Transactions on Computer Systems (TOCS)
An annotated bibliography of dependable distributed computing
ACM SIGOPS Operating Systems Review
The generalized tree quorum protocol: an efficient approach for managing replicated data
ACM Transactions on Database Systems (TODS)
The consensus problem in fault-tolerant computing
ACM Computing Surveys (CSUR)
Wait-free clock synchronization
PODC '93 Proceedings of the twelfth annual ACM symposium on Principles of distributed computing
The asynchronous computability theorem for t-resilient tasks
STOC '93 Proceedings of the twenty-fifth annual ACM symposium on Theory of computing
Are wait-free algorithms fast?
Journal of the ACM (JACM)
A simple constructive computability theorem for wait-free computation
STOC '94 Proceedings of the twenty-sixth annual ACM symposium on Theory of computing
IEEE Transactions on Parallel and Distributed Systems
Easy impossibility proofs for distributed consensus problems
Proceedings of the fourth annual ACM symposium on Principles of distributed computing
Real-Time Systems - Special issue on global time in large scale distributed real-time systems, part I
Real-Time Systems - Special issue on global time in large scale distributed real-time systems, part II
The Tree Quorum Protocol: An Efficient Approach for Managing Replicated Data
VLDB '90 Proceedings of the 16th International Conference on Very Large Data Bases
Middleware Support for Voting and Data Fusion
DSN '01 Proceedings of the 2001 International Conference on Dependable Systems and Networks (formerly: FTCS)
Fault Tolerance in Collaborative Sensor Networks for Target Detection
IEEE Transactions on Computers
Self-stabilizing clock synchronization in the presence of Byzantine faults
Journal of the ACM (JACM)
Computable obstructions to wait-free computability
Distributed Computing
Low-cost clock synchronization
Distributed Computing
Necessary and sufficient conditions for broadcast consensus protocols
Distributed Computing
Surviving Errors in Component-Based Software
EUROMICRO '05 Proceedings of the 31st EUROMICRO Conference on Software Engineering and Advanced Applications
A self-adjusting algorithm for byzantine agreement
Distributed Computing
A Logic Framework for Verification of Timed Algorithms
Fundamenta Informaticae - Continuous Time Paradigms in Logic and Automata
ACM Transactions on Autonomous and Adaptive Systems (TAAS)
Secure Time Synchronization in Sensor Networks
ACM Transactions on Information and System Security (TISSEC)
Note: Strong order-preserving renaming in the synchronous message passing model
Theoretical Computer Science
Optimal resilience asynchronous approximate agreement
OPODIS'04 Proceedings of the 8th international conference on Principles of Distributed Systems
Clock synchronization issues in multi-cluster time-triggered networks
MMB&DFT'10 Proceedings of the 15th international GI/ITG conference on Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance
Design patterns for graceful degradation
Transactions on Pattern Languages of Programming I
A Logic Framework for Verification of Timed Algorithms
Fundamenta Informaticae - Continuous Time Paradigms in Logic and Automata
| Hi-index | 0.01 |