| Publication | Date of Publication | Type |
|---|
| https://portal.mardi4nfdi.de/entity/Q6128601 | 2024-04-15 | Paper |
| Expected linear round synchronization: the missing link for linear Byzantine SMR | 2024-04-09 | Paper |
| All You Need is DAG | 2024-03-26 | Paper |
| Brief Announcement: Make Every Word Count: Adaptive Byzantine Agreement with Fewer Words | 2024-03-26 | Paper |
| [https://portal.mardi4nfdi.de/wiki/Publication:6083380 Tame the Wild with Byzantine Linearizability: Reliable Broadcast,
Snapshots, and Asset Transfer] | 2023-12-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q6083423 | 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 |
| https://portal.mardi4nfdi.de/entity/Q5874230 | 2023-02-07 | Paper |
| Dynamic reconfiguration: abstraction and optimal asynchronous solution | 2023-02-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5090901 | 2022-07-21 | Paper |
| Brief Announcement: Not a COINcidence: Sub-Quadratic Asynchronous Byzantine Agreement WHP | 2021-03-15 | Paper |
| Brief Announcement: Intermediate Value Linearizability: A Quantitative Correctness Criterion | 2021-03-15 | Paper |
| Fast Concurrent Data Sketches | 2021-01-20 | Paper |
| Introduction | 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 | 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 | 2017-09-29 | Paper |
| Space Bounds for Reliable Storage | 2017-09-29 | Paper |
| Dynamic Reconfiguration: A Tutorial (Tutorial) | 2017-09-29 | Paper |
| Composing ordered sequential consistency | 2017-04-20 | Paper |
| On avoiding spare aborts in transactional memory | 2015-09-04 | Paper |
| Byzantine disk paxos | 2015-08-03 | Paper |
| EquiCast | 2015-03-10 | Paper |
| Veracity radius | 2015-03-10 | Paper |
| Timeliness, failure-detectors, and consensus performance | 2015-03-10 | Paper |
| Distributed data classification in sensor networks | 2015-03-02 | Paper |
| LiMoSense: live monitoring in dynamic sensor networks | 2015-02-23 | Paper |
| Brahms | 2014-12-12 | Paper |
| Evaluating the running time of a communication round over the internet | 2014-07-25 | Paper |
| Dynamic atomic storage without consensus | 2014-07-23 | Paper |
| Correctness of gossip-based membership under message loss | 2014-07-23 | Paper |
| The overhead of consensus failure recovery | 2013-06-20 | Paper |
| Byzantine disk paxos: optimal resilience with Byzantine shared memory | 2013-06-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4904138 | 2013-01-28 | Paper |
| Araneola: a scalable reliable multicast system for dynamic environments | 2012-07-26 | Paper |
| Distributed data clustering in sensor networks | 2012-02-06 | Paper |
| SMV: Selective Multi-Versioning STM | 2011-10-28 | Paper |
| Fail-Aware Untrusted Storage | 2011-07-29 | Paper |
| Dynamic atomic storage without consensus | 2011-07-14 | Paper |
| Correctness of Gossip-Based Membership under Message Loss | 2011-04-04 | Paper |
| Fork sequential consistency is blocking | 2010-06-16 | Paper |
| Wait-free regular storage from Byzantine components | 2010-01-29 | Paper |
| Impossibility Results and Lower Bounds for Consensus under Link Failures | 2009-11-06 | Paper |
| Brahms: Byzantine resilient random membership sampling | 2009-08-26 | Paper |
| EquiCast: scalable multicast with selfish users | 2009-08-26 | Paper |
| Efficient Dynamic Aggregation | 2008-09-09 | Paper |
| Scalable Load-Distance Balancing | 2008-09-02 | Paper |
| Amnesic Distributed Storage | 2008-09-02 | Paper |
| Distributed Computing | 2006-11-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4437111 | 2003-12-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4413399 | 2003-07-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4413400 | 2003-07-17 | Paper |
| A simple proof of the uniform consensus synchronous lower bound. | 2003-01-21 | Paper |
| A Virtually Synchronous Group Multicast Algorithm for WANs: Formal Approach | 2003-01-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4536749 | 2002-07-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4232880 | 1999-11-29 | Paper |
| Increasing the resilience of distributed and replicated database systems | 1999-04-26 | Paper |
