| 2015 | ICWS | Conversion Infrastructure for Maintaining High Availability of Web Services Using Multiple Service Providers. | P. M. Melliar-Smith, Louise E. Moser |
| 2013 | ICCCN | Probabilistic Analysis of Message Forwarding. | Louise E. Moser, P. M. Melliar-Smith |
| 2012 | WiMob | Decentralized search and retrieval for mobile networks using SMS. | Isai Michel Lombera, Louise E. Moser, P. M. Melliar-Smith, Yung-Ting Chuang |
| 2009 | ICWS | Collaborative Web Data Record Extraction. | Gengxin Miao, Firat Kart, Louise E. Moser, P. M. Melliar-Smith |
| 2006 | MOMM | Location-Aware Voice-Enabled Web Services for Mobile Devices. | Shreyas Prasad, Zachary Davis, Michael Hu, Michael Schuricht, P. M. Melliar-Smith, Louise E. Moser |
| 2005 | EDCC | Integrating Fault Tolerance and Load Balancing in Distributed Systems Based on CORBA. | A. V. Singh, Louise E. Moser, P. M. Melliar-Smith |
| 2005 | ICWS | A Reservation-Based Coordination Protocol for Web Services. | Wenbing Zhao, Louise E. Moser, P. M. Melliar-Smith |
| 2004 | SRDS | Progress in Real-Time Fault Tolerance. | P. M. Melliar-Smith, Louise E. Moser |
| 2003 | DSN | Transparent TCP Connection Failover. | Ruppert R. Koch, Sanjay Hortikar, Louise E. Moser, P. M. Melliar-Smith |
| 2003 | DSN | Design and Implementation of a Consistent Time Service for Fault-Tolerant Distributed Systems. | Wenbing Zhao, Louise E. Moser, P. M. Melliar-Smith |
| 2002 | COMPSAC | Online Upgrades Become Standard. | Louise E. Moser, P. M. Melliar-Smith, L. A. Tewksbury |
| 2002 | COMPSAC | On Bootstrapping Replicated CORBA Applications. | Wenbing Zhao, Louise E. Moser, P. M. Melliar-Smith |
| 2002 | DSN | Lessons Learned in Building a Fault-Tolerant CORBA System. | Priya Narasimhan, Louise E. Moser, P. M. Melliar-Smith |
| 2002 | ICDCS | The Totem Redundant Ring Protocol. | Ruppert R. Koch, Louise E. Moser, P. M. Melliar-Smith |
| 2002 | ICDCS | Unification of Replication and Transaction Processing in Three-Tier Architectures. | Wenbing Zhao, Louise E. Moser, P. M. Melliar-Smith |
| 2002 | ISORC | End-to-End Latency of a Fault-Tolerant CORBA Infrastructure. | Wenbing Zhao, Louise E. Moser, P. M. Melliar-Smith |
| 2001 | DAIS | Live Upgrade Techniques for CORBA Applications. | L. A. Tewksbury, Louise E. Moser, P. M. Melliar-Smith |
| 2001 | DSN | State Synchronization and Recovery for Strongly Consistent Replicated CORBA Objects. | Priya Narasimhan, Louise E. Moser, P. M. Melliar-Smith |
| 2001 | ICCS | Overview of the InterGroup Protocols. | K. Berket, Deborah A. Agarwal, P. M. Melliar-Smith, Louise E. Moser |
| 2001 | ICDCS | Dynamic Migration Algorithms for Distributed Object Systems. | Vana Kalogeraki, P. M. Melliar-Smith, Louise E. Moser |
| 2001 | ISSRE | Increasing the Reliability of Three-Tier Applications. | Wenbing Zhao, Louise E. Moser, P. M. Melliar-Smith |
| 2000 | DSN | A Reliable Many-to-Many Multicast Protocol for Group Communication over ATM Networks. | Ruppert R. Koch, Louise E. Moser, P. M. Melliar-Smith |
| 2000 | ISORC | Dynamic Scheduling for Soft Real-Time Distributed Object Systems. | Vana Kalogeraki, P. M. Melliar-Smith, Louise E. Moser |
| 2000 | Middleware | Gateways for Accessing Fault Tolerance Domains. | Priya Narasimhan, Louise E. Moser, P. M. Melliar-Smith |
| 2000 | RTSS | Dynamic Scheduling of Distributed Method Invocations. | Vana Kalogeraki, P. M. Melliar-Smith, Louise E. Moser |
| 1999 | EDOC | The Eternal system: an architecture for enterprise applications. | Louise E. Moser, P. M. Melliar-Smith, Priya Narasimhan, L. A. Tewksbury, Vana Kalogeraki |
| 1999 | ICDCS | Providing Support for Survivable CORBA Applications with the Immune System. | Priya Narasimhan, Kim Potter Kihlstrom, Louise E. Moser, P. M. Melliar-Smith |
| 1999 | ISORC | Using Multiple Feedback Loops for Object Profiling, Scheduling and Migration in Soft Real-Time Distributed Object Systems. | Vana Kalogeraki, P. M. Melliar-Smith, Louise E. Moser |
| 1999 | SRDS | Enforcing Determinism for the Consistent Replication of Multithreaded CORBA Applications. | Priya Narasimhan, Louise E. Moser, P. M. Melliar-Smith |
| 1998 | ICCCN | Flow Control in the High-Speed Thunder and Lightning ATM Network. | Michael D. Santos, P. M. Melliar-Smith, Louise E. Moser |
| 1998 | ICNP | A Lossless, Minimal Latency Protocol for Gigabit ATM Networks. | Michael D. Santos, P. M. Melliar-Smith, Louise E. Moser |
| 1997 | ICCCN | Analyzing the latency of the Totem multicast protocols. | Efstratios Thomopoulos, Louise E. Moser, P. M. Melliar-Smith |
| 1997 | OPODIS | Solving Consensus in a Byzantine Environment Using an Unreliable Fault Detector. | Kim Potter Kihlstrom, Louise E. Moser, P. M. Melliar-Smith |
| 1996 | CAV | The Real-Time Graphical Interval Logic Toolset. | Louise E. Moser, P. M. Melliar-Smith, Y. S. Ramakrishna, George Kutty, Laura K. Dillon |
| 1996 | ICDCS | Reservation-Based Totally Ordered Multicasting. | Xiaomin Chen, Louise E. Moser, P. M. Melliar-Smith |
| 1996 | ICNP | Flow Control Techniques for Multicasting in Gigabit Networks. | Xiaomin Chen, Louise E. Moser, P. M. Melliar-Smith |
| 1996 | TACAS | Probabilistic Duration Automata for Analyzing Real-Time Systems. | Louise E. Moser, P. M. Melliar-Smith |
| 1995 | ICNP | A reliable ordered delivery protocol for interconnected local area networks. | Deborah A. Agarwal, Louise E. Moser, P. M. Melliar-Smith, Ravi K. Budhia |
| 1994 | ICDCS | Extended Virtual Synchrony. | Louise E. Moser, Yair Amir, P. M. Melliar-Smith, Deborah A. Agarwal |
| 1994 | ICNP | The Totem protocol development environment. | P. Ciarfella, Louise E. Moser, P. M. Melliar-Smith, Deborah A. Agarwal |
| 1994 | RTSS | Probabilistic Bounds on Message Delivery for the Totem Single-Ring Protocol. | Louise E. Moser, P. M. Melliar-Smith |
| 1993 | CAV | A Graphical Interval Logic Toolset for Verifying Concurrent Systems. | George Kutty, Y. S. Ramakrishna, Louise E. Moser, Laura K. Dillon, P. M. Melliar-Smith |
| 1993 | ICDCS | Fast Message Ordering and Membership Using a Logical Token-Passing Ring. | Yair Amir, Louise E. Moser, P. M. Melliar-Smith, Deborah A. Agarwal, P. Ciarfella |
| 1992 | ICPP | PAL: A Language for Parallel Asynchronous Computation. | Amitabha Das, Louise E. Moser, P. M. Melliar-Smith |
| 1992 | ICSE | Graphical Specifications for Concurrent Software Systems. | Laura K. Dillon, George Kutty, Louise E. Moser, P. M. Melliar-Smith, Y. S. Ramakrishna |
| 1991 | ICDCS | Membership algorithms for asynchronous distributed systems. | Louise E. Moser, P. M. Melliar-Smith, Vivek Agrawala |
| 1991 | SIGMETRICS | Performance Analysis of a Broadcast Communications Protocol. | P. M. Melliar-Smith, Louise E. Moser |
| 1990 | SIGMETRICS | Probabilistic Language Analysis of Weighted Voting Algorithms. | Louise E. Moser, Vikas Kapur, P. M. Melliar-Smith |
| 1988 | CONCUR | A Graphical Representation of Interval Logic. | P. M. Melliar-Smith |
| 1984 | PODC | Byzantine Clock Synchronization. | Leslie Lamport, P. M. Melliar-Smith |
| 1983 | PODC | An Interval Logic for Higher-Level Temporal Reasoning. | Richard L. Schwartz, P. M. Melliar-Smith, Friedrich H. Vogt |
| 1982 | CADE | STP: A Mechanized Logic for Specification and Verification. | Robert E. Shostak, Richard L. Schwartz, P. M. Melliar-Smith |
| 1981 | ICDCS | Temporal Logic Specification of Distributed Systems. | Richard L. Schwartz, P. M. Melliar-Smith |
| 1981 | ICSE | The Finalization Operation for Abstract Types. | Richard L. Schwartz, P. M. Melliar-Smith |