Carole Delporte-Gallet
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
51
Venues
15
Active years
1999–2024
Best venue rank
A*
Where they publish
Papers
51 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | PODC | The Computational Power of Distributed Shared-Memory Models with Bounded-Size Registers. | Carole Delporte-Gallet, Hugues Fauconnier, Pierre Fraigniaud, Sergio Rajsbaum, Corentin Travers |
| 2024 | SIROCCO | Non-negotiating Distributed Computing. | Carole Delporte-Gallet, Hugues Fauconnier, Pierre Fraigniaud, Sergio Rajsbaum, Corentin Travers |
| 2022 | ICDCN | A TLA+ Formal Proof of a Cross-Chain Swap. | Zeinab Neha, Franois Bobot, Sara Tucci Piergiovanni, Carole Delporte-Gallet, Hugues Fauconnier |
| 2022 | PODC | When is Recoverable Consensus Harder Than Consensus? | Carole Delporte-Gallet, Panagiota Fatourou, Hugues Fauconnier, Eric Ruppert |
| 2022 | SSS | Optimal Algorithms for Synchronous Byzantine k-Set Agreement. | Carole Delporte-Gallet, Hugues Fauconnier, Michel Raynal, Mouna Safir |
| 2020 | SIROCCO | Communication Complexity of Wait-Free Computability in Dynamic Networks. | Carole Delporte-Gallet, Hugues Fauconnier, Sergio Rajsbaum |
| 2019 | AINA | On the Weakest Failure Detector for Read/Write-Based Mutual Exclusion. | Carole Delporte-Gallet, Hugues Fauconnier, Michel Raynal |
| 2019 | PACT | Participant-Restricted Consensus in Asynchronous Crash-Prone Read/Write Systems and Its Weakest Failure Detector. | Carole Delporte-Gallet, Hugues Fauconnier, Michel Raynal |
| 2019 | SSS | Brief Announcement: Distributed Computing in the Asynchronous LOCAL Model. | Carole Delporte-Gallet, Hugues Fauconnier, Pierre Fraigniaud, Mikal Rabie |
| 2018 | ICDCN | The Assignment Problem. | Carole Delporte-Gallet, Hugues Fauconnier, Eli Gafni, Giuliano Losa |
| 2018 | SIROCCO | A Characterization of t-Resilient Colorless Task Anonymous Solvability. | Carole Delporte-Gallet, Hugues Fauconnier, Sergio Rajsbaum, Nayuta Yanagisawa |
| 2016 | ICA3PP | Implementing Snapshot Objects on Top of Crash-Prone Asynchronous Message-Passing Systems. | Carole Delporte-Gallet, Hugues Fauconnier, Sergio Rajsbaum, Michel Raynal |
| 2016 | OPODIS | Set-Consensus Collections are Decidable. | Carole Delporte-Gallet, Hugues Fauconnier, Eli Gafni, Petr Kuznetsov |
| 2015 | PODC | On the Space Complexity of Set Agreement. | Carole Delporte-Gallet, Hugues Fauconnier, Petr Kuznetsov, Eric Ruppert |
| 2015 | SIROCCO | A Separation of n-consensus and (n + 1)-consensus Based on Process Scheduling. | Carole Delporte-Gallet, Hugues Fauconnier, Sam Toueg |
| 2014 | SRDS | Fair Synchronization in the Presence of Process Crashes and its Weakest Failure Detector. | Carole Delporte-Gallet, Hugues Fauconnier, Michel Raynal |
| 2013 | ICDCN | Linear Space Bootstrap Communication Schemes. | Carole Delporte-Gallet, Hugues Fauconnier, Eli Gafni, Sergio Rajsbaum |
| 2013 | ICDCN | Uniform Consensus with Homonyms and Omission Failures. | Carole Delporte-Gallet, Hugues Fauconnier, Hung Tran-The |
| 2012 | ICDCN | Byzantine Agreement with Homonyms in Synchronous Systems. | Carole Delporte-Gallet, Hugues Fauconnier, Hung Tran-The |
| 2012 | PODC | Wait-freedom with advice. | Carole Delporte-Gallet, Hugues Fauconnier, Eli Gafni, Petr Kuznetsov |
| 2012 | SIROCCO | Homonyms with Forgeable Identifiers. | Carole Delporte-Gallet, Hugues Fauconnier, Hung Tran-The |
| 2011 | ICDCS | Guidelines for the Verification of Population Protocols. | Julien Clment, Carole Delporte-Gallet, Hugues Fauconnier, Mihaela Sighireanu |
| 2011 | PODC | Byzantine agreement with homonyms. | Carole Delporte-Gallet, Hugues Fauconnier, Rachid Guerraoui, Anne-Marie Kermarrec, Eric Ruppert, Hung Tran-The |
| 2010 | SPAA | Brief announcement: byzantine agreement with homonyms. | Carole Delporte-Gallet, Hugues Fauconnier, Rachid Guerraoui, Anne-Marie Kermarrec |
| 2010 | SIROCCO | Algorithms for Extracting Timeliness Graphs. | Carole Delporte-Gallet, Stphane Devismes, Hugues Fauconnier, Mikel Larrea |
| 2010 | SSS | Approximation of | Carole Delporte-Gallet, Stphane Devismes, Hugues Fauconnier |
| 2009 | ICDCN | Two Consensus Algorithms with Atomic Registers and Failure Detector Omega. | Carole Delporte-Gallet, Hugues Fauconnier |
| 2009 | ICDCS | Fault-Tolerant Consensus in Unknown and Anonymous Networks. | Carole Delporte-Gallet, Hugues Fauconnier, Andreas Tielmann |
| 2009 | OPODIS | The Minimum Information about Failures for Solving Non-local Tasks in Message-Passing Systems. | Carole Delporte-Gallet, Hugues Fauconnier, Sam Toueg |
| 2009 | PODC | Partial synchrony based on set timeliness. | Marcos Kawazoe Aguilera, Carole Delporte-Gallet, Hugues Fauconnier, Sam Toueg |
| 2009 | PODC | The disagreement power of an adversary: extended abstract. | Carole Delporte-Gallet, Hugues Fauconnier, Rachid Guerraoui, Andreas Tielmann |
| 2008 | OPODIS | With Finite Memory Consensus Is Easier Than Reliable Broadcast. | Carole Delporte-Gallet, Stphane Devismes, Hugues Fauconnier, Franck Petit, Sam Toueg |
| 2008 | PODC | Sharing is harder than agreeing. | Carole Delporte-Gallet, Hugues Fauconnier, Rachid Guerraoui |
| 2007 | OPODIS | Clock Synchronization in the Byzantine-Recovery Failure Model. | Emmanuelle Anceaume, Carole Delporte-Gallet, Hugues Fauconnier, Michel Hurfin, Josef Widder |
| 2007 | OPODIS | Secretive Birds: Privacy in Population Protocols. | Carole Delporte-Gallet, Hugues Fauconnier, Rachid Guerraoui, Eric Ruppert |
| 2007 | SSS | Robust Stabilizing Leader Election. | Carole Delporte-Gallet, Stphane Devismes, Hugues Fauconnier |
| 2006 | DCOSS | When Birds Die: Making Population Protocols Fault-Tolerant. | Carole Delporte-Gallet, Hugues Fauconnier, Rachid Guerraoui, Eric Ruppert |
| 2006 | DSN | Consensus with Byzantine Failures and Little System Synchrony. | Marcos Kawazoe Aguilera, Carole Delporte-Gallet, Hugues Fauconnier, Sam Toueg |
| 2005 | ICTAC | Revisiting Failure Detection and Consensus in Omission Failure Environments. | Carole Delporte-Gallet, Hugues Fauconnier, Felix C. Freiling |
| 2005 | PODC | Fast fault-tolerant agreement algorithms. | Carole Delporte-Gallet, Hugues Fauconnier, Stephanie Lorraine Horn, Sam Toueg |
| 2004 | ISPDC | Designing Modular Services in the Scattered Byzantine Failure Model. | Emmanuelle Anceaume, Carole Delporte-Gallet, Hugues Fauconnier, Michel Hurfin, Grard Le Lann |
| 2004 | PODC | Communication-efficient leader election and consensus with limited link synchrony. | Marcos Kawazoe Aguilera, Carole Delporte-Gallet, Hugues Fauconnier, Sam Toueg |
| 2004 | PODC | The weakest failure detectors to solve certain fundamental problems in distributed computing. | Carole Delporte-Gallet, Hugues Fauconnier, Rachid Guerraoui, Vassos Hadzilacos, Petr Kouznetsov, Sam Toueg |
| 2003 | PODC | On implementing omega with weak reliability and synchrony assumptions. | Marcos Kawazoe Aguilera, Carole Delporte-Gallet, Hugues Fauconnier, Sam Toueg |
| 2003 | SRDS | Distributed Programming for Dummies: A Shifting Transformation Technique. | Carole Delporte-Gallet, Hugues Fauconnier, Rachid Guerraoui, Bastian Pochon |
| 2002 | DSN | A Realistic Look At Failure Detectors. | Carole Delporte-Gallet, Hugues Fauconnier, Rachid Guerraoui |
| 2002 | PODC | Early stopping in aglobal data computation. | Carole Delporte-Gallet, Hugues Fauconnier, Jean-Michel Hlary, Michel Raynal |
| 2002 | SIROCCO | Latency Measures and Lower Bounds for Consensus with Failure Detectors. | Carole Delporte-Gallet, Hugues Fauconnier |
| 2000 | OPODIS | Fault-Tolerant Genuine Atomic Multicast to Multiple Groups. | Carole Delporte-Gallet, Hugues Fauconnier |
| 1999 | OPODIS | Synchronized Phased Systems. | Hugues Fauconnier, Carole Delporte-Gallet |
| 1999 | SRDS | Real-Time Fault-Tolerant Atomic Broadcast. | Carole Delporte-Gallet, Hugues Fauconnier |