Jennifer L. Welch

Orcid: 0000-0003-2725-9875

Affiliations:
  • Texas A&M University, College Station, Texas, USA


According to our database1, Jennifer L. Welch authored at least 161 papers between 1984 and 2024.

Collaborative distances:
  • Dijkstra number2 of two.
  • Erdős number3 of three.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Efficient Wait-Free Linearizable Implementations of Approximate Bounded Counters Using Read-Write Registers.
Proceedings of the Structural Information and Communication Complexity, 2024

2023
Brief Announcement: Multi-Valued Connected Consensus: A New Perspective on Crusader Agreement and Adopt-Commit.
Proceedings of the 37th International Symposium on Distributed Computing, 2023

Bounds on Worst-Case Responsiveness for Agreement Algorithms.
Proceedings of the 27th International Conference on Principles of Distributed Systems, 2023

Multi-Valued Connected Consensus: A New Perspective on Crusader Agreement and Adopt-Commit.
Proceedings of the 27th International Conference on Principles of Distributed Systems, 2023

2022
Store-collect in the presence of continuous churn with application to snapshots and lattice agreement.
Inf. Comput., 2022

Using Linearizable Objects in Randomized Concurrent Programs (Invited Talk).
Proceedings of the 36th International Symposium on Distributed Computing, 2022

Blunting an Adversary Against Randomized Concurrent Programs with Linearizable Implementations.
Proceedings of the PODC '22: ACM Symposium on Principles of Distributed Computing, Salerno, Italy, July 25, 2022

2021
Linearizable Implementations Suffice for Termination of Randomized Concurrent Programs.
CoRR, 2021

Impossibility of Strongly-Linearizable Message-Passing Objects via Simulation by Single-Writer Registers.
Proceedings of the 35th International Symposium on Distributed Computing, 2021

2020
Brief Announcement: Collect in the Presence of Continuous Churn with Application to Snapshots and Lattice Agreement.
Proceedings of the PODC '20: ACM Symposium on Principles of Distributed Computing, 2020

2019
Emulating a Shared Register in a System That Never Stops Changing.
IEEE Trans. Parallel Distributed Syst., 2019

Distributed Computing Column 75 The Splendors and Miseries of Rounds.
SIGACT News, 2019

Distributed Computing Column 74 Survey of Recon gurable Data Center Networks.
SIGACT News, 2019

Distributed Computing Column 73 SPAA 2018 Review.
SIGACT News, 2019

Implementing ♢P with Bounded Messages on a Network of <i>ADD</i> Channels.
Parallel Process. Lett., 2019

Byzantine-Tolerant Register in a System with Continuous Churn.
CoRR, 2019

Anomalies and similarities among consensus numbers of variously-relaxed queues.
Computing, 2019

How Fast Reads Affect Multi-Valued Register Simulations.
Proceedings of the 2019 ACM Symposium on Principles of Distributed Computing, 2019

Shared memory and the Bakery algorithm.
Proceedings of the Concurrency: the Works of Leslie Lamport, 2019

2018
Distributed Computing Column 72: Annual Review 2018.
SIGACT News, 2018

Distributed Computing Column 71: Recent Algorithmic Advances in Population Protocols.
SIGACT News, 2018

Distributed Computing Column 70: Formalizing and Implementing Distributed Ledger Objects.
SIGACT News, 2018

Distributed Computing Column 69 Proving PACELC and Concurrent Computing Summer School.
SIGACT News, 2018

Improved time bounds for linearizable implementations of abstract data types.
Inf. Comput., 2018

A Tight Lower Bound for Clock Synchronization in Odd-Ary M-Toroids.
CoRR, 2018

Relaxed Data Types as Consistency Conditions.
Algorithms, 2018

Brief Announcement: A Tight Lower Bound for Clock Synchronization in Odd-Ary M-Toroids.
Proceedings of the 32nd International Symposium on Distributed Computing, 2018

Complexity of Multi-Valued Register Simulations: A Retrospective (Keynote).
Proceedings of the 22nd International Conference on Principles of Distributed Systems, 2018

2017
Distributed Computing Column 68.
SIGACT News, 2017

Distributed Computing Column 67: Review of 2016 BIRS CMO Workshop on Complexity and Analysis of Distributed Algorithms.
SIGACT News, 2017

Distributed Computing Column 66 Algorithmic Foundations of Programmable Matter Dagstuhl Seminar 16271.
SIGACT News, 2017

Distributed Computing Column 65: Automatic Synthesis of Distributed Protocols and SIROCCO 2016 Review.
SIGACT News, 2017

Simulating a Shared Register in a System that Never Stops Changing.
CoRR, 2017

Implementing Diamond P with Bounded Messages on a Network of ADD Channels.
CoRR, 2017

Bounded Reordering Allows Efficient Reliable Message Transmission.
Proceedings of the 2017 IEEE International Parallel and Distributed Processing Symposium, 2017

2016
Distributed Computing Column 64: Annual Review 2016.
SIGACT News, 2016

Distributed Computing Column 63: A Note on Fault-tolerant Consensus in Directed Networks.
SIGACT News, 2016

Distributed Computing Column 62: Decidability in Parameterized Verification.
SIGACT News, 2016

Distributed Computing Column 61: Distributed Algorithmic Foundations of Dynamic Networks.
SIGACT News, 2016

2015
Time Complexity of Link Reversal Routing.
ACM Trans. Algorithms, 2015

Distributed Computing Column 60: Annual Review 2015.
SIGACT News, 2015

Distributed Computing Column 59: Resource-Competitive Algorithms.
SIGACT News, 2015

Distributed Computing Column 58: Maurice Herlihy's 60th Birthday Celebration.
SIGACT News, 2015

Distributed Computing Column 57 Distributed Algorithms as Combinatorial Structures.
SIGACT News, 2015

Simulating a Shared Register in an Asynchronous System that Never Stops Changing - (Extended Abstract).
Proceedings of the Distributed Computing - 29th International Symposium, 2015

Generic Proofs of Consensus Numbers for Abstract Data Types.
Proceedings of the 19th International Conference on Principles of Distributed Systems, 2015

2014
Distributed Computing Column 56 Annual Review 2014.
SIGACT News, 2014

Distributed computing column 55 WTTM 2013 review, and lower bounds for distributed quantum computing.
SIGACT News, 2014

Distributed computing column 54 transactional memory: models and algorithms.
SIGACT News, 2014

Distributed computing column 53: Dagstuhl seminar review: consistency in distributed systems.
SIGACT News, 2014

Finding available parking spaces made easy.
Ad Hoc Networks, 2014

Reliable neighbor discovery for mobile ad hoc networks.
Ad Hoc Networks, 2014

Improving Average Performance by Relaxing Distributed Data Structures.
Proceedings of the Distributed Computing - 28th International Symposium, 2014

Stabilizing Dining with Failure Locality 1.
Proceedings of the Distributed Computing and Networking - 15th International Conference, 2014

2013
Dynamic regular registers in systems with churn.
Theor. Comput. Sci., 2013

Distributed computing column 52: annual review 2013.
SIGACT News, 2013

Link Reversal Routing with Binary Link Labels: Work Complexity.
SIAM J. Comput., 2013

Reliable networks with unreliable sensors.
Pervasive Mob. Comput., 2013

A leader election algorithm for dynamic networks with causal clocks.
Distributed Comput., 2013

Deterministic collision free communication despite continuous motion.
Ad Hoc Networks, 2013

2012
Failure detectors encapsulate fairness.
Distributed Comput., 2012

Wait-Free Stabilizing Dining Using Regular Registers.
Proceedings of the Principles of Distributed Systems, 16th International Conference, 2012

Stochastic Modeling of Dynamic Distributed Systems with Crash Recovery and Its Application to Atomic Registers.
Proceedings of the Principles of Distributed Systems, 16th International Conference, 2012

Neighbor Knowledge of Mobile Nodes in a Road Network.
Proceedings of the 2012 IEEE 32nd International Conference on Distributed Computing Systems, 2012

2011
Link Reversal Algorithms
Synthesis Lectures on Distributed Computing Theory, Morgan & Claypool Publishers, ISBN: 978-3-031-02006-3, 2011

Multiwriter Consistency Conditions for Shared Memory Registers.
SIAM J. Comput., 2011

Quorum-based dynamic regular registers in systems with churn.
Proceedings of the Workshop on Theoretical Aspects on Dynamic Distributed Systems, 2011

Brief announcement: full reversal routing as a linear dynamical system.
Proceedings of the SPAA 2011: Proceedings of the 23rd Annual ACM Symposium on Parallelism in Algorithms and Architectures, 2011

Partial is Full.
Proceedings of the Structural Information and Communication Complexity, 2011

Full Reversal Routing as a Linear Dynamical System.
Proceedings of the Structural Information and Communication Complexity, 2011

Time bounds for shared objects in partially synchronous systems.
Proceedings of the 30th Annual ACM Symposium on Principles of Distributed Computing, 2011

Optimal regional consecutive leader election in mobile ad-hoc networks.
Proceedings of the FOMC'11, 2011

2010
Efficient and Robust Local Mutual Exclusion in Mobile Ad Hoc Networks.
IEEE Trans. Mob. Comput., 2010

Scheduling Sensors by Tiling Lattices.
Parallel Process. Lett., 2010

A simple Byzantine-fault-tolerant algorithm for a multi-writer regular register.
Int. J. Parallel Emergent Distributed Syst., 2010

Brief Announcement: Failure Detectors Encapsulate Fairness.
Proceedings of the Distributed Computing, 24th International Symposium, 2010

Corrigendum: weakest failure detector for wait-free dining under eventual weak exclusion.
Proceedings of the SPAA 2010: Proceedings of the 22nd Annual ACM Symposium on Parallelism in Algorithms and Architectures, 2010

Regional consecutive leader election in mobile ad-hoc networks.
Proceedings of the DIALM-POMC Joint Workshop on Foundations of Mobile Computing, 2010

Brief Announcement: Regional Consecutive Leader Election in Mobile Ad-Hoc Networks.
Proceedings of the Algorithms for Sensor Systems, 2010

2009
Crash-Quiescent Failure Detection.
Proceedings of the Distributed Computing, 23rd International Symposium, 2009

The 2009 Edsger W. Dijkstra Prize in Distributed Computing.
Proceedings of the Distributed Computing, 23rd International Symposium, 2009

The weakest failure detector for wait-free dining under eventual weak exclusion.
Proceedings of the SPAA 2009: Proceedings of the 21st Annual ACM Symposium on Parallelism in Algorithms and Architectures, 2009

Routing without ordering.
Proceedings of the SPAA 2009: Proceedings of the 21st Annual ACM Symposium on Parallelism in Algorithms and Architectures, 2009

Crash fault detection in celerating environments.
Proceedings of the 23rd IEEE International Symposium on Parallel and Distributed Processing, 2009

Byzantine fault-tolerant implementation of a multi-writer regular register.
Proceedings of the 23rd IEEE International Symposium on Parallel and Distributed Processing, 2009

An asynchronous leader election algorithm for dynamic networks.
Proceedings of the 23rd IEEE International Symposium on Parallel and Distributed Processing, 2009

A distributed pool architecture for genetic algorithms.
Proceedings of the IEEE Congress on Evolutionary Computation, 2009

Neighbor discovery in mobile ad hoc networks using an abstract MAC layer.
Proceedings of the 47th Annual Allerton Conference on Communication, 2009

Link Reversal: How to Play Better to Work Less.
Proceedings of the Algorithmic Aspects of Wireless Sensor Networks, 2009

2008
Scheduling sensors by tilinglattices.
Proceedings of the Twenty-Seventh Annual ACM Symposium on Principles of Distributed Computing, 2008

A world of (Im) possibilities.
Proceedings of the Twenty-Seventh Annual ACM Symposium on Principles of Distributed Computing, 2008

2006
Random Walk for Self-Stabilizing Group Communication in Ad Hoc Networks.
IEEE Trans. Mob. Comput., 2006

MONET Special Issue on Foundations of Mobile Computing.
Mob. Networks Appl., 2006

Maintaining Information About Nearby Processors in a Mobile Environment.
Proceedings of the Distributed Computing and Networking, 8th International Conference, 2006

2005
Distributed Token Circulation in Mobile Ad Hoc Networks.
IEEE Trans. Mob. Comput., 2005

Self-stabilizing dynamic mutual exclusion for mobile ad hoc networks.
J. Parallel Distributed Comput., 2005

Randomized registers and iterative algorithms.
Distributed Comput., 2005

GeoQuorums: implementing atomic memory in mobile <i>ad hoc</i> networks.
Distributed Comput., 2005

Optimal Clock Synchronization Under Energy Constraints in Wireless Ad-Hoc Networks.
Proceedings of the Principles of Distributed Systems, 9th International Conference, 2005

Location-based broadcasting for dense mobile ad hoc networks.
Proceedings of the 8th International Symposium on Modeling Analysis and Simulation of Wireless and Mobile Systems, 2005

Autonomous virtual mobile nodes.
Proceedings of the DIALM-POMC Joint Workshop on Foundations of Mobile Computing, 2005

2004
Self-stabilizing clock synchronization in the presence of Byzantine faults.
J. ACM, 2004

Distributed reconfiguration of metamorphic robot chains.
Distributed Comput., 2004

Virtual Mobile Nodes for Mobile Ad Hoc Networks.
Proceedings of the Distributed Computing, 18th International Conference, 2004

Brief announcement: virtual mobile nodes for mobile ad hoc networks.
Proceedings of the Twenty-Third Annual ACM Symposium on Principles of Distributed Computing, 2004

Accurate Multihop Clock Synchronization in Mobile Ad Hoc Networks.
Proceedings of the 33rd International Conference on Parallel Processing Workshops (ICPP 2004 Workshops), 2004

Distributed computing - fundamentals, simulations, and advanced topics (2. ed.).
Wiley series on parallel and distributed computing, Wiley, ISBN: 978-0-471-45324-6, 2004

2003
The Impact of Timing Knowledge on the Session Problem.
SIAM J. Comput., 2003

Location tracking using quorums in mobile ad hoc networks.
Ad Hoc Networks, 2003

Multi-writer Consistency Conditions for Shared Memory Objects.
Proceedings of the Distributed Computing, 17th International Conference, 2003

2002
Concurrent metamorphosis of hexagonal robot chains into simple connected configurations.
IEEE Trans. Robotics Autom., 2002

Random walk for self-stabilitzing group communication in ad hoc networks.
Proceedings of the Twenty-First Annual ACM Symposium on Principles of Distributed Computing, 2002

Self-stabilizing mutual exclusion using tokens in mobile ad hoc networks.
Proceedings of the 6th International Workshop on Discrete Algorithms and Methods for Mobile Computing and Communications (DIAL-M 2002), 2002

2001
A Mutual Exclusion Algorithm for Ad Hoc Mobile Networks.
Wirel. Networks, 2001

Closed form bounds for clock synchronization under simple uncertainty assumptions.
Inf. Process. Lett., 2001

Randomized shared queues.
Proceedings of the Twentieth Annual ACM Symposium on Principles of Distributed Computing, 2001

Randomized Shared Queues Applied to Distributed Optimization Algorithms.
Proceedings of the Algorithms and Computation, 12th International Symposium, 2001

Distributed Token Circulation on Mobile Ad Hoc Networks.
Proceedings of the 9th International Conference on Network Protocols (ICNP 2001), 2001

Applications of Probabilistic Quorums to Iterative Algorithms.
Proceedings of the 21st International Conference on Distributed Computing Systems (ICDCS 2001), 2001

2000
One-write algorithms for multivalued regular and atomic registers.
Acta Informatica, 2000

Distributed reconfigurtion of metamorphic robot chains.
Proceedings of the Nineteenth Annual ACM Symposium on Principles of Distributed Computing, 2000

Specification, implementation and application of randomized regular registers (brief announcement).
Proceedings of the Nineteenth Annual ACM Symposium on Principles of Distributed Computing, 2000

Leader election algorithms for mobile ad hoc networks.
Proceedings of the 4th International Workshop on Discrete Algorithms and Methods for Mobile Computing and Communications (DIAL-M 2000), 2000

1999
A competitive analysis for retransmission timeout.
Networks, 1999

1998
Shared Memory Consistency Conditions for Nonsequential Execution: Definitions and Programming Strategies.
SIAM J. Comput., 1998

1997
Crash Resilient Communication in Dynamic Networks.
IEEE Trans. Computers, 1997

Time Bounds on Synchronization in a Periodic Distributed System.
Inf. Process. Lett., 1997

Wait-Free Clock Synchronization.
Algorithmica, 1997

Hazard-Free Connection Release.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 1997

1996
Self-stabilizing topology maintenance protocols for high-speed networks.
IEEE/ACM Trans. Netw., 1996

Modified tree structure for location management in mobile environments.
Comput. Commun., 1996

The Role of Data-Race-Free Programs in Recoverable DSM (Abstract).
Proceedings of the Fifteenth Annual ACM Symposium on Principles of Distributed Computing, 1996

Implementation of Recoverable Distributed Shared Memory by Logging Writes.
Proceedings of the 16th International Conference on Distributed Computing Systems, 1996

1995
Connection Management Without Retaining Information.
Inf. Comput., 1995

Using Adaptive Timeouts to Achieve At-Most-Once Message Delivery.
Distributed Comput., 1995

Self-Stabilizing Clock Synchronization in the Presence of Byzantine Faults (Abstract).
Proceedings of the Fourteenth Annual ACM Symposium on Principles of Distributed Computing, 1995

On the Time Complexity of the Dining Philosophers Problem.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 1995

1994
Sequential Consistency versus Linearizability.
ACM Trans. Comput. Syst., 1994

Bounds on the Costs of Multivalued Register Implementations.
SIAM J. Comput., 1994

1993
Modular Cosntruction of an Efficient 1-Bit Byzantine Agreement Protocol.
Math. Syst. Theory, 1993

A Modular Drinking Philosophers Algorithm.
Distributed Comput., 1993

Crash Resilient Communication in Dynamic Networks (Preliminary Version).
Proceedings of the Distributed Algorithms, 7th International Workshop, 1993

Shared Memory Consistency Conditions for Non-Sequential Execution: Definitions and Programming Strategies.
Proceedings of the 5th Annual ACM Symposium on Parallel Algorithms and Architectures, 1993

Wait-Free Clock Synchronization (Extended Abstract).
Proceedings of the Twelth Annual ACM Symposium on Principles of Distributed Computing, 1993

1992
Modular Construction of a Byzantine Agreement Protocol with Optimal Message Bit Complexity
Inf. Comput., March, 1992

The Impact of Time on the Session Problem.
Proceedings of the Eleventh Annual ACM Symposium on Principles of Distributed Computing, 1992

1991
Using Adaptive Timeouts to Achive At-Most-Once Message Delivery.
Proceedings of the Distributed Algorithms, 5th International Workshop, 1991

Upper and lower bounds for one-write multivalued regular registers.
Proceedings of the Third IEEE Symposium on Parallel and Distributed Processing, 1991

Sequential Consistency Versus Linearizability (Extended Abstract).
Proceedings of the 3rd Annual ACM Symposium on Parallel Algorithms and Architectures, 1991

1990
Transaction Commit in a Realistic Timing Model.
Distributed Comput., 1990

Bounds on the Costs of Register Implementations.
Proceedings of the Distributed Algorithms, 4th International Workshop, 1990

1989
Efficient Distributed Recovery Using Message Logging.
Proceedings of the Eighth Annual ACM Symposium on Principles of Distributed Computing, 1989

Modular Construction of Nearly Optimal Byzantine Agreement Protocols.
Proceedings of the Eighth Annual ACM Symposium on Principles of Distributed Computing, 1989

1988
A New Fault-Tolerance Algorithm for Clock Synchronization
Inf. Comput., April, 1988

Topics in distributed computing: the impact of partial synchrony, and modular decomposition of algorithms.
PhD thesis, 1988

A Lattice-Structured Proof of a Minimum Spanning.
Proceedings of the Seventh Annual ACM Symposium on Principles of Distributed Computing, 1988

1987
Simulating Synchronous Processors
Inf. Comput., August, 1987

1986
Transaction Commit in a Realistic Fault Model.
Proceedings of the Fifth Annual ACM Symposium on Principles of Distributed Computing, 1986

An Overview of Clock Synchronization.
Proceedings of the Fault-Tolerant Distributed Computing [Asilomar Workshop 1986], 1986

1984
An Upper and Lower Bound for Clock Synchronization
Inf. Control., 1984

A New Fault-Tolerant Algorithm for Clock Synchronization.
Proceedings of the Third Annual ACM Symposium on Principles of Distributed Computing, 1984


  Loading...