Jennifer L. Welch

184 papers A* 20A 25B 22C 6Misc 5Journal 85Unranked 17

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Beyond Canonical Rounds: Communication Abstractions for Optimal Byzantine Resilience. CoRR Hagit Attiya, Itay Flam, Jennifer L. Welch
2025	A	`conf`	Brief Announcement: Communication Patterns for Optimal Resilience. DISC Hagit Attiya, Itay Flam, Jennifer L. Welch
2024	B	`conf`	Efficient Wait-Free Linearizable Implementations of Approximate Bounded Counters Using Read-Write Registers. SIROCCO Colette Johnen, Adnane Khattabi, Alessia Milani, Jennifer L. Welch
2024	J	`jnl`	Efficient Wait-Free Linearizable Implementations of Approximate Bounded Counters Using Read-Write Registers. CoRR Colette Johnen, Adnane Khattabi, Alessia Milani, Jennifer L. Welch
2023	B	`conf`	Bounds on Worst-Case Responsiveness for Agreement Algorithms. OPODIS Hagit Attiya, Jennifer L. Welch
2023	A	`conf`	Brief Announcement: Multi-Valued Connected Consensus: A New Perspective on Crusader Agreement and Adopt-Commit. DISC Hagit Attiya, Jennifer L. Welch
2023	B	`conf`	Multi-Valued Connected Consensus: A New Perspective on Crusader Agreement and Adopt-Commit. OPODIS Hagit Attiya, Jennifer L. Welch
2023	J	`jnl`	Multi-Valued Connected Consensus: A New Perspective on Crusader Agreement and Adopt-Commit. CoRR Hagit Attiya, Jennifer L. Welch
2022	A*	`conf`	Blunting an Adversary Against Randomized Concurrent Programs with Linearizable Implementations. PODC Hagit Attiya, Constantin Enea, Jennifer L. Welch
2022	J	`jnl`	Store-collect in the presence of continuous churn with application to snapshots and lattice agreement. Inf. Comput. Hagit Attiya, Sweta Kumari, Archit Somani, Jennifer L. Welch
2022	A	`conf`	Using Linearizable Objects in Randomized Concurrent Programs (Invited Talk). DISC Jennifer L. Welch
2021	A	`conf`	Impossibility of Strongly-Linearizable Message-Passing Objects via Simulation by Single-Writer Registers. DISC Hagit Attiya, Constantin Enea, Jennifer L. Welch
2021	J	`jnl`	Impossibility of Strongly-Linearizable Message-Passing Objects via Simulation by Single-Writer Registers. CoRR Hagit Attiya, Constantin Enea, Jennifer L. Welch
2021	J	`jnl`	Linearizable Implementations Suffice for Termination of Randomized Concurrent Programs. CoRR Hagit Attiya, Constantin Enea, Jennifer L. Welch
2020	A*	`conf`	Brief Announcement: Collect in the Presence of Continuous Churn with Application to Snapshots and Lattice Agreement. PODC Hagit Attiya, Sweta Kumari, Archit Somani, Jennifer L. Welch
2020	C	`conf`	Store-Collect in the Presence of Continuous Churn with Application to Snapshots and Lattice Agreement. SSS Hagit Attiya, Sweta Kumari, Archit Somani, Jennifer L. Welch
2020	J	`jnl`	Store-Collect in the Presence of Continuous Churn with Application to Snapshots and Lattice Agreement. CoRR Hagit Attiya, Sweta Kumari, Archit Somani, Jennifer L. Welch
2019	J	`jnl`	Anomalies and similarities among consensus numbers of variously-relaxed queues. Computing Edward Talmage, Jennifer L. Welch
2019	J	`jnl`	Byzantine-Tolerant Register in a System with Continuous Churn. CoRR Saptaparni Kumar, Jennifer L. Welch
2019	J	`jnl`	Distributed Computing Column 73 SPAA 2018 Review. SIGACT News Jennifer L. Welch
2019	J	`jnl`	Distributed Computing Column 74 Survey of Recon gurable Data Center Networks. SIGACT News Jennifer L. Welch
2019	J	`jnl`	Distributed Computing Column 75 The Splendors and Miseries of Rounds. SIGACT News Jennifer L. Welch
2019	J	`jnl`	Emulating a Shared Register in a System That Never Stops Changing. IEEE Trans. Parallel Distributed Syst. Hagit Attiya, Hyun Chul Chung, Faith Ellen, Saptaparni Kumar, Jennifer L. Welch
2019	A*	`conf`	How Fast Reads Affect Multi-Valued Register Simulations. PODC Soma Chaudhuri, Reginald Frank, Jennifer L. Welch
2019	J	`jnl`	Implementing ♢P with Bounded Messages on a Network of Parallel Process. Lett. Saptaparni Kumar, Jennifer L. Welch
2019	—	`ch.`	Shared memory and the Bakery algorithm. Concurrency: the Works of Leslie Lamport Hagit Attiya, Jennifer L. Welch
2018	J	`jnl`	A Tight Lower Bound for Clock Synchronization in Odd-Ary M-Toroids. CoRR Reginald Frank, Jennifer L. Welch
2018	A	`conf`	Brief Announcement: A Tight Lower Bound for Clock Synchronization in Odd-Ary M-Toroids. DISC Reginald Frank, Jennifer L. Welch
2018	B	`conf`	Complexity of Multi-Valued Register Simulations: A Retrospective (Keynote). OPODIS Jennifer L. Welch
2018	J	`jnl`	Distributed Computing Column 69 Proving PACELC and Concurrent Computing Summer School. SIGACT News Jennifer L. Welch
2018	J	`jnl`	Distributed Computing Column 70: Formalizing and Implementing Distributed Ledger Objects. SIGACT News Jennifer L. Welch
2018	J	`jnl`	Distributed Computing Column 71: Recent Algorithmic Advances in Population Protocols. SIGACT News Jennifer L. Welch
2018	J	`jnl`	Distributed Computing Column 72: Annual Review 2018. SIGACT News Jennifer L. Welch
2018	J	`jnl`	Improved time bounds for linearizable implementations of abstract data types. Inf. Comput. Jiaqi Wang, Edward Talmage, Hyunyoung Lee, Jennifer L. Welch
2018	J	`jnl`	Relaxed Data Types as Consistency Conditions. Algorithms Edward Talmage, Jennifer L. Welch
2017	—	`conf`	Anomalies and Similarities Among Consensus Numbers of Variously-Relaxed Queues. NETYS Edward Talmage, Jennifer L. Welch
2017	A	`conf`	Bounded Reordering Allows Efficient Reliable Message Transmission. IPDPS Keishla D. Ortiz-Lopez, Jennifer L. Welch
2017	J	`jnl`	Distributed Computing Column 65: Automatic Synthesis of Distributed Protocols and SIROCCO 2016 Review. SIGACT News Jennifer L. Welch
2017	J	`jnl`	Distributed Computing Column 66 Algorithmic Foundations of Programmable Matter Dagstuhl Seminar 16271. SIGACT News Jennifer L. Welch
2017	J	`jnl`	Distributed Computing Column 67: Review of 2016 BIRS CMO Workshop on Complexity and Analysis of Distributed Algorithms. SIGACT News Jennifer L. Welch
2017	J	`jnl`	Distributed Computing Column 68. SIGACT News Jennifer L. Welch
2017	J	`jnl`	Implementing Diamond P with Bounded Messages on a Network of ADD Channels. CoRR Saptaparni Kumar, Jennifer L. Welch
2017	C	`conf`	Relaxed Data Types as Consistency Conditions. SSS Edward Talmage, Jennifer L. Welch
2017	J	`jnl`	Simulating a Shared Register in a System that Never Stops Changing. CoRR Hagit Attiya, Hyun Chul Chung, Faith Ellen, Saptaparni Kumar, Jennifer L. Welch
2016	J	`jnl`	Distributed Computing Column 61: Distributed Algorithmic Foundations of Dynamic Networks. SIGACT News Jennifer L. Welch
2016	J	`jnl`	Distributed Computing Column 62: Decidability in Parameterized Verification. SIGACT News Jennifer L. Welch
2016	J	`jnl`	Distributed Computing Column 63: A Note on Fault-tolerant Consensus in Directed Networks. SIGACT News Jennifer L. Welch
2016	J	`jnl`	Distributed Computing Column 64: Annual Review 2016. SIGACT News Jennifer L. Welch
2015	J	`jnl`	Distributed Computing Column 57 Distributed Algorithms as Combinatorial Structures. SIGACT News Jennifer L. Welch
2015	J	`jnl`	Distributed Computing Column 58: Maurice Herlihy's 60th Birthday Celebration. SIGACT News Jennifer L. Welch
2015	J	`jnl`	Distributed Computing Column 59: Resource-Competitive Algorithms. SIGACT News Jennifer L. Welch
2015	J	`jnl`	Distributed Computing Column 60: Annual Review 2015. SIGACT News Jennifer L. Welch
2015	B	`conf`	Generic Proofs of Consensus Numbers for Abstract Data Types. OPODIS Edward Talmage, Jennifer L. Welch
2015	A	`conf`	Simulating a Shared Register in an Asynchronous System that Never Stops Changing - (Extended Abstract). DISC Hagit Attiya, Hyun Chul Chung, Faith Ellen, Saptaparni Kumar, Jennifer L. Welch
2015	J	`jnl`	Time Complexity of Link Reversal Routing. ACM Trans. Algorithms Bernadette Charron-Bost, Matthias Függer, Jennifer L. Welch, Josef Widder
2014	J	`jnl`	Distributed Computing Column 56 Annual Review 2014. SIGACT News Jennifer L. Welch
2014	J	`jnl`	Distributed computing column 53: Dagstuhl seminar review: consistency in distributed systems. SIGACT News Jennifer L. Welch
2014	J	`jnl`	Distributed computing column 54 transactional memory: models and algorithms. SIGACT News Jennifer L. Welch
2014	J	`jnl`	Distributed computing column 55 WTTM 2013 review, and lower bounds for distributed quantum computing. SIGACT News Jennifer L. Welch
2014	J	`jnl`	Finding available parking spaces made easy. Ad Hoc Networks Andreas Klappenecker, Hyunyoung Lee, Jennifer L. Welch
2014	A	`conf`	Improved Time Bounds for Linearizable Implementations of Abstract Data Types. IPDPS Jiaqi Wang, Edward Talmage, Hyunyoung Lee, Jennifer L. Welch
2014	A	`conf`	Improving Average Performance by Relaxing Distributed Data Structures. DISC Edward Talmage, Jennifer L. Welch
2014	J	`jnl`	Reliable neighbor discovery for mobile ad hoc networks. Ad Hoc Networks Alejandro Cornejo, Saira Viqar, Jennifer L. Welch
2014	Misc	`conf`	Stabilizing Dining with Failure Locality 1. ICDCN Hyun Chul Chung, Srikanth Sastry, Jennifer L. Welch
2013	J	`jnl`	A leader election algorithm for dynamic networks with causal clocks. Distributed Comput. Rebecca Ingram, Tsvetomira Radeva, Patrick Shields, Saira Viqar, Jennifer E. Walter, Jennifer L. Welch
2013	J	`jnl`	Deterministic collision free communication despite continuous motion. Ad Hoc Networks Saira Viqar, Jennifer L. Welch
2013	J	`jnl`	Distributed computing column 52: annual review 2013. SIGACT News Jennifer L. Welch
2013	J	`jnl`	Dynamic regular registers in systems with churn. Theor. Comput. Sci. Andreas Klappenecker, Hyunyoung Lee, Jennifer L. Welch
2013	J	`jnl`	Link Reversal Routing with Binary Link Labels: Work Complexity. SIAM J. Comput. Bernadette Charron-Bost, Antoine Gaillard, Jennifer L. Welch, Josef Widder
2013	J	`jnl`	Reliable networks with unreliable sensors. Pervasive Mob. Comput. Srikanth Sastry, Tsvetomira Radeva, Jianer Chen, Jennifer L. Welch
2012	J	`jnl`	Failure detectors encapsulate fairness. Distributed Comput. Scott M. Pike, Srikanth Sastry, Jennifer L. Welch
2012	A	`conf`	Neighbor Knowledge of Mobile Nodes in a Road Network. ICDCS Hyun Chul Chung, Saira Viqar, Jennifer L. Welch
2012	B	`conf`	Stochastic Modeling of Dynamic Distributed Systems with Crash Recovery and Its Application to Atomic Registers. OPODIS Silvia Bonomi, Andreas Klappenecker, Hyunyoung Lee, Jennifer L. Welch
2012	B	`conf`	Wait-Free Stabilizing Dining Using Regular Registers. OPODIS Srikanth Sastry, Jennifer L. Welch, Josef Widder
2011	B	`conf`	Brief announcement: full reversal routing as a linear dynamical system. SPAA Bernadette Charron-Bost, Matthias Függer, Jennifer L. Welch, Josef Widder
2011	C	`conf`	Dynamic Regular Registers in Systems with Churn. SSS Andreas Klappenecker, Hyunyoung Lee, Jennifer L. Welch
2011	B	`conf`	Full Reversal Routing as a Linear Dynamical System. SIROCCO Bernadette Charron-Bost, Matthias Függer, Jennifer L. Welch, Josef Widder
2011	—	`book`	Link Reversal Algorithms Jennifer L. Welch, Jennifer E. Walter
2011	J	`jnl`	Multiwriter Consistency Conditions for Shared Memory Registers. SIAM J. Comput. Cheng Shao, Jennifer L. Welch, Evelyn Pierce, Hyunyoung Lee
2011	—	`conf`	Optimal regional consecutive leader election in mobile ad-hoc networks. FOMC Hyun Chul Chung, Peter Robinson, Jennifer L. Welch
2011	B	`conf`	Partial is Full. SIROCCO Bernadette Charron-Bost, Matthias Függer, Jennifer L. Welch, Josef Widder
2011	—	`conf`	Quorum-based dynamic regular registers in systems with churn. TADDS Andreas Klappenecker, Hyunyoung Lee, Jennifer L. Welch
2011	Misc	`conf`	Reliable Networks with Unreliable Sensors. ICDCN Srikanth Sastry, Tsvetomira Radeva, Jianer Chen, Jennifer L. Welch
2011	A*	`conf`	Time bounds for shared objects in partially synchronous systems. PODC Jiaqi Wang, Jennifer L. Welch, Hyunyoung Lee
2010	J	`jnl`	A simple Byzantine-fault-tolerant algorithm for a multi-writer regular register. Int. J. Parallel Emergent Distributed Syst. Khushboo Kanjani, Hyunyoung Lee, Whitney L. Maguffee, Jennifer L. Welch
2010	A	`conf`	Brief Announcement: Failure Detectors Encapsulate Fairness. DISC Scott M. Pike, Srikanth Sastry, Jennifer L. Welch
2010	C	`conf`	Brief Announcement: Regional Consecutive Leader Election in Mobile Ad-Hoc Networks. ALGOSENSORS Hyun Chul Chung, Peter Robinson, Jennifer L. Welch
2010	B	`conf`	Corrigendum: weakest failure detector for wait-free dining under eventual weak exclusion. SPAA Srikanth Sastry, Scott M. Pike, Jennifer L. Welch
2010	J	`jnl`	Efficient and Robust Local Mutual Exclusion in Mobile Ad Hoc Networks. IEEE Trans. Mob. Comput. Hagit Attiya, Alex Kogan, Jennifer L. Welch
2010	B	`conf`	Failure Detectors Encapsulate Fairness. OPODIS Scott M. Pike, Srikanth Sastry, Jennifer L. Welch
2010	—	`conf`	Finding available parking spaces made easy. DIALM-PODC Andreas Klappenecker, Hyunyoung Lee, Jennifer L. Welch
2010	—	`conf`	Regional consecutive leader election in mobile ad-hoc networks. DIALM-PODC Hyun Chul Chung, Peter Robinson, Jennifer L. Welch
2010	—	`conf`	Reliable neighbor discovery for mobile ad hoc networks. DIALM-PODC Alejandro Cornejo, Saira Viqar, Jennifer L. Welch
2010	J	`jnl`	Scheduling Sensors by Tiling Lattices. Parallel Process. Lett. Andreas Klappenecker, Hyunyoung Lee, Jennifer L. Welch
2009	B	`conf`	A distributed pool architecture for genetic algorithms. IEEE Congress on Evolutionary Computation Gautam Roy, Hyunyoung Lee, Jennifer L. Welch, Yuan Zhao, Vijitashwa Pandey, Deborah L. Thurston
2009	A	`conf`	An asynchronous leader election algorithm for dynamic networks. IPDPS Rebecca Ingram, Patrick Shields, Jennifer E. Walter, Jennifer L. Welch
2009	A	`conf`	Byzantine fault-tolerant implementation of a multi-writer regular register. IPDPS Khushboo Kanjani, Hyunyoung Lee, Jennifer L. Welch
2009	A	`conf`	Crash fault detection in celerating environments. IPDPS Srikanth Sastry, Scott M. Pike, Jennifer L. Welch
2009	A	`conf`	Crash-Quiescent Failure Detection. DISC Srikanth Sastry, Scott M. Pike, Jennifer L. Welch
2009	C	`conf`	Deterministic Collision Free Communication Despite Continuous Motion. ALGOSENSORS Saira Viqar, Jennifer L. Welch
2009	C	`conf`	Link Reversal: How to Play Better to Work Less. ALGOSENSORS Bernadette Charron-Bost, Jennifer L. Welch, Josef Widder
2009	—	`conf`	Neighbor discovery in mobile ad hoc networks using an abstract MAC layer. Allerton Alejandro Cornejo, Nancy A. Lynch, Saira Viqar, Jennifer L. Welch
2009	B	`conf`	Routing without ordering. SPAA Bernadette Charron-Bost, Antoine Gaillard, Jennifer L. Welch, Josef Widder
2009	A	`conf`	The 2009 Edsger W. Dijkstra Prize in Distributed Computing. DISC Lorenzo Alvisi, Rachid Guerraoui, Prasad Jayanti, Idit Keidar, Shay Kutten, Jennifer L. Welch
2009	B	`conf`	The weakest failure detector for wait-free dining under eventual weak exclusion. SPAA Srikanth Sastry, Scott M. Pike, Jennifer L. Welch
2008	A*	`conf`	A world of (Im) possibilities. PODC Hagit Attiya, Jennifer L. Welch
2008	A	`conf`	Efficient and Robust Local Mutual Exclusion in Mobile Ad Hoc Networks. ICDCS Hagit Attiya, Alex Kogan, Jennifer L. Welch
2008	J	`jnl`	Scheduling Sensors by Tiling Lattices CoRR Andreas Klappenecker, Hyunyoung Lee, Jennifer L. Welch
2008	A*	`conf`	Scheduling sensors by tilinglattices. PODC Andreas Klappenecker, Hyunyoung Lee, Jennifer L. Welch
2006	J	`jnl`	MONET Special Issue on Foundations of Mobile Computing. Mob. Networks Appl. Andréa W. Richa, Jennifer L. Welch
2006	Misc	`conf`	Maintaining Information About Nearby Processors in a Mobile Environment. ICDCN Faith Ellen, Sivaramakrishnan Subramanian, Jennifer L. Welch
2006	J	`jnl`	Random Walk for Self-Stabilizing Group Communication in Ad Hoc Networks. IEEE Trans. Mob. Comput. Shlomi Dolev, Elad Schiller, Jennifer L. Welch
2005	—	`conf`	Autonomous virtual mobile nodes. DIALM-POMC Shlomi Dolev, Seth Gilbert, Elad Schiller, Alexander A. Shvartsman, Jennifer L. Welch
2005	B	`conf`	Autonomous virtual mobile nodes. SPAA Shlomi Dolev, Seth Gilbert, Elad Schiller, Alexander A. Shvartsman, Jennifer L. Welch
2005	J	`jnl`	Distributed Token Circulation in Mobile Ad Hoc Networks. IEEE Trans. Mob. Comput. Navneet Malpani, Yu Chen, Nitin H. Vaidya, Jennifer L. Welch
2005	J	`jnl`	GeoQuorums: implementing atomic memory in mobile Distributed Comput. Shlomi Dolev, Seth Gilbert, Nancy A. Lynch, Alexander A. Shvartsman, Jennifer L. Welch
2005	A	`conf`	Location-based broadcasting for dense mobile ad hoc networks. MSWiM Yu Chen, Jennifer L. Welch
2005	B	`conf`	Optimal Clock Synchronization Under Energy Constraints in Wireless Ad-Hoc Networks. OPODIS Hagit Attiya, David Hay, Jennifer L. Welch
2005	J	`jnl`	Randomized registers and iterative algorithms. Distributed Comput. Hyunyoung Lee, Jennifer L. Welch
2005	J	`jnl`	Self-stabilizing dynamic mutual exclusion for mobile ad hoc networks. J. Parallel Distributed Comput. Yu Chen, Jennifer L. Welch
2004	—	`conf`	Accurate Multihop Clock Synchronization in Mobile Ad Hoc Networks. ICPP Workshops Guangtong Cao, Jennifer L. Welch
2004	A*	`conf`	Brief announcement: virtual mobile nodes for mobile ad hoc networks. PODC Shlomi Dolev, Seth Gilbert, Nancy A. Lynch, Elad Schiller, Alexander A. Shvartsman, Jennifer L. Welch
2004	—	`book`	Distributed computing - fundamentals, simulations, and advanced topics (2. ed.). Hagit Attiya, Jennifer L. Welch
2004	J	`jnl`	Distributed reconfiguration of metamorphic robot chains. Distributed Comput. Jennifer E. Walter, Jennifer L. Welch, Nancy M. Amato
2004	J	`jnl`	Self-stabilizing clock synchronization in the presence of Byzantine faults. J. ACM Shlomi Dolev, Jennifer L. Welch
2004	A	`conf`	Virtual Mobile Nodes for Mobile Ad Hoc Networks. DISC Shlomi Dolev, Seth Gilbert, Nancy A. Lynch, Elad Schiller, Alexander A. Shvartsman, Jennifer L. Welch
2003	A	`conf`	GeoQuorums: Implementing Atomic Memory in Mobile DISC Shlomi Dolev, Seth Gilbert, Nancy A. Lynch, Alexander A. Shvartsman, Jennifer L. Welch
2003	J	`jnl`	Location tracking using quorums in mobile ad hoc networks. Ad Hoc Networks Hyunyoung Lee, Jennifer L. Welch, Nitin H. Vaidya
2003	A	`conf`	Multi-writer Consistency Conditions for Shared Memory Objects. DISC Cheng Shao, Evelyn Pierce, Jennifer L. Welch
2003	J	`jnl`	The Impact of Timing Knowledge on the Session Problem. SIAM J. Comput. Injong Rhee, Jennifer L. Welch
2002	J	`jnl`	Concurrent metamorphosis of hexagonal robot chains into simple connected configurations. IEEE Trans. Robotics Autom. Jennifer E. Walter, Jennifer L. Welch, Nancy M. Amato
2002	B	`conf`	Random Walk for Self-Stabilizing Group Communication in Ad-Hoc Networks. SRDS Shlomi Dolev, Elad Schiller, Jennifer L. Welch
2002	A*	`conf`	Random walk for self-stabilitzing group communication in ad hoc networks. PODC Shlomi Dolev, Elad Schiller, Jennifer L. Welch
2002	—	`conf`	Self-stabilizing mutual exclusion using tokens in mobile ad hoc networks. DIAL-M Yu Chen, Jennifer L. Welch
2001	J	`jnl`	A Mutual Exclusion Algorithm for Ad Hoc Mobile Networks. Wirel. Networks Jennifer E. Walter, Jennifer L. Welch, Nitin H. Vaidya
2001	A	`conf`	Applications of Probabilistic Quorums to Iterative Algorithms. ICDCS Hyunyoung Lee, Jennifer L. Welch
2001	J	`jnl`	Closed form bounds for clock synchronization under simple uncertainty assumptions. Inf. Process. Lett. Saad Biaz, Jennifer L. Welch
2001	A	`ed.`	Distributed Computing, 15th International Conference, DISC 2001, Lisbon, Portugal, October 3-5, 2001, Proceedings DISC Jennifer L. Welch
2001	B	`conf`	Distributed Token Circulation on Mobile Ad Hoc Networks. ICNP Navneet Malpani, Nitin H. Vaidya, Jennifer L. Welch
2001	B	`conf`	Randomized Shared Queues Applied to Distributed Optimization Algorithms. ISAAC Hyunyoung Lee, Jennifer L. Welch
2001	A*	`conf`	Randomized shared queues. PODC Hyunyoung Lee, Jennifer L. Welch
2000	A*	`conf`	Distributed reconfigurtion of metamorphic robot chains. PODC Jennifer E. Walter, Jennifer L. Welch, Nancy M. Amato
2000	—	`conf`	Leader election algorithms for mobile ad hoc networks. DIAL-M Navneet Malpani, Jennifer L. Welch, Nitin H. Vaidya
2000	J	`jnl`	One-write algorithms for multivalued regular and atomic registers. Acta Informatica Soma Chaudhuri, Martha J. Kosa, Jennifer L. Welch
2000	A*	`conf`	Specification, implementation and application of randomized regular registers (brief announcement). PODC Hyunyoung Lee, Jennifer L. Welch
1999	J	`jnl`	A competitive analysis for retransmission timeout. Networks Shlomi Dolev, Michael Kate, Jennifer L. Welch
1999	A*	`ed.`	Proceedings of the Eighteenth Annual ACM Symposium on Principles of Distributed Computing, PODC, '99Atlanta, Georgia, USA, May 3-6, 1999 PODC Brian A. Coan, Jennifer L. Welch
1998	J	`jnl`	Shared Memory Consistency Conditions for Nonsequential Execution: Definitions and Programming Strategies. SIAM J. Comput. Hagit Attiya, Soma Chaudhuri, Roy Friedman, Jennifer L. Welch
1997	J	`jnl`	Crash Resilient Communication in Dynamic Networks. IEEE Trans. Computers Shlomi Dolev, Jennifer L. Welch
1997	Misc	`conf`	Hazard-Free Connection Release. PDPTA Jennifer E. Walter, Jennifer L. Welch
1997	J	`jnl`	Time Bounds on Synchronization in a Periodic Distributed System. Inf. Process. Lett. Injong Rhee, Jennifer L. Welch
1997	J	`jnl`	Wait-Free Clock Synchronization. Algorithmica Shlomi Dolev, Jennifer L. Welch
1996	A	`conf`	Implementation of Recoverable Distributed Shared Memory by Logging Writes. ICDCS Sundar Kanthadai, Jennifer L. Welch
1996	J	`jnl`	Modified tree structure for location management in mobile environments. Comput. Commun. Shlomi Dolev, Dhiraj K. Pradhan, Jennifer L. Welch
1996	J	`jnl`	Self-stabilizing topology maintenance protocols for high-speed networks. IEEE/ACM Trans. Netw. Hosame Abu-Amara, Brian A. Coan, Shlomi Dolev, Arkady Kanevsky, Jennifer L. Welch
1996	A*	`conf`	The Role of Data-Race-Free Programs in Recoverable DSM (Abstract). PODC Soma Chaudhuri, Sundar Kanthadai, Jennifer L. Welch
1995	A	`conf`	A Competitive Analysis for Retransmission Timeout. ICDCS Shlomi Dolev, Michael Kate, Jennifer L. Welch
1995	J	`jnl`	Connection Management Without Retaining Information. Inf. Comput. Hagit Attiya, Shlomi Dolev, Jennifer L. Welch
1995	—	`conf`	Connection management without retaining information. HICSS (2) Hagit Attiya, Shlomi Dolev, Jennifer L. Welch
1995	A*	`conf`	Modified Tree Structure for Location Management in Mobile Environments. INFOCOM Shlomi Dolev, Dhiraj K. Pradhan, Jennifer L. Welch
1995	Misc	`conf`	On the Time Complexity of the Dining Philosophers Problem. PDPTA Injong Rhee, Jennifer L. Welch
1995	A*	`conf`	Self-Stabilizing Clock Synchronization in the Presence of Byzantine Faults (Abstract). PODC Shlomi Dolev, Jennifer L. Welch
1995	J	`jnl`	Using Adaptive Timeouts to Achieve At-Most-Once Message Delivery. Distributed Comput. Soma Chaudhuri, Brian A. Coan, Jennifer L. Welch
1994	J	`jnl`	Bounds on the Costs of Multivalued Register Implementations. SIAM J. Comput. Soma Chaudhuri, Jennifer L. Welch
1994	J	`jnl`	Sequential Consistency versus Linearizability. ACM Trans. Comput. Syst. Hagit Attiya, Jennifer L. Welch
1993	J	`jnl`	A Modular Drinking Philosophers Algorithm. Distributed Comput. Jennifer L. Welch, Nancy A. Lynch
1993	—	`conf`	Crash Resilient Communication in Dynamic Networks (Preliminary Version). WDAG Shlomi Dolev, Jennifer L. Welch
1993	J	`jnl`	Modular Cosntruction of an Efficient 1-Bit Byzantine Agreement Protocol. Math. Syst. Theory Brian A. Coan, Jennifer L. Welch
1993	B	`conf`	Shared Memory Consistency Conditions for Non-Sequential Execution: Definitions and Programming Strategies. SPAA Hagit Attiya, Soma Chaudhuri, Roy Friedman, Jennifer L. Welch
1993	A*	`conf`	Wait-Free Clock Synchronization (Extended Abstract). PODC Shlomi Dolev, Jennifer L. Welch
1992	J	`jnl`	Modular Construction of a Byzantine Agreement Protocol with Optimal Message Bit Complexity Inf. Comput. Brian A. Coan, Jennifer L. Welch
1992	A*	`conf`	The Impact of Time on the Session Problem. PODC Injong Rhee, Jennifer L. Welch
1991	B	`conf`	Sequential Consistency Versus Linearizability (Extended Abstract). SPAA Hagit Attiya, Jennifer L. Welch
1991	—	`conf`	Upper and lower bounds for one-write multivalued regular registers. SPDP Soma Chaudhuri, Martha J. Kosa, Jennifer L. Welch
1991	—	`conf`	Using Adaptive Timeouts to Achive At-Most-Once Message Delivery. WDAG Soma Chaudhuri, Brian A. Coan, Jennifer L. Welch
1990	—	`conf`	Bounds on the Costs of Register Implementations. WDAG Soma Chaudhuri, Jennifer L. Welch
1990	J	`jnl`	Transaction Commit in a Realistic Timing Model. Distributed Comput. Brian A. Coan, Jennifer L. Welch
1989	A*	`conf`	Efficient Distributed Recovery Using Message Logging. PODC A. Prasad Sistla, Jennifer L. Welch
1989	A*	`conf`	Modular Construction of Nearly Optimal Byzantine Agreement Protocols. PODC Brian A. Coan, Jennifer L. Welch
1988	A*	`conf`	A Lattice-Structured Proof of a Minimum Spanning. PODC Jennifer L. Welch, Leslie Lamport, Nancy A. Lynch
1988	J	`jnl`	A New Fault-Tolerance Algorithm for Clock Synchronization Inf. Comput. Jennifer L. Welch, Nancy A. Lynch
1988	—	`—`	Topics in distributed computing: the impact of partial synchrony, and modular decomposition of algorithms. Jennifer L. Welch
1987	J	`jnl`	Simulating Synchronous Processors Inf. Comput. Jennifer L. Welch
1986	—	`conf`	An Overview of Clock Synchronization. Fault-Tolerant Distributed Computing Barbara Simons, Jennifer L. Welch, Nancy A. Lynch