Conferences in DBLP
Achour Mostéfaoui , Michel Raynal , Corentin Travers Exploring Gafni's Reduction Land: From Omega k [Citation Graph (0, 0)][DBLP ] Conf ] Michael Okun , Amnon Barak Renaming in Message Passing Systems with Byzantine Failures. [Citation Graph (0, 0)][DBLP ] Conf ] Hagit Attiya , Eshcar Hillel Built-In Coloring for Highly-Concurrent Doubly-Linked Lists. [Citation Graph (0, 0)][DBLP ] Conf ] Xavier Défago , Maria Gradinariu , Stéphane Messika , Philippe Raipin Parvédy Fault-Tolerant and Self-stabilizing Mobile Robots Gathering. [Citation Graph (0, 0)][DBLP ] Conf ] Dana Angluin , James Aspnes , David Eisenstat Fast Computation by Population Protocols with a Leader. [Citation Graph (0, 0)][DBLP ] Conf ] Doina Bein , Ajoy Kumar Datta , Lawrence L. Larmore On Self-stabilizing Search Trees. [Citation Graph (0, 0)][DBLP ] Conf ] Yitzhak Birk , Idit Keidar , Liran Liss , Assaf Schuster Efficient Dynamic Aggregation. [Citation Graph (0, 0)][DBLP ] Conf ] Jérémie Chalopin , Shantanu Das , Nicola Santoro Groupings and Pairings in Anonymous Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Yoram Moses , Benny Shimony A New Proof of the GHS Minimum Spanning Tree Algorithm. [Citation Graph (0, 0)][DBLP ] Conf ] Joseph Y. Halpern , Sabina Petride A Knowledge-Based Analysis of Global Function Computation. [Citation Graph (0, 0)][DBLP ] Conf ] Leslie Lamport Checking a Multithreaded Algorithm with + CAL. [Citation Graph (0, 0)][DBLP ] Conf ] Lisa Higham , LillAnne Jackson , Jalal Kawash Capturing Register and Control Dependence in Memory Consistency Models with Applications to the Itanium Architecture. [Citation Graph (0, 0)][DBLP ] Conf ] Michael F. Spear , Virendra J. Marathe , William N. Scherer III , Michael L. Scott Conflict Detection and Validation Strategies for Software Transactional Memory. [Citation Graph (0, 0)][DBLP ] Conf ] David Dice , Ori Shalev , Nir Shavit Transactional Locking II. [Citation Graph (0, 0)][DBLP ] Conf ] Yehuda Afek , Eran Shalom Less Is More: Consensus Gaps Between Restricted and Unrestricted Objects. [Citation Graph (0, 0)][DBLP ] Conf ] Taisuke Izumi , Toshimitsu Masuzawa One-Step Consensus Solvability. [Citation Graph (0, 0)][DBLP ] Conf ] Ran Canetti , Ling Cheung , Dilsun Kirli Kaynar , Moses Liskov , Nancy A. Lynch , Olivier Pereira , Roberto Segala Time-Bounded Task-PIOAs: A Framework for Analyzing Security Protocols. [Citation Graph (0, 0)][DBLP ] Conf ] Alina Oprea , Michael K. Reiter On Consistency of Encrypted Files. [Citation Graph (0, 0)][DBLP ] Conf ] Michael B. Greenwald , Sanjeev Khanna , Keshav Kunal , Benjamin C. Pierce , Alan Schmitt Agreeing to Agree: Conflict Resolution for Optimistically Replicated Data. [Citation Graph (0, 0)][DBLP ] Conf ] Torvald Riegel , Pascal Felber , Christof Fetzer A Lazy Snapshot Algorithm with Eager Validation. [Citation Graph (0, 0)][DBLP ] Conf ] Rida A. Bazzi , Yin Ding Bounded Wait-Free f -Resilient Atomic Byzantine Data Storage Systems for an Unbounded Number of Clients. [Citation Graph (0, 0)][DBLP ] Conf ] Bogdan S. Chlebus , Dariusz R. Kowalski Time and Communication Efficient Consensus for Crash Failures. [Citation Graph (0, 0)][DBLP ] Conf ] Eli Gafni , Sergio Rajsbaum , Maurice Herlihy Subconsensus Tasks: Renaming Is Weaker Than Set Agreement. [Citation Graph (0, 0)][DBLP ] Conf ] Arthur Brady , Lenore Cowen Exact Distance Labelings Yield Additive-Stretch Compact Routing Schemes. [Citation Graph (0, 0)][DBLP ] Conf ] Maleq Khan , Gopal Pandurangan A Fast Distributed Approximation Algorithm for Minimum Spanning Trees. [Citation Graph (0, 0)][DBLP ] Conf ] Robert Elsässer On Randomized Broadcasting in Power Law Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Andrzej Czygrinow , Michal Hanckowiak Distributed Approximation Algorithms in Unit-Disk Graphs. [Citation Graph (0, 0)][DBLP ] Conf ] Rachid Guerraoui , Michal Kapalka , Petr Kouznetsov The Weakest Failure Detectors to Boost Obstruction-Freedom. [Citation Graph (0, 0)][DBLP ] Conf ] Alex Brodsky , Faith Ellen , Philipp Woelfel Fully-Adaptive Algorithms for Long-Lived Renaming. [Citation Graph (0, 0)][DBLP ] Conf ] Danny Hendler , Shay Kutten Constructing Shared Objects That Are Both Robust and High-Throughput. [Citation Graph (0, 0)][DBLP ] Conf ] Amitanand S. Aiyer , Lorenzo Alvisi , Rida A. Bazzi Byzantine and Multi-writer K-Quorums. [Citation Graph (0, 0)][DBLP ] Conf ] Michele Flammini , Mordechai Shalom , Shmuel Zaks On Minimizing the Number of ADMs in a General Topology Optical Network. [Citation Graph (0, 0)][DBLP ] Conf ] Kishori M. Konwar , Sanguthevar Rajasekaran , Alexander A. Shvartsman Robust Network Supercomputing with Malicious Processes. [Citation Graph (0, 0)][DBLP ] Conf ] Cathy H. Xia , James Broberg , Zhen Liu , Li Zhang Distributed Resource Allocation in Stream Processing Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Piotr Zielinski Low-latency Atomic Broadcast in the presence of contention. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas Locher , Roger Wattenhofer Oblivious Gradient Clock Synchronization. [Citation Graph (0, 0)][DBLP ] Conf ] Marcos Kawazoe Aguilera , Svend Frølund , Vassos Hadzilacos , Stephanie Lorraine Horn , Sam Toueg Brief Announcement: Abortable and Query-Abortable Objects. [Citation Graph (0, 0)][DBLP ] Conf ] Chryssis Georgiou , Nicolas C. Nicolaou , Alexander A. Shvartsman Brief Announcement: Fault-Tolerant SemiFast Implementations of Atomic Read/Write Registers. [Citation Graph (0, 0)][DBLP ] Conf ] Stacy Patterson , Bassam Bamieh , Amr El Abbadi Brief Announcement: Convergence Analysis of Scalable Gossip Protocols. [Citation Graph (0, 0)][DBLP ] Conf ] Joffroy Beauquier , Colette Johnen , Stéphane Messika Brief Announcement: Computing Automatically the Stabilization Time Against the Worst and the Best Schedules. [Citation Graph (0, 0)][DBLP ] Conf ] Vinit A. Ogale , Vijay K. Garg Brief Announcement: Many Slices Are Better Than One. [Citation Graph (0, 0)][DBLP ] Conf ] Pierre Fraigniaud , Emmanuelle Lebhar , Zvi Lotker Brief Announcement: On Augmented Graph Navigability. [Citation Graph (0, 0)][DBLP ] Conf ] Alysson Neves Bessani , Miguel Correia , Joni da Silva Fraga , Lau Cheuk Lung Brief Announcement: Decoupled Quorum-Based Byzantine-Resilient Coordination in Open Distributed Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Nicolas Schiper , Rodrigo Schmidt , Fernando Pedone Brief Announcement: Optimistic Algorithms for Partial Database Replication. [Citation Graph (0, 0)][DBLP ] Conf ] François Bonnet , Frederic Tronel , Spyros Voulgaris Brief Announcement: Performance Analysis of Cyclon, an Inexpensive Membership Management for Unstructured P2P Overlays. [Citation Graph (0, 0)][DBLP ] Conf ] Yu Chen , Wei Chen Brief Announcement: Decentralized, Connectivity-Preserving, and Cost-Effective Structured Overlay Maintenance. [Citation Graph (0, 0)][DBLP ] Conf ] Anton Esin , Rostislav Yavorskiy , Nikolay Zemtsov Brief Announcement Monitoring of Linear Distributed Computations. [Citation Graph (0, 0)][DBLP ] Conf ] Mikel Larrea , Alberto Lafuente , Joachim Wieland Brief Announcement: Communication-Optimal Implementation of Failure Detector Class àP . [Citation Graph (0, 0)][DBLP ] Conf ] Srinivasan Krishnamurthy , R. Chandrasekaran , Neeraj Mittal , S. Venkatesan Brief Announcement: Synchronous Distributed Algorithms for Node Discovery and Configuration in Multi-channel Cognitive Radio Networks. [Citation Graph (0, 0)][DBLP ] Conf ] 