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 |