| No. |
Title |
Author |
Year |
| 1 |
Brief Announcement: Multi-Valued Connected Consensus: A New Perspective on Crusader Agreement and Adopt-Commit |
Attiya, Hagit et al. |
2023 |
| 2 |
Brief Announcement: Recoverable and Detectable Self-Implementations of Swap |
Lev Lehman, Tomer et al. |
2023 |
| 3 |
Faithful Simulation of Randomized BFT Protocols on Block DAGs |
Attiya, Hagit et al. |
2023 |
| 4 |
Formal Methods and Distributed Computing: Stronger Together (Dagstuhl Seminar 22492) |
Attiya, Hagit et al. |
2023 |
| 5 |
One Step Forward, One Step Back: FLP-Style Proofs and the Round-Reduction Technique for Colorless Tasks |
Attiya, Hagit et al. |
2023 |
| 6 |
The Step Complexity of Multidimensional Approximate Agreement |
Attiya, Hagit et al. |
2023 |
| 7 |
Topological Characterization of Task Solvability in General Models of Computation |
Attiya, Hagit et al. |
2023 |
| 8 |
Recoverable and Detectable Fetch&Add |
Nahum, Liad et al. |
2022 |
| 9 |
Impossibility of Strongly-Linearizable Message-Passing Objects via Simulation by Single-Writer Registers |
Attiya, Hagit et al. |
2021 |
| 10 |
Locally Solvable Tasks and the Limitations of Valency Arguments |
Attiya, Hagit et al. |
2021 |
| 11 |
Optimal Resilience in Systems That Mix Shared Memory and Message Passing |
Attiya, Hagit et al. |
2021 |
| 12 |
Front Matter, Table of Contents, Preface, Conference Organization |
Attiya, Hagit |
2020 |
| 13 |
LIPIcs, Volume 179, DISC 2020, Complete Volume |
Attiya, Hagit |
2020 |
| 14 |
Privatization-Safe Transactional Memories |
Khyzha, Artem et al. |
2019 |
| 15 |
Putting Strong Linearizability in Context: Preserving Hyperproperties in Programs That Use Concurrent Objects |
Attiya, Hagit et al. |
2019 |
| 16 |
Lower Bounds on the Amortized Time Complexity of Shared Objects |
Attiya, Hagit et al. |
2018 |
| 17 |
Remote Memory References at Block Granularity |
Attiya, Hagit et al. |
2018 |
| 18 |
Nontrivial and Universal Helping for Wait-Free Queues and Stacks |
Attiya, Hagit et al. |
2016 |
| 19 |
Poly-Logarithmic Adaptive Algorithms Require Unconditional Primitives |
Attiya, Hagit et al. |
2016 |
