| Publication | Date of Publication | Type |
|---|
Byzantine-tolerant distributed grow-only sets: specification and applications
Distributed Computing | 2026-05-13 | Paper |
| Relaxed queues and stacks from read/write operations | 2026-03-31 | Paper |
Self-stabilizing multivalued consensus in the presence of Byzantine faults and asynchrony
Theoretical Computer Science | 2025-04-16 | Paper |
Self-stabilizing multivalued consensus in asynchronous crash-prone systems
Theoretical Computer Science | 2024-12-02 | Paper |
Process-commutative distributed objects: from cryptocurrencies to Byzantine-fault-tolerant CRDTs
Theoretical Computer Science | 2024-10-07 | Paper |
Good-case early-stopping latency of synchronous Byzantine reliable broadcast: the deterministic case
Distributed Computing | 2024-07-26 | Paper |
| Detecting diamond necklaces in labeled dags (a problem from distributed debugging) | 2024-06-05 | Paper |
Brief Announcement: The MBroadcast Abstraction
Proceedings of the 2023 ACM Symposium on Principles of Distributed Computing | 2024-03-26 | Paper |
Self-stabilizing indulgent zero-degrading binary consensus
Theoretical Computer Science | 2024-02-20 | Paper |
| Mutual exclusion vs consensus: both sides of the same coin? | 2024-02-06 | Paper |
About informatics, distributed computing, and our job: a personal view
Structural Information and Communication Complexity | 2024-01-11 | Paper |
Asynchronous Byzantine reliable broadcast with a message adversary
Theoretical Computer Science | 2023-10-12 | Paper |
Self-stabilizing Byzantine fault-tolerant repeated reliable broadcast
Theoretical Computer Science | 2023-09-07 | Paper |
Optimal algorithms for synchronous Byzantine \(k\)-set agreement
Theoretical Computer Science | 2023-09-07 | Paper |
Bee's strategy against Byzantines. Replacing Byzantine participants (extended abstract)
Lecture Notes in Computer Science | 2023-08-02 | Paper |
Set agreement and renaming in the presence of contention-related crash failures
Lecture Notes in Computer Science | 2023-08-02 | Paper |
Reaching agreement in the presence of contention-related crash failures
Theoretical Computer Science | 2023-06-21 | Paper |
Set-linearizable implementations from read/write operations: sets, fetch \& increment, stacks and queues with multiplicity
Distributed Computing | 2023-06-19 | Paper |
Optimal algorithms for synchronous Byzantine \(k\)-set agreement
Lecture Notes in Computer Science | 2023-06-12 | Paper |
Reaching consensus in the presence of contention-related crash failures
Lecture Notes in Computer Science | 2023-06-12 | Paper |
Self-stabilizing Byzantine fault-tolerant repeated reliable broadcast
Lecture Notes in Computer Science | 2023-06-12 | Paper |
| Byzantine-Tolerant Reliable Broadcast in the Presence of Silent Churn | 2023-04-21 | Paper |
| k-Immediate Snapshot and x-Set Agreement: How Are They Related? | 2023-03-21 | Paper |
| Brief Announcement: Leader Election in the ADD Communication Model | 2023-03-21 | Paper |
| scientific article; zbMATH DE number 7650856 (Why is no real title available?) | 2023-02-07 | Paper |
| Which broadcast abstraction captures \(k\)-set agreement? | 2023-02-03 | Paper |
Election in fully anonymous shared memory systems: tight space bounds and algorithms
(available as arXiv preprint) | 2022-11-11 | Paper |
Corrigendum to: ``Mutual exclusion in fully anonymous shared memory systems''
Information Processing Letters | 2022-10-28 | Paper |
An eventually perfect failure detector for networks of arbitrary topology connected with ADD channels using time-to-live values
Parallel Processing Letters | 2022-07-08 | Paper |
On the versatility of Bracha's Byzantine reliable broadcast algorithm
Parallel Processing Letters | 2022-07-08 | Paper |
A simple object that spans the whole consensus hierarchy
Parallel Processing Letters | 2022-07-04 | Paper |
Distributed computability: relating \(k\)-immediate snapshot and \(x\)-set agreement
Information and Computation | 2022-06-08 | Paper |
A visit to mutual exclusion in seven dates
Theoretical Computer Science | 2022-05-10 | Paper |
| scientific article; zbMATH DE number 7515766 (Why is no real title available?) | 2022-04-28 | Paper |
Concurrent crash-prone shared memory systems. A few theoretical notions
Synthesis Lectures on Distributed Computing Theory | 2022-04-19 | Paper |
Contention-related crash failures: definitions, agreement algorithms, and impossibility results
Theoretical Computer Science | 2022-03-01 | Paper |
Set-constrained delivery broadcast: a communication abstraction for read/write implementable distributed objects
Theoretical Computer Science | 2021-10-06 | Paper |
Byzantine-tolerant causal broadcast
Theoretical Computer Science | 2021-09-06 | Paper |
Money transfer made simple: a specification, a generic algorithm, and its proof
(available as arXiv preprint) | 2021-08-30 | Paper |
| Money transfer made simple: a specification, a generic algorithm, and its proof | 2021-08-30 | Paper |
From Bezout's Identity to Space-Optimal Election in Anonymous Memory Systems
Proceedings of the 39th Symposium on Principles of Distributed Computing | 2021-03-15 | Paper |
Optimal Memory-Anonymous Symmetric Deadlock-Free Mutual Exclusion
Proceedings of the 2019 ACM Symposium on Principles of Distributed Computing | 2021-01-20 | Paper |
Time-efficient read/write register in crash-prone asynchronous message-passing systems
Computing | 2021-01-15 | Paper |
Condition-based consensus solvability: a hierarchy of conditions and efficient protocols
Distributed Computing | 2020-12-04 | Paper |
| A simple and fast asynchronous consensus protocol based on a weak failure detector | 2020-12-03 | Paper |
Communication-based prevention of useless checkpoints in distributed computations
Distributed Computing | 2020-12-03 | Paper |
Leader-based de-anonymization of an anonymous read/write memory
Theoretical Computer Science | 2020-08-25 | Paper |
| scientific article; zbMATH DE number 7228882 (Why is no real title available?) | 2020-08-06 | Paper |
Mutual exclusion in fully anonymous shared memory systems
Information Processing Letters | 2020-04-03 | Paper |
| Anonymous Read/write memory: leader election and de-anonymization | 2020-03-03 | Paper |
| An informal visit to the wonderful land of consensus numbers and beyond | 2020-01-13 | Paper |
scientific article; zbMATH DE number 7141420 (Why is no real title available?)
(available as arXiv preprint) | 2019-12-09 | Paper |
| scientific article; zbMATH DE number 7141420 (Why is no real title available?) | 2019-12-09 | Paper |
Making local algorithms wait-free: the case of ring coloring
Lecture Notes in Computer Science | 2019-11-22 | Paper |
| Fault-tolerant message-passing distributed systems. An algorithmic approach | 2019-10-18 | Paper |
Crash-tolerant causal broadcast in \(O(n)\) messages
Information Processing Letters | 2019-09-20 | Paper |
| An introductory tutorial to concurrency-related distributed recursion | 2019-07-03 | Paper |
| Distributed universal constructions: a guided tour | 2019-07-03 | Paper |
Making local algorithms wait-free: the case of ring coloring
Theory of Computing Systems | 2019-06-21 | Paper |
Unifying Concurrent Objects and Distributed Tasks
Journal of the ACM | 2019-02-25 | Paper |
Vertex coloring with communication and local memory constraints in synchronous broadcast networks
(available as arXiv preprint) | 2018-12-07 | Paper |
| Specifying concurrent problems: beyond linearizability and up to tasks (extended abstract) | 2018-08-24 | Paper |
| Are Byzantine failures really different from crash failures? | 2018-08-16 | Paper |
Signature-free asynchronous binary Byzantine consensus with \(t<n/3\), \(O(n^2)\) messages, and \(O(1)\) expected time
Journal of the ACM | 2018-08-02 | Paper |
| A pleasant stroll through the land of distributed machines, computation, and universality | 2018-06-26 | Paper |
Asynchronous Agreement and Its Relation with Error-Correcting Codes
IEEE Transactions on Computers | 2018-06-12 | Paper |
Design and Performance Evaluation of Efficient Consensus Protocols for Mobile Ad Hoc Networks
IEEE Transactions on Computers | 2018-06-12 | Paper |
Anonymous obstruction-free (n,k)-set agreement with n-k+1 atomic read/write registers
Distributed Computing | 2018-04-11 | Paper |
Randomized k-set agreement in crash-prone and Byzantine asynchronous systems
Theoretical Computer Science | 2017-12-20 | Paper |
A fast contention-friendly binary search tree
Parallel Processing Letters | 2017-12-15 | Paper |
Trading off t-resilience for efficiency in asynchronous Byzantine reliable broadcast
Parallel Processing Letters | 2017-12-15 | Paper |
Signature-free asynchronous Byzantine systems: from multivalued to binary consensus with \(t<n/3\), \(O(n^2)\) messages, and constant time
Acta Informatica | 2017-09-29 | Paper |
Two-bit messages are sufficient to implement atomic read/write registers in crash-prone systems
Proceedings of the 2016 ACM Symposium on Principles of Distributed Computing | 2017-09-29 | Paper |
| Signature-free communication and agreement in the presence of Byzantine processes | 2017-09-29 | Paper |
Anonymous obstruction-free \((n,k)\)-set agreement with \(n-k+1\) atomic read/write registers
(available as arXiv preprint) | 2017-09-29 | Paper |
Atomic read/write memory in signature-free Byzantine asynchronous message-passing systems
Theory of Computing Systems | 2017-08-15 | Paper |
From wait-free to arbitrary concurrent solo executions in colorless distributed computing
Theoretical Computer Science | 2017-05-22 | Paper |
Predicate Detection in Asynchronous Distributed Systems: A Probabilistic Approach
IEEE Transactions on Computers | 2017-05-16 | Paper |
From causal consistency to sequential consistency in shared memory systems
Lecture Notes in Computer Science | 2017-01-19 | Paper |
t-resilient immediate snapshot Is impossible
Structural Information and Communication Complexity | 2016-12-01 | Paper |
A distributed leader election algorithm in crash-recovery and omissive systems
Information Processing Letters | 2016-11-23 | Paper |
Distributed universality
Algorithmica | 2016-10-21 | Paper |
A necessary condition for Byzantine \(k\)-set agreement
Information Processing Letters | 2016-08-16 | Paper |
From binary consensus to multivalued consensus in asynchronous message-passing systems
Information Processing Letters | 2016-06-16 | Paper |
Generalized symmetry breaking tasks and nondeterminism in concurrent objects
SIAM Journal on Computing | 2016-04-25 | Paper |
Implementing set objects in dynamic distributed systems
Journal of Computer and System Sciences | 2016-04-18 | Paper |
Minimal synchrony for Byzantine consensus
Proceedings of the 2015 ACM Symposium on Principles of Distributed Computing | 2016-03-23 | Paper |
Stabilizing server-based storage in Byzantine asynchronous message-passing systems (extended abstract)
Proceedings of the 2015 ACM Symposium on Principles of Distributed Computing | 2016-03-23 | Paper |
A hierarchy of conditions for consensus solvability
Proceedings of the twentieth annual ACM symposium on Principles of distributed computing | 2016-03-04 | Paper |
Communication patterns and input patterns in distributed computing (invited talk)
Structural Information and Communication Complexity | 2016-01-08 | Paper |
Signature-free asynchronous Byzantine systems: from multivalued to binary consensus with \(t<n/3\), \(O(n^{2})\) messages, and constant time
Structural Information and Communication Complexity | 2016-01-08 | Paper |
Conditions on input vectors for consensus solvability in asynchronous distributed systems
Journal of the ACM | 2015-11-12 | Paper |
Rollback-dependency trackability
Proceedings of the eighteenth annual ACM symposium on Principles of distributed computing | 2015-09-11 | Paper |
Timed consistency for shared distributed objects
Proceedings of the eighteenth annual ACM symposium on Principles of distributed computing | 2015-09-11 | Paper |
Signature-free asynchronous byzantine consensus with t < n/3 and o(n <sup>2</sup> ) messages
Proceedings of the 2014 ACM symposium on Principles of distributed computing | 2015-09-03 | Paper |
The combined power of conditions and failure detectors to solve asynchronous set agreement
Proceedings of the twenty-fourth annual ACM symposium on Principles of distributed computing | 2015-03-10 | Paper |
Irreducibility and additivity of set agreement-oriented failure detector classes
Proceedings of the twenty-fifth annual ACM symposium on Principles of distributed computing | 2015-03-10 | Paper |
\(K\)-set agreement with limited accuracy failure detectors
Proceedings of the nineteenth annual ACM symposium on Principles of distributed computing | 2015-03-03 | Paper |
Synchrony weakened by message adversaries vs asynchrony restricted by failure detectors
Proceedings of the 2013 ACM symposium on Principles of distributed computing | 2015-03-02 | Paper |
The multiplicative power of consensus numbers
Proceedings of the 29th ACM SIGACT-SIGOPS symposium on Principles of distributed computing | 2015-03-02 | Paper |
On asymmetric progress conditions
Proceedings of the 29th ACM SIGACT-SIGOPS symposium on Principles of distributed computing | 2015-03-02 | Paper |
Conditions on input vectors for consensus solvability in asynchronous distributed systems
Proceedings of the thirty-third annual ACM symposium on Theory of computing | 2015-02-27 | Paper |
