| Publication | Date of Publication | Type |
|---|
scientific article; zbMATH DE number 7832771 (Why is no real title available?)
| 2024-04-15 | Paper |
Expected linear round synchronization: the missing link for linear Byzantine SMR
Distributed Computing | 2024-04-09 | Paper |
All You Need is DAG
Proceedings of the 2021 ACM Symposium on Principles of Distributed Computing | 2024-03-26 | Paper |
Brief Announcement: Make Every Word Count: Adaptive Byzantine Agreement with Fewer Words
Proceedings of the 2022 ACM Symposium on Principles of Distributed Computing | 2024-03-26 | Paper |
Tame the Wild with Byzantine Linearizability: Reliable Broadcast, Snapshots, and Asset Transfer
| 2023-12-08 | Paper |
scientific article; zbMATH DE number 7774296 (Why is no real title available?)
| 2023-12-08 | Paper |
Intermediate value linearizability: a quantitative correctness criterion
| 2023-11-02 | Paper |
Not a COINcidence: sub-quadratic asynchronous Byzantine agreement WHP
| 2023-11-02 | Paper |
Expected linear round synchronization: the missing link for linear Byzantine SMR
| 2023-11-02 | Paper |
scientific article; zbMATH DE number 7650854 (Why is no real title available?)
| 2023-02-07 | Paper |
Dynamic reconfiguration: abstraction and optimal asynchronous solution
| 2023-02-03 | Paper |
Integrated bounds for disintegrated storage
| 2022-07-21 | Paper |
Brief Announcement: Not a COINcidence: Sub-Quadratic Asynchronous Byzantine Agreement WHP
Proceedings of the 39th Symposium on Principles of Distributed Computing | 2021-03-15 | Paper |
Brief Announcement: Intermediate Value Linearizability: A Quantitative Correctness Criterion
Proceedings of the 39th Symposium on Principles of Distributed Computing | 2021-03-15 | Paper |
Fast Concurrent Data Sketches
Proceedings of the 2019 ACM Symposium on Principles of Distributed Computing | 2021-01-20 | Paper |
Introduction
Concurrency: the Works of Leslie Lamport | 2020-11-10 | Paper |
A constructive approach for proving data structures' linearizability
| 2018-08-24 | Paper |
Distributed Compressed Sensing for Static and Time-Varying Networks
IEEE Transactions on Signal Processing | 2018-08-22 | Paper |
Dynamic atomic snapshots
| 2018-07-18 | Paper |
On liveness of dynamic storage
| 2018-04-12 | Paper |
Dynamic voting for consistent primary components
Proceedings of the sixteenth annual ACM symposium on Principles of distributed computing - PODC '97 | 2017-09-29 | Paper |
Dynamic reconfiguration: a tutorial
| 2017-09-29 | Paper |
Space bounds for reliable storage: fundamental limits of coding
Proceedings of the 2016 ACM Symposium on Principles of Distributed Computing | 2017-09-29 | Paper |
Composing ordered sequential consistency
Information Processing Letters | 2017-04-20 | Paper |
On avoiding spare aborts in transactional memory
Theory of Computing Systems | 2015-09-04 | Paper |
Byzantine disk paxos
Proceedings of the twenty-third annual ACM symposium on Principles of distributed computing | 2015-08-03 | Paper |
Veracity radius, capturing the locality of distributed computations
Proceedings of the twenty-fifth annual ACM symposium on Principles of distributed computing | 2015-03-10 | Paper |
Timeliness, failure-detectors, and consensus performance
Proceedings of the twenty-fifth annual ACM symposium on Principles of distributed computing | 2015-03-10 | Paper |
EquiCast, scalable multicast with selfish users
Proceedings of the twenty-fifth annual ACM symposium on Principles of distributed computing | 2015-03-10 | Paper |
Distributed data classification in sensor networks
Proceedings of the 29th ACM SIGACT-SIGOPS symposium on Principles of distributed computing | 2015-03-02 | Paper |
LiMoSense: live monitoring in dynamic sensor networks
Distributed Computing | 2015-02-23 | Paper |
Brahms
Proceedings of the twenty-seventh ACM symposium on Principles of distributed computing | 2014-12-12 | Paper |
Evaluating the running time of a communication round over the Internet
Proceedings of the twenty-first annual symposium on Principles of distributed computing | 2014-07-25 | Paper |
Dynamic atomic storage without consensus
Proceedings of the 28th ACM symposium on Principles of distributed computing | 2014-07-23 | Paper |
Correctness of gossip-based membership under message loss
Proceedings of the 28th ACM symposium on Principles of distributed computing | 2014-07-23 | Paper |
The overhead of consensus failure recovery
Distributed Computing | 2013-06-20 | Paper |
Byzantine disk paxos: optimal resilience with Byzantine shared memory
Distributed Computing | 2013-06-13 | Paper |
Reconfiguring replicated atomic storage: a tutorial
| 2013-01-28 | Paper |
Araneola: a scalable reliable multicast system for dynamic environments
Journal of Parallel and Distributed Computing | 2012-07-26 | Paper |
Distributed data clustering in sensor networks
Distributed Computing | 2012-02-06 | Paper |
SMV: selective multi-versioning STM
Lecture Notes in Computer Science | 2011-10-28 | Paper |
Fail-aware untrusted storage
SIAM Journal on Computing | 2011-07-29 | Paper |
Dynamic atomic storage without consensus
Journal of the ACM | 2011-07-14 | Paper |
Correctness of gossip-based membership under message loss
SIAM Journal on Computing | 2011-04-04 | Paper |
Fork sequential consistency is blocking
Information Processing Letters | 2010-06-16 | Paper |
Wait-free regular storage from Byzantine components
Information Processing Letters | 2010-01-29 | Paper |
Impossibility Results and Lower Bounds for Consensus under Link Failures
SIAM Journal on Computing | 2009-11-06 | Paper |
Brahms: Byzantine resilient random membership sampling
Computer Networks | 2009-08-26 | Paper |
EquiCast: scalable multicast with selfish users
Computer Networks | 2009-08-26 | Paper |
Efficient Dynamic Aggregation
Lecture Notes in Computer Science | 2008-09-09 | Paper |
Amnesic Distributed Storage
Lecture Notes in Computer Science | 2008-09-02 | Paper |
Scalable Load-Distance Balancing
Lecture Notes in Computer Science | 2008-09-02 | Paper |
Distributed Computing
Lecture Notes in Computer Science | 2006-11-01 | Paper |
scientific article; zbMATH DE number 2013819 (Why is no real title available?)
| 2003-12-07 | Paper |
scientific article; zbMATH DE number 1950670 (Why is no real title available?)
| 2003-07-17 | Paper |
scientific article; zbMATH DE number 1950671 (Why is no real title available?)
| 2003-07-17 | Paper |
A simple proof of the uniform consensus synchronous lower bound.
Information Processing Letters | 2003-01-21 | Paper |
A Virtually Synchronous Group Multicast Algorithm for WANs: Formal Approach
SIAM Journal on Computing | 2003-01-05 | Paper |
scientific article; zbMATH DE number 1759734 (Why is no real title available?)
| 2002-07-15 | Paper |
scientific article; zbMATH DE number 1263989 (Why is no real title available?)
| 1999-11-29 | Paper |
Increasing the resilience of distributed and replicated database systems
Journal of Computer and System Sciences | 1999-04-26 | Paper |
