On the public citation graph
Improving Fast Paxos: being optimistic with no overhead
0 signed · 38 inferred · view as graph
Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.
Is this your work? Sign in with ORCID and put your name on the
claims that are yours.
Reference health. See whether every reference in this work resolves to a
known work and none has been retracted — and get a dated CiteStamped
badge you can embed.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1007/3-540-36080-8_5openalex-snapshot
Solving Agreement Problems with Weak Ordering Oracles
inferredcites →https://doi.org/10.1007/3-540-37795-6_4openalex-snapshot
Lower Bounds for Asynchronous Consensus
inferredcites →https://doi.org/10.1007/3-540-44743-1_4openalex-snapshot
Consensus in One Communication Step
inferredcites →https://doi.org/10.1007/s004460050032openalex-snapshot
Early consensus in an asynchronous system with a weak failure detector
inferredcites →https://doi.org/10.1137/s0097539796312915openalex-snapshot
Failure Detection and Randomization: A Hybrid Approach to Solve Consensus
inferredcites →https://doi.org/10.1145/226643.226647openalex-snapshot
Unreliable failure detectors for reliable distributed systems
inferredcites →https://doi.org/10.1145/3149.214121openalex-snapshot
Impossibility of distributed consensus with one faulty process
inferredcites →https://doi.org/10.1145/42282.42283openalex-snapshot
Consensus in the presence of partial synchrony
inferredcites →https://doi.org/10.1145/7531.7533openalex-snapshot
On the minimal synchronism needed for distributed consensus
inferredcites →https://doi.org/10.1145/98163.98167openalex-snapshot
Implementing fault-tolerant services using the state machine approach: a tutorial
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1007/978-3-540-75142-7_23openalex-snapshot
On the Message Complexity of Indulgent Consensus
inferred← citeshttps://doi.org/10.1007/978-3-540-87779-0_32openalex-snapshot
Using Bounded Model Checking to Verify Consensus Algorithms
inferred← citeshttps://doi.org/10.1007/s00446-007-0026-0openalex-snapshot
Booting clock synchronization in partially synchronous systems with hybrid process and link failures
inferred← citeshttps://doi.org/10.1007/s00446-010-0117-1openalex-snapshot
Rambo: a robust, reconfigurable atomic memory service for dynamic networks
inferred← citeshttps://doi.org/10.1007/s00446-010-0123-3openalex-snapshot
Verification of consensus algorithms using satisfiability solving
inferred← citeshttps://doi.org/10.1109/apsec.2009.23openalex-snapshot
Towards Automated Verification of Distributed Consensus Protocols
inferred← citeshttps://doi.org/10.1109/dsn.2007.25openalex-snapshot
Communication Predicates: A High-Level Abstraction for Coping with Transient and Dynamic Faults
inferred← citeshttps://doi.org/10.1109/infcom.2013.6566876openalex-snapshot
Fast Mencius: Mencius with low commit latency
inferred← citeshttps://doi.org/10.1109/ipdps.2011.301openalex-snapshot
Solving k-Set Agreement with Stable Skeleton Graphs
inferred← citeshttps://doi.org/10.1109/prdc63035.2024.00042openalex-snapshot
Sequential programming for distributed algorithm verification
inferred← citeshttps://doi.org/10.1109/saso.2010.42openalex-snapshot
Achieving Robust Self-Management for Large-Scale Distributed Applications
inferred← citeshttps://doi.org/10.1109/srds.2007.20openalex-snapshot
Model Checking of Consensus Algorit
inferred← citeshttps://doi.org/10.1109/srds.2011.38openalex-snapshot
Fast Genuine Generalized Consensus
inferred← citeshttps://doi.org/10.1109/tdsc.2011.48openalex-snapshot
Quantitative Analysis of Consensus Algorithms
inferred← citeshttps://doi.org/10.1109/waina.2012.178openalex-snapshot
Adaptive Strategies for Speeding Up Sequences of Consensus
inferred← citeshttps://doi.org/10.1137/s009753970443999xopenalex-snapshot
Impossibility Results and Lower Bounds for Consensus under Link Failures
inferred← citeshttps://doi.org/10.1145/1281100.1281136openalex-snapshot
Tolerating corrupted communication
inferred← citeshttps://doi.org/10.1186/s42400-025-00501-2openalex-snapshot
Survey of Consensus Protocol’s Formal Verification
inferred← citeshttps://doi.org/10.5075/epfl-thesis-4839openalex-snapshot
Round-Based Consensus Algorithms, Predicate Implementations and Quantitative Analysis
Editorial review for independent work. ICSAC — the Institute for Complexity
Science and Advanced Computing — runs a structured editorial panel for researchers
publishing outside journals, and publishes on CiteStamp rails. Submission is free
and goes through ORCID: icsacinstitute.org/submit.