Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Jennifer L. Welch
@article{DBLP:journals/corr/abs-2402-14120,
author = {Colette Johnen and
Adnane Khattabi and
Alessia Milani and
Jennifer L. Welch},
title = {Efficient Wait-Free Linearizable Implementations of Approximate Bounded
Counters Using Read-Write Registers},
journal = {CoRR},
volume = {abs/2402.14120},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2402.14120},
doi = {10.48550/ARXIV.2402.14120},
eprinttype = {arXiv},
eprint = {2402.14120},
timestamp = {Fri, 22 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2402-14120.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/opodis/AttiyaW23,
author = {Hagit Attiya and
Jennifer L. Welch},
editor = {Alysson Bessani and
Xavier D{\'{e}}fago and
Junya Nakamura and
Koichi Wada and
Yukiko Yamauchi},
title = {Multi-Valued Connected Consensus: {A} New Perspective on Crusader
Agreement and Adopt-Commit},
booktitle = {27th International Conference on Principles of Distributed Systems,
{OPODIS} 2023, December 6-8, 2023, Tokyo, Japan},
series = {LIPIcs},
volume = {286},
pages = {6:1--6:23},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.OPODIS.2023.6},
doi = {10.4230/LIPICS.OPODIS.2023.6},
timestamp = {Fri, 19 Jan 2024 14:57:09 +0100},
biburl = {https://dblp.org/rec/conf/opodis/AttiyaW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/opodis/AttiyaW23a,
author = {Hagit Attiya and
Jennifer L. Welch},
editor = {Alysson Bessani and
Xavier D{\'{e}}fago and
Junya Nakamura and
Koichi Wada and
Yukiko Yamauchi},
title = {Bounds on Worst-Case Responsiveness for Agreement Algorithms},
booktitle = {27th International Conference on Principles of Distributed Systems,
{OPODIS} 2023, December 6-8, 2023, Tokyo, Japan},
series = {LIPIcs},
volume = {286},
pages = {32:1--32:22},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.OPODIS.2023.32},
doi = {10.4230/LIPICS.OPODIS.2023.32},
timestamp = {Fri, 19 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/opodis/AttiyaW23a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wdag/AttiyaW23,
author = {Hagit Attiya and
Jennifer L. Welch},
editor = {Rotem Oshman},
title = {Brief Announcement: Multi-Valued Connected Consensus: {A} New Perspective
on Crusader Agreement and Adopt-Commit},
booktitle = {37th International Symposium on Distributed Computing, {DISC} 2023,
October 10-12, 2023, L'Aquila, Italy},
series = {LIPIcs},
volume = {281},
pages = {36:1--36:7},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.DISC.2023.36},
doi = {10.4230/LIPICS.DISC.2023.36},
timestamp = {Thu, 05 Oct 2023 15:45:05 +0200},
biburl = {https://dblp.org/rec/conf/wdag/AttiyaW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2308-04646,
author = {Hagit Attiya and
Jennifer L. Welch},
title = {Multi-Valued Connected Consensus: {A} New Perspective on Crusader
Agreement and Adopt-Commit},
journal = {CoRR},
volume = {abs/2308.04646},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2308.04646},
doi = {10.48550/ARXIV.2308.04646},
eprinttype = {arXiv},
eprint = {2308.04646},
timestamp = {Tue, 22 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2308-04646.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/AttiyaKSW22,
author = {Hagit Attiya and
Sweta Kumari and
Archit Somani and
Jennifer L. Welch},
title = {Store-collect in the presence of continuous churn with application
to snapshots and lattice agreement},
journal = {Inf. Comput.},
volume = {285},
number = {Part},
pages = {104869},
year = {2022},
url = {https://doi.org/10.1016/j.ic.2022.104869},
doi = {10.1016/J.IC.2022.104869},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/AttiyaKSW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/AttiyaEW22,
author = {Hagit Attiya and
Constantin Enea and
Jennifer L. Welch},
editor = {Alessia Milani and
Philipp Woelfel},
title = {Blunting an Adversary Against Randomized Concurrent Programs with
Linearizable Implementations},
booktitle = {{PODC} '22: {ACM} Symposium on Principles of Distributed Computing,
Salerno, Italy, July 25 - 29, 2022},
pages = {209--219},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3519270.3538446},
doi = {10.1145/3519270.3538446},
timestamp = {Mon, 25 Jul 2022 15:01:51 +0200},
biburl = {https://dblp.org/rec/conf/podc/AttiyaEW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wdag/Welch22,
author = {Jennifer L. Welch},
editor = {Christian Scheideler},
title = {Using Linearizable Objects in Randomized Concurrent Programs (Invited
Talk)},
booktitle = {36th International Symposium on Distributed Computing, {DISC} 2022,
October 25-27, 2022, Augusta, Georgia, {USA}},
series = {LIPIcs},
volume = {246},
pages = {3:1--3:1},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://doi.org/10.4230/LIPIcs.DISC.2022.3},
doi = {10.4230/LIPICS.DISC.2022.3},
timestamp = {Mon, 17 Oct 2022 16:44:53 +0200},
biburl = {https://dblp.org/rec/conf/wdag/Welch22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wdag/AttiyaEW21,
author = {Hagit Attiya and
Constantin Enea and
Jennifer L. Welch},
editor = {Seth Gilbert},
title = {Impossibility of Strongly-Linearizable Message-Passing Objects via
Simulation by Single-Writer Registers},
booktitle = {35th International Symposium on Distributed Computing, {DISC} 2021,
October 4-8, 2021, Freiburg, Germany (Virtual Conference)},
series = {LIPIcs},
volume = {209},
pages = {7:1--7:18},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2021},
url = {https://doi.org/10.4230/LIPIcs.DISC.2021.7},
doi = {10.4230/LIPICS.DISC.2021.7},
timestamp = {Wed, 03 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wdag/AttiyaEW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2105-06614,
author = {Hagit Attiya and
Constantin Enea and
Jennifer L. Welch},
title = {Impossibility of Strongly-Linearizable Message-Passing Objects via
Simulation by Single-Writer Registers},
journal = {CoRR},
volume = {abs/2105.06614},
year = {2021},
url = {https://arxiv.org/abs/2105.06614},
eprinttype = {arXiv},
eprint = {2105.06614},
timestamp = {Tue, 18 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2105-06614.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2106-15554,
author = {Hagit Attiya and
Constantin Enea and
Jennifer L. Welch},
title = {Linearizable Implementations Suffice for Termination of Randomized
Concurrent Programs},
journal = {CoRR},
volume = {abs/2106.15554},
year = {2021},
url = {https://arxiv.org/abs/2106.15554},
eprinttype = {arXiv},
eprint = {2106.15554},
timestamp = {Mon, 05 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2106-15554.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/AttiyaKSW20,
author = {Hagit Attiya and
Sweta Kumari and
Archit Somani and
Jennifer L. Welch},
editor = {Yuval Emek and
Christian Cachin},
title = {Brief Announcement: Collect in the Presence of Continuous Churn with
Application to Snapshots and Lattice Agreement},
booktitle = {{PODC} '20: {ACM} Symposium on Principles of Distributed Computing,
Virtual Event, Italy, August 3-7, 2020},
pages = {51--53},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3382734.3405709},
doi = {10.1145/3382734.3405709},
timestamp = {Tue, 04 Aug 2020 16:04:51 +0200},
biburl = {https://dblp.org/rec/conf/podc/AttiyaKSW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sss/AttiyaKSW20,
author = {Hagit Attiya and
Sweta Kumari and
Archit Somani and
Jennifer L. Welch},
editor = {St{\'{e}}phane Devismes and
Neeraj Mittal},
title = {Store-Collect in the Presence of Continuous Churn with Application
to Snapshots and Lattice Agreement},
booktitle = {Stabilization, Safety, and Security of Distributed Systems - 22nd
International Symposium, {SSS} 2020, Austin, TX, USA, November 18-21,
2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12514},
pages = {1--15},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-64348-5\_1},
doi = {10.1007/978-3-030-64348-5\_1},
timestamp = {Wed, 25 Nov 2020 17:05:58 +0100},
biburl = {https://dblp.org/rec/conf/sss/AttiyaKSW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2003-07787,
author = {Hagit Attiya and
Sweta Kumari and
Archit Somani and
Jennifer L. Welch},
title = {Store-Collect in the Presence of Continuous Churn with Application
to Snapshots and Lattice Agreement},
journal = {CoRR},
volume = {abs/2003.07787},
year = {2020},
url = {https://arxiv.org/abs/2003.07787},
eprinttype = {arXiv},
eprint = {2003.07787},
timestamp = {Tue, 24 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2003-07787.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computing/TalmageW19,
author = {Edward Talmage and
Jennifer L. Welch},
title = {Anomalies and similarities among consensus numbers of variously-relaxed
queues},
journal = {Computing},
volume = {101},
number = {9},
pages = {1349--1368},
year = {2019},
url = {https://doi.org/10.1007/s00607-018-0661-2},
doi = {10.1007/S00607-018-0661-2},
timestamp = {Thu, 06 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computing/TalmageW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ppl/KumarW19,
author = {Saptaparni Kumar and
Jennifer L. Welch},
title = {Implementing {\unicode{9826}}P with Bounded Messages on a Network
of \emph{ADD} Channels},
journal = {Parallel Process. Lett.},
volume = {29},
number = {1},
pages = {1950002:1--1950002:12},
year = {2019},
url = {https://doi.org/10.1142/S0129626419500026},
doi = {10.1142/S0129626419500026},
timestamp = {Tue, 24 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ppl/KumarW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigact/Welch19,
author = {Jennifer L. Welch},
title = {Distributed Computing Column 73 {SPAA} 2018 Review},
journal = {{SIGACT} News},
volume = {50},
number = {1},
pages = {60},
year = {2019},
url = {https://doi.org/10.1145/3319627.3319637},
doi = {10.1145/3319627.3319637},
timestamp = {Thu, 28 Mar 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigact/Welch19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigact/Welch19a,
author = {Jennifer L. Welch},
title = {Distributed Computing Column 74 Survey of Recon gurable Data Center
Networks},
journal = {{SIGACT} News},
volume = {50},
number = {2},
pages = {61},
year = {2019},
url = {https://doi.org/10.1145/3351452.3351463},
doi = {10.1145/3351452.3351463},
timestamp = {Mon, 14 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigact/Welch19a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigact/Welch19b,
author = {Jennifer L. Welch},
title = {Distributed Computing Column 75 The Splendors and Miseries of Rounds},
journal = {{SIGACT} News},
volume = {50},
number = {3},
pages = {34},
year = {2019},
url = {https://doi.org/10.1145/3364626.3364634},
doi = {10.1145/3364626.3364634},
timestamp = {Mon, 14 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigact/Welch19b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tpds/AttiyaCEKW19,
author = {Hagit Attiya and
Hyun Chul Chung and
Faith Ellen and
Saptaparni Kumar and
Jennifer L. Welch},
title = {Emulating a Shared Register in a System That Never Stops Changing},
journal = {{IEEE} Trans. Parallel Distributed Syst.},
volume = {30},
number = {3},
pages = {544--559},
year = {2019},
url = {https://doi.org/10.1109/TPDS.2018.2867479},
doi = {10.1109/TPDS.2018.2867479},
timestamp = {Fri, 02 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tpds/AttiyaCEKW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/ChaudhuriFW19,
author = {Soma Chaudhuri and
Reginald Frank and
Jennifer L. Welch},
editor = {Peter Robinson and
Faith Ellen},
title = {How Fast Reads Affect Multi-Valued Register Simulations},
booktitle = {Proceedings of the 2019 {ACM} Symposium on Principles of Distributed
Computing, {PODC} 2019, Toronto, ON, Canada, July 29 - August 2, 2019},
pages = {215--217},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3293611.3331580},
doi = {10.1145/3293611.3331580},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/podc/ChaudhuriFW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/acm/19/AttiyaW19,
author = {Hagit Attiya and
Jennifer L. Welch},
editor = {Dahlia Malkhi},
title = {Shared memory and the Bakery algorithm},
booktitle = {Concurrency: the Works of Leslie Lamport},
pages = {27--46},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3335772.3335776},
doi = {10.1145/3335772.3335776},
timestamp = {Tue, 07 Apr 2020 17:11:02 +0200},
biburl = {https://dblp.org/rec/books/acm/19/AttiyaW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1910-06716,
author = {Saptaparni Kumar and
Jennifer L. Welch},
title = {Byzantine-Tolerant Register in a System with Continuous Churn},
journal = {CoRR},
volume = {abs/1910.06716},
year = {2019},
url = {http://arxiv.org/abs/1910.06716},
eprinttype = {arXiv},
eprint = {1910.06716},
timestamp = {Wed, 16 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1910-06716.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/algorithms/TalmageW18,
author = {Edward Talmage and
Jennifer L. Welch},
title = {Relaxed Data Types as Consistency Conditions},
journal = {Algorithms},
volume = {11},
number = {5},
pages = {61},
year = {2018},
url = {https://doi.org/10.3390/a11050061},
doi = {10.3390/A11050061},
timestamp = {Wed, 19 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/algorithms/TalmageW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/WangTLW18,
author = {Jiaqi Wang and
Edward Talmage and
Hyunyoung Lee and
Jennifer L. Welch},
title = {Improved time bounds for linearizable implementations of abstract
data types},
journal = {Inf. Comput.},
volume = {263},
pages = {1--30},
year = {2018},
url = {https://doi.org/10.1016/j.ic.2018.08.004},
doi = {10.1016/J.IC.2018.08.004},
timestamp = {Tue, 27 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/WangTLW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigact/Welch18,
author = {Jennifer L. Welch},
title = {Distributed Computing Column 69 Proving {PACELC} and Concurrent Computing
Summer School},
journal = {{SIGACT} News},
volume = {49},
number = {1},
pages = {72},
year = {2018},
url = {https://doi.org/10.1145/3197406.3197419},
doi = {10.1145/3197406.3197419},
timestamp = {Wed, 21 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigact/Welch18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigact/Welch18a,
author = {Jennifer L. Welch},
title = {Distributed Computing Column 70: Formalizing and Implementing Distributed
Ledger Objects},
journal = {{SIGACT} News},
volume = {49},
number = {2},
pages = {57},
year = {2018},
url = {https://doi.org/10.1145/3232679.3232690},
doi = {10.1145/3232679.3232690},
timestamp = {Wed, 21 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigact/Welch18a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigact/Welch18b,
author = {Jennifer L. Welch},
title = {Distributed Computing Column 71: Recent Algorithmic Advances in Population
Protocols},
journal = {{SIGACT} News},
volume = {49},
number = {3},
pages = {62},
year = {2018},
url = {https://doi.org/10.1145/3289137.3289149},
doi = {10.1145/3289137.3289149},
timestamp = {Fri, 16 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigact/Welch18b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigact/Welch18c,
author = {Jennifer L. Welch},
title = {Distributed Computing Column 72: Annual Review 2018},
journal = {{SIGACT} News},
volume = {49},
number = {4},
pages = {58--59},
year = {2018},
url = {https://doi.org/10.1145/3300150.3300163},
doi = {10.1145/3300150.3300163},
timestamp = {Tue, 18 Dec 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigact/Welch18c.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/opodis/Welch18,
author = {Jennifer L. Welch},
editor = {Jiannong Cao and
Faith Ellen and
Lu{\'{\i}}s Rodrigues and
Bernardo Ferreira},
title = {Complexity of Multi-Valued Register Simulations: {A} Retrospective
(Keynote)},
booktitle = {22nd International Conference on Principles of Distributed Systems,
{OPODIS} 2018, December 17-19, 2018, Hong Kong, China},
series = {LIPIcs},
volume = {125},
pages = {1:1--1:1},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2018},
url = {https://doi.org/10.4230/LIPIcs.OPODIS.2018.1},
doi = {10.4230/LIPICS.OPODIS.2018.1},
timestamp = {Sat, 29 Apr 2023 18:21:58 +0200},
biburl = {https://dblp.org/rec/conf/opodis/Welch18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wdag/FrankW18,
author = {Reginald Frank and
Jennifer L. Welch},
editor = {Ulrich Schmid and
Josef Widder},
title = {Brief Announcement: {A} Tight Lower Bound for Clock Synchronization
in Odd-Ary M-Toroids},
booktitle = {32nd International Symposium on Distributed Computing, {DISC} 2018,
New Orleans, LA, USA, October 15-19, 2018},
series = {LIPIcs},
volume = {121},
pages = {47:1--47:3},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2018},
url = {https://doi.org/10.4230/LIPIcs.DISC.2018.47},
doi = {10.4230/LIPICS.DISC.2018.47},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/wdag/FrankW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1807-05139,
author = {Reginald Frank and
Jennifer L. Welch},
title = {A Tight Lower Bound for Clock Synchronization in Odd-Ary M-Toroids},
journal = {CoRR},
volume = {abs/1807.05139},
year = {2018},
url = {http://arxiv.org/abs/1807.05139},
eprinttype = {arXiv},
eprint = {1807.05139},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1807-05139.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigact/Welch17,
author = {Jennifer L. Welch},
title = {Distributed Computing Column 65: Automatic Synthesis of Distributed
Protocols and {SIROCCO} 2016 Review},
journal = {{SIGACT} News},
volume = {48},
number = {1},
pages = {54},
year = {2017},
url = {https://doi.org/10.1145/3061640.3061651},
doi = {10.1145/3061640.3061651},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigact/Welch17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigact/Welch17a,
author = {Jennifer L. Welch},
title = {Distributed Computing Column 66 Algorithmic Foundations of Programmable
Matter Dagstuhl Seminar 16271},
journal = {{SIGACT} News},
volume = {48},
number = {2},
pages = {86},
year = {2017},
url = {https://doi.org/10.1145/3106700.3106712},
doi = {10.1145/3106700.3106712},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigact/Welch17a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigact/Welch17b,
author = {Jennifer L. Welch},
title = {Distributed Computing Column 67: Review of 2016 {BIRS} {CMO} Workshop
on Complexity and Analysis of Distributed Algorithms},
journal = {{SIGACT} News},
volume = {48},
number = {3},
pages = {60--67},
year = {2017},
url = {https://doi.org/10.1145/3138860.3138870},
doi = {10.1145/3138860.3138870},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigact/Welch17b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigact/Welch17c,
author = {Jennifer L. Welch},
title = {Distributed Computing Column 68},
journal = {{SIGACT} News},
volume = {48},
number = {4},
pages = {78--79},
year = {2017},
url = {https://doi.org/10.1145/3173127.3173140},
doi = {10.1145/3173127.3173140},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigact/Welch17c.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/Ortiz-LopezW17,
author = {Keishla D. Ortiz{-}Lopez and
Jennifer L. Welch},
title = {Bounded Reordering Allows Efficient Reliable Message Transmission},
booktitle = {2017 {IEEE} International Parallel and Distributed Processing Symposium,
{IPDPS} 2017, Orlando, FL, USA, May 29 - June 2, 2017},
pages = {327--336},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/IPDPS.2017.14},
doi = {10.1109/IPDPS.2017.14},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ipps/Ortiz-LopezW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/TalmageW17,
author = {Edward Talmage and
Jennifer L. Welch},
editor = {Amr El Abbadi and
Beno{\^{\i}}t Garbinato},
title = {Anomalies and Similarities Among Consensus Numbers of Variously-Relaxed
Queues},
booktitle = {Networked Systems - 5th International Conference, {NETYS} 2017, Marrakech,
Morocco, May 17-19, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10299},
pages = {191--205},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-59647-1\_15},
doi = {10.1007/978-3-319-59647-1\_15},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/netys/TalmageW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sss/TalmageW17,
author = {Edward Talmage and
Jennifer L. Welch},
editor = {Paul G. Spirakis and
Philippas Tsigas},
title = {Relaxed Data Types as Consistency Conditions},
booktitle = {Stabilization, Safety, and Security of Distributed Systems - 19th
International Symposium, {SSS} 2017, Boston, MA, USA, November 5-8,
2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10616},
pages = {142--156},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-69084-1\_10},
doi = {10.1007/978-3-319-69084-1\_10},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/sss/TalmageW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1708-02906,
author = {Saptaparni Kumar and
Jennifer L. Welch},
title = {Implementing Diamond {P} with Bounded Messages on a Network of {ADD}
Channels},
journal = {CoRR},
volume = {abs/1708.02906},
year = {2017},
url = {http://arxiv.org/abs/1708.02906},
eprinttype = {arXiv},
eprint = {1708.02906},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1708-02906.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1708-03274,
author = {Hagit Attiya and
Hyun Chul Chung and
Faith Ellen and
Saptaparni Kumar and
Jennifer L. Welch},
title = {Simulating a Shared Register in a System that Never Stops Changing},
journal = {CoRR},
volume = {abs/1708.03274},
year = {2017},
url = {http://arxiv.org/abs/1708.03274},
eprinttype = {arXiv},
eprint = {1708.03274},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1708-03274.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigact/Welch16,
author = {Jennifer L. Welch},
title = {Distributed Computing Column 61: Distributed Algorithmic Foundations
of Dynamic Networks},
journal = {{SIGACT} News},
volume = {47},
number = {1},
pages = {68},
year = {2016},
url = {https://doi.org/10.1145/2902945.2902958},
doi = {10.1145/2902945.2902958},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigact/Welch16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigact/Welch16a,
author = {Jennifer L. Welch},
title = {Distributed Computing Column 62: Decidability in Parameterized Verification},
journal = {{SIGACT} News},
volume = {47},
number = {2},
pages = {52},
year = {2016},
url = {https://doi.org/10.1145/2951860.2951872},
doi = {10.1145/2951860.2951872},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigact/Welch16a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigact/Welch16b,
author = {Jennifer L. Welch},
title = {Distributed Computing Column 63: {A} Note on Fault-tolerant Consensus
in Directed Networks},
journal = {{SIGACT} News},
volume = {47},
number = {3},
pages = {69},
year = {2016},
url = {https://doi.org/10.1145/2993749.2993763},
doi = {10.1145/2993749.2993763},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigact/Welch16b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigact/Welch16c,
author = {Jennifer L. Welch},
title = {Distributed Computing Column 64: Annual Review 2016},
journal = {{SIGACT} News},
volume = {47},
number = {4},
pages = {33--34},
year = {2016},
url = {https://doi.org/10.1145/3023855.3023865},
doi = {10.1145/3023855.3023865},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigact/Welch16c.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigact/Welch15,
author = {Jennifer L. Welch},
title = {Distributed Computing Column 57 Distributed Algorithms as Combinatorial
Structures},
journal = {{SIGACT} News},
volume = {46},
number = {1},
pages = {62},
year = {2015},
url = {https://doi.org/10.1145/2744447.2744460},
doi = {10.1145/2744447.2744460},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigact/Welch15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigact/Welch15a,
author = {Jennifer L. Welch},
title = {Distributed Computing Column 58: Maurice Herlihy's 60th Birthday Celebration},
journal = {{SIGACT} News},
volume = {46},
number = {2},
pages = {78},
year = {2015},
url = {https://doi.org/10.1145/2789149.2789163},
doi = {10.1145/2789149.2789163},
timestamp = {Sun, 22 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigact/Welch15a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigact/Welch15b,
author = {Jennifer L. Welch},
title = {Distributed Computing Column 59: Resource-Competitive Algorithms},
journal = {{SIGACT} News},
volume = {46},
number = {3},
pages = {56},
year = {2015},
url = {https://doi.org/10.1145/2818936.2818948},
doi = {10.1145/2818936.2818948},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigact/Welch15b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigact/Welch15c,
author = {Jennifer L. Welch},
title = {Distributed Computing Column 60: Annual Review 2015},
journal = {{SIGACT} News},
volume = {46},
number = {4},
pages = {82--83},
year = {2015},
url = {https://doi.org/10.1145/2852040.2852055},
doi = {10.1145/2852040.2852055},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigact/Welch15c.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/talg/Charron-BostFWW15,
author = {Bernadette Charron{-}Bost and
Matthias F{\"{u}}gger and
Jennifer L. Welch and
Josef Widder},
title = {Time Complexity of Link Reversal Routing},
journal = {{ACM} Trans. Algorithms},
volume = {11},
number = {3},
pages = {18:1--18:39},
year = {2015},
url = {https://doi.org/10.1145/2644815},
doi = {10.1145/2644815},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/talg/Charron-BostFWW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/opodis/TalmageW15,
author = {Edward Talmage and
Jennifer L. Welch},
editor = {Emmanuelle Anceaume and
Christian Cachin and
Maria Gradinariu Potop{-}Butucaru},
title = {Generic Proofs of Consensus Numbers for Abstract Data Types},
booktitle = {19th International Conference on Principles of Distributed Systems,
{OPODIS} 2015, December 14-17, 2015, Rennes, France},
series = {LIPIcs},
volume = {46},
pages = {32:1--32:16},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.OPODIS.2015.32},
doi = {10.4230/LIPICS.OPODIS.2015.32},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/opodis/TalmageW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wdag/AttiyaCEKW15,
author = {Hagit Attiya and
Hyun Chul Chung and
Faith Ellen and
Saptaparni Kumar and
Jennifer L. Welch},
editor = {Yoram Moses},
title = {Simulating a Shared Register in an Asynchronous System that Never
Stops Changing - (Extended Abstract)},
booktitle = {Distributed Computing - 29th International Symposium, {DISC} 2015,
Tokyo, Japan, October 7-9, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9363},
pages = {75--91},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-48653-5\_6},
doi = {10.1007/978-3-662-48653-5\_6},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wdag/AttiyaCEKW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/adhoc/KlappeneckerLW14,
author = {Andreas Klappenecker and
Hyunyoung Lee and
Jennifer L. Welch},
title = {Finding available parking spaces made easy},
journal = {Ad Hoc Networks},
volume = {12},
pages = {243--249},
year = {2014},
url = {https://doi.org/10.1016/j.adhoc.2012.03.002},
doi = {10.1016/J.ADHOC.2012.03.002},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/adhoc/KlappeneckerLW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/adhoc/CornejoVW14,
author = {Alejandro Cornejo and
Saira Viqar and
Jennifer L. Welch},
title = {Reliable neighbor discovery for mobile ad hoc networks},
journal = {Ad Hoc Networks},
volume = {12},
pages = {259--277},
year = {2014},
url = {https://doi.org/10.1016/j.adhoc.2012.08.009},
doi = {10.1016/J.ADHOC.2012.08.009},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/adhoc/CornejoVW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigact/Welch14,
author = {Jennifer L. Welch},
title = {Distributed computing column 53: Dagstuhl seminar review: consistency
in distributed systems},
journal = {{SIGACT} News},
volume = {45},
number = {1},
pages = {66},
year = {2014},
url = {https://doi.org/10.1145/2596583.2596600},
doi = {10.1145/2596583.2596600},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigact/Welch14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigact/Welch14a,
author = {Jennifer L. Welch},
title = {Distributed computing column 54 transactional memory: models and algorithms},
journal = {{SIGACT} News},
volume = {45},
number = {2},
pages = {73},
year = {2014},
url = {https://doi.org/10.1145/2636805.2636823},
doi = {10.1145/2636805.2636823},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigact/Welch14a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigact/Welch14b,
author = {Jennifer L. Welch},
title = {Distributed computing column 55 {WTTM} 2013 review, and lower bounds
for distributed quantum computing},
journal = {{SIGACT} News},
volume = {45},
number = {3},
pages = {71},
year = {2014},
url = {https://doi.org/10.1145/2670418.2670437},
doi = {10.1145/2670418.2670437},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigact/Welch14b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigact/Welch14c,
author = {Jennifer L. Welch},
title = {Distributed Computing Column 56 Annual Review 2014},
journal = {{SIGACT} News},
volume = {45},
number = {4},
pages = {86--88},
year = {2014},
url = {https://doi.org/10.1145/2696081.2696098},
doi = {10.1145/2696081.2696098},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigact/Welch14c.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcn/ChungSW14,
author = {Hyun Chul Chung and
Srikanth Sastry and
Jennifer L. Welch},
editor = {Mainak Chatterjee and
Jiannong Cao and
Kishore Kothapalli and
Sergio Rajsbaum},
title = {Stabilizing Dining with Failure Locality 1},
booktitle = {Distributed Computing and Networking - 15th International Conference,
{ICDCN} 2014, Coimbatore, India, January 4-7, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8314},
pages = {532--537},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-642-45249-9\_38},
doi = {10.1007/978-3-642-45249-9\_38},
timestamp = {Tue, 14 Apr 2020 13:23:10 +0200},
biburl = {https://dblp.org/rec/conf/icdcn/ChungSW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/WangTLW14,
author = {Jiaqi Wang and
Edward Talmage and
Hyunyoung Lee and
Jennifer L. Welch},
title = {Improved Time Bounds for Linearizable Implementations of Abstract
Data Types},
booktitle = {2014 {IEEE} 28th International Parallel and Distributed Processing
Symposium, Phoenix, AZ, USA, May 19-23, 2014},
pages = {691--701},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/IPDPS.2014.77},
doi = {10.1109/IPDPS.2014.77},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ipps/WangTLW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wdag/TalmageW14,
author = {Edward Talmage and
Jennifer L. Welch},
editor = {Fabian Kuhn},
title = {Improving Average Performance by Relaxing Distributed Data Structures},
booktitle = {Distributed Computing - 28th International Symposium, {DISC} 2014,
Austin, TX, USA, October 12-15, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8784},
pages = {421--438},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-45174-8\_29},
doi = {10.1007/978-3-662-45174-8\_29},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/wdag/TalmageW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/adhoc/ViqarW13,
author = {Saira Viqar and
Jennifer L. Welch},
title = {Deterministic collision free communication despite continuous motion},
journal = {Ad Hoc Networks},
volume = {11},
number = {1},
pages = {508--521},
year = {2013},
url = {https://doi.org/10.1016/j.adhoc.2012.07.009},
doi = {10.1016/J.ADHOC.2012.07.009},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/adhoc/ViqarW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dc/IngramRSVWW13,
author = {Rebecca Ingram and
Tsvetomira Radeva and
Patrick Shields and
Saira Viqar and
Jennifer E. Walter and
Jennifer L. Welch},
title = {A leader election algorithm for dynamic networks with causal clocks},
journal = {Distributed Comput.},
volume = {26},
number = {2},
pages = {75--97},
year = {2013},
url = {https://doi.org/10.1007/s00446-013-0184-1},
doi = {10.1007/S00446-013-0184-1},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dc/IngramRSVWW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/percom/SastryRCW13,
author = {Srikanth Sastry and
Tsvetomira Radeva and
Jianer Chen and
Jennifer L. Welch},
title = {Reliable networks with unreliable sensors},
journal = {Pervasive Mob. Comput.},
volume = {9},
number = {2},
pages = {311--323},
year = {2013},
url = {https://doi.org/10.1016/j.pmcj.2012.02.004},
doi = {10.1016/J.PMCJ.2012.02.004},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/percom/SastryRCW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamcomp/Charron-BostGWW13,
author = {Bernadette Charron{-}Bost and
Antoine Gaillard and
Jennifer L. Welch and
Josef Widder},
title = {Link Reversal Routing with Binary Link Labels: Work Complexity},
journal = {{SIAM} J. Comput.},
volume = {42},
number = {2},
pages = {634--661},
year = {2013},
url = {https://doi.org/10.1137/110843095},
doi = {10.1137/110843095},
timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siamcomp/Charron-BostGWW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigact/Welch13,
author = {Jennifer L. Welch},
title = {Distributed computing column 52: annual review 2013},
journal = {{SIGACT} News},
volume = {44},
number = {4},
pages = {79--80},
year = {2013},
url = {https://doi.org/10.1145/2556663.2556680},
doi = {10.1145/2556663.2556680},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigact/Welch13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/KlappeneckerLW13,
author = {Andreas Klappenecker and
Hyunyoung Lee and
Jennifer L. Welch},
title = {Dynamic regular registers in systems with churn},
journal = {Theor. Comput. Sci.},
volume = {512},
pages = {84--97},
year = {2013},
url = {https://doi.org/10.1016/j.tcs.2012.08.019},
doi = {10.1016/J.TCS.2012.08.019},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/KlappeneckerLW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dc/PikeSW12,
author = {Scott M. Pike and
Srikanth Sastry and
Jennifer L. Welch},
title = {Failure detectors encapsulate fairness},
journal = {Distributed Comput.},
volume = {25},
number = {4},
pages = {313--333},
year = {2012},
url = {https://doi.org/10.1007/s00446-012-0164-x},
doi = {10.1007/S00446-012-0164-X},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dc/PikeSW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcs/ChungVW12,
author = {Hyun Chul Chung and
Saira Viqar and
Jennifer L. Welch},
title = {Neighbor Knowledge of Mobile Nodes in a Road Network},
booktitle = {2012 {IEEE} 32nd International Conference on Distributed Computing
Systems, Macau, China, June 18-21, 2012},
pages = {486--495},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICDCS.2012.16},
doi = {10.1109/ICDCS.2012.16},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icdcs/ChungVW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/opodis/BonomiKLW12,
author = {Silvia Bonomi and
Andreas Klappenecker and
Hyunyoung Lee and
Jennifer L. Welch},
editor = {Roberto Baldoni and
Paola Flocchini and
Binoy Ravindran},
title = {Stochastic Modeling of Dynamic Distributed Systems with Crash Recovery
and Its Application to Atomic Registers},
booktitle = {Principles of Distributed Systems, 16th International Conference,
{OPODIS} 2012, Rome, Italy, December 18-20, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7702},
pages = {76--90},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-35476-2\_6},
doi = {10.1007/978-3-642-35476-2\_6},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/opodis/BonomiKLW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/opodis/SastryWW12,
author = {Srikanth Sastry and
Jennifer L. Welch and
Josef Widder},
editor = {Roberto Baldoni and
Paola Flocchini and
Binoy Ravindran},
title = {Wait-Free Stabilizing Dining Using Regular Registers},
booktitle = {Principles of Distributed Systems, 16th International Conference,
{OPODIS} 2012, Rome, Italy, December 18-20, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7702},
pages = {284--299},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-35476-2\_20},
doi = {10.1007/978-3-642-35476-2\_20},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/opodis/SastryWW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/synthesis/2011Welch,
author = {Jennifer L. Welch and
Jennifer E. Walter},
title = {Link Reversal Algorithms},
series = {Synthesis Lectures on Distributed Computing Theory},
publisher = {Morgan {\&} Claypool Publishers},
year = {2011},
url = {https://doi.org/10.2200/S00389ED1V01Y201111DCT008},
doi = {10.2200/S00389ED1V01Y201111DCT008},
isbn = {978-3-031-00878-8},
timestamp = {Fri, 20 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/synthesis/2011Welch.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamcomp/ShaoWPL11,
author = {Cheng Shao and
Jennifer L. Welch and
Evelyn Pierce and
Hyunyoung Lee},
title = {Multiwriter Consistency Conditions for Shared Memory Registers},
journal = {{SIAM} J. Comput.},
volume = {40},
number = {1},
pages = {28--62},
year = {2011},
url = {https://doi.org/10.1137/07071158X},
doi = {10.1137/07071158X},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siamcomp/ShaoWPL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dialm/ChungRW11,
author = {Hyun Chul Chung and
Peter Robinson and
Jennifer L. Welch},
editor = {Augustin Chaintreau and
Dariusz R. Kowalski},
title = {Optimal regional consecutive leader election in mobile ad-hoc networks},
booktitle = {FOMC'11, The Seventh {ACM} {SIGACT/SIGMOBILE} International Workshop
on Foundations of Mobile Computing (part of {FCRC} 2011), San Jose,
CA, USA, June 9, 2011, Proceedings},
pages = {52--61},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1998476.1998485},
doi = {10.1145/1998476.1998485},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dialm/ChungRW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcn/SastryRCW11,
author = {Srikanth Sastry and
Tsvetomira Radeva and
Jianer Chen and
Jennifer L. Welch},
editor = {Marcos Kawazoe Aguilera and
Haifeng Yu and
Nitin H. Vaidya and
Vikram Srinivasan and
Romit Roy Choudhury},
title = {Reliable Networks with Unreliable Sensors},
booktitle = {Distributed Computing and Networking - 12th International Conference,
{ICDCN} 2011, Bangalore, India, January 2-5, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6522},
pages = {281--292},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-17679-1\_25},
doi = {10.1007/978-3-642-17679-1\_25},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/icdcn/SastryRCW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/WangWL11,
author = {Jiaqi Wang and
Jennifer L. Welch and
Hyunyoung Lee},
editor = {Cyril Gavoille and
Pierre Fraigniaud},
title = {Time bounds for shared objects in partially synchronous systems},
booktitle = {Proceedings of the 30th Annual {ACM} Symposium on Principles of Distributed
Computing, {PODC} 2011, San Jose, CA, USA, June 6-8, 2011},
pages = {347--348},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1993806.1993877},
doi = {10.1145/1993806.1993877},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/podc/WangWL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sirocco/Charron-BostFWW11,
author = {Bernadette Charron{-}Bost and
Matthias F{\"{u}}gger and
Jennifer L. Welch and
Josef Widder},
editor = {Adrian Kosowski and
Masafumi Yamashita},
title = {Full Reversal Routing as a Linear Dynamical System},
booktitle = {Structural Information and Communication Complexity - 18th International
Colloquium, {SIROCCO} 2011, Gdansk, Poland, June 26-29, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6796},
pages = {101--112},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22212-2\_10},
doi = {10.1007/978-3-642-22212-2\_10},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/sirocco/Charron-BostFWW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sirocco/Charron-BostFWW11a,
author = {Bernadette Charron{-}Bost and
Matthias F{\"{u}}gger and
Jennifer L. Welch and
Josef Widder},
editor = {Adrian Kosowski and
Masafumi Yamashita},
title = {Partial is Full},
booktitle = {Structural Information and Communication Complexity - 18th International
Colloquium, {SIROCCO} 2011, Gdansk, Poland, June 26-29, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6796},
pages = {113--124},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22212-2\_11},
doi = {10.1007/978-3-642-22212-2\_11},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sirocco/Charron-BostFWW11a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spaa/Charron-BostFWW11,
author = {Bernadette Charron{-}Bost and
Matthias F{\"{u}}gger and
Jennifer L. Welch and
Josef Widder},
editor = {Rajmohan Rajaraman and
Friedhelm Meyer auf der Heide},
title = {Brief announcement: full reversal routing as a linear dynamical system},
booktitle = {{SPAA} 2011: Proceedings of the 23rd Annual {ACM} Symposium on Parallelism
in Algorithms and Architectures, San Jose, CA, USA, June 4-6, 2011
(Co-located with {FCRC} 2011)},
pages = {129--130},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1989493.1989510},
doi = {10.1145/1989493.1989510},
timestamp = {Wed, 21 Nov 2018 11:16:22 +0100},
biburl = {https://dblp.org/rec/conf/spaa/Charron-BostFWW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sss/KlappeneckerLW11,
author = {Andreas Klappenecker and
Hyunyoung Lee and
Jennifer L. Welch},
editor = {Xavier D{\'{e}}fago and
Franck Petit and
Vincent Villain},
title = {Dynamic Regular Registers in Systems with Churn},
booktitle = {Stabilization, Safety, and Security of Distributed Systems - 13th
International Symposium, {SSS} 2011, Grenoble, France, October 10-12,
2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6976},
pages = {296--310},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24550-3\_23},
doi = {10.1007/978-3-642-24550-3\_23},
timestamp = {Sun, 25 Oct 2020 22:45:03 +0100},
biburl = {https://dblp.org/rec/conf/sss/KlappeneckerLW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tadds/KlappeneckerLW11,
author = {Andreas Klappenecker and
Hyunyoung Lee and
Jennifer L. Welch},
editor = {Roberto Baldoni and
Alexander A. Shvartsman},
title = {Quorum-based dynamic regular registers in systems with churn},
booktitle = {Workshop on Theoretical Aspects on Dynamic Distributed Systems, {TADDS}
'11, Rome, Italy, September 19, 2011},
pages = {3--7},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2034640.2034643},
doi = {10.1145/2034640.2034643},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tadds/KlappeneckerLW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/paapp/KanjaniLMW10,
author = {Khushboo Kanjani and
Hyunyoung Lee and
Whitney L. Maguffee and
Jennifer L. Welch},
title = {A simple Byzantine-fault-tolerant algorithm for a multi-writer regular
register},
journal = {Int. J. Parallel Emergent Distributed Syst.},
volume = {25},
number = {5},
pages = {423--435},
year = {2010},
url = {https://doi.org/10.1080/17445761003691890},
doi = {10.1080/17445761003691890},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/paapp/KanjaniLMW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ppl/KlappeneckerLW10,
author = {Andreas Klappenecker and
Hyunyoung Lee and
Jennifer L. Welch},
title = {Scheduling Sensors by Tiling Lattices},
journal = {Parallel Process. Lett.},
volume = {20},
number = {1},
pages = {3--13},
year = {2010},
url = {https://doi.org/10.1142/S0129626410000028},
doi = {10.1142/S0129626410000028},
timestamp = {Tue, 24 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ppl/KlappeneckerLW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tmc/AttiyaKW10,
author = {Hagit Attiya and
Alex Kogan and
Jennifer L. Welch},
title = {Efficient and Robust Local Mutual Exclusion in Mobile Ad Hoc Networks},
journal = {{IEEE} Trans. Mob. Comput.},
volume = {9},
number = {3},
pages = {361--375},
year = {2010},
url = {https://doi.org/10.1109/TMC.2009.137},
doi = {10.1109/TMC.2009.137},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tmc/AttiyaKW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/algosensors/ChungRW10,
author = {Hyun Chul Chung and
Peter Robinson and
Jennifer L. Welch},
editor = {Christian Scheideler},
title = {Brief Announcement: Regional Consecutive Leader Election in Mobile
Ad-Hoc Networks},
booktitle = {Algorithms for Sensor Systems - 6th International Workshop on Algorithms
for Sensor Systems, Wireless Ad Hoc Networks, and Autonomous Mobile
Entities, {ALGOSENSORS} 2010, Bordeaux, France, July 5, 2010, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6451},
pages = {89--91},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16988-5\_8},
doi = {10.1007/978-3-642-16988-5\_8},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/algosensors/ChungRW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dialm/KlappeneckerLW10,
author = {Andreas Klappenecker and
Hyunyoung Lee and
Jennifer L. Welch},
editor = {Andr{\'{e}}a W. Richa and
Thomas Moscibroda},
title = {Finding available parking spaces made easy},
booktitle = {Proceedings of the {DIALM-POMC} Joint Workshop on Foundations of Mobile
Computing, Cambridge, Massachusetts, USA, September 16, 2010},
pages = {49--52},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1860684.1860696},
doi = {10.1145/1860684.1860696},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dialm/KlappeneckerLW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dialm/CornejoVW10,
author = {Alejandro Cornejo and
Saira Viqar and
Jennifer L. Welch},
editor = {Andr{\'{e}}a W. Richa and
Thomas Moscibroda},
title = {Reliable neighbor discovery for mobile ad hoc networks},
booktitle = {Proceedings of the {DIALM-POMC} Joint Workshop on Foundations of Mobile
Computing, Cambridge, Massachusetts, USA, September 16, 2010},
pages = {63--72},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1860684.1860699},
doi = {10.1145/1860684.1860699},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dialm/CornejoVW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dialm/ChungRW10,
author = {Hyun Chul Chung and
Peter Robinson and
Jennifer L. Welch},
editor = {Andr{\'{e}}a W. Richa and
Thomas Moscibroda},
title = {Regional consecutive leader election in mobile ad-hoc networks},
booktitle = {Proceedings of the {DIALM-POMC} Joint Workshop on Foundations of Mobile
Computing, Cambridge, Massachusetts, USA, September 16, 2010},
pages = {81--90},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1860684.1860701},
doi = {10.1145/1860684.1860701},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dialm/ChungRW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/opodis/PikeSW10,
author = {Scott M. Pike and
Srikanth Sastry and
Jennifer L. Welch},
editor = {Chenyang Lu and
Toshimitsu Masuzawa and
Mohamed Mosbah},
title = {Failure Detectors Encapsulate Fairness},
booktitle = {Principles of Distributed Systems - 14th International Conference,
{OPODIS} 2010, Tozeur, Tunisia, December 14-17, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6490},
pages = {173--188},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-17653-1\_15},
doi = {10.1007/978-3-642-17653-1\_15},
timestamp = {Tue, 11 Oct 2022 14:59:07 +0200},
biburl = {https://dblp.org/rec/conf/opodis/PikeSW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spaa/SastryPW09a,
author = {Srikanth Sastry and
Scott M. Pike and
Jennifer L. Welch},
editor = {Friedhelm Meyer auf der Heide and
Cynthia A. Phillips},
title = {Corrigendum: weakest failure detector for wait-free dining under eventual
weak exclusion},
booktitle = {{SPAA} 2010: Proceedings of the 22nd Annual {ACM} Symposium on Parallelism
in Algorithms and Architectures, Thira, Santorini, Greece, June 13-15,
2010},
pages = {365},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1810479.1810542},
doi = {10.1145/1810479.1810542},
timestamp = {Wed, 27 Feb 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/spaa/SastryPW09a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wdag/PikeSW10,
author = {Scott M. Pike and
Srikanth Sastry and
Jennifer L. Welch},
editor = {Nancy A. Lynch and
Alexander A. Shvartsman},
title = {Brief Announcement: Failure Detectors Encapsulate Fairness},
booktitle = {Distributed Computing, 24th International Symposium, {DISC} 2010,
Cambridge, MA, USA, September 13-15, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6343},
pages = {389--391},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15763-9\_35},
doi = {10.1007/978-3-642-15763-9\_35},
timestamp = {Sun, 25 Jul 2021 11:53:35 +0200},
biburl = {https://dblp.org/rec/conf/wdag/PikeSW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/algosensors/Charron-BostWW09,
author = {Bernadette Charron{-}Bost and
Jennifer L. Welch and
Josef Widder},
editor = {Shlomi Dolev},
title = {Link Reversal: How to Play Better to Work Less},
booktitle = {Algorithmic Aspects of Wireless Sensor Networks, 5th International
Workshop, {ALGOSENSORS} 2009, Rhodes, Greece, July 10-11, 2009. Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5804},
pages = {88--101},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-05434-1\_10},
doi = {10.1007/978-3-642-05434-1\_10},
timestamp = {Sat, 19 Oct 2019 20:04:08 +0200},
biburl = {https://dblp.org/rec/conf/algosensors/Charron-BostWW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/algosensors/ViqarW09,
author = {Saira Viqar and
Jennifer L. Welch},
editor = {Shlomi Dolev},
title = {Deterministic Collision Free Communication Despite Continuous Motion},
booktitle = {Algorithmic Aspects of Wireless Sensor Networks, 5th International
Workshop, {ALGOSENSORS} 2009, Rhodes, Greece, July 10-11, 2009. Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5804},
pages = {218--229},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-05434-1\_22},
doi = {10.1007/978-3-642-05434-1\_22},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/algosensors/ViqarW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/allerton/CornejoLVW09,
author = {Alejandro Cornejo and
Nancy A. Lynch and
Saira Viqar and
Jennifer L. Welch},
title = {Neighbor discovery in mobile ad hoc networks using an abstract {MAC}
layer},
booktitle = {47th Annual Allerton Conference on Communication, Control, and Computing,
Allerton 2009, Monticello, IL, USA, September 30 - October 2, 2009},
pages = {1460--1467},
publisher = {{IEEE}},
year = {2009},
url = {https://doi.org/10.1109/ALLERTON.2009.5394502},
doi = {10.1109/ALLERTON.2009.5394502},
timestamp = {Wed, 29 Nov 2023 20:15:57 +0100},
biburl = {https://dblp.org/rec/conf/allerton/CornejoLVW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cec/RoyLWZPT09,
author = {Gautam Roy and
Hyunyoung Lee and
Jennifer L. Welch and
Yuan Zhao and
Vijitashwa Pandey and
Deborah L. Thurston},
title = {A distributed pool architecture for genetic algorithms},
booktitle = {Proceedings of the {IEEE} Congress on Evolutionary Computation, {CEC}
2009, Trondheim, Norway, 18-21 May, 2009},
pages = {1177--1184},
publisher = {{IEEE}},
year = {2009},
url = {https://doi.org/10.1109/CEC.2009.4983079},
doi = {10.1109/CEC.2009.4983079},
timestamp = {Thu, 16 Dec 2021 14:01:55 +0100},
biburl = {https://dblp.org/rec/conf/cec/RoyLWZPT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/IngramSWW09,
author = {Rebecca Ingram and
Patrick Shields and
Jennifer E. Walter and
Jennifer L. Welch},
title = {An asynchronous leader election algorithm for dynamic networks},
booktitle = {23rd {IEEE} International Symposium on Parallel and Distributed Processing,
{IPDPS} 2009, Rome, Italy, May 23-29, 2009},
pages = {1--12},
publisher = {{IEEE}},
year = {2009},
url = {https://doi.org/10.1109/IPDPS.2009.5161028},
doi = {10.1109/IPDPS.2009.5161028},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ipps/IngramSWW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/KanjaniLW09,
author = {Khushboo Kanjani and
Hyunyoung Lee and
Jennifer L. Welch},
title = {Byzantine fault-tolerant implementation of a multi-writer regular
register},
booktitle = {23rd {IEEE} International Symposium on Parallel and Distributed Processing,
{IPDPS} 2009, Rome, Italy, May 23-29, 2009},
pages = {1--8},
publisher = {{IEEE}},
year = {2009},
url = {https://doi.org/10.1109/IPDPS.2009.5160903},
doi = {10.1109/IPDPS.2009.5160903},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ipps/KanjaniLW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/SastryPW09,
author = {Srikanth Sastry and
Scott M. Pike and
Jennifer L. Welch},
title = {Crash fault detection in celerating environments},
booktitle = {23rd {IEEE} International Symposium on Parallel and Distributed Processing,
{IPDPS} 2009, Rome, Italy, May 23-29, 2009},
pages = {1--12},
publisher = {{IEEE}},
year = {2009},
url = {https://doi.org/10.1109/IPDPS.2009.5161050},
doi = {10.1109/IPDPS.2009.5161050},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ipps/SastryPW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spaa/SastryPW09,
author = {Srikanth Sastry and
Scott M. Pike and
Jennifer L. Welch},
editor = {Friedhelm Meyer auf der Heide and
Michael A. Bender},
title = {The weakest failure detector for wait-free dining under eventual weak
exclusion},
booktitle = {{SPAA} 2009: Proceedings of the 21st Annual {ACM} Symposium on Parallelism
in Algorithms and Architectures, Calgary, Alberta, Canada, August
11-13, 2009},
pages = {111--120},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1583991.1584021},
doi = {10.1145/1583991.1584021},
timestamp = {Wed, 21 Nov 2018 11:15:22 +0100},
biburl = {https://dblp.org/rec/conf/spaa/SastryPW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spaa/Charron-BostGWW09,
author = {Bernadette Charron{-}Bost and
Antoine Gaillard and
Jennifer L. Welch and
Josef Widder},
editor = {Friedhelm Meyer auf der Heide and
Michael A. Bender},
title = {Routing without ordering},
booktitle = {{SPAA} 2009: Proceedings of the 21st Annual {ACM} Symposium on Parallelism
in Algorithms and Architectures, Calgary, Alberta, Canada, August
11-13, 2009},
pages = {145--153},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1583991.1584034},
doi = {10.1145/1583991.1584034},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/spaa/Charron-BostGWW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wdag/AlvisiGJKKW09,
author = {Lorenzo Alvisi and
Rachid Guerraoui and
Prasad Jayanti and
Idit Keidar and
Shay Kutten and
Jennifer L. Welch},
editor = {Idit Keidar},
title = {The 2009 Edsger W. Dijkstra Prize in Distributed Computing},
booktitle = {Distributed Computing, 23rd International Symposium, {DISC} 2009,
Elche, Spain, September 23-25, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5805},
pages = {1--2},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04355-0\_1},
doi = {10.1007/978-3-642-04355-0\_1},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/wdag/AlvisiGJKKW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wdag/SastryPW09,
author = {Srikanth Sastry and
Scott M. Pike and
Jennifer L. Welch},
editor = {Idit Keidar},
title = {Crash-Quiescent Failure Detection},
booktitle = {Distributed Computing, 23rd International Symposium, {DISC} 2009,
Elche, Spain, September 23-25, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5805},
pages = {326--340},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04355-0\_34},
doi = {10.1007/978-3-642-04355-0\_34},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wdag/SastryPW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcs/AttiyaKW08,
author = {Hagit Attiya and
Alex Kogan and
Jennifer L. Welch},
title = {Efficient and Robust Local Mutual Exclusion in Mobile Ad Hoc Networks},
booktitle = {28th {IEEE} International Conference on Distributed Computing Systems
{(ICDCS} 2008), 17-20 June 2008, Beijing, China},
pages = {321--328},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/ICDCS.2008.82},
doi = {10.1109/ICDCS.2008.82},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icdcs/AttiyaKW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/KlappeneckerLW08,
author = {Andreas Klappenecker and
Hyunyoung Lee and
Jennifer L. Welch},
editor = {Rida A. Bazzi and
Boaz Patt{-}Shamir},
title = {Scheduling sensors by tilinglattices},
booktitle = {Proceedings of the Twenty-Seventh Annual {ACM} Symposium on Principles
of Distributed Computing, {PODC} 2008, Toronto, Canada, August 18-21,
2008},
pages = {437},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1400751.1400831},
doi = {10.1145/1400751.1400831},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/podc/KlappeneckerLW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/AttiyaW08,
author = {Hagit Attiya and
Jennifer L. Welch},
editor = {Rida A. Bazzi and
Boaz Patt{-}Shamir},
title = {A world of (Im) possibilities},
booktitle = {Proceedings of the Twenty-Seventh Annual {ACM} Symposium on Principles
of Distributed Computing, {PODC} 2008, Toronto, Canada, August 18-21,
2008},
pages = {461},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1400751.1400859},
doi = {10.1145/1400751.1400859},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/podc/AttiyaW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0806-1271,
author = {Andreas Klappenecker and
Hyunyoung Lee and
Jennifer L. Welch},
title = {Scheduling Sensors by Tiling Lattices},
journal = {CoRR},
volume = {abs/0806.1271},
year = {2008},
url = {http://arxiv.org/abs/0806.1271},
eprinttype = {arXiv},
eprint = {0806.1271},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0806-1271.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/monet/RichaW06,
author = {Andr{\'{e}}a W. Richa and
Jennifer L. Welch},
title = {{MONET} Special Issue on Foundations of Mobile Computing},
journal = {Mob. Networks Appl.},
volume = {11},
number = {2},
pages = {119--120},
year = {2006},
url = {https://doi.org/10.1007/s11036-006-4465-9},
doi = {10.1007/S11036-006-4465-9},
timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/monet/RichaW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tmc/DolevSW06,
author = {Shlomi Dolev and
Elad Schiller and
Jennifer L. Welch},
title = {Random Walk for Self-Stabilizing Group Communication in Ad Hoc Networks},
journal = {{IEEE} Trans. Mob. Comput.},
volume = {5},
number = {7},
pages = {893--905},
year = {2006},
url = {https://doi.org/10.1109/TMC.2006.104},
doi = {10.1109/TMC.2006.104},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tmc/DolevSW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcn/EllenSW06,
author = {Faith Ellen and
Sivaramakrishnan Subramanian and
Jennifer L. Welch},
editor = {Soma Chaudhuri and
Samir R. Das and
Himadri S. Paul and
Srikanta Tirthapura},
title = {Maintaining Information About Nearby Processors in a Mobile Environment},
booktitle = {Distributed Computing and Networking, 8th International Conference,
{ICDCN} 2006, Guwahati, India, December 27-30, 2006},
series = {Lecture Notes in Computer Science},
volume = {4308},
pages = {193--202},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11947950\_22},
doi = {10.1007/11947950\_22},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/icdcn/EllenSW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dc/LeeW05,
author = {Hyunyoung Lee and
Jennifer L. Welch},
title = {Randomized registers and iterative algorithms},
journal = {Distributed Comput.},
volume = {17},
number = {3},
pages = {209--221},
year = {2005},
url = {https://doi.org/10.1007/s00446-004-0106-3},
doi = {10.1007/S00446-004-0106-3},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dc/LeeW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dc/DolevGLSW05,
author = {Shlomi Dolev and
Seth Gilbert and
Nancy A. Lynch and
Alexander A. Shvartsman and
Jennifer L. Welch},
title = {GeoQuorums: implementing atomic memory in mobile \emph{ad hoc} networks},
journal = {Distributed Comput.},
volume = {18},
number = {2},
pages = {125--155},
year = {2005},
url = {https://doi.org/10.1007/s00446-005-0140-9},
doi = {10.1007/S00446-005-0140-9},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dc/DolevGLSW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jpdc/ChenW05,
author = {Yu Chen and
Jennifer L. Welch},
title = {Self-stabilizing dynamic mutual exclusion for mobile ad hoc networks},
journal = {J. Parallel Distributed Comput.},
volume = {65},
number = {9},
pages = {1072--1089},
year = {2005},
url = {https://doi.org/10.1016/j.jpdc.2005.03.009},
doi = {10.1016/J.JPDC.2005.03.009},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jpdc/ChenW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tmc/MalpaniCVW05,
author = {Navneet Malpani and
Yu Chen and
Nitin H. Vaidya and
Jennifer L. Welch},
title = {Distributed Token Circulation in Mobile Ad Hoc Networks},
journal = {{IEEE} Trans. Mob. Comput.},
volume = {4},
number = {2},
pages = {154--165},
year = {2005},
url = {https://doi.org/10.1109/TMC.2005.25},
doi = {10.1109/TMC.2005.25},
timestamp = {Fri, 08 Mar 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tmc/MalpaniCVW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dialm/DolevGSSW05,
author = {Shlomi Dolev and
Seth Gilbert and
Elad Schiller and
Alexander A. Shvartsman and
Jennifer L. Welch},
editor = {Suman Banerjee and
Samrat Ganguly},
title = {Autonomous virtual mobile nodes},
booktitle = {Proceedings of the {DIALM-POMC} Joint Workshop on Foundations of Mobile
Computing, Cologne, Germany, September 2, 2005},
pages = {62--69},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1080810.1080821},
doi = {10.1145/1080810.1080821},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dialm/DolevGSSW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mswim/ChenW05,
author = {Yu Chen and
Jennifer L. Welch},
editor = {Azzedine Boukerche and
Victor C. M. Leung and
Carla{-}Fabiana Chiasserini and
Vikram Srinivasan},
title = {Location-based broadcasting for dense mobile ad hoc networks},
booktitle = {Proceedings of the 8th International Symposium on Modeling Analysis
and Simulation of Wireless and Mobile Systems, MSWiM 2005, Montr{\'{e}}al,
Quebec, Canada, October 10-13, 2005},
pages = {63--70},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1089444.1089457},
doi = {10.1145/1089444.1089457},
timestamp = {Fri, 08 Mar 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mswim/ChenW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/opodis/AttiyaHW05,
author = {Hagit Attiya and
David Hay and
Jennifer L. Welch},
editor = {James H. Anderson and
Giuseppe Prencipe and
Roger Wattenhofer},
title = {Optimal Clock Synchronization Under Energy Constraints in Wireless
Ad-Hoc Networks},
booktitle = {Principles of Distributed Systems, 9th International Conference, {OPODIS}
2005, Pisa, Italy, December 12-14, 2005, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3974},
pages = {221--234},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11795490\_18},
doi = {10.1007/11795490\_18},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/opodis/AttiyaHW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spaa/DolevGSSW05,
author = {Shlomi Dolev and
Seth Gilbert and
Elad Schiller and
Alexander A. Shvartsman and
Jennifer L. Welch},
editor = {Phillip B. Gibbons and
Paul G. Spirakis},
title = {Autonomous virtual mobile nodes},
booktitle = {{SPAA} 2005: Proceedings of the 17th Annual {ACM} Symposium on Parallelism
in Algorithms and Architectures, July 18-20, 2005, Las Vegas, Nevada,
{USA}},
pages = {215},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1073970.1074004},
doi = {10.1145/1073970.1074004},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/spaa/DolevGSSW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0017536,
author = {Hagit Attiya and
Jennifer L. Welch},
title = {Distributed computing - fundamentals, simulations, and advanced topics
{(2.} ed.)},
series = {Wiley series on parallel and distributed computing},
publisher = {Wiley},
year = {2004},
isbn = {978-0-471-45324-6},
timestamp = {Mon, 15 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0017536.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dc/WalterWA04,
author = {Jennifer E. Walter and
Jennifer L. Welch and
Nancy M. Amato},
title = {Distributed reconfiguration of metamorphic robot chains},
journal = {Distributed Comput.},
volume = {17},
number = {2},
pages = {171--189},
year = {2004},
url = {https://doi.org/10.1007/s00446-003-0103-y},
doi = {10.1007/S00446-003-0103-Y},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dc/WalterWA04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/DolevW04,
author = {Shlomi Dolev and
Jennifer L. Welch},
title = {Self-stabilizing clock synchronization in the presence of Byzantine
faults},
journal = {J. {ACM}},
volume = {51},
number = {5},
pages = {780--799},
year = {2004},
url = {https://doi.org/10.1145/1017460.1017463},
doi = {10.1145/1017460.1017463},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jacm/DolevW04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icppw/CaoW04,
author = {Guangtong Cao and
Jennifer L. Welch},
title = {Accurate Multihop Clock Synchronization in Mobile Ad Hoc Networks},
booktitle = {33rd International Conference on Parallel Processing Workshops {(ICPP}
2004 Workshops), 15-18 August 2004, Montreal, Quebec, Canada},
pages = {13--20},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/ICPPW.2004.1327567},
doi = {10.1109/ICPPW.2004.1327567},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icppw/CaoW04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/DolevGLSSW04,
author = {Shlomi Dolev and
Seth Gilbert and
Nancy A. Lynch and
Elad Schiller and
Alexander A. Shvartsman and
Jennifer L. Welch},
editor = {Soma Chaudhuri and
Shay Kutten},
title = {Brief announcement: virtual mobile nodes for mobile ad hoc networks},
booktitle = {Proceedings of the Twenty-Third Annual {ACM} Symposium on Principles
of Distributed Computing, {PODC} 2004, St. John's, Newfoundland, Canada,
July 25-28, 2004},
pages = {385},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/1011767.1011845},
doi = {10.1145/1011767.1011845},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/podc/DolevGLSSW04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wdag/DolevGLSSW04,
author = {Shlomi Dolev and
Seth Gilbert and
Nancy A. Lynch and
Elad Schiller and
Alexander A. Shvartsman and
Jennifer L. Welch},
editor = {Rachid Guerraoui},
title = {Virtual Mobile Nodes for Mobile Ad Hoc Networks},
booktitle = {Distributed Computing, 18th International Conference, {DISC} 2004,
Amsterdam, The Netherlands, October 4-7, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3274},
pages = {230--244},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30186-8\_17},
doi = {10.1007/978-3-540-30186-8\_17},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wdag/DolevGLSSW04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/adhoc/LeeWV03,
author = {Hyunyoung Lee and
Jennifer L. Welch and
Nitin H. Vaidya},
title = {Location tracking using quorums in mobile ad hoc networks},
journal = {Ad Hoc Networks},
volume = {1},
number = {4},
pages = {371--381},
year = {2003},
url = {https://doi.org/10.1016/S1570-8705(03)00039-8},
doi = {10.1016/S1570-8705(03)00039-8},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/adhoc/LeeWV03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamcomp/RheeW03,
author = {Injong Rhee and
Jennifer L. Welch},
title = {The Impact of Timing Knowledge on the Session Problem},
journal = {{SIAM} J. Comput.},
volume = {32},
number = {4},
pages = {1007--1039},
year = {2003},
url = {https://doi.org/10.1137/S009753979936094X},
doi = {10.1137/S009753979936094X},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siamcomp/RheeW03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wdag/ShaoPW03,
author = {Cheng Shao and
Evelyn Pierce and
Jennifer L. Welch},
editor = {Faith Ellen Fich},
title = {Multi-writer Consistency Conditions for Shared Memory Objects},
booktitle = {Distributed Computing, 17th International Conference, {DISC} 2003,
Sorrento, Italy, October 1-3, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2848},
pages = {106--120},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39989-6\_8},
doi = {10.1007/978-3-540-39989-6\_8},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/wdag/ShaoPW03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wdag/DolevGLSW03,
author = {Shlomi Dolev and
Seth Gilbert and
Nancy A. Lynch and
Alexander A. Shvartsman and
Jennifer L. Welch},
editor = {Faith Ellen Fich},
title = {GeoQuorums: Implementing Atomic Memory in Mobile \emph{Ad Hoc} Networks},
booktitle = {Distributed Computing, 17th International Conference, {DISC} 2003,
Sorrento, Italy, October 1-3, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2848},
pages = {306--320},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39989-6\_22},
doi = {10.1007/978-3-540-39989-6\_22},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wdag/DolevGLSW03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/trob/WalterWA02,
author = {Jennifer E. Walter and
Jennifer L. Welch and
Nancy M. Amato},
title = {Concurrent metamorphosis of hexagonal robot chains into simple connected
configurations},
journal = {{IEEE} Trans. Robotics Autom.},
volume = {18},
number = {6},
pages = {945--956},
year = {2002},
url = {https://doi.org/10.1109/TRA.2002.805648},
doi = {10.1109/TRA.2002.805648},
timestamp = {Tue, 19 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/trob/WalterWA02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dialm/ChenW02,
author = {Yu Chen and
Jennifer L. Welch},
title = {Self-stabilizing mutual exclusion using tokens in mobile ad hoc networks},
booktitle = {Proceedings of the 6th International Workshop on Discrete Algorithms
and Methods for Mobile Computing and Communications {(DIAL-M} 2002),
Atlanta, Georgia, USA, September 28-28, 2002},
pages = {34--42},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/570810.570815},
doi = {10.1145/570810.570815},
timestamp = {Fri, 08 Mar 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dialm/ChenW02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/DolevSW02,
author = {Shlomi Dolev and
Elad Schiller and
Jennifer L. Welch},
editor = {Aleta Ricciardi},
title = {Random walk for self-stabilitzing group communication in ad hoc networks},
booktitle = {Proceedings of the Twenty-First Annual {ACM} Symposium on Principles
of Distributed Computing, {PODC} 2002, Monterey, California, USA,
July 21-24, 2002},
pages = {259},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/571825.571872},
doi = {10.1145/571825.571872},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/podc/DolevSW02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/srds/DolevSW02,
author = {Shlomi Dolev and
Elad Schiller and
Jennifer L. Welch},
title = {Random Walk for Self-Stabilizing Group Communication in Ad-Hoc Networks},
booktitle = {21st Symposium on Reliable Distributed Systems {(SRDS} 2002), 13-16
October 2002, Osaka, Japan},
pages = {70--79},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/RELDIS.2002.1180175},
doi = {10.1109/RELDIS.2002.1180175},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/srds/DolevSW02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/BiazW01,
author = {Saad Biaz and
Jennifer L. Welch},
title = {Closed form bounds for clock synchronization under simple uncertainty
assumptions},
journal = {Inf. Process. Lett.},
volume = {80},
number = {3},
pages = {151--157},
year = {2001},
url = {https://doi.org/10.1016/S0020-0190(01)00151-X},
doi = {10.1016/S0020-0190(01)00151-X},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/BiazW01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/winet/WalterWV01,
author = {Jennifer E. Walter and
Jennifer L. Welch and
Nitin H. Vaidya},
title = {A Mutual Exclusion Algorithm for Ad Hoc Mobile Networks},
journal = {Wirel. Networks},
volume = {7},
number = {6},
pages = {585--600},
year = {2001},
url = {https://doi.org/10.1023/A:1012363200403},
doi = {10.1023/A:1012363200403},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/winet/WalterWV01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcs/LeeW01,
author = {Hyunyoung Lee and
Jennifer L. Welch},
title = {Applications of Probabilistic Quorums to Iterative Algorithms},
booktitle = {Proceedings of the 21st International Conference on Distributed Computing
Systems {(ICDCS} 2001), Phoenix, Arizona, USA, April 16-19, 2001},
pages = {21--28},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/ICDSC.2001.918929},
doi = {10.1109/ICDSC.2001.918929},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icdcs/LeeW01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icnp/MalpaniVW01,
author = {Navneet Malpani and
Nitin H. Vaidya and
Jennifer L. Welch},
title = {Distributed Token Circulation on Mobile Ad Hoc Networks},
booktitle = {9th International Conference on Network Protocols {(ICNP} 2001), 11-14
November 2001, Riverside, CA, {USA}},
pages = {4--13},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/ICNP.2001.992755},
doi = {10.1109/ICNP.2001.992755},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icnp/MalpaniVW01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaac/LeeW01,
author = {Hyunyoung Lee and
Jennifer L. Welch},
editor = {Peter Eades and
Tadao Takaoka},
title = {Randomized Shared Queues Applied to Distributed Optimization Algorithms},
booktitle = {Algorithms and Computation, 12th International Symposium, {ISAAC}
2001, Christchurch, New Zealand, December 19-21, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2223},
pages = {587--598},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45678-3\_50},
doi = {10.1007/3-540-45678-3\_50},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/isaac/LeeW01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/LeeW01,
author = {Hyunyoung Lee and
Jennifer L. Welch},
editor = {Ajay D. Kshemkalyani and
Nir Shavit},
title = {Randomized shared queues},
booktitle = {Proceedings of the Twentieth Annual {ACM} Symposium on Principles
of Distributed Computing, {PODC} 2001, Newport, Rhode Island, USA,
August 26-29, 2001},
pages = {311--313},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/383962.384050},
doi = {10.1145/383962.384050},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/podc/LeeW01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wdag/2001,
editor = {Jennifer L. Welch},
title = {Distributed Computing, 15th International Conference, {DISC} 2001,
Lisbon, Portugal, October 3-5, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2180},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45414-4},
doi = {10.1007/3-540-45414-4},
isbn = {3-540-42605-1},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wdag/2001.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/ChaudhuriKW00,
author = {Soma Chaudhuri and
Martha J. Kosa and
Jennifer L. Welch},
title = {One-write algorithms for multivalued regular and atomic registers},
journal = {Acta Informatica},
volume = {37},
number = {3},
pages = {161--192},
year = {2000},
url = {https://doi.org/10.1007/s002360000040},
doi = {10.1007/S002360000040},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/ChaudhuriKW00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dialm/MalpaniWV00,
author = {Navneet Malpani and
Jennifer L. Welch and
Nitin H. Vaidya},
title = {Leader election algorithms for mobile ad hoc networks},
booktitle = {Proceedings of the 4th International Workshop on Discrete Algorithms
and Methods for Mobile Computing and Communications {(DIAL-M} 2000),
Boston, Massachusetts, USA, August 11, 2000},
pages = {96--103},
publisher = {{ACM}},
year = {2000},
url = {https://doi.org/10.1145/345848.345871},
doi = {10.1145/345848.345871},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dialm/MalpaniWV00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/WalterWA00,
author = {Jennifer E. Walter and
Jennifer L. Welch and
Nancy M. Amato},
editor = {Gil Neiger},
title = {Distributed reconfigurtion of metamorphic robot chains},
booktitle = {Proceedings of the Nineteenth Annual {ACM} Symposium on Principles
of Distributed Computing, July 16-19, 2000, Portland, Oregon, {USA}},
pages = {171--180},
publisher = {{ACM}},
year = {2000},
url = {https://doi.org/10.1145/343477.343542},
doi = {10.1145/343477.343542},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/podc/WalterWA00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/LeeW00,
author = {Hyunyoung Lee and
Jennifer L. Welch},
editor = {Gil Neiger},
title = {Specification, implementation and application of randomized regular
registers (brief announcement)},
booktitle = {Proceedings of the Nineteenth Annual {ACM} Symposium on Principles
of Distributed Computing, July 16-19, 2000, Portland, Oregon, {USA}},
pages = {338},
publisher = {{ACM}},
year = {2000},
url = {https://doi.org/10.1145/343477.362159},
doi = {10.1145/343477.362159},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/podc/LeeW00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/networks/DolevKW99,
author = {Shlomi Dolev and
Michael Kate and
Jennifer L. Welch},
title = {A competitive analysis for retransmission timeout},
journal = {Networks},
volume = {34},
number = {1},
pages = {73--80},
year = {1999},
url = {https://doi.org/10.1002/(SICI)1097-0037(199908)34:1\&\#60;73::AID-NET8\&\#62;3.0.CO;2-3},
doi = {10.1002/(SICI)1097-0037(199908)34:1\&\#60;73::AID-NET8\&\#62;3.0.CO;2-3},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/networks/DolevKW99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/podc/1999,
editor = {Brian A. Coan and
Jennifer L. Welch},
title = {Proceedings of the Eighteenth Annual {ACM} Symposium on Principles
of Distributed Computing, PODC, '99Atlanta, Georgia, USA, May 3-6,
1999},
publisher = {{ACM}},
year = {1999},
url = {http://dl.acm.org/citation.cfm?id=301308},
isbn = {1-58113-099-6},
timestamp = {Wed, 23 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/podc/1999.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamcomp/AttiyaCFW98,
author = {Hagit Attiya and
Soma Chaudhuri and
Roy Friedman and
Jennifer L. Welch},
title = {Shared Memory Consistency Conditions for Nonsequential Execution:
Definitions and Programming Strategies},
journal = {{SIAM} J. Comput.},
volume = {27},
number = {1},
pages = {65--89},
year = {1998},
url = {https://doi.org/10.1137/S0097539794278396},
doi = {10.1137/S0097539794278396},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siamcomp/AttiyaCFW98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/algorithmica/DolevW97,
author = {Shlomi Dolev and
Jennifer L. Welch},
title = {Wait-Free Clock Synchronization},
journal = {Algorithmica},
volume = {18},
number = {4},
pages = {486--511},
year = {1997},
url = {https://doi.org/10.1007/PL00009167},
doi = {10.1007/PL00009167},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/algorithmica/DolevW97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/RheeW97,
author = {Injong Rhee and
Jennifer L. Welch},
title = {Time Bounds on Synchronization in a Periodic Distributed System},
journal = {Inf. Process. Lett.},
volume = {64},
number = {2},
pages = {87--93},
year = {1997},
url = {https://doi.org/10.1016/S0020-0190(97)00155-5},
doi = {10.1016/S0020-0190(97)00155-5},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/RheeW97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/DolevW97,
author = {Shlomi Dolev and
Jennifer L. Welch},
title = {Crash Resilient Communication in Dynamic Networks},
journal = {{IEEE} Trans. Computers},
volume = {46},
number = {1},
pages = {14--26},
year = {1997},
url = {https://doi.org/10.1109/12.559799},
doi = {10.1109/12.559799},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tc/DolevW97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdpta/WalterW97,
author = {Jennifer E. Walter and
Jennifer L. Welch},
editor = {Hamid R. Arabnia},
title = {Hazard-Free Connection Release},
booktitle = {Proceedings of the International Conference on Parallel and Distributed
Processing Techniques and Applications, {PDPTA} 1997, June 30 - July
3, 1997, Las Vegas, Nevada, {USA}},
pages = {1668--1672},
publisher = {{CSREA} Press},
year = {1997},
timestamp = {Wed, 21 Jun 2006 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pdpta/WalterW97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/comcom/DolevPW96,
author = {Shlomi Dolev and
Dhiraj K. Pradhan and
Jennifer L. Welch},
title = {Modified tree structure for location management in mobile environments},
journal = {Comput. Commun.},
volume = {19},
number = {4},
pages = {335--345},
year = {1996},
url = {https://doi.org/10.1016/0140-3664(96)01071-7},
doi = {10.1016/0140-3664(96)01071-7},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/comcom/DolevPW96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ton/Abu-AmaraCDKW96,
author = {Hosame Abu{-}Amara and
Brian A. Coan and
Shlomi Dolev and
Arkady Kanevsky and
Jennifer L. Welch},
title = {Self-stabilizing topology maintenance protocols for high-speed networks},
journal = {{IEEE/ACM} Trans. Netw.},
volume = {4},
number = {6},
pages = {902--912},
year = {1996},
url = {https://doi.org/10.1109/90.556356},
doi = {10.1109/90.556356},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ton/Abu-AmaraCDKW96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcs/KanthadaiW96,
author = {Sundar Kanthadai and
Jennifer L. Welch},
title = {Implementation of Recoverable Distributed Shared Memory by Logging
Writes},
booktitle = {Proceedings of the 16th International Conference on Distributed Computing
Systems, Hong Kong, May 27-30, 1996},
pages = {116--124},
publisher = {{IEEE} Computer Society},
year = {1996},
url = {https://doi.org/10.1109/ICDCS.1996.507908},
doi = {10.1109/ICDCS.1996.507908},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icdcs/KanthadaiW96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/ChaudhuriKW96,
author = {Soma Chaudhuri and
Sundar Kanthadai and
Jennifer L. Welch},
editor = {James E. Burns and
Yoram Moses},
title = {The Role of Data-Race-Free Programs in Recoverable {DSM} (Abstract)},
booktitle = {Proceedings of the Fifteenth Annual {ACM} Symposium on Principles
of Distributed Computing, Philadelphia, Pennsylvania, USA, May 23-26,
1996},
pages = {245},
publisher = {{ACM}},
year = {1996},
url = {https://doi.org/10.1145/248052.248101},
doi = {10.1145/248052.248101},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/podc/ChaudhuriKW96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dc/ChaudhuriCW95,
author = {Soma Chaudhuri and
Brian A. Coan and
Jennifer L. Welch},
title = {Using Adaptive Timeouts to Achieve At-Most-Once Message Delivery},
journal = {Distributed Comput.},
volume = {9},
number = {3},
pages = {109--117},
year = {1995},
url = {https://doi.org/10.1007/s004460050013},
doi = {10.1007/S004460050013},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dc/ChaudhuriCW95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/AttiyaDW95,
author = {Hagit Attiya and
Shlomi Dolev and
Jennifer L. Welch},
title = {Connection Management Without Retaining Information},
journal = {Inf. Comput.},
volume = {123},
number = {2},
pages = {155--171},
year = {1995},
url = {https://doi.org/10.1006/inco.1995.1165},
doi = {10.1006/INCO.1995.1165},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/AttiyaDW95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hicss/AttiyaDW95,
author = {Hagit Attiya and
Shlomi Dolev and
Jennifer L. Welch},
title = {Connection management without retaining information},
booktitle = {28th Annual Hawaii International Conference on System Sciences (HICSS-28),
January 3-6, 1995, Kihei, Maui, Hawaii, {USA}},
pages = {622--634},
publisher = {{IEEE} Computer Society},
year = {1995},
url = {https://doi.org/10.1109/HICSS.1995.375494},
doi = {10.1109/HICSS.1995.375494},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hicss/AttiyaDW95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcs/DolevKW95,
author = {Shlomi Dolev and
Michael Kate and
Jennifer L. Welch},
title = {A Competitive Analysis for Retransmission Timeout},
booktitle = {Proceedings of the 15th International Conference on Distributed Computing
Systems, Vancouver, British Columbia, Canada, May 30 - June 2, 1995},
pages = {450--455},
publisher = {{IEEE} Computer Society},
year = {1995},
url = {https://doi.org/10.1109/ICDCS.1995.500050},
doi = {10.1109/ICDCS.1995.500050},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icdcs/DolevKW95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/infocom/DolevPW95,
author = {Shlomi Dolev and
Dhiraj K. Pradhan and
Jennifer L. Welch},
title = {Modified Tree Structure for Location Management in Mobile Environments},
booktitle = {Proceedings {IEEE} {INFOCOM} '95, The Conference on Computer Communications,
Fourteenth Annual Joint Conference of the {IEEE} Computer and Communications
Societies, Bringing Information to People, Boston, Massachusetts,
USA, April 2-6, 1995},
pages = {530--537},
publisher = {{IEEE} Computer Society},
year = {1995},
timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
biburl = {https://dblp.org/rec/conf/infocom/DolevPW95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdpta/RheeW95,
author = {Injong Rhee and
Jennifer L. Welch},
editor = {Hamid R. Arabnia},
title = {On the Time Complexity of the Dining Philosophers Problem},
booktitle = {Proceedings of the International Conference on Parallel and Distributed
Processing Techniques and Applications, {PDPTA} 1995, November 3-4,
1995, Georgia, {USA}},
pages = {795--804},
publisher = {{CSREA} Press},
year = {1995},
timestamp = {Mon, 09 Nov 2009 13:57:16 +0100},
biburl = {https://dblp.org/rec/conf/pdpta/RheeW95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/DolevW95,
author = {Shlomi Dolev and
Jennifer L. Welch},
editor = {James H. Anderson},
title = {Self-Stabilizing Clock Synchronization in the Presence of Byzantine
Faults (Abstract)},
booktitle = {Proceedings of the Fourteenth Annual {ACM} Symposium on Principles
of Distributed Computing, Ottawa, Ontario, Canada, August 20-23, 1995},
pages = {256},
publisher = {{ACM}},
year = {1995},
url = {https://doi.org/10.1145/224964.224994},
doi = {10.1145/224964.224994},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/podc/DolevW95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamcomp/ChaudhuriW94,
author = {Soma Chaudhuri and
Jennifer L. Welch},
title = {Bounds on the Costs of Multivalued Register Implementations},
journal = {{SIAM} J. Comput.},
volume = {23},
number = {2},
pages = {335--354},
year = {1994},
url = {https://doi.org/10.1137/S0097539790190971},
doi = {10.1137/S0097539790190971},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siamcomp/ChaudhuriW94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocs/AttiyaW94,
author = {Hagit Attiya and
Jennifer L. Welch},
title = {Sequential Consistency versus Linearizability},
journal = {{ACM} Trans. Comput. Syst.},
volume = {12},
number = {2},
pages = {91--122},
year = {1994},
url = {https://doi.org/10.1145/176575.176576},
doi = {10.1145/176575.176576},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tocs/AttiyaW94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dc/WelchL93,
author = {Jennifer L. Welch and
Nancy A. Lynch},
title = {A Modular Drinking Philosophers Algorithm},
journal = {Distributed Comput.},
volume = {6},
number = {4},
pages = {233--244},
year = {1993},
url = {https://doi.org/10.1007/BF02242711},
doi = {10.1007/BF02242711},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dc/WelchL93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/CoanW93,
author = {Brian A. Coan and
Jennifer L. Welch},
title = {Modular Cosntruction of an Efficient 1-Bit Byzantine Agreement Protocol},
journal = {Math. Syst. Theory},
volume = {26},
number = {1},
pages = {131--154},
year = {1993},
url = {https://doi.org/10.1007/BF01187076},
doi = {10.1007/BF01187076},
timestamp = {Sun, 17 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mst/CoanW93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/DolevW92,
author = {Shlomi Dolev and
Jennifer L. Welch},
editor = {Jim Anderson and
Sam Toueg},
title = {Wait-Free Clock Synchronization (Extended Abstract)},
booktitle = {Proceedings of the Twelth Annual {ACM} Symposium on Principles of
Distributed Computing, Ithaca, New York, USA, August 15-18, 1993},
pages = {97--108},
publisher = {{ACM}},
year = {1993},
url = {https://doi.org/10.1145/164051.164066},
doi = {10.1145/164051.164066},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/podc/DolevW92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spaa/AttiyaCFW93,
author = {Hagit Attiya and
Soma Chaudhuri and
Roy Friedman and
Jennifer L. Welch},
editor = {Lawrence Snyder},
title = {Shared Memory Consistency Conditions for Non-Sequential Execution:
Definitions and Programming Strategies},
booktitle = {Proceedings of the 5th Annual {ACM} Symposium on Parallel Algorithms
and Architectures, {SPAA} '93, Velen, Germany, June 30 - July 2, 1993},
pages = {241--250},
publisher = {{ACM}},
year = {1993},
url = {https://doi.org/10.1145/165231.165263},
doi = {10.1145/165231.165263},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/spaa/AttiyaCFW93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wdag/DolevW93,
author = {Shlomi Dolev and
Jennifer L. Welch},
editor = {Andr{\'{e}} Schiper},
title = {Crash Resilient Communication in Dynamic Networks (Preliminary Version)},
booktitle = {Distributed Algorithms, 7th International Workshop, {WDAG} '93, Lausanne,
Switzerland, September 27-29, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {725},
pages = {129--144},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-57271-6\_32},
doi = {10.1007/3-540-57271-6\_32},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/wdag/DolevW93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/CoanW92,
author = {Brian A. Coan and
Jennifer L. Welch},
title = {Modular Construction of a Byzantine Agreement Protocol with Optimal
Message Bit Complexity},
journal = {Inf. Comput.},
volume = {97},
number = {1},
pages = {61--85},
year = {1992},
url = {https://doi.org/10.1016/0890-5401(92)90004-Y},
doi = {10.1016/0890-5401(92)90004-Y},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/CoanW92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/RheeW92,
author = {Injong Rhee and
Jennifer L. Welch},
editor = {Norman C. Hutchinson},
title = {The Impact of Time on the Session Problem},
booktitle = {Proceedings of the Eleventh Annual {ACM} Symposium on Principles of
Distributed Computing, Vancouver, British Columbia, Canada, August
10-12, 1992},
pages = {191--202},
publisher = {{ACM}},
year = {1992},
url = {https://doi.org/10.1145/135419.135459},
doi = {10.1145/135419.135459},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/podc/RheeW92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spaa/AttiyaW91,
author = {Hagit Attiya and
Jennifer L. Welch},
editor = {Tom Leighton},
title = {Sequential Consistency Versus Linearizability (Extended Abstract)},
booktitle = {Proceedings of the 3rd Annual {ACM} Symposium on Parallel Algorithms
and Architectures, {SPAA} '91, Hilton Head, South Carolina, USA, July
21-24, 1991},
pages = {304--315},
publisher = {{ACM}},
year = {1991},
url = {https://doi.org/10.1145/113379.113407},
doi = {10.1145/113379.113407},
timestamp = {Wed, 21 Nov 2018 12:27:44 +0100},
biburl = {https://dblp.org/rec/conf/spaa/AttiyaW91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spdp/ChaudhuriKW91,
author = {Soma Chaudhuri and
Martha J. Kosa and
Jennifer L. Welch},
title = {Upper and lower bounds for one-write multivalued regular registers},
booktitle = {Proceedings of the Third {IEEE} Symposium on Parallel and Distributed
Processing, {SPDP} 1991, 2-5 December 1991, Dallas, Texas, {USA}},
pages = {134--141},
publisher = {{IEEE} Computer Society},
year = {1991},
url = {https://doi.org/10.1109/SPDP.1991.218287},
doi = {10.1109/SPDP.1991.218287},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/spdp/ChaudhuriKW91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wdag/ChaudhuriCW91,
author = {Soma Chaudhuri and
Brian A. Coan and
Jennifer L. Welch},
editor = {Sam Toueg and
Paul G. Spirakis and
Lefteris M. Kirousis},
title = {Using Adaptive Timeouts to Achive At-Most-Once Message Delivery},
booktitle = {Distributed Algorithms, 5th International Workshop, {WDAG} '91, Delphi,
Greece, October 7-9, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {579},
pages = {151--166},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0022444},
doi = {10.1007/BFB0022444},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/wdag/ChaudhuriCW91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dc/CoanW90,
author = {Brian A. Coan and
Jennifer L. Welch},
title = {Transaction Commit in a Realistic Timing Model},
journal = {Distributed Comput.},
volume = {4},
pages = {87--103},
year = {1990},
url = {https://doi.org/10.1007/BF01786634},
doi = {10.1007/BF01786634},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dc/CoanW90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wdag/ChaudhuriW90,
author = {Soma Chaudhuri and
Jennifer L. Welch},
editor = {Jan van Leeuwen and
Nicola Santoro},
title = {Bounds on the Costs of Register Implementations},
booktitle = {Distributed Algorithms, 4th International Workshop, {WDAG} '90, Bari,
Italy, September 24-26, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {486},
pages = {402--421},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-54099-7\_27},
doi = {10.1007/3-540-54099-7\_27},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/wdag/ChaudhuriW90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/SistlaW89,
author = {A. Prasad Sistla and
Jennifer L. Welch},
editor = {Piotr Rudnicki},
title = {Efficient Distributed Recovery Using Message Logging},
booktitle = {Proceedings of the Eighth Annual {ACM} Symposium on Principles of
Distributed Computing, Edmonton, Alberta, Canada, August 14-16, 1989},
pages = {223--238},
publisher = {{ACM}},
year = {1989},
url = {https://doi.org/10.1145/72981.72997},
doi = {10.1145/72981.72997},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/podc/SistlaW89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/CoanW89,
author = {Brian A. Coan and
Jennifer L. Welch},
editor = {Piotr Rudnicki},
title = {Modular Construction of Nearly Optimal Byzantine Agreement Protocols},
booktitle = {Proceedings of the Eighth Annual {ACM} Symposium on Principles of
Distributed Computing, Edmonton, Alberta, Canada, August 14-16, 1989},
pages = {295--305},
publisher = {{ACM}},
year = {1989},
url = {https://doi.org/10.1145/72981.73002},
doi = {10.1145/72981.73002},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/podc/CoanW89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/ndltd/Welch88,
author = {Jennifer L. Welch},
title = {Topics in distributed computing: the impact of partial synchrony,
and modular decomposition of algorithms},
school = {Massachusetts Institute of Technology, Cambridge, MA, {USA}},
year = {1988},
url = {https://hdl.handle.net/1721.1/80451},
timestamp = {Wed, 04 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/ndltd/Welch88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/WelchL88,
author = {Jennifer L. Welch and
Nancy A. Lynch},
title = {A New Fault-Tolerance Algorithm for Clock Synchronization},
journal = {Inf. Comput.},
volume = {77},
number = {1},
pages = {1--36},
year = {1988},
url = {https://doi.org/10.1016/0890-5401(88)90043-0},
doi = {10.1016/0890-5401(88)90043-0},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/WelchL88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/WelchLL88,
author = {Jennifer L. Welch and
Leslie Lamport and
Nancy A. Lynch},
editor = {Danny Dolev},
title = {A Lattice-Structured Proof of a Minimum Spanning},
booktitle = {Proceedings of the Seventh Annual {ACM} Symposium on Principles of
Distributed Computing, Toronto, Ontario, Canada, August 15-17, 1988},
pages = {28--43},
publisher = {{ACM}},
year = {1988},
url = {https://doi.org/10.1145/62546.62552},
doi = {10.1145/62546.62552},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/podc/WelchLL88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/Welch87,
author = {Jennifer L. Welch},
title = {Simulating Synchronous Processors},
journal = {Inf. Comput.},
volume = {74},
number = {2},
pages = {159--170},
year = {1987},
url = {https://doi.org/10.1016/0890-5401(87)90029-0},
doi = {10.1016/0890-5401(87)90029-0},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/Welch87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftdc/SimonsWL86,
author = {Barbara Simons and
Jennifer L. Welch and
Nancy A. Lynch},
editor = {Barbara B. Simons and
Alfred Z. Spector},
title = {An Overview of Clock Synchronization},
booktitle = {Fault-Tolerant Distributed Computing [Asilomar Workshop 1986]},
series = {Lecture Notes in Computer Science},
volume = {448},
pages = {84--96},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/BFb0042327},
doi = {10.1007/BFB0042327},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/ftdc/SimonsWL86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/CoanL86,
author = {Brian A. Coan and
Jennifer Lundelius},
editor = {Joseph Y. Halpern},
title = {Transaction Commit in a Realistic Fault Model},
booktitle = {Proceedings of the Fifth Annual {ACM} Symposium on Principles of Distributed
Computing, Calgary, Alberta, Canada, August 11-13, 1986},
pages = {40--51},
publisher = {{ACM}},
year = {1986},
url = {https://doi.org/10.1145/10590.10594},
doi = {10.1145/10590.10594},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/podc/CoanL86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/LundeliusL84,
author = {Jennifer Lundelius and
Nancy A. Lynch},
title = {An Upper and Lower Bound for Clock Synchronization},
journal = {Inf. Control.},
volume = {62},
number = {2/3},
pages = {190--204},
year = {1984},
url = {https://doi.org/10.1016/S0019-9958(84)80033-9},
doi = {10.1016/S0019-9958(84)80033-9},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/LundeliusL84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/LundeliusL84,
author = {Jennifer Lundelius and
Nancy A. Lynch},
editor = {Tiko Kameda and
Jayadev Misra and
Joseph G. Peters and
Nicola Santoro},
title = {A New Fault-Tolerant Algorithm for Clock Synchronization},
booktitle = {Proceedings of the Third Annual {ACM} Symposium on Principles of Distributed
Computing, Vancouver, B. C., Canada, August 27-29, 1984},
pages = {75--88},
publisher = {{ACM}},
year = {1984},
url = {https://doi.org/10.1145/800222.806738},
doi = {10.1145/800222.806738},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/podc/LundeliusL84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-21 16:57 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
