Danny Dolev

Gilad Stern

Distributed Comput., 2022

Brief Announcement: Authenticated Consensus in Synchronous Systems with Mixed Faults.

[BibT_eX]

[DOI]

Proceedings of the 36th International Symposium on Distributed Computing, 2022

2019

Distributed Protocols for Leader Election: A Game-Theoretic Perspective.

[BibT_eX]

[DOI]

ACM Trans. Economics and Comput., 2019

Implementing Mediators with Asynchronous Cheap Talk.

[BibT_eX]

[DOI]

Proceedings of the 2019 ACM Symposium on Principles of Distributed Computing, 2019

2018

Compact routing messages in self-healing trees.

[BibT_eX]

[DOI]

Armando Castañeda

Amitabh Trehan

Theor. Comput. Sci., 2018

Synchronous Byzantine Agreement with Expected O(1) Rounds, Expected O(n<sup>2)</sup> Communication, and Optimal Resilience.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2018

Preventing (Network) Time Travel with Chronos.

[BibT_eX]

[DOI]

Proceedings of the 25th Annual Network and Distributed System Security Symposium, 2018

2017

LogMemcached: An RDMA based Continuous Cache Replication.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Kernel-Bypass Networks, 2017

Stateless Computation.

[BibT_eX]

[DOI]

Proceedings of the ACM Symposium on Principles of Distributed Computing, 2017

2016

Synchronous counting and computational algorithm design.

[BibT_eX]

[DOI]

J. Comput. Syst. Sci., 2016

HEX: Scaling honeycombs is easier than scaling clock trees.

[BibT_eX]

[DOI]

J. Comput. Syst. Sci., 2016

Possibility and Impossibility of Reliable Broadcast in the Bounded Model.

[BibT_eX]

[DOI]

Meir Spielrien

CoRR, 2016

Byzantine Processors and Cuckoo Birds: Confining Maliciousness to the Outset.

[BibT_eX]

[DOI]

CoRR, 2016

Some Garbage In - Some Garbage Out: Asynchronous t-Byzantine as Asynchronous Benign t-resilient system with fixed t-Trojan-Horse Inputs.

[BibT_eX]

[DOI]

CoRR, 2016

Synchronous Hybrid Message-Adversary.

[BibT_eX]

[DOI]

CoRR, 2016

2015

Fault-tolerant Distributed Systems in Hardware.

[BibT_eX]

[DOI]

Bull. EATCS, 2015

Byzantine Agreement with Optimal Early Stopping, Optimal Resilience and Polynomial Complexity.

[BibT_eX]

[DOI]

Proceedings of the Forty-Seventh Annual ACM on Symposium on Theory of Computing, 2015

2014

Rigorously modeling self-stabilizing fault-tolerant circuits: An ultra-robust clocking scheme for systems-on-chip.

[BibT_eX]

[DOI]

J. Comput. Syst. Sci., 2014

Fault-tolerant algorithms for tick-generation in asynchronous logic: Robust pulse generation.

[BibT_eX]

[DOI]

J. ACM, 2014

2013

Enhancing RSSI-based tracking accuracy in wireless sensor networks.

[BibT_eX]

[DOI]

ACM Trans. Sens. Networks, 2013

Node-Initiated Byzantine Consensus Without a Common Clock.

[BibT_eX]

[DOI]

CoRR, 2013

Enhanced calibration technique for RSSI-based ranging in body area networks.

[BibT_eX]

[DOI]

Ad Hoc Networks, 2013

Synchronous Counting and Computational Algorithm Design.

[BibT_eX]

[DOI]

Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2013

Early-deciding consensus is expensive.

[BibT_eX]

[DOI]

Proceedings of the ACM Symposium on Principles of Distributed Computing, 2013

2012

An Optimal Self-Stabilizing Firing Squad.

[BibT_eX]

[DOI]

Yoram Moses

SIAM J. Comput., 2012

FATAL+: A Self-Stabilizing Byzantine Fault-tolerant Clocking Scheme for SoCs

[BibT_eX]

[DOI]

CoRR, 2012

"Tri, Tri again": Finding Triangles and Small Subgraphs in a Distributed Setting

[BibT_eX]

[DOI]

Shir Peled

CoRR, 2012

"Tri, Tri Again": Finding Triangles and Small Subgraphs in a Distributed Setting - (Extended Abstract).

[BibT_eX]

[DOI]

Shir Peled

Proceedings of the Distributed Computing - 26th International Symposium, 2012

No justified complaints: on fair sharing of multiple resources.

[BibT_eX]

[DOI]

Proceedings of the Innovations in Theoretical Computer Science 2012, 2012

2011

Fault Identification Via Nonparametric Belief Propagation.

[BibT_eX]

[DOI]

IEEE Trans. Signal Process., 2011

Fault-Tolerant Algorithms for Tick-Generation in Asynchronous Logic: Robust Pulse Generation - [Extended Abstract].

[BibT_eX]

[DOI]

Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2011

Delay Fast Packets (DFP): Prevention of DNS Cache Poisoning.

[BibT_eX]

[DOI]

Proceedings of the Security and Privacy in Communication Networks, 2011

The promise in computer science research activities.

[BibT_eX]

[DOI]

Proceedings of the 41. Jahrestagung der Gesellschaft für Informatik, 2011

2010

Steward: Scaling Byzantine Fault-Tolerant Replication to Wide Area Networks.

[BibT_eX]

[DOI]

IEEE Trans. Dependable Secur. Comput., 2010

Peer-to-peer secure multi-party numerical computation facing malicious adversaries.

[BibT_eX]

[DOI]

Peer-to-Peer Netw. Appl., 2010

Simple Gradecast Based Algorithms

[BibT_eX]

[DOI]

CoRR, 2010

Brief Announcement: Simple Gradecast Based Algorithms.

[BibT_eX]

[DOI]

Proceedings of the Distributed Computing, 24th International Symposium, 2010

A Fault-Resistant Asynchronous Clock Function.

[BibT_eX]

[DOI]

Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2010

SPADE: Statistical Packet Acceptance Defense Engine.

[BibT_eX]

[DOI]

Proceedings of the 11th IEEE International Conference on High Performance Switching and Routing, 2010

Continuous Close-Proximity RSSI-Based Tracking in Wireless Sensor Networks.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Body Sensor Networks, 2010

2009

Distributed Fault Identification via Non-parametric Belief Propagation

[BibT_eX]

[DOI]

CoRR, 2009

Distributed Sensor Selection via Gaussian Belief Propagation

[BibT_eX]

[DOI]

CoRR, 2009

A Low Density Lattice Decoder via Non-Parametric Belief Propagation

[BibT_eX]

[DOI]

Alexander T. Ihler

CoRR, 2009

Self-stabilizing Numerical Iterative Computation

[BibT_eX]

[DOI]

CoRR, 2009

Collabrium: Active Traffic Pattern Prediction for Boosting P2P Collaboration.

[BibT_eX]

[DOI]

Proceedings of the 18th IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises, 2009

Distributed data flow language for multi-party protocols.

[BibT_eX]

[DOI]

Proceedings of the Fifth Workshop on Programming Languages and Operating Systems, 2009

MULAN: Multi-Level Adaptive Network Filter.

[BibT_eX]

[DOI]

Shimrit Tzur-David

Proceedings of the Security and Privacy in Communication Networks, 2009

Maxtream: Stabilizing P2P Streaming by Active Prediction of Behavior Patterns.

[BibT_eX]

[DOI]

Proceedings of the 2009 Third International Conference on Multimedia and Ubiquitous Engineering, 2009

Distributed large scale network utility maximization.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Symposium on Information Theory, 2009

Fixing convergence of Gaussian belief propagation.

[BibT_eX]

[DOI]

Jason K. Johnson

Proceedings of the IEEE International Symposium on Information Theory, 2009

Implementing reliable event streams in large systems via distributed data flows and recursive delegation.

[BibT_eX]

[DOI]

Proceedings of the Third ACM International Conference on Distributed Event-Based Systems, 2009

A low density lattice decoder via non-parametric belief propagation.

[BibT_eX]

[DOI]

Proceedings of the 47th Annual Allerton Conference on Communication, 2009

2008

A Gaussian Belief Propagation Solver for Large Scale Support Vector Machines

[BibT_eX]

[DOI]

Elad Yom-Tov

CoRR, 2008

Gaussian Belief Propagation for Solving Systems of Linear Equations: Theory and Application

[BibT_eX]

[DOI]

CoRR, 2008

An Almost-Surely Terminating Polynomial Protocol for Asynchronous Byzantine Agreement with Optimal Resilience

[BibT_eX]

[DOI]

CoRR, 2008

Collabory: A Collaborative Throughput Stabilizer & Accelerator for P2P Protocols.

[BibT_eX]

[DOI]

Proceedings of the 17th IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises, 2008

Constant-Space Localized Byzantine Consensus.

[BibT_eX]

[DOI]

Proceedings of the Distributed Computing, 22nd International Symposium, 2008

Belief Propagation in Wireless Sensor Networks - A Practical Approach.

[BibT_eX]

[DOI]

Bracha Hod

Proceedings of the Wireless Algorithms, 2008

Lower Bounds on Implementing Robust and Resilient Mediators.

[BibT_eX]

[DOI]

Proceedings of the Theory of Cryptography, Fifth Theory of Cryptography Conference, 2008

Self-stabilizing Numerical Iterative Computation.

[BibT_eX]

[DOI]

Proceedings of the Stabilization, 2008

OCD: obsessive consensus disorder (or repetitive consensus).

[BibT_eX]

[DOI]

Proceedings of the Twenty-Seventh Annual ACM Symposium on Principles of Distributed Computing, 2008

Fast self-stabilizing byzantine tolerant digital clock synchronization.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Seventh Annual ACM Symposium on Principles of Distributed Computing, 2008

An almost-surely terminating polynomial protocol forasynchronous byzantine agreement with optimal resilience.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Seventh Annual ACM Symposium on Principles of Distributed Computing, 2008

Peer-to-Peer Secure Multi-party Numerical Computation.

[BibT_eX]

[DOI]

Proceedings of the Proceedings P2P'08, 2008

Nysiad: Practical Protocol Transformation to Tolerate Byzantine Failures.

[BibT_eX]

[DOI]

Proceedings of the 5th USENIX Symposium on Networked Systems Design & Implementation, 2008

Quicksilver Scalable Multicast (QSM).

[BibT_eX]

[DOI]

Proceedings of The Seventh IEEE International Symposium on Networking Computing and Applications, 2008

Gaussian belief propagation solver for systems of linear equations.

[BibT_eX]

[DOI]

Proceedings of the 2008 IEEE International Symposium on Information Theory, 2008

Gaussian belief propagation based multiuser detection.

[BibT_eX]

[DOI]

Proceedings of the 2008 IEEE International Symposium on Information Theory, 2008

LiteLoad: Content unaware routing for localizing P2P protocols.

[BibT_eX]

[DOI]

Proceedings of the 22nd IEEE International Symposium on Parallel and Distributed Processing, 2008

The Building Blocks of Consensus.

[BibT_eX]

[DOI]

Proceedings of the Distributed Computing and Networking, 9th International Conference, 2008

Efficient Clustering for Improving Network Performance in Wireless Sensor Networks.

[BibT_eX]

[DOI]

Proceedings of the Wireless Sensor Networks, 5th European Conference, 2008

Programming with Live Distributed Objects.

[BibT_eX]

[DOI]

Proceedings of the ECOOP 2008, 2008

Tapping into the fountain of CPUs: on operating system support for programmable devices.

[BibT_eX]

[DOI]

Proceedings of the 13th International Conference on Architectural Support for Programming Languages and Operating Systems, 2008

Polynomial Linear Programming with Gaussian belief propagation.

[BibT_eX]

[DOI]

Proceedings of the 46th Annual Allerton Conference on Communication, 2008

Distributed Kalman filter via Gaussian Belief Propagation.

[BibT_eX]

[DOI]

Ori Shental

Proceedings of the 46th Annual Allerton Conference on Communication, 2008

2007

Extensible Architecture for High-Performance, Scalable, Reliable Publish-Subscribe Eventing and Notification.

[BibT_eX]

[DOI]

Int. J. Web Serv. Res., 2007

Live Distributed Objects: Enabling the Active Web.

[BibT_eX]

[DOI]

IEEE Internet Comput., 2007

On Self-stabilizing Synchronous Actions Despite Byzantine Attacks.

[BibT_eX]

[DOI]

Proceedings of the Distributed Computing, 21st International Symposium, 2007

Byzantine Self-stabilizing Pulse in a Bounded-Delay Model.

[BibT_eX]

[DOI]

Proceedings of the Stabilization, 2007

Making Distributed Applications Robust.

[BibT_eX]

[DOI]

Chi Ho

Robbert van Renesse

Proceedings of the Principles of Distributed Systems, 11th International Conference, 2007

Self-stabilizing and Byzantine-Tolerant Overlay Network.

[BibT_eX]

[DOI]

Robbert van Renesse

Proceedings of the Principles of Distributed Systems, 11th International Conference, 2007

Accelerating Distributed Computing Applications Using a Network Offloading Framework.

[BibT_eX]

[DOI]

Proceedings of the 21th International Parallel and Distributed Processing Symposium (IPDPS 2007), 2007

Exploiting Gossip for Self-Management in Scalable Event Notification Systems.

[BibT_eX]

[DOI]

Proceedings of the 27th International Conference on Distributed Computing Systems Workshops (ICDCS 2007 Workshops), 2007

Scalable Multicast Platforms for a New Generation of Robust Distributed Applications.

[BibT_eX]

[DOI]

Proceedings of the Second International Conference on COMmunication System softWAre and MiddlewaRE (COMSWARE 2007), 2007

2006

On multicast trees: structure and size estimation.

[BibT_eX]

[DOI]

Osnat Mokryn

Yuval Shavitt

IEEE/ACM Trans. Netw., 2006

Linear-time Self-stabilizing Byzantine Clock Synchronization

[BibT_eX]

[DOI]

CoRR, 2006

Self-Stabilizing Byzantine Pulse Synchronization

[BibT_eX]

[DOI]

CoRR, 2006

Search in Complex Networks : a New Method of Naming

[BibT_eX]

[DOI]

Shai Carmi

Reuven Cohen

CoRR, 2006

Internet resiliency to attacks and failures under BGP policy routing.

[BibT_eX]

[DOI]

Comput. Networks, 2006

Asynchronous resource discovery.

[BibT_eX]

[DOI]

Comput. Networks, 2006

Cooperative and reliable packet-forwarding on top of AODV.

[BibT_eX]

[DOI]

Bracha Hod

Proceedings of the 4th International Symposium on Modeling and Optimization in Mobile, 2006

Self-stabilizing Byzantine Digital Clock Synchronization.

[BibT_eX]

[DOI]

Proceedings of the Stabilization, 2006

Century papers at the first quarter-century milestone.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fifth Annual ACM Symposium on Principles of Distributed Computing, 2006

Self-stabilizing byzantine agreement.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fifth Annual ACM Symposium on Principles of Distributed Computing, 2006

Distributed computing meets game theory: robust mechanisms for rational secret sharing and multiparty computation.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fifth Annual ACM Symposium on Principles of Distributed Computing, 2006

HYDRA: A Novel Framework for Making High-Performance Computing Offload Capable.

[BibT_eX]

[DOI]

Proceedings of the LCN 2006, 2006

Wire-speed total order.

[BibT_eX]

[DOI]

Proceedings of the 20th International Parallel and Distributed Processing Symposium (IPDPS 2006), 2006

On a NIC's Operating System, Schedulers and High-Performance Networking Applications.

[BibT_eX]

[DOI]

Proceedings of the High Performance Computing and Communications, 2006

Scaling Byzantine Fault-Tolerant Replication toWide Area Networks.

[BibT_eX]

[DOI]

Proceedings of the 2006 International Conference on Dependable Systems and Networks (DSN 2006), 2006

2005

Self-stabilization of Byzantine Protocols.

[BibT_eX]

[DOI]

Proceedings of the Self-Stabilizing Systems, 2005

2004

Brief announcement: linear time byzantine self-stabilizing clock synchronization.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Third Annual ACM Symposium on Principles of Distributed Computing, 2004

Optimal Resilience Asynchronous Approximate Agreement.

[BibT_eX]

[DOI]

Yonatan Amit

Proceedings of the Principles of Distributed Systems, 8th International Conference, 2004

Off-Piste QoS-aware Routing Protocol.

[BibT_eX]

[DOI]

Yigal Eliaspur

Proceedings of the 12th IEEE International Conference on Network Protocols (ICNP 2004), 2004

LLS: a locality aware location service for mobile ad hoc networks.

[BibT_eX]

[DOI]

Dahlia Malkhi

Proceedings of the DIALM-POMC Joint Workshop on Foundations of Mobile Computing, 2004

2003

Nonmalleable Cryptography.

[BibT_eX]

[DOI]

Cynthia Dwork

Moni Naor

SIAM Rev., 2003

On the Tomography of Networks and Multicast Trees

[BibT_eX]

[DOI]

CoRR, 2003

Self-Stabilizing Pulse Synchronization Inspired by Biological Pacemaker Networks.

[BibT_eX]

[DOI]

Proceedings of the Self-Stabilizing Systems, 6th International Symposium, SSS 2003, 2003

TCP-Friendly Many-to-Many End-to-End Congestion Control.

[BibT_eX]

[DOI]

Proceedings of the 22nd Symposium on Reliable Distributed Systems (SRDS 2003), 2003

Linear Time Byzantine Self-Stabilizing Clock Synchronization.

[BibT_eX]

[DOI]

Proceedings of the Principles of Distributed Systems, 7th International Conference, 2003

Accounting Mechanism for Membership Size-Dependent Pricing of Multicast Traffic.

[BibT_eX]

[DOI]

David Breitgand

Danny Raz

Proceedings of the Group Communications and Charges; Technology and Business Models, 2003

Facilitating Efficient and Reliable Monitoring through HAMSA.

[BibT_eX]

Proceedings of the Integrated Network Management VII, Managing It All, 2003

A Data-Centric Approach for Scalable State Machine Replication.

[BibT_eX]

[DOI]

Gregory V. Chockler

Dahlia Malkhi

Proceedings of the Future Directions in Distributed Computing, 2003

2002

Moshe: A group membership service for WANs.

[BibT_eX]

[DOI]

ACM Trans. Comput. Syst., 2002

Using AVL trees for fault-tolerant group key management.

[BibT_eX]

[DOI]

Ohad Rodeh

Kenneth P. Birman

Int. J. Inf. Sec., 2002

Ad Hoc Membership for Scalable Applications.

[BibT_eX]

[DOI]

Ilya Shnayderman

Proceedings of the Distributed Computing, 16th International Conference, 2002

An integrated architecture for the scalable delivery of semi-dynamic Web content.

[BibT_eX]

[DOI]

Proceedings of the Seventh IEEE Symposium on Computers and Communications (ISCC 2002), 2002

2001

The architecture and performance of security protocols in the ensemble group communication system: Using diamonds to guard the castle.

[BibT_eX]

[DOI]

Ohad Rodeh

Kenneth P. Birman

ACM Trans. Inf. Syst. Secur., 2001

Neighborhood Preserving Hashing and Approximate Queries.

[BibT_eX]

[DOI]

SIAM J. Discret. Math., 2001

2000

Optimized Rekey for Group Communication Systems.

[BibT_eX]

[DOI]

Ohad Rodeh

Kenneth P. Birman

Proceedings of the Network and Distributed System Security Symposium, 2000

Implementing a Caching Service for Distributed CORBA Objects.

[BibT_eX]

[DOI]

Proceedings of the Middleware 2000, 2000

A Client-Server Oriented Algorithm for Virtually Synchronous Group Membership in WANs.

[BibT_eX]

[DOI]

Proceedings of the 20th International Conference on Distributed Computing Systems, 2000

1999

Fault tolerance in the cardiac ganglion of the lobster.

[BibT_eX]

[DOI]

Ehud Sivan

Biol. Cybern., 1999

Fault Tolerant Video on Demand Services.

[BibT_eX]

[DOI]

Proceedings of the 19th International Conference on Distributed Computing Systems, Austin, TX, USA, May 31, 1999

1998

Increasing the Resilience of Distributed and Replicated Database Systems.

[BibT_eX]

[DOI]

J. Comput. Syst. Sci., 1998

A Safe and Scalable Payment Infrastructure for Trade of Electronic Content.

[BibT_eX]

[DOI]

Gadi Shamir

Int. J. Cooperative Inf. Syst., 1998

An Adaptive Totally Ordered Multicast Protocol That Tolerates Partitions.

[BibT_eX]

[DOI]

Gregory V. Chockler

N. Huleihel

Proceedings of the Seventeenth Annual ACM Symposium on Principles of Distributed Computing, 1998

BARTER: A Backbone Architecture for Trade of Electronic Content.

[BibT_eX]

[DOI]

Gadi Shamir

Proceedings of the Trends in Distributed Systems for Electronic Commerce, 1998

IMSS: IP Multicast Shortcut Service.

[BibT_eX]

[DOI]

Proceedings of the Thirty-First Annual Hawaii International Conference on System Sciences, 1998

1997

Bounded Concurrent Time-Stamping.

[BibT_eX]

[DOI]

SIAM J. Comput., 1997

Report Dagstuhl Seminar on Time Services, Schloß Dagstuhl, March 11-15, 1996.

[BibT_eX]

[DOI]

Real Time Syst., 1997

Efficient Message Passing Interface (MPI) for Parallel Computing on Clusters of Workstations.

[BibT_eX]

[DOI]

J. Parallel Distributed Comput., 1997

Dynamic Voting for Consistent Primary Components.

[BibT_eX]

[DOI]

Esti Yeger Lotem

Proceedings of the Sixteenth Annual ACM Symposium on Principles of Distributed Computing, 1997

Failure Detectors in Omission Failure Environments.

[BibT_eX]

[DOI]

Proceedings of the Sixteenth Annual ACM Symposium on Principles of Distributed Computing, 1997

The Caelum Toolkit for CSCW: The Sky is the Limit.

[BibT_eX]

Proceedings of the Next Generation Information Technologies and Systems (NGITS '97), Third International Workshop, Neve Ilan, Israel, June 30, 1997

Scalable group membership services for novel applications.

[BibT_eX]

[DOI]

Proceedings of the Networks in Distributed Computing, 1997

CONGRESS: connection-oriented group address resolution services.

[BibT_eX]

[DOI]

Proceedings of the Broadband Networking Technologies, Dallas, TX, USA, November 2, 1997, 1997

1996

Relationship between burst properties and sensitivity to input: A theoretical analysis.

[BibT_eX]

[DOI]

Ehud Sivan

J. Comput. Neurosci., 1996

The Transis Approach to High Availability Cluster Communication.

[BibT_eX]

[DOI]

Commun. ACM, 1996

Efficient Message Ordering in Dynamic Networks.

[BibT_eX]

[DOI]

Proceedings of the Fifteenth Annual ACM Symposium on Principles of Distributed Computing, 1996

A Framework for Partitionable Membership Service (Abstract).

[BibT_eX]

[DOI]

Proceedings of the Fifteenth Annual ACM Symposium on Principles of Distributed Computing, 1996

1995

Atomic Broadcast: From Simple Message Diffusion to Byzantine Agreement

[BibT_eX]

[DOI]

Inf. Comput., April, 1995

Dynamic Fault-Tolerant Clock Synchronization.

[BibT_eX]

[DOI]

J. ACM, 1995

Sharing Memory Robustly in Message-Passing Systems.

[BibT_eX]

[DOI]

Hagit Attiya

J. ACM, 1995

Theory and Practice in Distributed Systems (Abstract).

[BibT_eX]

[DOI]

Proceedings of the Distributed Algorithms, 9th International Workshop, 1995

Increasing the Resilience of Atomic Commit at No Additional Cost.

[BibT_eX]

[DOI]

Proceedings of the Fourteenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1995

PCODE: an efficient and reliable collective communication protocol for unreliable broadcast domain.

[BibT_eX]

[DOI]

Proceedings of IPPS '95, 1995

1994

A Bounded First-In, First-Enabled Solution to the l-Exclusion Problem.

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 1994

Experience with RAPID prototypes.

[BibT_eX]

[DOI]

Ray Strong

Ed Wimmers

Proceedings of IEEE 5th International Workshop on Rapid System Prototyping, 1994

Observable Clock Synchronization (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the Thirteenth Annual ACM Symposium on Principles of Distributed Computing, 1994

PCODE: Efficient Parallel Computing over Distributed Environments.

[BibT_eX]

[DOI]

Proceedings of the Thirteenth Annual ACM Symposium on Principles of Distributed Computing, 1994

Highly Available Cluster: A Case Study.

[BibT_eX]

[DOI]

Proceedings of the Digest of Papers: FTCS/24, 1994

The Design of the Transis System.

[BibT_eX]

[DOI]

Proceedings of the Theory and Practice in Distributed Systems, International Workshop, 1994

1993

A Partial Equivalence Between Shared-Memory and Message-Passing in an Asynchronous Fail-Stop Distributed Environment.

[BibT_eX]

[DOI]

Math. Syst. Theory, 1993

Perfectly Secure Message Transmission.

[BibT_eX]

[DOI]

J. ACM, 1993

Atomic Snapshots of Shared Memory.

[BibT_eX]

[DOI]

J. ACM, 1993

Finding the Neighborhood of a Query in a Dictionary.

[BibT_eX]

[DOI]

Yuval Harari

Michal Parnas

Proceedings of the Second Israel Symposium on Theory of Computing Systems, 1993

On Distributed Algorithms in a Broadcast Domain.

[BibT_eX]

[DOI]

Proceedings of the Automata, Languages and Programming, 20nd International Colloquium, 1993

A Highly Available Application in the Transis Environment.

[BibT_eX]

[DOI]

Ofir Amir

Yair Amir

Proceedings of the Hardware and Software Architectures for Fault Tolerance, 1993

Early Delivery Totally Ordered Multicast in Asynchronous Environments.

[BibT_eX]

[DOI]

Shlomo Kramer

Proceedings of the Digest of Papers: FTCS-23, 1993

1992

Shifting Gears: Changing Algorithms on the Fly to Expedite Byzantine Agreement

[BibT_eX]

[DOI]

Inf. Comput., April, 1992

Determinism vs. Nondeterminism in Multiparty Communication Complexity.

[BibT_eX]

[DOI]

Tomás Feder

SIAM J. Comput., 1992

Membership Algorithms for Multicast Communication Groups.

[BibT_eX]

[DOI]

Proceedings of the Distributed Algorithms, 6th International Workshop, 1992

Transis: A Communication Subsystem for High Availability.

[BibT_eX]

[DOI]

Proceedings of the Digest of Papers: FTCS-22, 1992

1991

Fault-Tolerant Critical Section Management in Asynchronous Environments

[BibT_eX]

[DOI]

Inf. Comput., November, 1991

Consensus Algorithms with One-Bit Messages.

[BibT_eX]

[DOI]

Distributed Comput., 1991

Non-Malleable Cryptography (Extended Abstract)

[BibT_eX]

[DOI]

Cynthia Dwork

Moni Naor

Proceedings of the 23rd Annual ACM Symposium on Theory of Computing, 1991

1990

Early Stopping in Byzantine Agreement

[BibT_eX]

[DOI]

J. ACM, October, 1990

Renaming in an Asynchronous Environment

[BibT_eX]

[DOI]

J. ACM, July, 1990

A Bounded First-In, First-Enabled Solution to the 1-Exclusion Problem.

[BibT_eX]

[DOI]

Yehuda Afek

Proceedings of the Distributed Algorithms, 4th International Workshop, 1990

New Latency Bounds for Atomic Broadcast.

[BibT_eX]

[DOI]

Flaviu Cristian

Proceedings of the Real-Time Systems Symposium, 1990

1989

The Distributed Firing Squad Problem.

[BibT_eX]

[DOI]

SIAM J. Comput., 1989

Choice Coordination with Limited Failure.

[BibT_eX]

[DOI]

Distributed Comput., 1989

Fault-Tolerant Critical Section Management in Asynchronous Networks.

[BibT_eX]

[DOI]

Proceedings of the Distributed Algorithms, 1989

Bounded Concurrent Time-Stamp Systems Are Constructible

[BibT_eX]

[DOI]

Proceedings of the 21st Annual ACM Symposium on Theory of Computing, 1989

Shared-Memory vs. Message-Passing in an Asynchronous Distributed Environment.

[BibT_eX]

[DOI]

Proceedings of the Eighth Annual ACM Symposium on Principles of Distributed Computing, 1989

Bounded Polynomial Randomized Consensus.

[BibT_eX]

[DOI]

Hagit Attiya

Proceedings of the Eighth Annual ACM Symposium on Principles of Distributed Computing, 1989

Multiparty Communication Complexity

[BibT_eX]

[DOI]

Tomás Feder

Proceedings of the 30th Annual Symposium on Foundations of Computer Science, Research Triangle Park, North Carolina, USA, 30 October, 1989

1988

Some Geometry for General River Routing.

[BibT_eX]

[DOI]

Alan Siegel

SIAM J. Comput., 1988

Toward a Non-Atomic Era: \ell-Exclusion as a Test Case

[BibT_eX]

[DOI]

Proceedings of the 20th Annual ACM Symposium on Theory of Computing, 1988

Robust multi-agent decision making in faulty environment.

[BibT_eX]

[DOI]

Dragutin Petkovic

Proceedings of the 9th International Conference on Pattern Recognition, 1988

On Safety and Timeliness in Distributed Data Management.

[BibT_eX]

[DOI]

Proceedings of the Concurrency 88: International Conference on Concurrency, 1988

Families of Consensus Algorithms.

[BibT_eX]

[DOI]

Proceedings of the VLSI Algorithms and Architectures, 3rd Aegean Workshop on Computing, 1988

1987

Efficient Fault-Tolerant Routings in Networks

[BibT_eX]

[DOI]

Inf. Comput., October, 1987

A New Look at Fault-Tolerant Network Routing

[BibT_eX]

[DOI]

Inf. Comput., March, 1987

On the minimal synchronism needed for distributed consensus.

[BibT_eX]

[DOI]

Cynthia Dwork

Larry J. Stockmeyer

J. ACM, 1987

Achievable Cases in an Asynchronous Environment (Extended Abstract)

[BibT_eX]

[DOI]

Proceedings of the 28th Annual Symposium on Foundations of Computer Science, 1987

1986

Bounds for Width Two Branching Programs.

[BibT_eX]

[DOI]

SIAM J. Comput., 1986

The Parallel Complexity of Scheduling with Precedence Constraints.

[BibT_eX]

[DOI]

Eli Upfal

Manfred K. Warmuth

J. Parallel Distributed Comput., 1986

On the Possibility and Impossibility of Achieving Clock Synchronization.

[BibT_eX]

[DOI]

J. Comput. Syst. Sci., 1986

Reaching approximate agreement in the presence of faults.

[BibT_eX]

[DOI]

J. ACM, 1986

Cheating Husbands and other Stories: A Case Study of Knowledge, Action, and Communication.

[BibT_eX]

[DOI]

Yoram Moses

Distributed Comput., 1986

A Simple Model for Agreement in Distributed Systems.

[BibT_eX]

[DOI]

Proceedings of the Fault-Tolerant Distributed Computing [Asilomar Workshop 1986], 1986

Atomic Broadcast in a Real-Time Environment.

[BibT_eX]

[DOI]

Proceedings of the Fault-Tolerant Distributed Computing [Asilomar Workshop 1986], 1986

1985

Bounds on Information Exchange for Byzantine Agreement

[BibT_eX]

[DOI]

J. ACM, January, 1985

Scheduling Flat Graphs.

[BibT_eX]

[DOI]

Manfred K. Warmuth

SIAM J. Comput., 1985

The Distributed Firing Squad Problem (Preliminary Version)

[BibT_eX]

[DOI]

Proceedings of the 17th Annual ACM Symposium on Theory of Computing, 1985

Cheating Husbands and Other Stories: A Case Study of Knowledge, Action, and Communication (Preliminary Version).

[BibT_eX]

[DOI]

Yoram Moses

Proceedings of the Fourth Annual ACM Symposium on Principles of Distributed Computing, 1985

Choice Coordination with Bounded Failure (a Preliminary Version).

[BibT_eX]

[DOI]

Proceedings of the Fourth Annual ACM Symposium on Principles of Distributed Computing, 1985

1984

Scheduling Precedence Graphs of Bounded Height.

[BibT_eX]

[DOI]

Manfred K. Warmuth

J. Algorithms, 1984

Correcting Faults in Write-Once Memory

[BibT_eX]

[DOI]

Proceedings of the 16th Annual ACM Symposium on Theory of Computing, April 30, 1984

Fault-Tolerant Clock Synchronization.

[BibT_eX]

[DOI]

Proceedings of the Third Annual ACM Symposium on Principles of Distributed Computing, 1984

Asynchronous Byzantine Consensus.

[BibT_eX]

[DOI]

Chagit Attiya

Joseph Gil

Proceedings of the Third Annual ACM Symposium on Principles of Distributed Computing, 1984

Flipping coins in many pockets (Byzantine agreement on uniformly random values)

[BibT_eX]

[DOI]

Andrei Z. Broder

Proceedings of the 25th Annual Symposium on Foundations of Computer Science, 1984

1983

On the security of public key protocols.

[BibT_eX]

[DOI]

Andrew Chi-Chih Yao

IEEE Trans. Inf. Theory, 1983

Authenticated Algorithms for Byzantine Agreement.

[BibT_eX]

[DOI]

SIAM J. Comput., 1983

Superconcentrators, Generalizers and Generalized Connectors with Limited Depth (Preliminary Version)

[BibT_eX]

[DOI]

Proceedings of the 15th Annual ACM Symposium on Theory of Computing, 1983

1982

An Efficient Algorithm for Byzantine Agreement without Authentication

[BibT_eX]

[DOI]

Inf. Control., March, 1982

An O(n log n) Unidirectional Distributed Algorithm for Extrema Finding in a Circle.

[BibT_eX]

[DOI]

Maria M. Klawe

Michael Rodeh

J. Algorithms, 1982

The Byzantine Generals Strike Again.

[BibT_eX]

[DOI]

J. Algorithms, 1982

On the Security of Ping-Pong Protocols

[BibT_eX]

[DOI]

Shimon Even

Richard M. Karp

Inf. Control., 1982

Polynomial Algorithms for Multiple Processor Agreement

[BibT_eX]

[DOI]

Proceedings of the 14th Annual ACM Symposium on Theory of Computing, 1982

Finding Safe Paths in a Faulty Environment.

[BibT_eX]

[DOI]

José Meseguer

Marshall C. Pease

Proceedings of the ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing, 1982

'Eventual' Is Earlier than 'Immediate'

[BibT_eX]

[DOI]

Proceedings of the 23rd Annual Symposium on Foundations of Computer Science, 1982

Requirements for Agreement in a Distributed System.

[BibT_eX]

Proceedings of the Second International Symposium on Distributed Data Bases, 1982

On the Security of Multi-Party Protocols in Distributed Systems.

[BibT_eX]

[DOI]

Avi Wigderson

Proceedings of the Advances in Cryptology: Proceedings of CRYPTO '82, 1982

1981

Optimal Wiring between Rectangles

[BibT_eX]

[DOI]

Proceedings of the 13th Annual ACM Symposium on Theory of Computing, 1981

On the Security of Public Key Protocols (Extended Abstract)

[BibT_eX]

[DOI]

Andrew Chi-Chih Yao

Proceedings of the 22nd Annual Symposium on Foundations of Computer Science, 1981

Unanimity in an Unknown and Unreliable Environment

[BibT_eX]

[DOI]

Proceedings of the 22nd Annual Symposium on Foundations of Computer Science, 1981

1979

Commutation Preperties and Generating Sets Characterize Slices of Various Synchronization Primitives.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1979

1978

Commutation Relations of Slices Characterize Some Synchronization Primitives.

[BibT_eX]

[DOI]