| Publication | Date of Publication | Type |
|---|
Blunting an Adversary Against Randomized Concurrent Programs with Linearizable Implementations
Proceedings of the 2022 ACM Symposium on Principles of Distributed Computing | 2024-03-26 | Paper |
scientific article; zbMATH DE number 7774258 (Why is no real title available?)
(available as arXiv preprint) | 2023-12-08 | Paper |
Relaxed Data Types as Consistency Conditions
Lecture Notes in Computer Science | 2022-11-04 | Paper |
| scientific article; zbMATH DE number 7561429 (Why is no real title available?) | 2022-07-21 | Paper |
Implementing \(\lozenge P\) with bounded messages on a network of ADD channels
Parallel Processing Letters | 2022-07-04 | Paper |
Store-collect in the presence of continuous churn with application to snapshots and lattice agreement
Information and Computation | 2022-06-08 | Paper |
Brief announcement: Collect in the presence of continuous churn with application to snapshots and lattice agreement
Proceedings of the 39th Symposium on Principles of Distributed Computing | 2021-03-15 | Paper |
How Fast Reads Affect Multi-Valued Register Simulations
Proceedings of the 2019 ACM Symposium on Principles of Distributed Computing | 2021-01-20 | Paper |
Anomalies and similarities among consensus numbers of variously-relaxed queues
Computing | 2021-01-15 | Paper |
Distributed reconfiguration of metamorphic robot chains
Distributed Computing | 2020-12-04 | Paper |
Using adaptive timeouts to achieve at-most-once message delivery
Distributed Computing | 2020-11-30 | Paper |
Shared memory and the Bakery algorithm
Concurrency: the Works of Leslie Lamport | 2020-11-10 | Paper |
Relaxed data types as consistency conditions
Algorithms | 2020-01-13 | Paper |
Improved time bounds for linearizable implementations of abstract data types
Information and Computation | 2018-12-03 | Paper |
Time complexity of link reversal routing
ACM Transactions on Algorithms | 2018-10-30 | Paper |
Simulating a shared register in an asynchronous system that never stops changing (extended abstract)
(available as arXiv preprint) | 2018-08-24 | Paper |
| Generic proofs of consensus numbers for abstract data types | 2017-09-29 | Paper |
Wait-free clock synchronization
Proceedings of the twelfth annual ACM symposium on Principles of distributed computing - PODC '93 | 2017-09-29 | Paper |
The impact of time on the session problem
Proceedings of the eleventh annual ACM symposium on Principles of distributed computing - PODC '92 | 2017-08-21 | Paper |
Time bounds on synchronization in a periodic distributed system
Information Processing Letters | 2016-05-26 | Paper |
Distributed reconfiguration of metamorphic robot chains
Proceedings of the nineteenth annual ACM symposium on Principles of distributed computing | 2015-03-03 | Paper |
Dynamic regular registers in systems with churn
Theoretical Computer Science | 2014-01-13 | Paper |
A leader election algorithm for dynamic networks with causal clocks
Distributed Computing | 2013-08-26 | Paper |
Link reversal routing with binary link labels: work complexity
SIAM Journal on Computing | 2013-07-24 | Paper |
Randomized registers and iterative algorithms
Distributed Computing | 2013-06-07 | Paper |
Failure detectors encapsulate fairness
Distributed Computing | 2013-02-04 | Paper |
Multiwriter consistency conditions for shared memory registers
SIAM Journal on Computing | 2011-05-17 | Paper |
Self-stabilizing clock synchronization in the presence of Byzantine faults
Journal of the ACM | 2011-02-01 | Paper |
Scheduling sensors by tiling lattices
Parallel Processing Letters | 2010-09-29 | Paper |
Multi-writer consistency conditions for shared memory objects
Lecture Notes in Computer Science | 2010-02-23 | Paper |
Crash-Quiescent Failure Detection
Lecture Notes in Computer Science | 2009-11-19 | Paper |
Self-stabilizing dynamic mutual exclusion for mobile ad hoc networks
Journal of Parallel and Distributed Computing | 2005-09-28 | Paper |
| scientific article; zbMATH DE number 2081023 (Why is no real title available?) | 2004-08-04 | Paper |
The Impact of Timing Knowledge on the Session Problem
SIAM Journal on Computing | 2003-09-28 | Paper |
Closed form bounds for clock synchronization under simple uncertainty assumptions
Information Processing Letters | 2002-07-14 | Paper |
A mutual exclusion algorithm for ad hoc mobile networks
Wireless Networks | 2002-02-27 | Paper |
One-write algorithms for multivalued regular and atomic registers
Acta Informatica | 2001-01-03 | Paper |
| A competitive analysis for retransmission timeout | 1999-11-23 | Paper |
| scientific article; zbMATH DE number 1179121 (Why is no real title available?) | 1998-07-26 | Paper |
Shared Memory Consistency Conditions for Nonsequential Execution: Definitions and Programming Strategies
SIAM Journal on Computing | 1998-05-10 | Paper |
Wait-free clock synchronization
Algorithmica | 1998-01-12 | Paper |
Connection management without retaining information
Information and Computation | 1996-02-26 | Paper |
Bounds on the Costs of Multivalued Register Implementations
SIAM Journal on Computing | 1994-05-10 | Paper |
A modular drinking philosophers algorithm
Distributed Computing | 1993-09-16 | Paper |
Modular construction of an efficient 1-bit Byzantine agreement protocol
Mathematical Systems Theory | 1993-04-01 | Paper |
Modular construction of a Byzantine agreement protocol with optimal message bit complexity
Information and Computation | 1992-06-28 | Paper |
Transaction commit in a realistic timing model
Distributed Computing | 1990-01-01 | Paper |
A new fault-tolerant algorithm for clock synchronization
Information and Computation | 1988-01-01 | Paper |
Simulating synchronous processors
Information and Computation | 1987-01-01 | Paper |
