| 1986 | The Complexity of Using Forwarding Addresses for Decentralized Object Finding. | Robert J. Fowler |
| 1986 | Asymptotically Optimal Algorithms For Approximale Agreement. | Alan David Fekete |
| 1986 | Limitations on Database Availability when Networks Partition. | Brian A. Coan, Brian M. Oki, Elliot K. Kolodner |
| 1986 | Transaction Commit in a Realistic Fault Model. | Brian A. Coan, Jennifer Lundelius |
| 1986 | A Communication-Efficient Canonical Form for Fault-Tolerant Distributed Protocols. | Brian A. Coan |
| 1986 | Reasoning About Networks With Many Identical Finite-State Processes. | Edmund M. Clarke, Orna Grumberg, Michael C. Browne |
| 1986 | Continous Routing and Batch Routing on the Hypercube. | Yukon Chang, Janos Simon |
| 1986 | Distributing the Power of a Government to Enhance the Privacy of Voters (Extended Abstract). | Josh Cohen Benaloh, Moti Yung |
| 1986 | Protocols for Dynamic Vote Reassignment. | Daniel Barbar, Hector Garcia-Molina, Annemarie Spauster |
| 1986 | The Synthesis of Communication Protocols. | Foto N. Afrati, Christos H. Papadimitriou, George Papageorgiou |
| 1986 | Probabilistic Solitude Verification on a Ring. | Karl R. Abrahamson, Andrew Adler, Lisa Higham, David G. Kirkpatrick |
| 1985 | Distributed Version Management for Read-Only Actions (Extended Abstract). | William E. Weihl |
| 1985 | Fast Distributed Agreement (Preliminary Version). | Sam Toueg, Kenneth J. Perry, T. K. Srikanth |
| 1985 | Terminating Iterative Solution of Simultaneous Equations in Distributed Message Passing Systems. | Boleslaw K. Szymanski, Yuan Shi, Noah S. Prywes |
| 1985 | Optimal Clock Synchronization. | T. K. Srikanth, Sam Toueg |
| 1985 | On Characterization of Safety and Liveness Properties in Temporal Logic. | A. Prasad Sistla |
| 1985 | Distributed Match-Making for Processes in Computer Networks (Preliminary Version). | Sape J. Mullender, Paul M. B. Vitnyi |
| 1985 | Cheating Husbands and Other Stories: A Case Study of Knowledge, Action, and Communication (Preliminary Version). | Yoram Moses, Danny Dolev, Joseph Y. Halpern |
| 1985 | Inexact Agreement: Accuracy, Precision, and Graceful Degradation. | Stephen R. Mahaney, Fred B. Schneider |
| 1985 | Towards a Universal Directory Service. | Keith A. Lantz, Judy L. Edighoffer, Bruce L. Hitson |
| 1985 | The Optimality of Distributed Constructions of Minimum Weigth and Degree Restricted Spanning Trees in a Complete Network of Processors. | Ephraim Korach, Shlomo Moran, Shmuel Zaks |
| 1985 | A Modular Technique for the Design of Efficient Distributed Leader Finding Algorithms. | Ephraim Korach, Shay Kutten, Shlomo Moran |
| 1985 | On the Analysis of Cooperation and Antagonism in Networks of Communicating Processes. | Paris C. Kanellakis, Scott A. Smolka |
| 1985 | A Model and Proof System for Asynchronous Networks. | Bengt Jonsson |
| 1985 | Symmetry and Similarity in Distributed Systems. | Ralph E. Johnson, Fred B. Schneider |