| 1997 | Multi-Party Computations: Past and Present. | Shafi Goldwasser |
| 1997 | Trade-offs in Fault-Containing Self-Stabilization. | Sukumar Ghosh, Sriram V. Pemmaraju |
| 1997 | Dynamic Wavelength Allocation in Optical Networks. | Ornan Ori Gerstel, Galen H. Sasaki, Shay Kutten, Rajiv Ramaswami |
| 1997 | Specifying and Using a Partitionable Group Communication Service. | Alan D. Fekete, Nancy A. Lynch, Alexander A. Shvartsman |
| 1997 | Efficiency of Oblivious Versus Non-Oblivious Schedules for Optimistic, Rate-Based Flow Control (Extended Abstract). | Panagiota Fatourou, Marios Mavronicolas, Paul G. Spirakis |
| 1997 | Failure Detectors in Omission Failure Environments. | Danny Dolev, Roy Friedman, Idit Keidar, Dahlia Malkhi |
| 1997 | Randomness vs. Fault-Tolerance. | Ran Canetti, Eyal Kushilevitz, Rafail Ostrovsky, Adi Rosn |
| 1997 | Maintaining Authenticated Communication in the Presence of Break-ins. | Ran Canetti, Shai Halevi, Amir Herzberg |
| 1997 | A Simple Algorithmically Reasoned Characterization of Wait-Free Computations (Extended Abstract). | Elizabeth Borowsky, Eli Gafni |
| 1997 | Computing Vector Functions on Anonymous Networks. | Paolo Boldi, Sebastiano Vigna |
| 1997 | Competing against Specialists. | Piotr Berman, Juan A. Garay |
| 1997 | On FTSS-Solvable Distributed Problems. | Joffroy Beauquier, Synnve Kekkonen-Moneta |
| 1997 | Synchronous Byzantine Quorum Systems. | Rida A. Bazzi |
| 1997 | Automatic Verification of Liveness Properties of Randomized Systems. | Christel Baier, Marta Z. Kwiatkowska |
| 1997 | Efficient Asynchronous Consensus with the Weak Adversary Scheduler. | Yonatan Aumann |
| 1997 | Implementing Wait-Free Objects on Priority-Based Systems. | James H. Anderson, Srikanth Ramamurthy, Rohit Jain |
| 1997 | Disentangling Multi-Object Operations (Extended Abstract). | Yehuda Afek, Michael Merritt, Gadi Taubenfeld, Dan Touitou |
| 1997 | Local Stabilizer (Brief Announcement). | Yehuda Afek, Shlomi Dolev |
| 1997 | Lazy Consistency Using Loosely Synchronized Clocks. | Atul Adya, Barbara Liskov |
| 1996 | A Randomized Byzantine Agreement Protocol with Constant Expected Time and Guaranteed Termination in Optimal (Deterministic) Time. | Arkady Zamsky |
| 1996 | Space Bounds for Transactional Synchronization (Abstract). | John D. Valois |
| 1996 | Atomicity in Electronic Commerce. | J. D. Tygar |
| 1996 | Comparing Primary-Backup and State Machines for Crash Failures (Abstract). | Jeremy B. Sussman, Keith Marzullo |
| 1996 | Constructing a Reliable Test&Set Bit (Abstract). | Frank A. Stomp, Gadi Taubenfeld |
| 1996 | I/O Automata Based Verification of Finite State Distributed Systems: Complexity Issues (Abstract). | Sandeep K. Shukla, Harry B. Hunt III, Daniel J. Rosenkrantz, S. S. Ravi, Richard Edwin Stearns |