J. Welch

发表

A Lattice-Structured Proof Technique Applied to a Minimum Spanning Tree Algorithm

N. Lynch, L. Lamport, J. Welch, 1988 .

Connection Management Without Retaining Information

Hagit Attiya, Jennifer L. Welch, Shlomi Dolev, 1995, Inf. Comput..

Leader election algorithms for mobile ad hoc networks

Nitin H. Vaidya, Jennifer L. Welch, Navneet Malpani, 2000, DIALM '00.

Distributed Computing: Fundamentals, Simulations and Advanced Topics

Hagit Attiya, Jennifer L. Welch, H. Attiya, 1998 .

Multicast time maximization in energy constrained wireless networks

P. Orponen, P. Floréen, J. Welch, 2003, DIALM-POMC '03.

FAST AND PRECISE ON-THE-FLY DATA RACE DETECTION A Thesis by ARUN

Arun K. Rajagopalan, J. Welch, Jeff Huang, 2016 .

Pspace-hard Functions Checkable Debate Systems and Approximation Algorithms for Pspace

Phokion G. Kolaitis, Stephen R. Mahaney, J. Feigenbaum, 2007 .

GeoQuorums : Implementing Atomic Memory in Ad Hoc Networks ( Extended Abstract )

N. Lynch, S. Dolev, Seth Gilbert, 2003 .

Computer Science and Artificial Intelligence Laboratory Autonomous Virtual Mobile Nodes

S. Dolev, Seth Gilbert, J. Welch, 2007 .

Distributed data sources for lifecycle design

Jennifer L. Welch, Vijitashwa Pandey, Deborah L Thurston, 2007 .

Shared memory and the Bakery algorithm

Hagit Attiya, Jennifer L. Welch, H. Attiya, 2019, Concurrency: the Works of Leslie Lamport.

A Formal Model for Simulations

Hagit Attiya, Jennifer L. Welch, H. Attiya, 2004 .

Mutual Exclusion in Shared Memory

Hagit Attiya, Jennifer L. Welch, H. Attiya, 2004 .

Causality and Time

Hagit Attiya, Jennifer L. Welch, H. Attiya, 2004 .

Basic Algorithms in Message‐Passing Systems

Hagit Attiya, Jennifer L. Welch, H. Attiya, 2004 .

Fault‐Tolerant Simulations of Read/Write Objects

Hagit Attiya, Jennifer L. Welch, H. Attiya, 2004 .

Fault‐Tolerant Clock Synchronization

Hagit Attiya, Jennifer L. Welch, H. Attiya, 2004 .

Wiley Series on Parallel and Distributed Computing

Hagit Attiya, Jennifer L. Welch, H. Attiya, 2004, SCADA Security: Machine Learning Concepts for Intrusion Detection and Prevention.

Wait‐Free Simulations of Arbitrary Objects

Hagit Attiya, Jennifer L. Welch, H. Attiya, 2004 .

Fault‐Tolerant Consensus

Hagit Attiya, Jennifer L. Welch, H. Attiya, 2004 .

Impossibility of Strongly-Linearizable Message-Passing Objects via Simulation by Single-Writer Registers pdf

Hagit Attiya, Constantin Enea, Jennifer Welch, 2021, DISC.

Broadcast and Multicast

Hagit Attiya, Jennifer L. Welch, H. Attiya, 2004 .

Leader Election in Rings

Hagit Attiya, Jennifer L. Welch, H. Attiya, 2004 .

Improving the Fault Tolerance of Algorithms

Hagit Attiya, Jennifer L. Welch, H. Attiya, 2004 .

Distributed computing - fundamentals, simulations, and advanced topics (2. ed.)

Hagit Attiya, Jennifer L. Welch, H. Attiya, 2004, Wiley series on parallel and distributed computing.

Distributed Shared Memory

Hagit Attiya, Jennifer L. Welch, H. Attiya, 2004 .

Upper and Lower Bounds for One-Write Multivalued Regular Registers (Extended Abstract)t

J. Welch, Soma Chaudhurit, Martha J. KosaS, 1991 .

Wait-Free Clock Synchronization (Extended Abstract).

Jennifer L. Welch, Shlomi Dolev, S. Dolev, 1993, PODC 1993.

Reversal Routing as a Linear Dynamical System

Bernadette Charron-Bost, J. Welch, Matthias Függer, 2011 .

D C ] 1 0 A ug 2 01 7 Simulating a Shared Register in a System that Never Stops Changing ∗

H. Attiya, J. Welch, Faith Ellen, 2018 .

Proceedings of the 15th International Conference on Distributed Computing

Jennifer L. Welch, J. Welch, 2001 .

Proceedings of the Joint Workshop on Foundations of Mobile Computing: Foreword

Jennifer L. Welch, Andréa W. Richa, J. Welch, 2003 .

Efficient and Robust Local Mutual Exclusion in Mobile Ad Hoc Networks ( Extended

H. Attiya, J. Welch, Ilan Kogan, 2008 .

Self-Stabilizing Clock Synchronization in the Presence of ByzantineFaults ( Preliminary Version ) Shlomi Dolevy

Jennifer L. Welch, Shlomi Dolev, S. Dolev, 1995 .

Sequential consistency versus linearizability

Hagit Attiya, Jennifer L. Welch, H. Attiya, 1994, TOCS.

Sequential consistency versus linearizability (extended abstract)

Hagit Attiya, Jennifer L. Welch, H. Attiya, 1991, SPAA '91.

Distributed Computing

J. van Leeuwen, Jan van Leeuwen, Jennifer Welch, 2001, Lecture Notes in Computer Science.

Weakly Growing Context-sensitive Grammars Chicago Journal of Theoretical Computer Science

Phokion G. Kolaitis, Stephen R. Mahaney, G. Neiger, 1996 .

Distributed Algorithmic Foundations of Dynamic Networks

J. Welch, 2016 .

Stochastic Modeling of Dynamic Distributed Systems with Crash Recovery and Its Application to Atomic Registers

Andreas Klappenecker, Silvia Bonomi, Jennifer L. Welch, 2012, OPODIS.

Distributed Computing Column 62: Decidability in Parameterized Verification

J. Welch, 2016, SIGA.

Dynamic regular registers in systems with churn

Andreas Klappenecker, Jennifer L. Welch, Hyunyoung Lee, 2011, Theor. Comput. Sci..

Quorum-based dynamic regular registers in systems with churn

Andreas Klappenecker, Jennifer L. Welch, Hyunyoung Lee, 2011, TADDS '11.

Multiwriter Consistency Conditions for Shared Memory Registers

Jennifer L. Welch, Cheng Shao, Hyunyoung Lee, 2011, SIAM J. Comput..

Multi-writer Consistency Conditions for Shared Memory Objects

Jennifer L. Welch, Cheng Shao, Evelyn Pierce, 2003, DISC.

Implementation of recoverable distributed shared memory by logging writes

Jennifer L. Welch, Sundar Kanthadai, J. Welch, 1996, Proceedings of 16th International Conference on Distributed Computing Systems.

Efficient distributed recovery using message logging

A. Prasad Sistla, Jennifer L. Welch, A. P. Sistla, 1989, PODC '89.

Accurate multihop clock synchronization in mobile ad hoc networks

Jennifer L. Welch, Guangtong Cao, J. Welch, 2004, Workshops on Mobile and Wireless Networking/High Performance Scientific, Engineering Computing/Network Design and Architecture/Optical Networks Control and Management/Ad Hoc and Sensor Networks/Compil.

Connection management without retaining information

Hagit Attiya, Jennifer L. Welch, Shlomi Dolev, 1995, Proceedings of the Twenty-Eighth Annual Hawaii International Conference on System Sciences.

Improving Average Performance by Relaxing Distributed Data Structures

Jennifer L. Welch, Edward Talmage, J. Welch, 2014, DISC.

Improved Time Bounds for Linearizable Implementations of Abstract Data Types

Jennifer L. Welch, Jiaqi Wang, Edward Talmage, 2014, 2014 IEEE 28th International Parallel and Distributed Processing Symposium.

Distributed computing column 53: Dagstuhl seminar review: consistency in distributed systems

Jennifer L. Welch, J. Welch, 2014, SIGA.

Random walk for self-stabilizing group communication in ad-hoc networks

Jennifer L. Welch, Shlomi Dolev, Elad Michael Schiller, 2002, 21st IEEE Symposium on Reliable Distributed Systems, 2002. Proceedings..

Random walk for self-stabilizing group communication in ad hoc networks

Jennifer L. Welch, Shlomi Dolev, Elad Michael Schiller, 2002, IEEE Transactions on Mobile Computing.

Bounds on the Costs of Multivalued Register Implementations

Jennifer L. Welch, Soma Chaudhuri, S. Chaudhuri, 1994, SIAM J. Comput..

Upper and lower bounds for one-write multivalued regular registers

Jennifer L. Welch, Soma Chaudhuri, Martha J. Kosa, 1991, Proceedings of the Third IEEE Symposium on Parallel and Distributed Processing.

Bounds on the Costs of Register Implementations

Jennifer L. Welch, Soma Chaudhuri, S. Chaudhuri, 1991, WDAG.

A New Fault-Tolerance Algorithm for Clock Synchronization

Nancy A. Lynch, Jennifer L. Welch, N. Lynch, 1988, Inf. Comput..

Failure detectors encapsulate fairness

Jennifer L. Welch, Srikanth Sastry, S. M. Pike, 2010, Distributed Computing.

Closed form bounds for clock synchronization under simple uncertainty assumptions

Jennifer L. Welch, Saad Biaz, J. Welch, 2001, Inf. Process. Lett..

The impact of time on the session problem

Injong Rhee, Jennifer L. Welch, J. Welch, 1992, PODC '92.

Transaction commit in a realistic timing model

Brian A. Coan, Jennifer L. Welch, J. Welch, 1990, Distributed Computing.

Simulating Synchronous Processors

Jennifer L. Welch, J. Welch, 1987, Inf. Comput..

Crash Resilient Communication in Dynamic Networks

Jennifer L. Welch, Shlomi Dolev, S. Dolev, 1997, IEEE Trans. Computers.

An Overview of Clock Synchronization

Nancy A. Lynch, Jennifer L. Welch, Barbara B. Simons, 1986, Fault-Tolerant Distributed Computing.

Distributed reconfiguration of metamorphic robot chains

Nancy M. Amato, Jennifer L. Welch, Jennifer E. Walter, 2004, PODC '00.

Wait-Free Clock Synchronization

Jennifer L. Welch, Shlomi Dolev, S. Dolev, 1993, PODC '93.

Finding available parking spaces made easy

Andreas Klappenecker, Jennifer L. Welch, Hyunyoung Lee, 2010, DIALM-POMC '10.

Self-stabilizing topology maintenance protocols for high-speed networks

Brian A. Coan, Jennifer L. Welch, Arkady Kanevsky, 1996, TNET.

A competitive analysis for retransmission timeout

Jennifer L. Welch, Shlomi Dolev, Michael Kate, 1995, Proceedings of 15th International Conference on Distributed Computing Systems.

A distributed pool architecture for genetic algorithms

Yuan Zhao, Jennifer L. Welch, Vijitashwa Pandey, 2009, 2009 IEEE Congress on Evolutionary Computation.

Byzantine-Tolerant Register in a System with Continuous Churn pdf

Saptaparni Kumar, Jennifer L. Welch, J. Welch, 2019, ArXiv.

Distributed Computing Column 63: A Note on Fault-tolerant Consensus in Directed Networks

Jennifer L. Welch, J. Welch, 2016, SIGA.

Modular Construction of a Byzantine Agreement Protocol with Optimal Message Bit Complexity

Brian A. Coan, Jennifer L. Welch, J. Welch, 1992, Inf. Comput..

Stabilizing Dining with Failure Locality 1

Jennifer L. Welch, Srikanth Sastry, Hyun Chul Chung, 2014, ICDCN.

Wait-Free Stabilizing Dining Using Regular Registers

Jennifer L. Welch, Srikanth Sastry, Josef Widder, 2012, OPODIS.

Distributed Computing Column 57 Distributed Algorithms as Combinatorial Structures

Jennifer L. Welch, J. Welch, 2015, SIGA.

Distributed token circulation on mobile ad hoc networks

N.H. Vaidya, N. Malpani, J.L. Welch, 2005, Proceedings Ninth International Conference on Network Protocols. ICNP 2001.

Relaxed Data Types as Consistency Conditions

Jennifer L. Welch, Edward Talmage, J. Welch, 2017, SSS.

Distributed Computing Column 58: Maurice Herlihy's 60th Birthday Celebration

Jennifer L. Welch, J. Welch, 2015, SIGA.

Shared Memory Consistency Conditions for Nonsequential Execution: Definitions and Programming Strategies

Roy Friedman, Hagit Attiya, Jennifer L. Welch, 1998, SIAM J. Comput..

Shared memory consistency conditions for non-sequential execution: definitions and programming strategies

Roy Friedman, Hagit Attiya, Jennifer L. Welch, 1993, SPAA '93.

Reliable neighbor discovery for mobile ad hoc networks

Jennifer L. Welch, Saira Viqar, Alejandro Cornejo, 2010, DIALM-POMC '10.

Neighbor discovery in mobile ad hoc networks using an abstract MAC layer

Jennifer L. Welch, Saira Viqar, Alejandro Cornejo, 2009, 2009 47th Annual Allerton Conference on Communication, Control, and Computing (Allerton).

Recent Algorithmic Advances in Population Protocols

Jennifer L. Welch, J. Welch, 2018 .

A leader election algorithm for dynamic networks with causal clocks

Jennifer L. Welch, Rebecca Ingram, Tsvetomira Radeva, 2013, Distributed Computing.

The weakest failure detector for wait-free dining under eventual weak exclusion

Jennifer L. Welch, Srikanth Sastry, S. M. Pike, 2009, SPAA '09.

Self-stabilizing mutual exclusion using tokens in mobile ad hoc networks

Yu Chen, Jennifer L. Welch, J. Welch, 2002, DIALM '02.

Distributed token circulation in mobile ad hoc networks

Nitin H. Vaidya, Yu Chen, Jennifer L. Welch, 2005, IEEE Transactions on Mobile Computing.

Managing the data warehouse

Jennifer L. Welch, W. H. Inmon, J. Welch, 1996 .

Virtual Mobile Nodes for Mobile Ad Hoc Networks

Nancy A. Lynch, Jennifer L. Welch, Shlomi Dolev, 2004, DISC.

GeoQuorums: implementing atomic memory in mobile ad hoc networks

Nancy A. Lynch, Jennifer L. Welch, Shlomi Dolev, 2003, Distributed Computing.

Computer Science and Artificial Intelligence Laboratory Autonomous Virtual Mobile Nodes

Alexander A. Shvartsman, S. Dolev, Seth Gilbert, 2005 .

Store-Collect in the Presence of Continuous Churn with Application to Snapshots and Lattice Agreement

H. Attiya, Archit Somani, J. Welch, 2020, SSS.

Location-based broadcasting for dense mobile ad hoc networks

Yu Chen, Jennifer L. Welch, J. Welch, 2005, MSWiM '05.

Scheduling sensors by tilinglattices

Andreas Klappenecker, Jennifer L. Welch, Hyunyoung Lee, 2008, PODC '08.