| 1995 | Knowledge-Based Programs. | Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi |
| 1995 | On the Relevance of Communication Costs of Rollback-Recovery Protocols. | E. N. Elnozahy |
| 1995 | Self-Stabilizing Clock Synchronization in the Presence of Byzantine Faults (Abstract). | Shlomi Dolev, Jennifer L. Welch |
| 1995 | SuperStabilizing Protocols for Dynamic Distributed Systems (Abstract). | Shlomi Dolev, Ted Herman |
| 1995 | Formal Semantics for Expressing Optimism: The Meaning of HOPE. | Crispin Cowan, Hanan Lutfiyya |
| 1995 | A Calculus for Concurrent Update (Abstract). | Gordon V. Cormack |
| 1995 | Active Client Primary-Backup Protocols (Abstract). | Parvathi Chundi, Ragini Narasimhan, Daniel J. Rosenkrantz, S. S. Ravi |
| 1995 | On Distributed Object Checkpointing and Recovery. | Manhoi Choy, Hong Va Leong, Man Hon Wong |
| 1995 | Securing the Internet (Abstract). | Pau-Chen Cheng, Juan A. Garay, Amir Herzberg, Hugo Krawczyk |
| 1995 | A Logarithmic Depth Counting Network (Abstract). | Costas Busch, Marios Mavronicolas |
| 1995 | Long-Lived Renaming Made Fast. | Harry Buhrman, Juan A. Garay, Jaap-Henk Hoepman, Mark Moir |
| 1995 | A Modular Measure of Competitiveness for Distributed Algorithms (Abstract). | James Aspnes, Orli Waarts |
| 1995 | Using Lock-Free Objects in Hard Real-Time Applications (Abstract). | James H. Anderson, Srikanth Ramamurthy |
| 1995 | Universal Constructions for Multi-Object Operations. | James H. Anderson, Mark Moir |
| 1995 | Deriving Optimal Checkpoint Protocols for Distributed Shared Memory Architectures (Abstract). | Lorenzo Alvisi, Keith Marzullo |
| 1995 | The RAPID C++ Environment (Abstract). | M. Abayan, Ray Strong, Edward L. Wimmers |
| 1994 | Integrated Support Environment for Concurrent Process Calculi. | Sen Yoshida, Atsushi Togashi, Norio Shiratori |
| 1994 | Adaptive Algorithms for PASO Systems. | Jeffery R. Westbrook, Lenore D. Zuck |
| 1994 | Self-Stabilization by Counter Flushing. | George Varghese |
| 1994 | Dynamic Sets for Search. | David C. Steere, Mahadev Satyanarayanan, Jeannette M. Wing |
| 1994 | Distributed Pursuit-Evasion: Some Aspects of Privacy and Security in Distributed Computing. | Paul G. Spirakis, Basil Tampakas |
| 1994 | Leader Election in the Presence of Link Failures (Abstract). | Gurdip Singh |
| 1994 | On the Memory Overhead of Distributed Snapshots. | Lior Shabtay, Adrian Segall |
| 1994 | Verification of a Distributed Algorithm (Abstract). | Kaisa Sere, Marina Waldn |
| 1994 | Simulating Fail-Stop in Asynchronous Distributed Systems. | Laura S. Sabel, Keith Marzullo |