| 2009 | ||
|---|---|---|
| 7 | Damien Imbs, Michel Raynal: Help When Needed, But No More: Efficient Read/Write Partial Snapshot. DISC 2009: 142-156 | |
| 6 | Damien Imbs, Michel Raynal: Provable STM Properties: Leveraging Clock and Locks to Favor Commit and Early Abort. ICDCN 2009: 67-78 | |
| 5 | Damien Imbs, José Ramón González de Mendívil, Michel Raynal: Brief announcement: virtual world consistency: a new condition for STM systems. PODC 2009: 280-281 | |
| 4 | Damien Imbs, Michel Raynal: Software Transactional Memories: An Approach for Multicore Programming. PaCT 2009: 26-40 | |
| 3 | Damien Imbs, Michel Raynal: Visiting Gafni's Reduction Land: From the BG Simulation to the Extended BG Simulation. SSS 2009: 369-383 | |
| 2 | Damien Imbs, Michel Raynal: A note on atomicity: Boosting Test&Set to solve consensus. Inf. Process. Lett. 109(12): 589-591 (2009) | |
| 2008 | ||
| 1 | Damien Imbs, Michel Raynal: A Lock-Based STM Protocol That Satisfies Opacity and Progressiveness. OPODIS 2008: 226-245 | |
| 1 | José Ramón González de Mendívil | [5] |
| 2 | Michel Raynal | [1] [2] [3] [4] [5] [6] [7] |