| 2008 |
|---|
| 73 | EE | Hagit Attiya,
Alex Kogan,
Jennifer L. Welch:
Efficient and Robust Local Mutual Exclusion in Mobile Ad Hoc Networks.
ICDCS 2008: 321-328 |
| 72 | EE | Andreas Klappenecker,
Hyunyoung Lee,
Jennifer L. Welch:
Scheduling sensors by tilinglattices.
PODC 2008: 437 |
| 71 | EE | Hagit Attiya,
Jennifer L. Welch:
A world of (Im) possibilities.
PODC 2008: 461 |
| 70 | EE | Andreas Klappenecker,
Hyunyoung Lee,
Jennifer L. Welch:
Scheduling Sensors by Tiling Lattices
CoRR abs/0806.1271: (2008) |
| 2006 |
|---|
| 69 | EE | Faith Ellen,
Sivaramakrishnan Subramanian,
Jennifer L. Welch:
Maintaining Information About Nearby Processors in a Mobile Environment.
ICDCN 2006: 193-202 |
| 68 | EE | Shlomi Dolev,
Elad Schiller,
Jennifer L. Welch:
Random Walk for Self-Stabilizing Group Communication in Ad Hoc Networks.
IEEE Trans. Mob. Comput. 5(7): 893-905 (2006) |
| 67 | EE | Andréa W. Richa,
Jennifer L. Welch:
MONET Special Issue on Foundations of Mobile Computing.
MONET 11(2): 119-120 (2006) |
| 2005 |
|---|
| 66 | EE | Shlomi Dolev,
Seth Gilbert,
Elad Schiller,
Alexander A. Shvartsman,
Jennifer L. Welch:
Autonomous virtual mobile nodes.
DIALM-POMC 2005: 62-69 |
| 65 | EE | Yu Chen,
Jennifer L. Welch:
Location-based broadcasting for dense mobile ad hoc networks.
MSWiM 2005: 63-70 |
| 64 | EE | Hagit Attiya,
David Hay,
Jennifer L. Welch:
Optimal Clock Synchronization Under Energy Constraints in Wireless Ad-Hoc Networks.
OPODIS 2005: 221-234 |
| 63 | EE | Shlomi Dolev,
Seth Gilbert,
Elad Schiller,
Alexander A. Shvartsman,
Jennifer L. Welch:
Autonomous virtual mobile nodes.
SPAA 2005: 215 |
| 62 | EE | Hyunyoung Lee,
Jennifer L. Welch:
Randomized registers and iterative algorithms.
Distributed Computing 17(3): 209-221 (2005) |
| 61 | EE | Shlomi Dolev,
Seth Gilbert,
Nancy A. Lynch,
Alexander A. Shvartsman,
Jennifer L. Welch:
GeoQuorums: implementing atomic memory in mobile ad hoc networks.
Distributed Computing 18(2): 125-155 (2005) |
| 60 | EE | Navneet Malpani,
Yu Chen,
Nitin H. Vaidya,
Jennifer L. Welch:
Distributed Token Circulation in Mobile Ad Hoc Networks.
IEEE Trans. Mob. Comput. 4(2): 154-165 (2005) |
| 59 | EE | Yu Chen,
Jennifer L. Welch:
Self-stabilizing dynamic mutual exclusion for mobile ad hoc networks.
J. Parallel Distrib. Comput. 65(9): 1072-1089 (2005) |
| 2004 |
|---|
| 58 | EE | Shlomi Dolev,
Seth Gilbert,
Nancy A. Lynch,
Elad Schiller,
Alexander A. Shvartsman,
Jennifer L. Welch:
Virtual Mobile Nodes for Mobile Ad Hoc Networks.
DISC 2004: 230-244 |
| 57 | EE | Guangtong Cao,
Jennifer L. Welch:
Accurate Multihop Clock Synchronization in Mobile Ad Hoc Networks.
ICPP Workshops 2004: 13-20 |
| 56 | EE | Shlomi Dolev,
Seth Gilbert,
Nancy A. Lynch,
Elad Schiller,
Alexander A. Shvartsman,
Jennifer L. Welch:
Brief announcement: virtual mobile nodes for mobile ad hoc networks.
PODC 2004: 385 |
| 55 | EE | Jennifer E. Walter,
Jennifer L. Welch,
Nancy M. Amato:
Distributed reconfiguration of metamorphic robot chains.
Distributed Computing 17(2): 171-189 (2004) |
| 54 | EE | Shlomi Dolev,
Jennifer L. Welch:
Self-stabilizing clock synchronization in the presence of Byzantine faults.
J. ACM 51(5): 780-799 (2004) |
| 2003 |
|---|
| 53 | EE | Cheng Shao,
Evelyn Pierce,
Jennifer L. Welch:
Multi-writer Consistency Conditions for Shared Memory Objects.
DISC 2003: 106-120 |
| 52 | EE | Shlomi Dolev,
Seth Gilbert,
Nancy A. Lynch,
Alexander A. Shvartsman,
Jennifer L. Welch:
GeoQuorums: Implementing Atomic Memory in Mobile Ad Hoc Networks.
DISC 2003: 306-320 |
| 51 | EE | Hyunyoung Lee,
Jennifer L. Welch,
Nitin H. Vaidya:
Location tracking using quorums in mobile ad hoc networks.
Ad Hoc Networks 1(4): 371-381 (2003) |
| 50 | EE | Injong Rhee,
Jennifer L. Welch:
The Impact of Timing Knowledge on the Session Problem.
SIAM J. Comput. 32(4): 1007-1039 (2003) |
| 2002 |
|---|
| 49 | EE | Yu Chen,
Jennifer L. Welch:
Self-stabilizing mutual exclusion using tokens in mobile ad hoc networks.
DIAL-M 2002: 34-42 |
| 48 | EE | Shlomi Dolev,
Elad Schiller,
Jennifer L. Welch:
Random walk for self-stabilitzing group communication in ad hoc networks.
PODC 2002: 259 |
| 47 | EE | Shlomi Dolev,
Elad Schiller,
Jennifer L. Welch:
Random Walk for Self-Stabilizing Group Communication in Ad-Hoc Networks.
SRDS 2002: 70-79 |
| 2001 |
|---|
| 46 | | Jennifer L. Welch:
Distributed Computing, 15th International Conference, DISC 2001, Lisbon, Portugal, October 3-5, 2001, Proceedings
Springer 2001 |
| 45 | EE | Hyunyoung Lee,
Jennifer L. Welch:
Applications of Probabilistic Quorums to Iterative Algorithms.
ICDCS 2001: 21-28 |
| 44 | EE | Navneet Malpani,
Nitin H. Vaidya,
Jennifer L. Welch:
Distributed Token Circulation on Mobile Ad Hoc Networks.
ICNP 2001: 4-13 |
| 43 | EE | Hyunyoung Lee,
Jennifer L. Welch:
Randomized Shared Queues Applied to Distributed Optimization Algorithms.
ISAAC 2001: 587-598 |
| 42 | EE | Hyunyoung Lee,
Jennifer L. Welch:
Randomized shared queues.
PODC 2001: 311-313 |
| 41 | EE | Saad Biaz,
Jennifer L. Welch:
Closed form bounds for clock synchronization under simple uncertainty assumptions.
Inf. Process. Lett. 80(3): 151-157 (2001) |
| 40 | | Jennifer E. Walter,
Jennifer L. Welch,
Nitin H. Vaidya:
A Mutual Exclusion Algorithm for Ad Hoc Mobile Networks.
Wireless Networks 7(6): 585-600 (2001) |
| 2000 |
|---|
| 39 | EE | Navneet Malpani,
Jennifer L. Welch,
Nitin H. Vaidya:
Leader election algorithms for mobile ad hoc networks.
DIAL-M 2000: 96-103 |
| 38 | EE | Jennifer E. Walter,
Jennifer L. Welch,
Nancy M. Amato:
Distributed reconfigurtion of metamorphic robot chains.
PODC 2000: 171-180 |
| 37 | EE | Hyunyoung Lee,
Jennifer L. Welch:
Specification, implementation and application of randomized regular registers (brief announcement).
PODC 2000: 338 |
| 36 | EE | Soma Chaudhuri,
Martha J. Kosa,
Jennifer L. Welch:
One-write algorithms for multivalued regular and atomic registers.
Acta Inf. 37(3): 161-192 (2000) |
| 1999 |
|---|
| 35 | EE | Shlomi Dolev,
Michael Kate,
Jennifer L. Welch:
A competitive analysis for retransmission timeout.
Networks 34(1): 73-80 (1999) |
| 1998 |
|---|
| 34 | | Hagit Attiya,
Soma Chaudhuri,
Roy Friedman,
Jennifer L. Welch:
Shared Memory Consistency Conditions for Nonsequential Execution: Definitions and Programming Strategies.
SIAM J. Comput. 27(1): 65-89 (1998) |
| 1997 |
|---|
| 33 | | Jennifer E. Walter,
Jennifer L. Welch:
Hazard-Free Connection Release.
PDPTA 1997: 1668-1672 |
| 32 | | Shlomi Dolev,
Jennifer L. Welch:
Wait-Free Clock Synchronization.
Algorithmica 18(4): 486-511 (1997) |
| 31 | | Shlomi Dolev,
Jennifer L. Welch:
Crash Resilient Communication in Dynamic Networks.
IEEE Trans. Computers 46(1): 14-26 (1997) |
| 30 | EE | Injong Rhee,
Jennifer L. Welch:
Time Bounds on Synchronization in a Periodic Distributed System.
Inf. Process. Lett. 64(2): 87-93 (1997) |
| 1996 |
|---|
| 29 | | Sundar Kanthadai,
Jennifer L. Welch:
Implementation of Recoverable Distributed Shared Memory by Logging Writes.
ICDCS 1996: 116-124 |
| 28 | | Soma Chaudhuri,
Sundar Kanthadai,
Jennifer L. Welch:
The Role of Data-Race-Free Programs in Recoverable DSM (Abstract).
PODC 1996: 245 |
| 27 | EE | Shlomi Dolev,
Dhiraj K. Pradhan,
Jennifer L. Welch:
Modified tree structure for location management in mobile environments.
Computer Communications 19(4): 335-345 (1996) |
| 26 | EE | Hosame Abu-Amara,
Brian A. Coan,
Shlomi Dolev,
Arkady Kanevsky,
Jennifer L. Welch:
Self-stabilizing topology maintenance protocols for high-speed networks.
IEEE/ACM Trans. Netw. 4(6): 902-912 (1996) |
| 1995 |
|---|
| 25 | EE | Hagit Attiya,
Shlomi Dolev,
Jennifer L. Welch:
Connection management without retaining information.
HICSS (2) 1995: 622- |
| 24 | | Shlomi Dolev,
Michael Kate,
Jennifer L. Welch:
A Competitive Analysis for Retransmission Timeout.
ICDCS 1995: 450-455 |
| 23 | | Shlomi Dolev,
Dhiraj K. Pradhan,
Jennifer L. Welch:
Modified Tree Structure for Location Management in Mobile Environments.
INFOCOM 1995: 530-537 |
| 22 | | Shlomi Dolev,
Jennifer L. Welch:
Self-Stabilizing Clock Synchronization in the Presence of Byzantine Faults (Abstract).
PODC 1995: 256 |
| 21 | | Soma Chaudhuri,
Brian A. Coan,
Jennifer L. Welch:
Using Adaptive Timeouts to Achieve At-Most-Once Message Delivery.
Distributed Computing 9(3): 109-117 (1995) |
| 20 | | Hagit Attiya,
Shlomi Dolev,
Jennifer L. Welch:
Connection Management Without Retaining Information.
Inf. Comput. 123(2): 155-171 (1995) |
| 1994 |
|---|
| 19 | EE | Hagit Attiya,
Jennifer L. Welch:
Sequential Consistency versus Linearizability.
ACM Trans. Comput. Syst. 12(2): 91-122 (1994) |
| 18 | | Soma Chaudhuri,
Jennifer L. Welch:
Bounds on the Costs of Multivalued Register Implementations.
SIAM J. Comput. 23(2): 335-354 (1994) |
| 1993 |
|---|
| 17 | | Shlomi Dolev,
Jennifer L. Welch:
Wait-Free Clock Synchronization (Extended Abstract).
PODC 1993: 97-108 |
| 16 | EE | Hagit Attiya,
Soma Chaudhuri,
Roy Friedman,
Jennifer L. Welch:
Shared Memory Consistency Conditions for Non-Sequential Execution: Definitions and Programming Strategies.
SPAA 1993: 241-250 |
| 15 | | Shlomi Dolev,
Jennifer L. Welch:
Crash Resilient Communication in Dynamic Networks (Preliminary Version).
WDAG 1993: 129-144 |
| 14 | | Jennifer L. Welch,
Nancy A. Lynch:
A Modular Drinking Philosophers Algorithm.
Distributed Computing 6(4): 233-244 (1993) |
| 13 | | Brian A. Coan,
Jennifer L. Welch:
Modular Cosntruction of an Efficient 1-Bit Byzantine Agreement Protocol.
Mathematical Systems Theory 26(1): 131-154 (1993) |
| 1992 |
|---|
| 12 | | Injong Rhee,
Jennifer L. Welch:
The Impact of Time on the Session Problem.
PODC 1992: 191-202 |
| 11 | | Brian A. Coan,
Jennifer L. Welch:
Modular Construction of a Byzantine Agreement Protocol with Optimal Message Bit Complexity
Inf. Comput. 97(1): 61-85 (1992) |
| 1991 |
|---|
| 10 | EE | Hagit Attiya,
Jennifer L. Welch:
Sequential Consistency Versus Linearizability (Extended Abstract).
SPAA 1991: 304-315 |
| 9 | | Soma Chaudhuri,
Brian A. Coan,
Jennifer L. Welch:
Using Adaptive Timeouts to Achive At-Most-Once Message Delivery.
WDAG 1991: 151-166 |
| 1990 |
|---|
| 8 | | Soma Chaudhuri,
Jennifer L. Welch:
Bounds on the Costs of Register Implementations.
WDAG 1990: 402-421 |
| 7 | | Brian A. Coan,
Jennifer L. Welch:
Transaction Commit in a Realistic Timing Model.
Distributed Computing 4: 87-103 (1990) |
| 1989 |
|---|
| 6 | | A. Prasad Sistla,
Jennifer L. Welch:
Efficient Distributed Recovery Using Message Logging.
PODC 1989: 223-238 |
| 5 | | Brian A. Coan,
Jennifer L. Welch:
Modular Construction of Nearly Optimal Byzantine Agreement Protocols.
PODC 1989: 295-305 |
| 1988 |
|---|
| 4 | EE | Jennifer L. Welch,
Leslie Lamport,
Nancy A. Lynch:
A Lattice-Structured Proof of a Minimum Spanning.
PODC 1988: 28-43 |
| 3 | | Jennifer L. Welch,
Nancy A. Lynch:
A New Fault-Tolerance Algorithm for Clock Synchronization
Inf. Comput. 77(1): 1-36 (1988) |
| 1987 |
|---|
| 2 | | Jennifer L. Welch:
Simulating Synchronous Processors
Inf. Comput. 74(2): 159-170 (1987) |
| 1986 |
|---|
| 1 | | Barbara Simons,
Jennifer L. Welch,
Nancy A. Lynch:
An Overview of Clock Synchronization.
Fault-Tolerant Distributed Computing 1986: 84-96 |
