| 2026 | PODC | Why Canonical-Round Algorithms Fail for Optimal Byzantine Resilience. | Hagit Attiya, Itay Flam, Jennifer L. Welch |
| 2024 | SIROCCO | Efficient Wait-Free Linearizable Implementations of Approximate Bounded Counters Using Read-Write Registers. | Colette Johnen, Adnane Khattabi, Alessia Milani, Jennifer L. Welch |
| 2023 | OPODIS | Multi-Valued Connected Consensus: A New Perspective on Crusader Agreement and Adopt-Commit. | Hagit Attiya, Jennifer L. Welch |
| 2023 | OPODIS | Bounds on Worst-Case Responsiveness for Agreement Algorithms. | Hagit Attiya, Jennifer L. Welch |
| 2022 | PODC | Blunting an Adversary Against Randomized Concurrent Programs with Linearizable Implementations. | Hagit Attiya, Constantin Enea, Jennifer L. Welch |
| 2020 | PODC | Brief Announcement: Collect in the Presence of Continuous Churn with Application to Snapshots and Lattice Agreement. | Hagit Attiya, Sweta Kumari, Archit Somani, Jennifer L. Welch |
| 2020 | SSS | Store-Collect in the Presence of Continuous Churn with Application to Snapshots and Lattice Agreement. | Hagit Attiya, Sweta Kumari, Archit Somani, Jennifer L. Welch |
| 2019 | PODC | How Fast Reads Affect Multi-Valued Register Simulations. | Soma Chaudhuri, Reginald Frank, Jennifer L. Welch |
| 2018 | OPODIS | Complexity of Multi-Valued Register Simulations: A Retrospective (Keynote). | Jennifer L. Welch |
| 2017 | SSS | Relaxed Data Types as Consistency Conditions. | Edward Talmage, Jennifer L. Welch |
| 2015 | OPODIS | Generic Proofs of Consensus Numbers for Abstract Data Types. | Edward Talmage, Jennifer L. Welch |
| 2014 | ICDCN | Stabilizing Dining with Failure Locality 1. | Hyun Chul Chung, Srikanth Sastry, Jennifer L. Welch |
| 2012 | ICDCS | Neighbor Knowledge of Mobile Nodes in a Road Network. | Hyun Chul Chung, Saira Viqar, Jennifer L. Welch |
| 2012 | OPODIS | Stochastic Modeling of Dynamic Distributed Systems with Crash Recovery and Its Application to Atomic Registers. | Silvia Bonomi, Andreas Klappenecker, Hyunyoung Lee, Jennifer L. Welch |
| 2012 | OPODIS | Wait-Free Stabilizing Dining Using Regular Registers. | Srikanth Sastry, Jennifer L. Welch, Josef Widder |
| 2011 | ICDCN | Reliable Networks with Unreliable Sensors. | Srikanth Sastry, Tsvetomira Radeva, Jianer Chen, Jennifer L. Welch |
| 2011 | PODC | Time bounds for shared objects in partially synchronous systems. | Jiaqi Wang, Jennifer L. Welch, Hyunyoung Lee |
| 2011 | SPAA | Brief announcement: full reversal routing as a linear dynamical system. | Bernadette Charron-Bost, Matthias Fgger, Jennifer L. Welch, Josef Widder |
| 2011 | SIROCCO | Full Reversal Routing as a Linear Dynamical System. | Bernadette Charron-Bost, Matthias Fgger, Jennifer L. Welch, Josef Widder |
| 2011 | SIROCCO | Partial is Full. | Bernadette Charron-Bost, Matthias Fgger, Jennifer L. Welch, Josef Widder |
| 2011 | SSS | Dynamic Regular Registers in Systems with Churn. | Andreas Klappenecker, Hyunyoung Lee, Jennifer L. Welch |
| 2010 | Algosensors | Brief Announcement: Regional Consecutive Leader Election in Mobile Ad-Hoc Networks. | Hyun Chul Chung, Peter Robinson, Jennifer L. Welch |
| 2010 | OPODIS | Failure Detectors Encapsulate Fairness. | Scott M. Pike, Srikanth Sastry, Jennifer L. Welch |
| 2010 | SPAA | Corrigendum: weakest failure detector for wait-free dining under eventual weak exclusion. | Srikanth Sastry, Scott M. Pike, Jennifer L. Welch |
| 2009 | Algosensors | Link Reversal: How to Play Better to Work Less. | Bernadette Charron-Bost, Jennifer L. Welch, Josef Widder |
| 2009 | Algosensors | Deterministic Collision Free Communication Despite Continuous Motion. | Saira Viqar, Jennifer L. Welch |
| 2009 | CEC | A distributed pool architecture for genetic algorithms. | Gautam Roy, Hyunyoung Lee, Jennifer L. Welch, Yuan Zhao, Vijitashwa Pandey, Deborah L. Thurston |
| 2009 | SPAA | Routing without ordering. | Bernadette Charron-Bost, Antoine Gaillard, Jennifer L. Welch, Josef Widder |
| 2009 | SPAA | The weakest failure detector for wait-free dining under eventual weak exclusion. | Srikanth Sastry, Scott M. Pike, Jennifer L. Welch |
| 2008 | ICDCS | Efficient and Robust Local Mutual Exclusion in Mobile Ad Hoc Networks. | Hagit Attiya, Alex Kogan, Jennifer L. Welch |
| 2008 | PODC | A world of (Im) possibilities. | Hagit Attiya, Jennifer L. Welch |
| 2008 | PODC | Scheduling sensors by tilinglattices. | Andreas Klappenecker, Hyunyoung Lee, Jennifer L. Welch |
| 2006 | ICDCN | Maintaining Information About Nearby Processors in a Mobile Environment. | Faith Ellen, Sivaramakrishnan Subramanian, Jennifer L. Welch |
| 2005 | MSWIM | Location-based broadcasting for dense mobile ad hoc networks. | Yu Chen, Jennifer L. Welch |
| 2005 | OPODIS | Optimal Clock Synchronization Under Energy Constraints in Wireless Ad-Hoc Networks. | Hagit Attiya, David Hay, Jennifer L. Welch |
| 2005 | SPAA | Autonomous virtual mobile nodes. | Shlomi Dolev, Seth Gilbert, Elad Schiller, Alexander A. Shvartsman, Jennifer L. Welch |
| 2004 | PODC | Brief announcement: virtual mobile nodes for mobile ad hoc networks. | Shlomi Dolev, Seth Gilbert, Nancy A. Lynch, Elad Schiller, Alexander A. Shvartsman, Jennifer L. Welch |
| 2002 | PODC | Random walk for self-stabilitzing group communication in ad hoc networks. | Shlomi Dolev, Elad Schiller, Jennifer L. Welch |
| 2002 | SRDS | Random Walk for Self-Stabilizing Group Communication in Ad-Hoc Networks. | Shlomi Dolev, Elad Schiller, Jennifer L. Welch |
| 2001 | ICDCS | Applications of Probabilistic Quorums to Iterative Algorithms. | Hyunyoung Lee, Jennifer L. Welch |
| 2001 | ICNP | Distributed Token Circulation on Mobile Ad Hoc Networks. | Navneet Malpani, Nitin H. Vaidya, Jennifer L. Welch |
| 2001 | ISAAC | Randomized Shared Queues Applied to Distributed Optimization Algorithms. | Hyunyoung Lee, Jennifer L. Welch |
| 2001 | PODC | Randomized shared queues. | Hyunyoung Lee, Jennifer L. Welch |
| 2000 | PODC | Specification, implementation and application of randomized regular registers (brief announcement). | Hyunyoung Lee, Jennifer L. Welch |
| 2000 | PODC | Distributed reconfigurtion of metamorphic robot chains. | Jennifer E. Walter, Jennifer L. Welch, Nancy M. Amato |
| 1997 | PDPTA | Hazard-Free Connection Release. | Jennifer E. Walter, Jennifer L. Welch |
| 1996 | ICDCS | Implementation of Recoverable Distributed Shared Memory by Logging Writes. | Sundar Kanthadai, Jennifer L. Welch |
| 1996 | PODC | The Role of Data-Race-Free Programs in Recoverable DSM (Abstract). | Soma Chaudhuri, Sundar Kanthadai, Jennifer L. Welch |
| 1995 | ICDCS | A Competitive Analysis for Retransmission Timeout. | Shlomi Dolev, Michael Kate, Jennifer L. Welch |
| 1995 | INFOCOM | Modified Tree Structure for Location Management in Mobile Environments. | Shlomi Dolev, Dhiraj K. Pradhan, Jennifer L. Welch |
| 1995 | PDPTA | On the Time Complexity of the Dining Philosophers Problem. | Injong Rhee, Jennifer L. Welch |
| 1995 | PODC | Self-Stabilizing Clock Synchronization in the Presence of Byzantine Faults (Abstract). | Shlomi Dolev, Jennifer L. Welch |
| 1993 | PODC | Wait-Free Clock Synchronization (Extended Abstract). | Shlomi Dolev, Jennifer L. Welch |
| 1993 | SPAA | Shared Memory Consistency Conditions for Non-Sequential Execution: Definitions and Programming Strategies. | Hagit Attiya, Soma Chaudhuri, Roy Friedman, Jennifer L. Welch |
| 1992 | PODC | The Impact of Time on the Session Problem. | Injong Rhee, Jennifer L. Welch |
| 1991 | SPAA | Sequential Consistency Versus Linearizability (Extended Abstract). | Hagit Attiya, Jennifer L. Welch |
| 1989 | PODC | Modular Construction of Nearly Optimal Byzantine Agreement Protocols. | Brian A. Coan, Jennifer L. Welch |
| 1989 | PODC | Efficient Distributed Recovery Using Message Logging. | A. Prasad Sistla, Jennifer L. Welch |
| 1988 | PODC | A Lattice-Structured Proof of a Minimum Spanning. | Jennifer L. Welch, Leslie Lamport, Nancy A. Lynch |