Personensuche
X
?
Proceedings of the 43rd ACM Symposium on Principles of Distributed Computing ,
1
Brief Announcement: Understanding Read-Write Wait-Free Cove..:
, In:
?
Proceedings of the 43rd ACM Symposium on Principles of Distributed Computing ,
2
Asynchrony-Resilient Sleepy Total-Order Broadcast Protocols:
, In:
?
Proceedings of the 43rd ACM Symposium on Principles of Distributed Computing ,
3
TetraBFT: Reducing Latency of Unauthenticated, Responsive B..:
, In:
?
Lecture Notes in Computer Science; Stabilization, Safety, and Security of Distributed Systems ,
4
Invited Paper: Time Is Not a Healer, but It Sure Makes Hind..:
, In:
?
Computer Aided Verification; Lecture Notes in Computer Science ,
7
Verification of Threshold-Based Distributed Algorithms by D..:
, In:
?
Proceedings of the 27th ACM Symposium on Operating Systems Principles ,
8
Fast and secure global payments with Stellar:
, In:
?
Proceedings of the 19th International Conference on Distributed Computing and Networking ,
10
The Assignment Problem:
, In:
?
Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation ,
11
Modularity for decidability of deductive verification with ..:
, In:
?
2017 IEEE 37th International Conference on Distributed Computing Systems (ICDCS) ,
12