Follow
Damien Imbs
Damien Imbs
Aix-Marseille University, France
Verified email at lis-lab.fr
Title
Cited by
Cited by
Year
Virtual world consistency: A condition for STM systems (with a versatile protocol with invisible read operations)
D Imbs, M Raynal
Theoretical Computer Science, 2012
532012
On asymmetric progress conditions
D Imbs, M Raynal, G Taubenfeld
Proceedings of the 29th ACM SIGACT-SIGOPS symposium on Principles of …, 2010
322010
Brief announcement: virtual world consistency: a new condition for stm systems
D Imbs, JR de Mendivil, M Raynal
Proceedings of the 28th ACM symposium on Principles of distributed computing …, 2009
312009
Trading off t-Resilience for Efficiency in Asynchronous Byzantine Reliable Broadcast
D Imbs, M Raynal
Parallel Processing Letters 26 (04), 1650017, 2016
282016
Failure detectors in homonymous distributed systems (with an application to consensus)
S Arévalo, AF Anta, D Imbs, E Jiménez, M Raynal
Journal of Parallel and Distributed Computing 83, 83-95, 2015
272015
The universe of symmetry breaking tasks
D Imbs, S Rajsbaum, M Raynal
International Colloquium on Structural Information and Communication …, 2011
272011
Visiting gafni’s reduction land: From the bg simulation to the extended bg simulation
D Imbs, M Raynal
Symposium on Self-Stabilizing Systems, 369-383, 2009
262009
Help when needed, but no more: efficient read/write partial snapshot
D Imbs, M Raynal
Journal of Parallel and Distributed Computing 72 (1), 1-12, 2012
242012
The multiplicative power of consensus numbers
D Imbs, M Raynal
Proceedings of the 29th ACM SIGACT-SIGOPS symposium on Principles of …, 2010
242010
Towards a universal construction for transaction-based multiprocess programs
T Crain, D Imbs, M Raynal
Theoretical Computer Science 496, 154-169, 2013
232013
A lock-based STM protocol that satisfies opacity and progressiveness
D Imbs, M Raynal
Principles of Distributed Systems, 226-245, 2008
232008
Renaming is weaker than set agreement but for perfect renaming: A map of sub-consensus tasks
A Castañeda, D Imbs, S Rajsbaum, M Raynal
Latin American Symposium on Theoretical Informatics, 145-156, 2012
192012
Read invisibility, virtual world consistency and probabilistic permissiveness are compatible
T Crain, D Imbs, M Raynal
Algorithms and Architectures for Parallel Processing, 244-257, 2011
172011
Help when needed, but no more: Efficient read/write partial snapshot
D Imbs, M Raynal
International Symposium on Distributed Computing, 142-156, 2009
172009
A versatile STM protocol with invisible read operations that satisfies the virtual world consistency condition
D Imbs, M Raynal
International Colloquium on Structural Information and Communication …, 2009
172009
Set-constrained delivery broadcast: Definition, abstraction power, and computability limits
D Imbs, A Mostéfaoui, M Perrin, M Raynal
Proceedings of the 19th International Conference on Distributed Computing …, 2018
162018
On the consistency conditions of transactional memories
D Imbs, JRG de Mendivil Moreno, M Raynal
162008
Optimal memory-anonymous symmetric deadlock-free mutual exclusion
Z Aghazadeh, D Imbs, M Raynal, G Taubenfeld, P Woelfel
Proceedings of the 2019 ACM Symposium on Principles of Distributed Computing …, 2019
152019
Generalized symmetry breaking tasks and nondeterminism in concurrent objects
A Castañeda, D Imbs, S Rajsbaum, M Raynal
SIAM Journal on Computing 45 (2), 379-414, 2016
152016
A liveness condition for concurrent objects: x‐wait‐freedom
D Imbs, M Raynal
Concurrency and Computation: Practice and experience 23 (17), 2154-2166, 2011
132011
The system can't perform the operation now. Try again later.
Articles 1–20