| 2022 | SIROCCO | Election in Fully Anonymous Shared Memory Systems: Tight Space Bounds and Algorithms. | Damien Imbs, Michel Raynal, Gadi Taubenfeld |
| 2020 | PODC | From Bezout's Identity to Space-Optimal Election in Anonymous Memory Systems. | Emmanuel Godard, Damien Imbs, Michel Raynal, Gadi Taubenfeld |
| 2019 | PODC | Optimal Memory-Anonymous Symmetric Deadlock-Free Mutual Exclusion. | Zahra Aghazadeh, Damien Imbs, Michel Raynal, Gadi Taubenfeld, Philipp Woelfel |
| 2019 | SIROCCO | Anonymous Read/Write Memory: Leader Election and De-anonymization. | Emmanuel Godard, Damien Imbs, Michel Raynal, Gadi Taubenfeld |
| 2018 | ICDCN | Set-Constrained Delivery Broadcast: Definition, Abstraction Power, and Computability Limits. | Damien Imbs, Achour Mostfaoui, Matthieu Perrin, Michel Raynal |
| 2017 | OPODIS | Progress-Space Tradeoffs in Single-Writer Memory Implementations. | Damien Imbs, Petr Kuznetsov, Thibault Rieutord |
| 2015 | OPODIS | The Synchronization Power of Atomic Bitwise Operations. | Damien Imbs |
| 2015 | SSS | Untangling Partial Agreement: Iterated x-consensus Simulations. | Damien Imbs, Sergio Rajsbaum, Adrin Valle |
| 2014 | SIROCCO | Reliable Shared Memory Abstraction on Top of Asynchronous Byzantine Message-Passing Systems. | Damien Imbs, Sergio Rajsbaum, Michel Raynal, Julien Stainer |
| 2012 | AINA | Trying to Unify the LL/SC Synchronization Primitive and the Notion of a Timed Register. | Damien Imbs, Michel Raynal |
| 2012 | ICDCN | Towards a Universal Construction for Transaction-Based Multiprocess Programs. | Tyler Crain, Damien Imbs, Michel Raynal |
| 2012 | ICDCS | Failure Detectors in Homonymous Distributed Systems (with an Application to Consensus). | Sergio Arvalo, Antonio Fernndez Anta, Damien Imbs, Ernesto Jimnez, Michel Raynal |
| 2012 | LATIN | Renaming Is Weaker Than Set Agreement But for Perfect Renaming: A Map of Sub-consensus Tasks. | Armando Castaeda, Damien Imbs, Sergio Rajsbaum, Michel Raynal |
| 2011 | ICA3PP | Read Invisibility, Virtual World Consistency and Probabilistic Permissiveness are Compatible. | Tyler Crain, Damien Imbs, Michel Raynal |
| 2011 | PODC | The universe of symmetry breaking tasks. | Damien Imbs, Sergio Rajsbaum, Michel Raynal |
| 2011 | SPAA | Brief announcement: read invisibility, virtual world consistency and permissiveness are compatible. | Tyler Crain, Damien Imbs, Michel Raynal |
| 2011 | SIROCCO | The Universe of Symmetry Breaking Tasks. | Damien Imbs, Sergio Rajsbaum, Michel Raynal |
| 2011 | SSS | The Weakest Failure Detector to Implement a Register in Asynchronous Systems with Hybrid Communication. | Damien Imbs, Michel Raynal |
| 2010 | EuroPar | The | Damien Imbs, Michel Raynal |
| 2010 | PODC | The multiplicative power of consensus numbers. | Damien Imbs, Michel Raynal |
| 2010 | PODC | On asymmetric progress conditions. | Damien Imbs, Michel Raynal, Gadi Taubenfeld |
| 2010 | SSS | On Adaptive Renaming under Eventually Limited Contention. | Damien Imbs, Michel Raynal |
| 2009 | ICDCN | Provable STM Properties: Leveraging Clock and Locks to Favor Commit and Early Abort. | Damien Imbs, Michel Raynal |
| 2009 | PACT | Software Transactional Memories: An Approach for Multicore Programming. | Damien Imbs, Michel Raynal |
| 2009 | PODC | Brief announcement: virtual world consistency: a new condition for STM systems. | Damien Imbs, Jos Ramn Gonzlez de Mendvil, Michel Raynal |
| 2009 | SIROCCO | A Versatile STM Protocol with Invisible Read Operations That Satisfies the Virtual World Consistency Condition. | Damien Imbs, Michel Raynal |
| 2009 | SSS | Visiting Gafni's Reduction Land: From the BG Simulation to the Extended BG Simulation. | Damien Imbs, Michel Raynal |
| 2008 | OPODIS | A Lock-Based STM Protocol That Satisfies Opacity and Progressiveness. | Damien Imbs, Michel Raynal |