Journal of the ACM (JACM)
Optimization models for configuring distributed computer systems
IEEE Transactions on Computers
Substituting for real time and common knowledge in asynchronous distributed systems
PODC '87 Proceedings of the sixth annual ACM Symposium on Principles of distributed computing
Automatically increasing the fault-tolerance of distributed systems
PODC '88 Proceedings of the seventh annual ACM Symposium on Principles of distributed computing
Maintaining availability in partitioned replicated databases
ACM Transactions on Database Systems (TODS)
Early-delivery atomic broadcast
PODC '90 Proceedings of the ninth annual ACM symposium on Principles of distributed computing
A characterization of eventual Byzantine agreement
PODC '90 Proceedings of the ninth annual ACM symposium on Principles of distributed computing
Simulating synchronized clocks and common knowledge in distributed systems
Journal of the ACM (JACM)
A formally verified algorithm for clock synchronization under a hybrid fault model
PODC '94 Proceedings of the thirteenth annual ACM symposium on Principles of distributed computing
CSC '91 Proceedings of the 19th annual conference on Computer Science
Simplifying fault-tolerance: providing the abstraction of crash failures
Journal of the ACM (JACM)
Broadcast Protocols for Distributed Systems
IEEE Transactions on Parallel and Distributed Systems
Uniform consensus is harder than consensus
Journal of Algorithms
Optimal early stopping uniform consensus in synchronous systems with process omission failures
Proceedings of the sixteenth annual ACM symposium on Parallelism in algorithms and architectures
Common knowledge and consistent simultaneous coordination
Distributed Computing
Adaptive timeliness of consensus in presence of crash and timing faults
Journal of Parallel and Distributed Computing
Agreement in synchronous networks with ubiquitous faults
Theoretical Computer Science
Realistic Failures in Secure Multi-party Computation
TCC '09 Proceedings of the 6th Theory of Cryptography Conference on Theory of Cryptography
Secure failure detection in TrustedPals
SSS'07 Proceedings of the 9h international conference on Stabilization, safety, and security of distributed systems
On the probabilistic omission adversary
SSS'07 Proceedings of the 9h international conference on Stabilization, safety, and security of distributed systems
Randomization can be a healer: consensus with dynamic omission failures
DISC'09 Proceedings of the 23rd international conference on Distributed computing
Communication-efficient failure detection and consensus in omission environments
Information Processing Letters
Synchronous consensus under hybrid process and link failures
Theoretical Computer Science
SIROCCO'06 Proceedings of the 13th international conference on Structural Information and Communication Complexity
Gracefully degrading fair exchange with security modules
EDCC'05 Proceedings of the 5th European conference on Dependable Computing
Majority and unanimity in synchronous networks with ubiquitous dynamic faults
SIROCCO'05 Proceedings of the 12th international conference on Structural Information and Communication Complexity
Revisiting failure detection and consensus in omission failure environments
ICTAC'05 Proceedings of the Second international conference on Theoretical Aspects of Computing
Verifying fault-tolerant distributed systems using object-based graph grammars
LADC'05 Proceedings of the Second Latin-American conference on Dependable Computing
TrustedPals: secure multiparty computation implemented with smart cards
ESORICS'06 Proceedings of the 11th European conference on Research in Computer Security
Secure computation with partial message loss
TCC'06 Proceedings of the Third conference on Theory of Cryptography
From crash-stop to permanent omission: automatic transformation and weakest failure detectors
DISC'07 Proceedings of the 21st international conference on Distributed Computing
Early-deciding consensus is expensive
Proceedings of the 2013 ACM symposium on Principles of distributed computing
Hi-index | 0.01 |