Publications: Jennifer Lundelius Welch

A. Cornejo, S. Viqar and J.L. Welch. "Reliable Neighbor Discovery for Mobile Ad Hoc Networks." Ad Hoc Networks Journal, to appear. Available on-line. Link.

A. Klappenecker, H. Lee and J.L. Welch. "Dynamic Regular Registers in Systems with Churn." Theoretical Computer Science, to appear. Available on-line. Link.

A. Klappenecker, H. Lee and J.L. Welch. "Finding Available Parking Spaces Made Easy." Ad Hoc Networks Journal, to appear. Available on-line. Link.

2013

B. Charron-Bost, A. Gaillard, J.L. Welch and J. Widder. "Link Reversal Routing with Binary Link Labels: Work Complexity." SIAM Journal on Computing, vol. 42, no. 2, pp. 634-661, 2013. Link.

S. Viqar and J.L. Welch. "Deterministic Collision Free Communication Despite Continuous Motion." Ad Hoc Networks, vol. 11, no. 1, pp. 508-521, 2013. Link.

R. Ingram, T. Radeva, P. Shields, S. Viqar, J.E. Walter and J.L. Welch. "A Leader Election Algorithm for Dynamic Networks with Causal Clocks." Distributed Computing, vol. 26, no. 2, pp. 75-97, 2013. Link.

S. Sastry, T. Radeva, J. Chen and J.L. Welch. "Reliable Networks with Unreliable Sensors." Pervasive and Mobile Computing, vol. 9, no. 2, pp. 311-323, 2013. Link.

2012

S.M. Pike, S. Sastry and J.L. Welch. "Failure Detectors Encapsulate Fairness." Distributed Computing, vol. 25, no. 4, pp. 313-333, 2012. Link.

S. Bonomi, A. Klappenecker, H. Lee and J.L. Welch. "Stochastic Modeling of Dynamic Distributed Systems with Crash Recovery and its Application to Atomic Registers." Proc. 16th International Conference on Principles of Distributed Systems (OPODIS), pp. 79-90, 2012 (LNCS 7702). Link.

S. Sastry, J.L. Welch, and J. Widder. "Wait-free Stabilizing Dining Using Regular Registers." Proc. 16th International Conference on Principles of Distributed Systems (OPODIS), pp. 284-299, 2012 (LNCS 7702). Link.

H.C. Chung, S. Viqar and J.L. Welch. "Neighbor Knowledge of Mobile Nodes in a Road Network." Proc. 32nd IEEE International Conference on Distributed Computing Systems (ICDCS), pp. 486-495, 2012. Link.

2011

J.L. Welch and J.E. Walter. "Link Reversal Algorithms." Synthesis Lectures on Distributed Computing Theory, Morgan & Claypool Publishers, 93 pp., 2011. Link.

A. Klappenecker, H. Lee and J.L. Welch. "Dynamic Regular Registers in Systems with Churn." Proc. 13th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS), pp. 296-310, 2011. Link.

A. Klappenecker, H. Lee and J.L. Welch, "Quorum-Based Dynamic Regular Registers in Systems with Churn." Proc. 3rd Workshop on Theoretical Aspects of Dynamic Distributed Systems (TADDS), pp. 3-7, 2011.

B. Charron-Bost, M. Függer, J.L. Welch and J. Widder. "Full Reversal Routing as a Linear Dynamical System." Proc. 18th International Colloquium on Structural Information and Communication Complexity (SIROCCO), pp. 101-112, 2011. Link.

B. Charron-Bost, M. Függer, J.L. Welch and J. Widder. "Partial is Full." Proc. 18th International Colloquium on Structural Information and Communication Complexity (SIROCCO), pp. 113-124, 2011. Link.

J. Wang, J.L. Welch and H. Lee. "Brief Announcement: Time Bounds for Shared Objects in Partially Synchronous Systems." Proc. 30th ACM Symposium on Principles of Distributed Computing (PODC), pp. 347-348, 2011. Link.

B. Charron-Bost, M. Fuegger, J.L. Welch and J. Widder. "Brief Announcement: Full Reversal Routing as a Linear Dynamical System." Proc. 23rd ACM Symposium on Parallelism in Algorithms and Architectures (SPAA), pp. 129-130, 2011. Link.

H.C. Chung, P. Robinson, and J.L. Welch. "Optimal Regional Consecutive Leader Election in Mobile Ad-Hoc Networks." Proc. 7th International Workshop on Foundations of Mobile Computing (FOMC), pp. 52-61, 2011. Link.

S. Sastry, T. Radeva, J. Chen, and J.L. Welch. "Reliable Networks with Unreliable Sensors." Proc. International Conference on Distributed Computing and Networking (ICDCN), pp. 181-292, 2011. Link.

C. Shao, J.L. Welch, E. Pierce and H. Lee. "Multi-Writer Consistency Conditions for Shared Memory Registers." SIAM Journal on Computing, vol. 40, no. 1, pp. 28--62, 2011. Link.

2010

K. Kanjani, H. Lee, W.L. Maguffee, and J.L. Welch. "A Simple Byzantine Fault-Tolerant Algorithm for a Multi-Writer Regular Register." International Journal of Parallel, Emergent and Distributed Systems, vol. 25, no. 5, pp. 423--435, 2010. Link.

S. M. Pike, S. Sastry, and J.L. Welch. "Failure Detectors Encapsulate Fairness." Proc. 14th International Conference On Principles Of Distributed Systems (OPODIS), 2010. Link.

H.-C. Chung, P. Robinson, and J.L. Welch. "Regional Consecutive Leader Election in Mobile Ad-Hoc Networks." Proc. DIALM-POMC Joint Workshop on Foundations of Mobile Computing, pp. 81--90, 2010. Link.

A. Cornejo, S. Viqar, and J.L. Welch. "Reliable Neighbor Discovery for Mobile Ad Hoc Networks." Proc. DIALM-POMC Joint Workshop on Foundations of Mobile Computing, pp. 63--72, 2010. Link.

A. Klappenecker, H. Lee, and J.L. Welch. "Finding Available Parking Spaces Made Easy." Proc. DIALM-POMC Joint Workshop on Foundations of Mobile Computing, pp. 49--52, 2010. Link.

A. Klappenecker, H. Lee, and J.L. Welch. "Scheduling Sensors by Tiling Lattices." Parallel Processing Letters, vol. 20, no. 1, pp. 3-13, 2010. Link.

H. Attiya, A. Kogan, and J.L. Welch. "Efficient and Fault-Tolerant Local Mutual Exclusion in Mobile Ad Hoc Networks." IEEE Transactions on Mobile Computing, vol. 9, no. 3, pp. 361-375, 2010. Link.

2009

A. Cornejo, N.A. Lynch, S. Viqar, and J.L. Welch. "A Neighbor Discovery Service Using an Abstract MAC Layer." Proc. 47th Allerton Conference on Communication, Control and Computing, 2009. Link.

S. Sastry, S.M. Pike, J.L. Welch, "Crash-Quiescent Failure Detection." Proc. 23rd International Symposium on Distributed Computing (DISC), pp. 326-340, 2009. Link.

B. Charron-Bost, A. Gaillard, J.L. Welch, and J. Widder. "Routing Without Ordering." Proc. 21st ACM Symposium on Parallelism in Algorithms and Architectures (SPAA), pp. 145-153, 2009. Link.

S. Sastry, S. Pike, and J.L. Welch. "The Weakest Failure Detector for Wait-free Dining Under Eventual Weak Exclusion." Proc. 21st ACM Symposium on Parallelism in Algorithms and Architectures (SPAA), pp. 111-120, 2009. Link.

S. Viqar and J.L. Welch. "Collision-Free Communication Despite Continuous Motion." Proc. 5th International Workshop on Algorithmic Aspects of Wireless Sensor Networks (Algosensors), 2009. Link.

B. Charron-Bost, J.L. Welch, and J. Widder. "Link Reversal: How to Play Better to Work Less." Proc. 5th International Workshop on Algorithmic Aspects of Wireless Sensor Networks (Algosensors), 2009. Link.

R. Ingram, P. Shields, J. Walter, and J.L. Welch. "An Asynchronous Leader Election Algorithm for Dynamic Networks" Proc. 23rd IEEE International Parallel and Distributed Processing Symposium (IPDPS), 12pp., 2009. Link.

S. Sastry, S. Pike, and J.L. Welch. "Crash Fault Detection in Celerating Environments." Proc. 23rd IEEE International Parallel and Distributed Processing Symposium (IPDPS), 12pp., 2009. Recipient of Best Paper Award. Link.

K. Kanjani, H. Lee, and J.L. Welch. "Byzantine Fault-Tolerant Implementation of a Multi-Writer Regular Register." Proc. 14th IEEE Workshop on Dependable Parallel, Distributed and Network-Centric Systems (DPDNS). 8 pp., 2009. Link.

G. Roy, H. Lee, J.L. Welch, Y. Zhao, V. Pandey, and D. Thurston. "A Distributed Pool Architecture for Genetic Algorithms." Proc. 11th IEEE Congress on Evolutionary Computation (CEC), 2009. Link.

2008

H. Attiya, A. Kogan, and J.L. Welch. "Efficient and Robust Local Mutual Exclusion in Mobile Ad Hoc Networks." Proc. 28th IEEE International Conference on Distributed Computing Systems (ICDCS), pp. 321-328, 2008. Link.

A. Klappenecker, H. Lee, H., and J.L. Welch. "Brief Announcement: Scheduling Sensors by Tiling Lattices." Proc. ACM Symposium on Principles of Distributed Computing (PODC), p. 437, 2008. Link.

2007

V. Pandey, D. Thurston, K. Kanjani, and J.L. Welch. "Distributed Data Sources for Lifecycle Design." Proc. 16th International Conference on Engineering Design (ICED), 13 pages, 2007. Link.

2006

S. Dolev, E. Schiller, and J. L. Welch. "Random Walk for Self-Stabilizing Group Communication in Ad Hoc Networks." IEEE Transactions on Mobile Computing, vol. 5, no. 7, pp. 893--905, 2006. Link.

F. Ellen, S. Subramanian, and J.L. Welch. "Maintaining Information About Nearby Nodes in a Mobile Environment." Proc. 8th International Conference on Distributed Computing and Networking (ICDCN), pp. 193-202, 2006. Link.

2005

S. Dolev, S. Gilbert, N.A. Lynch, A.A. Shvartsman, and J.L. Welch. "GeoQuorums: Implementing Atomic Memory in Ad Hoc Networks." Distributed Computing, vol. 18, no. 2, pp. 125--155, 2005. Link.

Y. Chen and J.L. Welch. "Self-Stabilizing Dynamic Mutual Exclusion for Mobile Ad Hoc Networks." Journal of Parallel and Distributed Computing, vol. 65, no. 9, pp. 1072--1089, 2005. Link.

H. Lee and J.L. Welch. "Randomized Registers and Iterative Algorithms." Distributed Computing, vol. 17, no. 3, pp. 209--221, 2005. Link.

N. Malpani, Y. Chen, N. Vaidya, and J.L. Welch. "Distributed Token Circulation in Mobile Ad Hoc Networks." IEEE Transactions on Mobile Computing, vol. 4, no. 2, pp. 154--165, 2005. Link.

H. Attiya, D. Hay, and J.L. Welch. "Optimal Clock Synchronization Under Energy Constraints in Wireless Ad-Hoc Networks." Proc. 9th International Conference on Principles of Distributed Systems (OPODIS), pp. 221-234, 2005. Link.

Y. Chen and J.L. Welch. "Location-based Broadcasting for Dense Mobile Ad Hoc Networks." Proc. 8th ACM/IEEE International Symposium on Modeling, Analysis and Simulation of Wireless and Mobile Systems (MSWiM), pp. 63-70, 2005. Link.

S. Dolev, S. Gilbert, E. Schiller, A.A. Shvartsman, and J.L. Welch. "Autonomous Virtual Mobile Nodes." Proc. 3rd ACM/SIGMOBILE International Workshop on Foundations of Mobile Computing (DIAL-M-POMC), pp. 62--69, 2005. Link.

S. Dolev, S. Gilbert, E. Schiller, E., A. Shvartsman, and J.L. Welch. "Brief Announcement: Autonomous Virtual Mobile Nodes." Proc. 17th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA), p. 215, 2005. Link.

2004

S. Dolev and J.L. Welch, "Self-Stabilizing Clock Synchronization in the Presence of Byzantine Faults." Journal of the ACM, vol. 51, no. 5, pp. 780-799, 2004. Link.

J.E. Walter, J.L. Welch, and N.M. Amato. "Distributed Reconfiguration of Metamorphic Robot Chains." Distributed Computing, vol. 17, no. 2, pp. 171-189, 2004. Link.

S. Dolev, S. Gilbert, N.A. Lynch, E. Schiller, A.A. Shvartsman, and J.L. Welch. "Virtual Mobile Nodes for Mobile Ad Hoc Networks." Proc. 18th International Conference on Distributed Computing (DISC), pp. 230-244, 2004. Link.

G. Cao and J.L. Welch. "Accurate Multi-Hop Clock Synchronization in Mobile Ad Hoc Networks." Proc. International Workshop on Mobile Wireless Networking (MWN), pp. 13-20, 2004. (in conjunction with the 2004 International Conference on Parallel Processing (ICPP04)). Link.

S. Dolev, S. Gilbert, N.A. Lynch, E. Schiller, A.A. Shvartsman, and J.L. Welch. "Brief Announcement: Virtual Mobile Nodes for Mobile Ad Hoc Networks." Proc. 23rd ACM Symposium on Principles of Distributed Computing (PODC), p. 385, 2004. Link.

2003

I. Rhee and J.L. Welch, "The Impact of Timing Knowledge on the Session Problem." SIAM Journal on Computing, vol. 32, no. 4, pp. 1007-1039, 2003. Link.

H. Lee and J.L. Welch. "Location Tracking Using Quorums in Mobile Ad-Hoc Networks." Ad Hoc Networks, vol. 1, no. 4, pp. 371-381, 2003. Link.

C. Shao, E. Pierce, and J.L. Welch. "Multi-Writer Consistency Conditions for Shared Memory Objects." Proc. 17th International Conference on Distributed Computing (DISC), pp. 106-120, 2003. Link.

S. Dolev, S. Gilbert, N.A. Lynch, A.A. Shvartsman, and J.L. Welch. "GeoQuorums: Implementing Atomic Memory in Ad Hoc Networks." Proc. 17th International Conference on Distributed Computing (DISC), pp. 306-320, 2003. Link.

2002

J.E. Walter, J.L. Welch, J.L. and N.M. Amato. "Concurrent Metamorphosis of Hexagonal Robot Chains into Simple Connected Configurations." IEEE Transactions on Robotics and Automation, vol. 18, no. 6, pp. 945-956, 2002. Link.

Y. Chen and J.L. Welch. "Self-Stabilizing Mutual Exclusion Using Tokens in Mobile Ad Hoc Networks." Proc. 6th International Workshop on Discrete Algorithms and Methods for Mobile Computing and Communications (DIAL-M), pp. 34-42, 2002. Link.

S. Dolev, E. Schiller, and J.L. Welch. "Random Walk for Self-Stabilizing Group Communication in Ad-Hoc Networks." Proc. 21st Symposium on Reliable Distributed Systems (SRDS), pp. 70-79, 2002. Link.

S. Dolev, E. Schiller, and J.L. Welch. "Brief Announcement: Random Walk for Self-Stabilizing Group Communication in Ad-Hoc Networks." Proc. 21st ACM Symposium on Principles of Distributed Computing (PODC), p. 259, 2002. Link.

2001

J.E. Walter, J.L. Welch, and N. Vaidya, "A Mutual Exclusion Algorithm for Ad Hoc Mobile Networks." Wireless Networks, vol. 7, no. 6, pp. 585--600, 2001. Link.

S. Biaz and J.L. Welch. "Closed Form Bounds for Clock Synchronization Under Simple Uncertainty Assumptions." Information Processing Letters, vol. 80, no. 3, pp. 151--157, 2001. Link.

N. Malpani, N.H. Vaidya, and J.L. Welch. "Distributed Token Circulation in Mobile Ad Hoc Networks." Proc. 9th International Conference on Network Protocols (ICNP), pp. 4--13, 2001. Link.

H. Lee and J.L. Welch. "Randomized Shared Queues Applied To Distributed Optimization Algorithms." Proc. 12th International Symposium on Algorithms and Computation (ISAAC), pp. 587-598, 2001. Link.

H. Lee and J.L. Welch. "Applications of Probabilistic Quorums to Iterative Algorithms." Proc. IEEE International Conference on Distributed Computing Systems (ICDCS), pp. 21-30, 2001. Link.

H. Lee and J.L. Welch. "Brief Announcement: Randomized Shared Queues." Proc. 20th ACM Symposium on Principles of Distributed Computing (PODC), pp. 311-313, 2001. Link.

2000

S. Chaudhuri, M.J. Kosa and J.L. Welch. "One-Write Algorithms for Multivalued Regular and Atomic Registers." Acta Informatica, vol. 37, pp. 161-192, 2000. Link.

J. Walter, J.L. Welch, and N.M. Amato. "Distributed Reconfiguration of Metamorphic Robot Chains." Proc. ACM Symposium on Principles of Distributed Computing (PODC), pp. 171-180, 2000. Link.

N. Malpani, J.L. Welch, and N. Vaidya, N. "Leader Election Algorithms for Mobile Ad Hoc Networks." Proc. 4th International Workshop on Discrete Algorithms and Methods for Mobile Computing and Communications (DIAL-M), pp. 96-103, 2000. Link.

J. Walter, J.L. Welch, and N.M. Amato. "Distributed Reconfiguration of Hexagonal Robots in Two Dimensions." in Sensor Fusion and Decentralized Control in Robotic Systems III, Gerard T. McKee, Paul S. Schenker, Editors, Proceedings of SPIE vol. 4196, pp. 44--453, 2000. Link.

H. Lee and J.L. Welch. "Brief Announcement: Specification, Implementation and Application of Randomized Regular Registers." Proc. 19th ACM Symposium on Principles of Distributed Computing (PODC), p. 338, 2000. Link.

1999

S. Dolev, M. Kate and J.L. Welch, "A Competitive Analysis for Retransmission Timeout." Networks, vol. 34, no. 1, pp. 73-80, 1999. Link.

1998

H. Attiya, S. Chaudhuri, R. Friedman, and J.L. Welch. "Shared Memory Consistency Conditions for Non-Sequential Execution: Definitions and Programming Strategies." SIAM Journal on Computing, vol. 27, no. 1, pp. 65-89, 1998. Link.

J. Walter, J.L. Welch, and N. Vaidya. "A Mutual Exclusion Algorithm for Ad Hoc Mobile Networks." 2nd International Workshop on Discrete Algorithms and Methods for Mobile Computing and Communications (DIAL-M), 1998. Link.

1997

I. Rhee and J.L. Welch. "Time Bounds on Synchronization in a Periodic Distributed System." Information Processing Letters., vol. 64, no. 2, pp. 87-93, 1997. Link.

S. Dolev and J.L. Welch. "Wait-free Clock Synchronization." Algorithmica, vol. 18, pp. 486-511, 1997. Link.

S. Dolev and J.L. Welch. "Crash-Resilient Communication in Dynamic Networks." IEEE Transactions on Computers, vol. 46, no. 1, pp. 14-26, 1997. Link.

J. Walter and J.L. Welch. "Hazard-Free Connection Release." Proc. International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA), pp. 1668-1672, 1997. Link.

1996

H. Abu-Amara, B.A. Coan, S. Dolev, A. Kanevsky, and J.L. Welch. "Self-Stabilizing Topology Maintenance Protocols for High-Speed Networks." IEEE/ACM Transactions on Networking, vol. 4, no. 6, pp. 902-912, 1996. Link.

S. Dolev, D.K. Pradhan, and J.L. Welch. "Modified Tree Structure for Location Management in Mobile Environments." Computer Communications, vol. 19, pp. 335-345, 1996. Link.

S. Kanthadai and J.L. Welch. "Implementation of Recoverable Distributed Shared Memory by Logging Writes." Proc. 16th IEEE International Conference on Distributed Computing Systems (ICDCS), pp. 116-124, 1996. Link.

S. Chaudhuri, S. Kanthadai, and J.L. Welch. "Brief Announcement: The Role of Data-Race-Free Programs in Recoverable DSM." Proc. 15th ACM Symposium on Principles of Distributed Computing (PODC), p. 245, 1996. Link.

1995

S. Chaudhuri, B.A. Coan, and J.L. Welch. "Using Adaptive Timeouts to Achieve At-Most-Once Message Delivery." Distributed Computing, vol. 9, pp. 109-117, 1995. Link.

H. Attiya, S. Dolev, and J.L. Welch. "Connection Management Without Retaining Information." Information and Computation, vol. 123, no. 2, pp. 155-171, 1995. Link.

S. Dolev, M. Kate, and J.L. Welch. "A Competitive Analysis for Retransmission Timeout." Proc. 15th IEEE International Conference on Distributed Computing Systems (ICDCS), pp. 450-455, 1995. Link.

S. Dolev, D.K. Pradhan, and J.L. Welch. "Modified Tree Structure for Location Management in Mobile Environments." Proc. 14th Annual Joint Conference of IEEE Computer and Communication Societies (INFOCOM), pp. 530-537, 1995. Link.

I. Rhee and J.L. Welch. On the Time Complexity of the Dining Philosophers Problem." Proc. International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA), pp. 795-0804, 1995. Link.

S. Dolev and J.L. Welch. "Self-Stabilizing Clock Synchronization in the Presence of Byzantine Faults." 2nd Workshop on Self-Stabilizing Systems, 1995. Link.

H. Attiya, S. Dolev, and J.L. Welch. "Connection Management Without Retaining Information." Proc. 28th Hawaii International Conference on System Sciences (HICSS), pp. 622-631, 1995 Link.

1994

H. Attiya and J.L. Welch. "Sequential Consistency versus Linearizability." ACM Transactions on Computer Systems, vol. 12, no. 1, pp. 91-122, 1994. Link.

S. Chaudhuri and J.L. Welch. "Bounds on the Costs of Multivalued Register Implementations." SIAM Journal on Computing, vol. 23, no. 2, pp. 335-354, 1994. Link.

H. Abu-Amara, B.A. Coan, S. Dolev, A. Kanevsky, and J.L. Welch. "A Fault-Tolerant Layered Approach to Fiber Optic Networks." Proc. Conference on High-Speed Networking and Multimedia Computing, IS&T/SPIE Symposium on Electronic Imaging Science & Technology, pp. 380-391, 1994. Link.

1993

J.L. Welch and N.A. Lynch. "A Modular Drinking Philosophers Algorithm." Distributed Computing, vol. 6, pp. 233-244, 1993. Link.

B.A. Coan and J.L. Welch. "Modular Construction of an Efficient 1-Bit Byzantine Agreement Protocol." Mathematical Systems Theory, vol. 26, pp. 131-154, 1993. Link.

S. Dolev and J.L. Welch. "Wait-Free Clock Synchronization." Proc. 12th ACM Symposium on Principles of Distributed Computing (PODC), pp. 97-108, 1993. Link.

H. Attiya, S. Chaudhuri, R. Friedman, and J.L. Welch. "Shared Memory Consistency Conditions for Non-Sequential Execution: Definitions and Programming Strategies." Proc. 5th ACM Symposium on Parallel Algorithms and Architectures (SPAA), pp. 241-250, 1993. Link.

S. Dolev and J.L. Welch. "Crash Resilient Communication in Dynamic Networks." Proc. 7th International Workshop on Distributed Algorithms (WDAG), (Springer-Verlag LNCS 725), pp. 129-144, 1993. Link.

1992

B.A. Coan and J.L. Welch. "Modular Construction of a Byzantine Agreement Protocol with Optimal Message Bit Complexity." Information and Computation, vol. 97, no. 1, pp. 61-85, 1992. Link.

I. Rhee and J.L. Welch. "The Impact of Time on the Session Problem." Proc. 11th ACM Symposium on Principles of Distributed Computing (PODC), pp. 191-202, 1992. Link.

1991

S. Chaudhuri, M.J. Kosa, and J.L. Welch. "Upper and Lower Bounds for One-Write Multivalued Regular Registers." Proc. 3rd IEEE Symposium on Parallel and Distributed Processing (SPDP), pp. 134--141, 1991. Link.

H. Attiya and J.L. Welch. "Sequential Consistency vs. Linearizability." Proc. 3rd ACM Symposium on Parallel Algorithms and Architectures (SPAA), pp. 304-315, 1991. Link.

S. Chaudhuri, B.A. Coan, and J.L. Welch. "Using Adaptive Timeouts to Achieve At-Most-Once Message Delivery." Proc. 5th International Workshop on Distributed Algorithms (WDAG) (Springer-Verlag LNCS 579), pp. 151-166, 1991. Link.

1990

B.A. Coan and J.L. Welch. "Transaction Commit in a Realistic Timing Model." Distributed Computing, vol. 4, no. 2, pp. 87-103, 1990. Link.

B. Simons, J.L. Welch, and N.A. Lynch. "An Overview of Clock Synchronization." (pp. 84-96) in B. Simons and A. Spector (Eds.), Fault-Tolerant Distributed Computing, Lecture Notes in Computer Science 448, Springer-Verlag, New York, 1990. Link.

S. Chaudhuri and J.L. Welch. "Bounds on the Costs of Register Implementations." Proc. 4th International Workshop on Distributed Algorithms (WDAG) (Springer-Verlag LNCS 486), pp. 402-421, 1990. Link.

1989

A.P. Sistla and J.L. Welch. "Efficient Distributed Recovery Using Message Logging." Proc. 8th ACM Symposium on Principles of Distributed Computing (PODC), pp. 223-238, 1989. Link.

B.A. Coan and J.L. Welch. "Modular Construction of Efficient Byzantine Agreement Protocols." Proc. 8th ACM Symposium on Principles of Distributed Computing (PODC), pp. 295-306, 1989. Link.

B.A. Coan and J.L. Welch. "A Byzantine Agreement Protocol with Optimal Message Bit Complexity." Proc. 27th Allerton Conference on Communication, Control and Computing, pp. 1062-1071, 1989. Link.

1988

J.L. Welch. "Topics in Distributed Computing: The Impact of Partial Synchrony, and Modular Decomposition of Algorithms." PhD thesis, Department of Electrical Engineering and Computer Science, Massachusetts Institute of Technology, 1988. Link.

J.L. Welch and N.A. Lynch. "A New Fault-Tolerant Algorithm for Clock Synchronization." Information and Computation, vol. 77, no. 1, pp. 1-36, 1988. Link.

J.L. Welch, L. Lamport, and N.A. Lynch. "A Lattice-Structured Proof Technique Applied to a Minimum Spanning Tree Algorithm." Proc. 7th ACM Symposium on Principles of Distributed Computing (PODC), pp. 28-43, 1988. Link. Full version: Massachusetts Institute of Technology Laboratory for Computer Science Technical Memo MIT-LCS-TM-361. Link.

1987

J.L. Welch. "Simulating Synchronous Processors." Information and Computation, vol. 74, no. 2, pp. 159--171, 1987. Link.

1986

B.A. Coan and J. Lundelius. "Transaction Commit in a Realistic Fault Model." Proc. 5th ACM Symposium on Principles of Distributed Computing (PODC), pp. 40-51, 1986. Link.

1984

J. Lundelius. "Synchronizing Clocks in a Distributed System." MS thesis, Department of Electrical Engineering and Computer Science, Massachusetts Institute of Technology, 1984. MIT-LCS-TR-335. Link.

J. Lundelius and N.A. Lynch. "An Upper and Lower Bound for Clock Synchronization." Information and Control, vol. 62, nos. 2/3, pp. 190-204, 1984. Link.

J. Lundelius and N.A. Lynch. "A New Fault-Tolerant Algorithm for Clock Synchronization." Proc. 3rd ACM Symposium on Principles of Distributed Computing (PODC), pp. 75--88, 1984. Link.