Modeling Feasible Locomotion of Nanobots for Cancer Detection and Treatment.

Nancy A. Lynch http://theory.lcs.mit.edu/~lynch/ https://scholar.google.com/citations?user=LPTkkxUAAAAJ https://dl.acm.org/profile/81100272168 https://zbmath.org/authors/?q=ai:lynch.nancy-ann https://mathscinet.ams.org/mathscinet/MRAuthorID/117240 https://mathgenealogy.org/id.php?id=81227 https://en.wikipedia.org/wiki/Nancy_Lynch https://orcid.org/0000-0003-3045-265X https://www.wikidata.org/entity/Q11779 http://isni.org/isni/0000000110844440 https://viaf.org/viaf/113611002 https://id.loc.gov/authorities/names/n86848868 https://d-nb.info/gnd/121919625 http://awards.acm.org/award_winners/lynch_2276129 Massachusetts Institute of Technology (MIT), Computer Science and Artificial Intelligence Laboratory (CSAIL) ACM Athena Lecturer IEEE Emanuel R. Piore Award Dijkstra Prize Knuth Prize

Noble C. Harasha Cristina Gava Nancy A. Lynch Claudia Contini Frederik Mallmann-Trenn Modeling Feasible Locomotion of Nanobots for Cancer Detection and Treatment. 2025 July abs/2507.12400 CoRR https://doi.org/10.48550/arXiv.2507.12400 db/journals/corr/corr2507.html#abs-2507-12400 streams/journals/corr

Noble C. Harasha Nancy A. Lynch Nanobot Algorithms for Treatment of Diffuse Cancer. 2025 September abs/2509.06893 CoRR https://doi.org/10.48550/arXiv.2509.06893 db/journals/corr/corr2509.html#abs-2509-06893 streams/journals/corr

Nancy A. Lynch Multi-Neuron Representations of Hierarchical Concepts in Spiking Neural Networks. 2024 abs/2401.04628 CoRR https://doi.org/10.48550/arXiv.2401.04628 db/journals/corr/corr2401.html#abs-2401-04628

Sabrina Drammis Bowen Zheng Karthik Srinivasan Robert C. Berwick Nancy A. Lynch Robert Ajemian Parallel Algorithms for Exact Enumeration of Deep Neural Network Activation Regions. 2024 abs/2403.00860 CoRR https://doi.org/10.48550/arXiv.2403.00860 db/journals/corr/corr2403.html#abs-2403-00860

Nancy A. Lynch Using Single-Neuron Representations for Hierarchical Concepts as Abstractions of Multi-Neuron Representations. 2024 abs/2406.07297 CoRR https://doi.org/10.48550/arXiv.2406.07297 db/journals/corr/corr2406.html#abs-2406-07297

Adithya Balachandran Noble C. Harasha Nancy A. Lynch Swarm Algorithms for Dynamic Task Allocation in Unknown Environments. 2024 abs/2409.09550 CoRR https://doi.org/10.48550/arXiv.2409.09550 db/journals/corr/corr2409.html#abs-2409-09550 streams/journals/corr

Zhi Wei Gan Grace Cai Noble C. Harasha Nancy A. Lynch Julian Shun ParSwarm: A C++ Framework for Evaluating Distributed Algorithms for Robot Swarms. 14:1-14:5 2023 ApPLIED@PODC https://doi.org/10.1145/3584684.3597269 https://www.wikidata.org/entity/Q130825582 conf/applied/2023 db/conf/applied/applied2023.html#GanCHLS23 Grace Cai Noble C. Harasha Nancy A. Lynch A Comparison of New Swarm Task Allocation Algorithms in Unknown Environments with Varying Task Density. 525-533 2023 AAMAS https://dl.acm.org/doi/10.5555/3545946.3598680 conf/atal/2023 db/conf/atal/aamas2023.html#CaiHL23 Nancy A. Lynch Frederik Mallmann-Trenn Learning Hierarchically-Structured Concepts II: Overlapping Concepts, and Networks with Feedback. 46-86 2023 SIROCCO https://doi.org/10.1007/978-3-031-32733-9_4 conf/sirocco/2023 db/conf/sirocco/sirocco2023.html#LynchM23

Nancy A. Lynch Frederik Mallmann-Trenn Learning Hierarchically-Structured Concepts II: Overlapping Concepts, and Networks With Feedback. 2023 abs/2304.09540 CoRR https://doi.org/10.48550/arXiv.2304.09540 db/journals/corr/corr2304.html#abs-2304-09540

Emily Zhang Jiajia Zhao Nancy A. Lynch An Upper and Lower Bound for the Convergence Time of House-Hunting in Temnothorax Ant Colonies. 344-357 2022 29 J. Comput. Biol. 4 https://doi.org/10.1089/cmb.2021.0364 db/journals/jcb/jcb29.html#ZhangZL22

Keith T. Murray Mien Brabeeba Wang Nancy A. Lynch Emergence of Direction-Selective Retinal Cell Types in Task-Optimized Deep Learning Models. 370-381 2022 29 J. Comput. Biol. 4 https://doi.org/10.1089/cmb.2021.0368 db/journals/jcb/jcb29.html#MurrayWL22

Jiajia Zhao Nancy A. Lynch Stephen C. Pratt The Power of Population Effect in Temnothorax Ant House-Hunting: A Computational Modeling Approach. 382-408 2022 29 J. Comput. Biol. 4 https://doi.org/10.1089/cmb.2021.0369 db/journals/jcb/jcb29.html#ZhaoLP22

Andres E. Lombo Jesus E. Lares Matteo Castellani Chi-Ning Chou Nancy A. Lynch Karl K. Berggren A superconducting nanowire-based architecture for neuromorphic computing. 34011 2022 June 2 Neuromorph. Comput. Eng. 2 https://doi.org/10.1088/2634-4386/ac86ef db/journals/neuromorphic/neuromorphic2.html#LomboLCCLB22

Nicolas Nicolaou Viveck R. Cadambe N. Prakash 0001 Andria Trigeorgi Kishori M. Konwar Muriel Médard Nancy A. Lynch Ares: Adaptive, Reconfigurable, Erasure coded, Atomic Storage. 33:1-33:39 2022 18 ACM Trans. Storage 4 https://doi.org/10.1145/3510613 db/journals/tos/tos18.html#NicolaouCPTKML22

Grace Cai Nancy A. Lynch A Geometry-Sensitive Quorum Sensing Algorithm for the Best-of-N Site Selection Problem. 1-13 2022 ANTS Conference https://doi.org/10.1007/978-3-031-20176-9_1 conf/antsw/2022 db/conf/antsw/ants2022.html#CaiL22 Nancy A. Lynch Cameron Musco A Basic Compositional Model for Spiking Neural Networks. 403-449 2022 A Journey from Process Algebra via Timed Automata to Model Learning https://doi.org/10.1007/978-3-031-15629-8_22 conf/birthday/2022vaandrager db/conf/birthday/vaandrager2022.html#LynchM22

Grace Cai Nancy A. Lynch A Geometry-Sensitive Quorum Sensing Algorithm for the Best-of-N Site Selection Problem. 2022 abs/2206.00587 CoRR https://doi.org/10.48550/arXiv.2206.00587 db/journals/corr/corr2206.html#abs-2206-00587

Nancy A. Lynch Symbolic Knowledge Structures and Intuitive Knowledge Structures. 2022 abs/2206.02932 CoRR https://doi.org/10.48550/arXiv.2206.02932 db/journals/corr/corr2206.html#abs-2206-02932

Grace Cai Noble C. Harasha Nancy A. Lynch A Comparison of New Swarm Task Allocation Algorithms in Unknown Environments with Varying Task Density. 2022 abs/2212.00844 CoRR https://doi.org/10.48550/arXiv.2212.00844 db/journals/corr/corr2212.html#abs-2212-00844

Nancy A. Lynch Frederik Mallmann-Trenn Learning hierarchically-structured concepts. 798-817 2021 143 Neural Networks https://doi.org/10.1016/j.neunet.2021.07.033 db/journals/nn/nn143.html#LynchM21

Kishori M. Konwar Wyatt Lloyd Haonan Lu Nancy A. Lynch SNOW Revisited: Understanding When Ideal READ Transactions Are Possible. 922-931 2021 IPDPS https://doi.org/10.1109/IPDPS49936.2021.00101 conf/ipps/2021 db/conf/ipps/ipdps2021.html#KonwarLLL21 Jiajia Zhao Lili Su Nancy A. Lynch Lack of Quorum Sensing Leads to Failure of Consensus in Temnothorax Ant Emigration. 209-228 2021 SSS https://doi.org/10.1007/978-3-030-91081-5_14 conf/sss/2021 db/conf/sss/sss2021.html#ZhaoSL21

Grace Cai Wendy Wu Wayne Zhao Jiajia Zhao Nancy A. Lynch A Spatially Dependent Probabilistic Model for House Hunting in Ant Colonies. 2021 abs/2106.06867 CoRR https://arxiv.org/abs/2106.06867 db/journals/corr/corr2106.html#abs-2106-06867

Andres E. Lombo Jesus E. Lares Matteo Castellani Chi-Ning Chou Nancy A. Lynch Karl K. Berggren A Superconducting Nanowire-based Architecture for Neuromorphic Computing. 2021 abs/2112.08928 CoRR https://arxiv.org/abs/2112.08928 db/journals/corr/corr2112.html#abs-2112-08928

Seth Gilbert Nancy A. Lynch Calvin Newport Dominik Pajak On simple back-off in unreliable radio networks. 489-508 2020 806 Theor. Comput. Sci. https://doi.org/10.1016/j.tcs.2019.08.027 db/journals/tcs/tcs806.html#GilbertLNP20

Magnús M. Halldórsson Stephan Holzer Evangelia Anna Markatou Nancy A. Lynch Leader election in SINR model with arbitrary power control. 21-28 2020 811 Theor. Comput. Sci. https://doi.org/10.1016/j.tcs.2019.01.024 https://www.wikidata.org/entity/Q128508969 db/journals/tcs/tcs811.html#HalldorssonHML20

Yael Hitron Nancy A. Lynch Cameron Musco Merav Parter Random Sketching, Clustering, and Short-Term Memory in Spiking Neural Networks. 23:1-23:31 2020 ITCS https://doi.org/10.4230/LIPIcs.ITCS.2020.23 conf/innovations/2020 db/conf/innovations/innovations2020.html#HitronLMP20 Bertie Ancona Ayesha Bajwa Nancy A. Lynch Frederik Mallmann-Trenn How to Color a French Flag - Biologically Inspired Algorithms for Scale-Invariant Patterning. 413-424 2020 LATIN https://doi.org/10.1007/978-3-030-61792-9_33 conf/latin/2020 db/conf/latin/latin2020.html#AnconaBLM20 Anna R. Dornhaus Nancy A. Lynch Frederik Mallmann-Trenn Dominik Pajak Tsvetomira Radeva Self-Stabilizing Task Allocation In Spite of Noise. 201-211 2020 SPAA https://doi.org/10.1145/3350755.3400226 conf/spaa/2020 db/conf/spaa/spaa2020.html#DornhausLMPR20

Emily Toomey Ken Segall Matteo Castellani Marco Colangelo Nancy A. Lynch Karl K. Berggren A superconducting nanowire spiking element for neural networks. 2020 abs/2007.15101 CoRR https://arxiv.org/abs/2007.15101 db/journals/corr/corr2007.html#abs-2007-15101

Lili Su Chia-Jung Chang Nancy A. Lynch Spike-Based Winner-Take-All Computation: Fundamental Limits and Order-Optimal Circuits. 2523-2561 2019 31 Neural Comput. 12 https://doi.org/10.1162/neco_a_01242 https://www.wikidata.org/entity/Q90718196 db/journals/neco/neco31.html#SuCL19

Lili Su Martin Zubeldia Nancy A. Lynch Collaboratively Learning the Best Option on Graphs, Using Bounded Local Memory. 11:1-11:32 2019 3 Proc. ACM Meas. Anal. Comput. Syst. 1 https://doi.org/10.1145/3322205.3311082 db/journals/pomacs/pomacs3.html#SuZL19

Nicolas C. Nicolaou Viveck R. Cadambe N. Prakash 0001 Kishori M. Konwar Muriel Médard Nancy A. Lynch ARES: Adaptive, Reconfigurable, Erasure Coded, Atomic Storage. 2195-2205 2019 ICDCS https://doi.org/10.1109/ICDCS.2019.00216 conf/icdcs/2019 db/conf/icdcs/icdcs2019.html#NicolaouC0KML19 Kishori M. Konwar N. Prakash 0001 Muriel Médard Nancy A. Lynch Fast Lean Erasure-Coded Atomic Memory Object. 12:1-12:17 2019 OPODIS https://doi.org/10.4230/LIPIcs.OPODIS.2019.12 conf/opodis/2019 db/conf/opodis/opodis2019.html#Konwar0ML19 Prasad Jayanti Nancy A. Lynch Boaz Patt-Shamir Ulrich Schmid 0001 2019 Principles of Distributed Computing Doctoral Dissertation Award. 2 2019 PODC https://doi.org/10.1145/3293611.3341565 https://www.wikidata.org/entity/Q130868658 conf/podc/2019 db/conf/podc/podc2019.html#JayantiLP019 Lili Su Martin Zubeldia Nancy A. Lynch Collaboratively Learning the Best Option on Graphs, Using Bounded Local Memory. 1-2 2019 SIGMETRICS (Abstracts) https://doi.org/10.1145/3309697.3331498 https://doi.org/10.1145/3376930.3376932 https://www.wikidata.org/entity/Q126544963 conf/sigmetrics/2019 db/conf/sigmetrics/sigmetrics2019.html#SuZL19 Bertie Ancona Ayesha Bajwa Nancy A. Lynch Frederik Mallmann-Trenn How to Color a French Flag - Biologically Inspired Algorithms for Scale-Invariant Patterning. 327-331 2019 SIROCCO https://doi.org/10.1007/978-3-030-24922-9_22 conf/sirocco/2019 db/conf/sirocco/sirocco2019.html#AnconaBLM19 Nancy A. Lynch Mien Brabeeba Wang Brief Announcement: Integrating Temporal Information to Spatial Information in a Neural Circuit. 48:1-48:3 2019 DISC https://doi.org/10.4230/LIPIcs.DISC.2019.48 conf/wdag/2019 db/conf/wdag/disc2019.html#LynchW19

Mien Brabeeba Wang Nancy A. Lynch Integrating Temporal Information to Spatial Information in a Neural Circuit. 2019 abs/1903.01217 CoRR http://arxiv.org/abs/1903.01217 db/journals/corr/corr1903.html#abs-1903-01217

Lili Su Chia-Jung Chang Nancy A. Lynch Spike-Based Winner-Take-All Computation: Fundamental Limits and Order-Optimal Circuits. 2019 abs/1904.10399 CoRR http://arxiv.org/abs/1904.10399 db/journals/corr/corr1904.html#abs-1904-10399

Nancy A. Lynch Cameron Musco Merav Parter Winner-Take-All Computation in Spiking Neural Networks. 2019 abs/1904.12591 CoRR http://arxiv.org/abs/1904.12591 db/journals/corr/corr1904.html#abs-1904-12591

Alberto Ancona Ayesha Bajwa Nancy A. Lynch Frederik Mallmann-Trenn How to Color a French Flag-Biologically Inspired Algorithms for Scale-Invariant Patterning. 2019 abs/1905.00342 CoRR http://arxiv.org/abs/1905.00342 db/journals/corr/corr1905.html#abs-1905-00342

Nancy A. Lynch Frederik Mallmann-Trenn Learning Hierarchically Structured Concepts. 2019 abs/1909.04559 CoRR http://arxiv.org/abs/1909.04559 db/journals/corr/corr1909.html#abs-1909-04559

Ran Canetti Ling Cheung Dilsun Kirli Kaynar Moses D. Liskov Nancy A. Lynch Olivier Pereira Roberto Segala Task-structured probabilistic I/O automata. 63-97 2018 94 J. Comput. Syst. Sci. https://doi.org/10.1016/j.jcss.2017.09.007 db/journals/jcss/jcss94.html#CanettiCKLLPS18

Seth Gilbert Nancy A. Lynch Calvin Newport Dominik Pajak On Simple Back-Off in Unreliable Radio Networks. 27:1-27:17 2018 OPODIS https://doi.org/10.4230/LIPIcs.OPODIS.2018.27 conf/opodis/2018 db/conf/opodis/opodis2018.html#GilbertLNP18 Seth Gilbert Nancy A. Lynch Calvin Newport Dominik Pajak Brief Announcement: On Simple Back-Off in Unreliable Radio Networks. 48:1-48:3 2018 DISC https://doi.org/10.4230/LIPIcs.DISC.2018.48 conf/wdag/2018 db/conf/wdag/disc2018.html#GilbertLNP18

Lili Su Martin Zubeldia Nancy A. Lynch Collaboratively Learning the Best Option, Using Bounded Memory. 2018 abs/1802.08159 CoRR http://arxiv.org/abs/1802.08159 db/journals/corr/corr1802.html#abs-1802-08159

Seth Gilbert Nancy A. Lynch Calvin Newport Dominik Pajak On Simple Back-Off in Complicated Radio Networks. 2018 abs/1803.02216 CoRR http://arxiv.org/abs/1803.02216 db/journals/corr/corr1803.html#abs-1803-02216

Anna R. Dornhaus Nancy A. Lynch Frederik Mallmann-Trenn Dominik Pajak Tsvetomira Radeva Self-Stabilizing Task Allocation In Spite of Noise. 2018 abs/1805.03691 CoRR http://arxiv.org/abs/1805.03691 db/journals/corr/corr1805.html#abs-1805-03691

Viveck R. Cadambe Nicolas C. Nicolaou Kishori M. Konwar N. Prakash 0001 Nancy A. Lynch Muriel Médard ARES: Adaptive, Reconfigurable, Erasure coded, atomic Storage. 2018 abs/1805.03727 CoRR http://arxiv.org/abs/1805.03727 db/journals/corr/corr1805.html#abs-1805-03727

Nancy A. Lynch Cameron Musco A Basic Compositional Model for Spiking Neural Networks. 2018 abs/1808.03884 CoRR http://arxiv.org/abs/1808.03884 db/journals/corr/corr1808.html#abs-1808-03884

Lili Su Martin Zubeldia Nancy A. Lynch Collaboratively Learning the Best Option on Graphs, Using Bounded Local Memory. 2018 abs/1811.03968 CoRR http://arxiv.org/abs/1811.03968 db/journals/corr/corr1811.html#abs-1811-03968

Kishori M. Konwar Wyatt Lloyd Haonan Lu Nancy A. Lynch The SNOW Theorem Revisited. 2018 abs/1811.10577 CoRR http://arxiv.org/abs/1811.10577 db/journals/corr/corr1811.html#abs-1811-10577

Viveck R. Cadambe Nancy A. Lynch Muriel Médard Peter M. Musial A coded shared atomic memory algorithm for message passing architectures. 49-73 2017 30 Distributed Comput. 1 https://doi.org/10.1007/s00446-016-0275-x https://www.wikidata.org/entity/Q115149040 db/journals/dc/dc30.html#CadambeLMM17

Christoph Lenzen 0001 Nancy A. Lynch Calvin Newport Tsvetomira Radeva Searching without communicating: tradeoffs between performance and selection complexity. 169-191 2017 30 Distributed Comput. 3 https://doi.org/10.1007/s00446-016-0283-x db/journals/dc/dc30.html#LenzenLNR17

Tsvetomira Radeva Anna R. Dornhaus Nancy A. Lynch Radhika Nagpal Hsin-Hao Su Costs of task allocation with local feedback: Effects of colony size and extra workers in social insects and other multi-agent systems. 2017 13 PLoS Comput. Biol. 12 https://doi.org/10.1371/journal.pcbi.1005904 https://www.wikidata.org/entity/Q47173865 db/journals/ploscb/ploscb13.html#RadevaDLNS17

Cameron Musco Hsin-Hao Su Nancy A. Lynch Ant-inspired density estimation via random walks. 10534-10541 2017 114 Proc. Natl. Acad. Sci. USA 40 https://doi.org/10.1073/pnas.1706439114 https://www.wikidata.org/entity/Q46304259 db/journals/pnas/pnas114.html#MuscoSL17

Nancy A. Lynch Cameron Musco Merav Parter Computational Tradeoffs in Biological Neural Networks: Self-Stabilizing Winner-Take-All Networks. 15:1-15:44 2017 ITCS https://doi.org/10.4230/LIPIcs.ITCS.2017.15 conf/innovations/2017 db/conf/innovations/innovations2017.html#LynchMP17 Kishori M. Konwar N. Prakash 0001 Nancy A. Lynch Muriel Médard A Layered Architecture for Erasure-Coded Consistent Distributed Storage. 63-72 2017 PODC https://doi.org/10.1145/3087801.3087832 https://www.wikidata.org/entity/Q130889713 conf/podc/2017 db/conf/podc/podc2017.html#KonwarPLM17 Hsin-Hao Su Lili Su Anna R. Dornhaus Nancy A. Lynch Ant-Inspired Dynamic Task Allocation via Gossiping. 157-171 2017 SSS https://doi.org/10.1007/978-3-319-69084-1_11 conf/sss/2017 db/conf/sss/sss2017.html#SuSDL17 Magnús M. Halldórsson Fabian Kuhn Nancy A. Lynch Calvin Newport An Efficient Communication Abstraction for Dense Wireless Networks. 25:1-25:16 2017 DISC https://doi.org/10.4230/LIPIcs.DISC.2017.25 conf/wdag/2017 db/conf/wdag/disc2017.html#HalldorssonKLN17 Nancy A. Lynch Cameron Musco Merav Parter Neuro-RAM Unit with Applications to Similarity Testing and Compression in Spiking Neural Networks. 33:1-33:16 2017 DISC https://doi.org/10.4230/LIPIcs.DISC.2017.33 conf/wdag/2017 db/conf/wdag/disc2017.html#LynchMP17

Kishori M. Konwar N. Prakash 0001 Nancy A. Lynch Muriel Médard A Layered Architecture for Erasure-Coded Consistent Distributed Storage. 2017 abs/1703.01286 CoRR http://arxiv.org/abs/1703.01286 db/journals/corr/corr1703.html#KonwarPLM17

Stephan Holzer Nancy A. Lynch Beeping a Maximal Independent Set Fast. 2017 abs/1704.07133 CoRR http://arxiv.org/abs/1704.07133 db/journals/corr/corr1704.html#HolzerL17

Nancy A. Lynch Cameron Musco Merav Parter Neuro-RAM Unit with Applications to Similarity Testing and Compression in Spiking Neural Networks. 2017 abs/1706.01382 CoRR http://arxiv.org/abs/1706.01382 db/journals/corr/corr1706.html#LynchMP17

Paul C. Attie Nancy A. Lynch Dynamic input/output automata: A formal and compositional model for dynamic systems. 28-75 2016 249 Inf. Comput. https://doi.org/10.1016/j.ic.2016.03.008 db/journals/iandc/iandc249.html#AttieL16

Kishori M. Konwar N. Prakash 0001 Erez Kantor Nancy A. Lynch Muriel Médard Alexander A. Schwarzmann Storage-Optimized Data-Atomic Algorithms for Handling Erasures and Errors in Distributed Storage Systems. 720-729 2016 IPDPS https://doi.org/10.1109/IPDPS.2016.55 https://doi.ieeecomputersociety.org/10.1109/IPDPS.2016.55 conf/ipps/2016 db/conf/ipps/ipdps2016.html#KonwarPKLMS16 Kishori M. Konwar N. Prakash 0001 Nancy A. Lynch Muriel Médard RADON: Repairable Atomic Data Object in Networks. 28:1-28:17 2016 OPODIS https://doi.org/10.4230/LIPIcs.OPODIS.2016.28 conf/opodis/2016 db/conf/opodis/opodis2016.html#KonwarPLM16 Viveck R. Cadambe Zhiying Wang 0001 Nancy A. Lynch Information-Theoretic Lower Bounds on the Storage Cost of Shared Memory Emulation. 305-313 2016 PODC https://doi.org/10.1145/2933057.2933118 conf/podc/2016 db/conf/podc/podc2016.html#CadambeWL16 Cameron Musco Hsin-Hao Su Nancy A. Lynch Ant-Inspired Density Estimation via Random Walks: Extended Abstract. 469-478 2016 PODC https://doi.org/10.1145/2933057.2933106 conf/podc/2016 db/conf/podc/podc2016.html#MuscoSL16

Cameron Musco Hsin-Hao Su Nancy A. Lynch Ant-Inspired Density Estimation via Random Walks. 2016 abs/1603.02981 CoRR http://arxiv.org/abs/1603.02981 db/journals/corr/corr1603.html#MuscoSL16

Paul C. Attie Nancy A. Lynch Dynamic Input/Output Automata: a Formal and Compositional Model for Dynamic Systems. 2016 abs/1604.06030 CoRR http://arxiv.org/abs/1604.06030 db/journals/corr/corr1604.html#AttieL16

Kishori M. Konwar N. Prakash 0001 Erez Kantor Nancy A. Lynch Muriel Médard Alexander A. Schwarzmann Storage-Optimized Data-Atomic Algorithms for Handling Erasures and Errors in Distributed Storage Systems. 2016 abs/1605.01748 CoRR http://arxiv.org/abs/1605.01748 db/journals/corr/corr1605.html#KonwarPKLMS16

Kishori M. Konwar N. Prakash 0001 Nancy A. Lynch Muriel Médard RADON: Repairable Atomic Data Object in Networks. 2016 abs/1605.05717 CoRR http://arxiv.org/abs/1605.05717 db/journals/corr/corr1605.html#KonwarPLM16

Viveck R. Cadambe Zhiying Wang 0001 Nancy A. Lynch Information-Theoretic Lower Bounds on the Storage Cost of Shared Memory Emulation. 2016 abs/1605.06844 CoRR http://arxiv.org/abs/1605.06844 db/journals/corr/corr1605.html#CadambeWL16

Nancy A. Lynch Cameron Musco Merav Parter Computational Tradeoffs in Biological Neural Networks: Self-Stabilizing Winner-Take-All Networks. 2016 abs/1610.02084 CoRR http://arxiv.org/abs/1610.02084 db/journals/corr/corr1610.html#LynchMP16

Keren Censor-Hillel Bernhard Haeupler Nancy A. Lynch Muriel Médard Bounded-Contention Coding for the additive network model. 297-308 2015 28 Distributed Comput. 5 https://doi.org/10.1007/s00446-015-0244-9 db/journals/dc/dc28.html#Censor-HillelHL15

Mohsen Ghaffari 0001 Cameron Musco Tsvetomira Radeva Nancy A. Lynch Distributed House-Hunting in Ant Colonies. 57-66 2015 PODC https://doi.org/10.1145/2767386.2767426 conf/podc/2015 db/conf/podc/podc2015.html#GhaffariMRL15 Nancy A. Lynch Calvin Newport A (Truly) Local Broadcast Layer for Unreliable Radio Networks. 109-118 2015 PODC https://doi.org/10.1145/2767386.2767411 conf/podc/2015 db/conf/podc/podc2015.html#LynchN15 Magnús M. Halldórsson Stephan Holzer Nancy A. Lynch A Local Broadcast Layer for the SINR Network Model. 129-138 2015 PODC https://doi.org/10.1145/2767386.2767432 conf/podc/2015 db/conf/podc/podc2015.html#HalldorssonHL15 Keren Censor-Hillel Erez Kantor Nancy A. Lynch Merav Parter Computing in Additive Networks with Bounded-Information Codes. 405-419 2015 DISC https://doi.org/10.1007/978-3-662-48653-5_27 conf/wdag/2015 db/conf/wdag/disc2015.html#Censor-HillelKL15

Nancy A. Lynch Srikanth Sastry Consensus using Asynchronous Failure Detectors. 2015 abs/1502.02538 CoRR http://arxiv.org/abs/1502.02538 db/journals/corr/corr1502.html#LynchS15

Mohsen Ghaffari 0001 Cameron Musco Tsvetomira Radeva Nancy A. Lynch Distributed House-Hunting in Ant Colonies. 2015 abs/1505.03799 CoRR http://arxiv.org/abs/1505.03799 db/journals/corr/corr1505.html#GhaffariMRL15

Magnús M. Halldórsson Stephan Holzer Nancy A. Lynch A Local Broadcast Layer for the SINR Network Model. 2015 abs/1505.04514 CoRR http://arxiv.org/abs/1505.04514 db/journals/corr/corr1505.html#HalldorssonHL15

Keren Censor-Hillel Erez Kantor Nancy A. Lynch Merav Parter Computing in Additive Networks with Bounded-Information Codes. 2015 abs/1508.03660 CoRR http://arxiv.org/abs/1508.03660 db/journals/corr/corr1508.html#Censor-HillelKL15

Majid Khabbazian Dariusz R. Kowalski Fabian Kuhn Nancy A. Lynch Decomposing broadcast algorithms using abstract MAC layers. 219-242 2014 12 Ad Hoc Networks https://doi.org/10.1016/j.adhoc.2011.12.001 db/journals/adhoc/adhoc12.html#KhabbazianKKL14

Keren Censor-Hillel Seth Gilbert Fabian Kuhn Nancy A. Lynch Calvin C. Newport Structuring unreliable radio networks. 1-19 2014 27 Distributed Comput. 1 https://doi.org/10.1007/s00446-013-0198-8 db/journals/dc/dc27.html#Censor-HillelGKLN14

Viveck R. Cadambe Nancy A. Lynch Muriel Médard Peter M. Musial A Coded Shared Atomic Memory Algorithm for Message Passing Architectures. 253-260 2014 NCA https://doi.org/10.1109/NCA.2014.44 https://doi.ieeecomputersociety.org/10.1109/NCA.2014.44 conf/nca/2014 db/conf/nca/nca2014.html#CadambeLMM14 Mohsen Ghaffari 0001 Erez Kantor Nancy A. Lynch Calvin C. Newport Multi-message broadcast with abstract MAC layers and unreliable links. 56-65 2014 PODC https://doi.org/10.1145/2611462.2611492 conf/podc/2014 db/conf/podc/podc2014.html#GhaffariKLN14 Christoph Lenzen 0001 Nancy A. Lynch Calvin C. Newport Tsvetomira Radeva Trade-offs between selection complexity and performance when searching the plane without communication. 252-261 2014 PODC https://doi.org/10.1145/2611462.2611463 conf/podc/2014 db/conf/podc/podc2014.html#LenzenLNR14 Alejandro Cornejo Anna R. Dornhaus Nancy A. Lynch Radhika Nagpal Task Allocation in Ant Colonies. 46-60 2014 DISC https://doi.org/10.1007/978-3-662-45174-8_4 conf/wdag/2014 db/conf/wdag/disc2014.html#CornejoDLN14

Mohsen Ghaffari 0001 Erez Kantor Nancy A. Lynch Calvin C. Newport Multi-Message Broadcast with Abstract MAC Layers and Unreliable Links. 2014 abs/1405.1671 CoRR http://arxiv.org/abs/1405.1671 db/journals/corr/corr1405.html#GhaffariKLN14

Christoph Lenzen 0001 Nancy A. Lynch Calvin C. Newport Tsvetomira Radeva Trade-offs between Selection Complexity and Performance when Searching the Plane without Communication. 2014 abs/1405.1688 CoRR http://arxiv.org/abs/1405.1688 db/journals/corr/corr1405.html#LenzenLNR14

Viveck R. Cadambe Nancy A. Lynch Muriel Médard Peter M. Musial A Coded Shared Atomic Memory Algorithm for Message Passing Architectures. 2014 abs/1407.4167 CoRR http://arxiv.org/abs/1407.4167 db/journals/corr/corr1407.html#CadambeLMM14

Nancy A. Lynch Alexander A. Shvartsman Special issue on DISC 2010. 139 2013 26 Distributed Comput. 3 https://doi.org/10.1007/s00446-013-0191-2 db/journals/dc/dc26.html#LynchS13

Nancy A. Lynch Timed and Probabilistic I/O Automata. 12 2013 LICS https://doi.org/10.1109/LICS.2013.67 https://doi.ieeecomputersociety.org/10.1109/LICS.2013.67 http://dl.acm.org/citation.cfm?id=2591424 conf/lics/2013 db/conf/lics/lics2013.html#Lynch13 Nancy A. Lynch Athena lecture: distributed computing theory for wireless networks and mobile systems. 2 2013 PODC https://doi.org/10.1145/2484239.2493966 conf/podc/2013 db/conf/podc/podc2013.html#Lynch13 Mohsen Ghaffari 0001 Nancy A. Lynch Calvin C. Newport The cost of radio network broadcast for different models of unreliable links. 345-354 2013 PODC https://doi.org/10.1145/2484239.2484259 conf/podc/2013 db/conf/podc/podc2013.html#GhaffariLN13

Seth Gilbert Nancy A. Lynch Perspectives on the CAP Theorem. 30-36 2012 45 Computer 2 https://doi.org/10.1109/MC.2011.389 http://doi.ieeecomputersociety.org/10.1109/MC.2011.389 db/journals/computer/computer45.html#GilbertL12

Mohsen Ghaffari 0001 Nancy A. Lynch Srikanth Sastry Leader election using loneliness detection. 427-450 2012 25 Distributed Comput. 6 https://doi.org/10.1007/s00446-012-0172-x db/journals/dc/dc25.html#GhaffariLS12

Nancy A. Lynch Tsvetomira Radeva Srikanth Sastry Asynchronous leader election and MIS using abstract MAC layer. 3 2012 FOMC https://doi.org/10.1145/2335470.2335473 conf/dialm/2012 db/conf/dialm/fomc2012.html#LynchRS12 Alejandro Cornejo Nancy A. Lynch Srikanth Sastry Asynchronous failure detectors. 243-252 2012 PODC https://doi.org/10.1145/2332432.2332482 conf/podc/2012 db/conf/podc/podc2012.html#ConrejoLS12 Keren Censor-Hillel Bernhard Haeupler Nancy A. Lynch Muriel Médard Bounded-Contention Coding for Wireless Networks in the High SNR Regime. 91-105 2012 DISC https://doi.org/10.1007/978-3-642-33651-5_7 conf/wdag/2012 db/conf/wdag/disc2012.html#Censor-HillelHLM12 Mohsen Ghaffari 0001 Bernhard Haeupler Nancy A. Lynch Calvin C. Newport Bounds on Contention Management in Radio Networks. 223-237 2012 DISC https://doi.org/10.1007/978-3-642-33651-5_16 conf/wdag/2012 db/conf/wdag/disc2012.html#GhaffariHLN12

Mohsen Ghaffari 0001 Bernhard Haeupler Nancy A. Lynch Calvin C. Newport Bounds on Contention Management in Radio Networks http://arxiv.org/abs/1206.0154 2012 CoRR abs/1206.0154 db/journals/corr/corr1206.html#abs-1206-0154

Keren Censor-Hillel Bernhard Haeupler Nancy A. Lynch Muriel Médard Bounded-Contention Coding for Wireless Networks in the High SNR Regime http://arxiv.org/abs/1208.6125 2012 CoRR abs/1208.6125 db/journals/corr/corr1208.html#abs-1208-6125

Calvin C. Newport Nancy A. Lynch Modeling radio networks. 101-118 2011 24 Distributed Comput. 2 https://doi.org/10.1007/s00446-011-0135-7 db/journals/dc/dc24.html#NewportL11

Fabian Kuhn Nancy A. Lynch Calvin C. Newport The abstract MAC layer. 187-206 2011 24 Distributed Comput. 3-4 https://doi.org/10.1007/s00446-010-0118-0 db/journals/dc/dc24.html#KuhnLN11

Paul C. Attie Rachid Guerraoui Petr Kuznetsov Nancy A. Lynch Sergio Rajsbaum The impossibility of boosting distributed service resilience. 927-950 2011 209 Inf. Comput. 6 https://doi.org/10.1016/j.ic.2010.07.005 db/journals/iandc/iandc209.html#AttieGKLR11

Majid Khabbazian Fabian Kuhn Nancy A. Lynch Muriel Médard Ali ParandehGheibi MAC design for analog network coding. 42-51 2011 FOMC https://doi.org/10.1145/1998476.1998484 conf/dialm/2011 db/conf/dialm/fomc2011.html#KhabbazianKLMP11 Jiang Wu Nancy D. Griffeth Calvin C. Newport Nancy A. Lynch Engineering the Virtual Node Layer for Reactive MANET Routing. 131-138 2011 NCA https://doi.org/10.1109/NCA.2011.26 https://doi.ieeecomputersociety.org/10.1109/NCA.2011.26 conf/nca/2011 db/conf/nca/nca2011.html#WuGNL11 Keren Censor-Hillel Seth Gilbert Fabian Kuhn Nancy A. Lynch Calvin C. Newport Structuring unreliable radio networks. 79-88 2011 PODC https://doi.org/10.1145/1993806.1993818 conf/podc/2011 db/conf/podc/podc2011.html#Censor-HillelGKLN11 Tsvetomira Radeva Nancy A. Lynch Partial reversal acyclicity. 353-354 2011 PODC https://doi.org/10.1145/1993806.1993880 conf/podc/2011 db/conf/podc/podc2011.html#RadevaL11 Mikhail Volkov 0002 Alejandro Cornejo Nancy A. Lynch Daniela Rus Environment Characterization for Non-recontaminating Frontier-Based Robotic Exploration. 19-35 2011 PRIMA https://doi.org/10.1007/978-3-642-25044-6_5 conf/prima/2011 db/conf/prima/prima2011.html#VolkovCLR11 Mohsen Ghaffari 0001 Nancy A. Lynch Srikanth Sastry Leader Election Using Loneliness Detection. 268-282 2011 DISC https://doi.org/10.1007/978-3-642-24100-0_26 conf/wdag/2011 db/conf/wdag/disc2011.html#GhaffariLS11 Dilsun Kirli Kaynar Nancy A. Lynch Roberto Segala Frits W. Vaandrager The Theory of Timed I/O Automata, Second Edition 2010 Synthesis Lectures on Distributed Computing Theory Morgan & Claypool Publishers 978-3-031-00875-7 978-3-031-02003-2 https://doi.org/10.2200/S00310ED1V01Y201011DCT005 https://doi.org/10.1007/978-3-031-02003-2

Seth Gilbert Nancy A. Lynch Alexander A. Shvartsman Rambo: a robust, reconfigurable atomic memory service for dynamic networks. 225-272 2010 23 Distributed Comput. 4 https://doi.org/10.1007/s00446-010-0117-1 db/journals/dc/dc23.html#GilbertLS10

Majid Khabbazian Fabian Kuhn Dariusz R. Kowalski Nancy A. Lynch Decomposing broadcast algorithms using abstract MAC layers. 13-22 2010 DIALM-PODC https://doi.org/10.1145/1860684.1860690 conf/dialm/2010 db/conf/dialm/dialm2010.html#KhabbazianKKL10 Shinya Umeno Nancy A. Lynch Automated Formal Verification of the DHCP Failover Protocol Using Timeout Order Abstraction. 136-145 2010 ICECCS https://doi.org/10.1109/ICECCS.2010.14 https://doi.ieeecomputersociety.org/10.1109/ICECCS.2010.14 conf/iceccs/2010 db/conf/iceccs/iceccs2010.html#UmenoL10 Alejandro Cornejo Nancy A. Lynch Reliably Detecting Connectivity Using Local Graph Traits. 87-102 2010 OPODIS https://doi.org/10.1007/978-3-642-17653-1_8 conf/opodis/2010 db/conf/opodis/opodis2010.html#CornejoL10 Fabian Kuhn Nancy A. Lynch Calvin C. Newport Rotem Oshman Andréa W. Richa Broadcasting in unreliable radio networks. 336-345 2010 PODC https://doi.org/10.1145/1835698.1835779 conf/podc/2010 db/conf/podc/podc2010.html#KuhnLNOR10 Fabian Kuhn Nancy A. Lynch Rotem Oshman Distributed computation in dynamic networks. 513-522 2010 STOC https://doi.org/10.1145/1806689.1806760 conf/stoc/2010 db/conf/stoc/stoc2010.html#KuhnLO10 Nancy A. Lynch Alexander A. Shvartsman Distributed Computing, 24th International Symposium, DISC 2010, Cambridge, MA, USA, September 13-15, 2010. Proceedings 2010 https://doi.org/10.1007/978-3-642-15763-9 978-3-642-15762-2 6343 DISC Lecture Notes in Computer Science Springer db/conf/wdag/disc2010.html

Rachid Guerraoui Maurice Herlihy Petr Kuznetsov Nancy A. Lynch Calvin C. Newport On the weakest failure detector ever. 353-366 2009 21 Distributed Comput. 5 https://doi.org/10.1007/s00446-009-0079-3 db/journals/dc/dc21.html#GuerraouiHKLN09

Chryssis Georgiou Nancy A. Lynch Panayiotis Mavrommatis Joshua A. Tauber Automated implementation of complex distributed algorithms specified in the IOA language. 153-171 2009 11 Int. J. Softw. Tools Technol. Transf. 2 https://doi.org/10.1007/s10009-008-0097-7 db/journals/sttt/sttt11.html#GeorgiouLMT09

Seth Gilbert Nancy A. Lynch Sayan Mitra 0001 Tina Nolte Self-stabilizing robot formations over unreliable networks. 2009 4 ACM Trans. Auton. Adapt. Syst. 3 https://doi.org/10.1145/1552297.1552300 db/journals/taas/taas4.html#GilbertLMN09 17:1-17:29

Alejandro Cornejo Nancy A. Lynch Saira Viqar Jennifer L. Welch Neighbor discovery in mobile ad hoc networks using an abstract MAC layer. 1460-1467 2009 Allerton https://doi.org/10.1109/ALLERTON.2009.5394502 conf/allerton/2009 db/conf/allerton/allerton2009.html#CornejoLVW09 Calvin C. Newport Nancy A. Lynch Modeling Radio Networks. 481-495 2009 CONCUR https://doi.org/10.1007/978-3-642-04081-8_32 conf/concur/2009 db/conf/concur/concur2009.html#NewportL09 Jiang Wu Nancy D. Griffeth Nancy A. Lynch Calvin C. Newport Ralph E. Droms Simulating Fixed Virtual Nodes for Adapting Wireline Protocols to MANET. 12-19 2009 NCA https://doi.org/10.1109/NCA.2009.34 https://doi.ieeecomputersociety.org/10.1109/NCA.2009.34 conf/nca/2009 db/conf/nca/nca2009.html#WuGLND09 Alejandro Cornejo Nancy A. Lynch Brief announcement: minimum spanning trees and cone-based topology control. 296-297 2009 PODC https://doi.org/10.1145/1582716.1582774 conf/podc/2009 db/conf/podc/podc2009.html#CornejoL09 Fabian Kuhn Nancy A. Lynch Calvin C. Newport Brief announcement: hardness of broadcasting in wireless networks with unreliable communication. 330-331 2009 PODC https://doi.org/10.1145/1582716.1582794 conf/podc/2009 db/conf/podc/podc2009.html#KuhnLN09 Shlomi Dolev Seth Gilbert Rachid Guerraoui Dariusz R. Kowalski Calvin Newport Fabian Kuhn Nancy A. Lynch Reliable distributed computing on unreliable radio channels. 1-4 2009 S³@MobiHoc https://doi.org/10.1145/1540358.1540360 conf/s-3/2009 db/conf/s-3/s-3-2009.html#DolevGGKNKL09 Fabian Kuhn Nancy A. Lynch Calvin C. Newport The Abstract MAC Layer. 48-62 2009 DISC https://doi.org/10.1007/978-3-642-04355-0_9 conf/wdag/2009 db/conf/wdag/disc2009.html#KuhnLN09 Alejandro Cornejo Fabian Kuhn Ruy Ley-Wild Nancy A. Lynch Keeping Mobile Robot Swarms Connected. 496-511 2009 DISC https://doi.org/10.1007/978-3-642-04355-0_50 conf/wdag/2009 db/conf/wdag/disc2009.html#CornejoKLL09

Myla Archer Hongping Lim Nancy A. Lynch Sayan Mitra 0001 Shinya Umeno Specifying and proving properties of timed I/O automata using Tempo. 139-170 2008 12 Des. Autom. Embed. Syst. 1-2 https://doi.org/10.1007/s10617-008-9022-2 db/journals/dafes/dafes12.html#ArcherLLMU08

Gregory V. Chockler Murat Demirbas Seth Gilbert Nancy A. Lynch Calvin C. Newport Tina Nolte Consensus and collision detectors in radio networks. 55-84 2008 21 Distributed Comput. 1 https://doi.org/10.1007/s00446-008-0056-2 db/journals/dc/dc21.html#ChocklerDGLNN08

Ran Canetti Ling Cheung Dilsun Kirli Kaynar Moses D. Liskov Nancy A. Lynch Olivier Pereira Roberto Segala Analyzing Security Protocols Using Time-Bounded Task-PIOAs. 111-159 2008 18 Discret. Event Dyn. Syst. 1 https://doi.org/10.1007/s10626-007-0032-1 db/journals/deds/deds18.html#CanettiCKLLPS08

Rachid Guerraoui Nancy A. Lynch A general characterization of indulgence. 2008 3 ACM Trans. Auton. Adapt. Syst. 4 https://doi.org/10.1145/1452001.1452010 db/journals/taas/taas3.html#GuerraouiL08 20:1-20:19

Sayan Mitra 0001 Daniel Liberzon Nancy A. Lynch Verifying average dwell time of hybrid systems. 2008 8 ACM Trans. Embed. Comput. Syst. 1 https://doi.org/10.1145/1457246.1457249 db/journals/tecs/tecs8.html#MitraLL08 3:1-3:37

Ran Canetti Ling Cheung Dilsun Kirli Kaynar Nancy A. Lynch Olivier Pereira Modeling Computational Security in Long-Lived Systems. 114-130 2008 CONCUR https://doi.org/10.1007/978-3-540-85361-9_12 conf/concur/2008 db/conf/concur/concur2008.html#CanettiCKLP08 Gregory V. Chockler Seth Gilbert Nancy A. Lynch Virtual infrastructure for collision-prone wireless networks. 233-242 2008 PODC https://doi.org/10.1145/1400751.1400783 conf/podc/2008 db/conf/podc/podc2008.html#ChocklerGL08 Alejandro Cornejo Nancy A. Lynch Connectivity Service for Mobile Ad-Hoc Networks. 292-297 2008 SASO Workshops https://doi.org/10.1109/SASOW.2008.62 https://doi.ieeecomputersociety.org/10.1109/SASOW.2008.62 conf/saso/2008w db/conf/saso/saso2008w.html#CornejoL08 Seth Gilbert Nancy A. Lynch Sayan Mitra 0001 Tina Nolte Self-stabilizing Mobile Robot Formations with Virtual Nodes. 188-202 2008 SSS https://doi.org/10.1007/978-3-540-89335-6_16 conf/sss/2008 db/conf/sss/sss2008.html#GilbertLMN08 Ran Canetti Ling Cheung Dilsun Kirli Kaynar Nancy A. Lynch Olivier Pereira Modeling Computational Security in Long-Lived Systems. 2008 Theoretical Foundations of Practical Information Security http://drops.dagstuhl.de/opus/volltexte/2009/1890/ conf/dagstuhl/2008P8491 db/conf/dagstuhl/P8491.html#CanettiCKLP08

Ran Canetti Ling Cheung Dilsun Kirli Kaynar Nancy A. Lynch Olivier Pereira Modeling Computational Security in Long-Lived Systems, Version 2. 492 2008 2008 IACR Cryptol. ePrint Arch. http://eprint.iacr.org/2008/492 db/journals/iacr/iacr2008.html#CanettiCKLP08

Nancy A. Lynch Roberto Segala Frits W. Vaandrager Observing Branching Structure through Probabilistic Contexts. 977-1013 2007 37 SIAM J. Comput. 4 https://doi.org/10.1147/S0097539704446487 db/journals/siamcomp/siamcomp37.html#LynchSV07

Matthew Brown 0005 Seth Gilbert Nancy A. Lynch Calvin C. Newport Tina Nolte Michael Spindel The virtual node layer: a programming abstraction for wireless sensor networks. 7-12 2007 4 SIGBED Rev. 3 https://doi.org/10.1145/1317103.1317105 db/journals/sigbed/sigbed4.html#BrownGLNNS07

Ran Canetti Ling Cheung Dilsun Kirli Kaynar Nancy A. Lynch Olivier Pereira Compositional Security for Task-PIOAs. 125-139 2007 CSF https://doi.org/10.1109/CSF.2007.15 https://doi.ieeecomputersociety.org/10.1109/CSF.2007.15 conf/csfw/2007 db/conf/csfw/csf2007.html#CanettiCKLP07 Rui Fan 0004 Ralph E. Droms Nancy D. Griffeth Nancy A. Lynch The DHCP Failover Protocol: A Formal Perspective. 211-226 2007 conf/forte/2007 FORTE https://doi.org/10.1007/978-3-540-73196-2_14 db/conf/forte/forte2007.html#FanDGL07 Shinya Umeno Nancy A. Lynch Safety Verification of an Aircraft Landing Protocol: A Refinement Approach. 557-572 2007 conf/hybrid/2007 HSCC https://doi.org/10.1007/978-3-540-71493-4_43 db/conf/hybrid/hscc2007.html#UmenoL07 Sayan Mitra 0001 Nancy A. Lynch Trace-Based Semantics for Probabilistic Timed I/O Automata. 718-722 2007 conf/hybrid/2007 HSCC https://doi.org/10.1007/978-3-540-71493-4_69 db/conf/hybrid/hscc2007.html#MitraL07 Tina Nolte Nancy A. Lynch A Virtual Node-Based Tracking Algorithm for Mobile Networks. 1 2007 conf/icdcs/2007 ICDCS https://doi.org/10.1109/ICDCS.2007.82 https://doi.ieeecomputersociety.org/10.1109/ICDCS.2007.82 db/conf/icdcs/icdcs2007.html#NolteL07 Rachid Guerraoui Maurice Herlihy Petr Kouznetsov Nancy A. Lynch Calvin C. Newport On the weakest failure detector ever. 235-243 2007 conf/podc/2007 PODC https://doi.org/10.1145/1281100.1281135 db/conf/podc/podc2007.html#GuerraouiHKLN07 Tina Nolte Nancy A. Lynch Self-stabilization and Virtual Node Layer Emulations. 394-408 2007 conf/sss/2007 SSS https://doi.org/10.1007/978-3-540-76627-8_30 db/conf/sss/sss2007.html#NolteL07 Nancy A. Lynch Distributed computing theory: algorithms, impossibility results, models, and proofs. 247 2007 conf/stoc/2007 STOC https://doi.org/10.1145/1250790.1250826 db/conf/stoc/stoc2007.html#Lynch07 Nancy A. Lynch DISC 20th Anniversary: Invited Talk My Early Days in Distributed Computing Theory: 1979-1982. 505 2007 conf/wdag/2007 DISC https://doi.org/10.1007/978-3-540-75142-7_47 db/conf/wdag/disc2007.html#Lynch07

Ran Canetti Ling Cheung Nancy A. Lynch Olivier Pereira On the Role of Scheduling in Simulation-Based Security. 102 2007 2007 IACR Cryptol. ePrint Arch. http://eprint.iacr.org/2007/102 db/journals/iacr/iacr2007.html#CanettiCLP07

Ran Canetti Ling Cheung Dilsun Kirli Kaynar Nancy A. Lynch Olivier Pereira Modeling Computational Security in Long-Lived Systems. 406 2007 2007 IACR Cryptol. ePrint Arch. http://eprint.iacr.org/2007/406 db/journals/iacr/iacr2007.html#CanettiCKLP07

Dilsun Kirli Kaynar Nancy A. Lynch Roberto Segala Frits W. Vaandrager The Theory of Timed I/O Automata 2006 Synthesis Lectures on Computer Science Morgan & Claypool Publishers https://doi.org/10.2200/S00006ED1V01Y200508CSL001

Rui Fan 0004 Nancy A. Lynch Gradient clock synchronization. 255-266 2006 18 Distributed Comput. 4 https://doi.org/10.1007/s00446-005-0135-6 db/journals/dc/dc18.html#FanL06

Ling Cheung Nancy A. Lynch Roberto Segala Frits W. Vaandrager Switched PIOA: Parallel composition via distributed scheduling. 83-108 2006 365 Theor. Comput. Sci. 1-2 https://doi.org/10.1016/j.tcs.2006.07.033 db/journals/tcs/tcs365.html#CheungLSV06

Shinya Umeno Nancy A. Lynch Proving Safety Properties of an Aircraft Landing Protocol Using I/O Automata and the PVS Theorem Prover: A Case Study. 64-80 2006 conf/fm/2006 FM https://doi.org/10.1007/11813040_5 db/conf/fm/fm2006.html#UmenoL06 Sayan Mitra 0001 Nancy A. Lynch Daniel Liberzon Verifying Average Dwell Time by Solving Optimization Problems. 476-490 2006 conf/hybrid/2006 HSCC https://doi.org/10.1007/11730637_36 db/conf/hybrid/hscc2006.html#MitraLL06 Myla Archer Hongping Lim Nancy A. Lynch Sayan Mitra 0001 Shinya Umeno Specifying and proving properties of timed I/O automata in the TIOA toolkit. 129-138 2006 conf/memocode/2006 MEMOCODE https://doi.org/10.1109/MEMCOD.2006.1695916 https://doi.ieeecomputersociety.org/10.1109/MEMCOD.2006.1695916 http://dl.acm.org/citation.cfm?id=2674369 db/conf/memocode/memocode2006.html#ArcherLLMU06 Rui Fan 0004 Nancy A. Lynch An Omega (n log n) lower bound on the cost of mutual exclusion. 275-284 2006 conf/podc/2006 PODC https://doi.org/10.1145/1146381.1146423 db/conf/podc/podc2006.html#FanL06 Rachid Guerraoui Nancy A. Lynch A General Characterization of Indulgence. 16-34 2006 conf/sss/2006 SSS https://doi.org/10.1007/978-3-540-49823-0_2 db/conf/sss/sss2006.html#GuerraouiL06 Ran Canetti Ling Cheung Dilsun Kirli Kaynar Moses D. Liskov Nancy A. Lynch Olivier Pereira Roberto Segala Time-Bounded Task-PIOAs: A Framework for Analyzing Security Protocols. 238-253 2006 conf/wdag/2006 DISC https://doi.org/10.1007/11864219_17 db/conf/wdag/disc2006.html#CanettiCKLLPS06 Constantinos Djouvas Nancy D. Griffeth Nancy A. Lynch Testing Self-Similar Networks. 67-82 2006 conf/mbt/2006 MBT https://doi.org/10.1016/j.entcs.2006.09.007 db/conf/mbt/mbt2006.html#DjouvasGL06 Sayan Mitra 0001 Nancy A. Lynch Proving Approximate Implementations for Probabilistic I/O Automata. 71-93 2006 conf/smt/2006 PDPAR/PaUL@FLoC https://doi.org/10.1016/j.entcs.2006.11.040 db/conf/smt/pdpar2006.html#MitraL07

Shlomi Dolev Seth Gilbert Nancy A. Lynch Alexander A. Shvartsman Jennifer L. Welch GeoQuorums: implementing atomic memory in mobile ad hoc networks. 125-155 2005 18 Distributed Comput. 2 https://doi.org/10.1007/s00446-005-0140-9 db/journals/dc/dc18.html#DolevGLSW05

Chryssis Georgiou Nancy A. Lynch Panayiotis Mavrommatis Joshua A. Tauber Automated Implementation of Complex Distributed Algorithms Specified in the IOA Language. 128-134 2005 conf/ISCApdcs/2005 PDCS db/conf/ISCApdcs/ISCApdcs2005.html#GeorgiouLMT05 Nancy A. Lynch Sayan Mitra 0001 Tina Nolte Motion Coordination using Virtual Nodes. 2823-2828 2005 CDC/ECC https://doi.org/10.1109/CDC.2005.1582591 conf/cdc/2005 db/conf/cdc/cdc2005.html#LynchMN05 Hongping Lim Dilsun Kirli Kaynar Nancy A. Lynch Sayan Mitra 0001 Translating Timed I/O Automata Specifications for Theorem Proving in PVS. 17-31 2005 conf/formats/2005 FORMATS https://doi.org/10.1007/11603009_3 db/conf/formats/formats2005.html#LimKLM05 Paul C. Attie Rachid Guerraoui Petr Kouznetsov Nancy A. Lynch Sergio Rajsbaum The Impossibility of Boosting Distributed Service Resilience. 39-48 2005 conf/icdcs/2005 ICDCS https://doi.org/10.1109/ICDCS.2005.79 https://doi.ieeecomputersociety.org/10.1109/ICDCS.2005.79 db/conf/icdcs/icdcs2005.html#AttieGKLR05 Gregory V. Chockler Murat Demirbas Seth Gilbert Nancy A. Lynch Calvin C. Newport Tina Nolte Reconciling the Theory and Practice of (Un)Reliable Wireless Broadcast. 42-48 2005 conf/icdcsw/2005 ICDCS Workshops https://doi.org/10.1109/ICDCSW.2005.120 https://doi.ieeecomputersociety.org/10.1109/ICDCSW.2005.120 db/conf/icdcsw/icdcsw2005.html#ChocklerDGLNN05 Shlomi Dolev Seth Gilbert Limor Lahiani Nancy A. Lynch Tina Nolte Timed Virtual Stationary Automata for Mobile Networks. 130-145 2005 conf/opodis/2005 OPODIS https://doi.org/10.1007/11795490_12 db/conf/opodis/opodis2005.html#DolevGLLN05 Shlomi Dolev Limor Lahiani Seth Gilbert Nancy A. Lynch Tina Nolte Brief announcement: virtual stationary automata for mobile networks. 323 2005 conf/podc/2005 PODC https://doi.org/10.1145/1073814.1073876 db/conf/podc/podc2005.html#DolevLGLN05 Shlomi Dolev Limor Lahiani Nancy A. Lynch Tina Nolte Self-stabilizing Mobile Node Location Management and Message Routing. 96-112 2005 conf/sss/2005 Self-Stabilizing Systems https://doi.org/10.1007/11577327_7 db/conf/sss/sss2005.html#DolevLLN05 Gregory V. Chockler Nancy A. Lynch Sayan Mitra 0001 Joshua A. Tauber Proving Atomicity: An Assertional Approach. 152-168 2005 conf/wdag/2005 DISC https://doi.org/10.1007/11561927_13 db/conf/wdag/disc2005.html#ChocklerLMT05

Ran Canetti Ling Cheung Dilsun Kirli Kaynar Moses D. Liskov Nancy A. Lynch Olivier Pereira Roberto Segala Using Probabilistic I/O Automata to Analyze an Oblivious Transfer Protocol. 452 2005 2005 IACR Cryptol. ePrint Arch. http://eprint.iacr.org/2005/452 db/journals/iacr/iacr2005.html#CanettiCKLLPS05

Toh Ne Win Michael D. Ernst Stephen J. Garland Dilsun Kirli Kaynar Nancy A. Lynch Using simulated execution in verifying distributed algorithms. 67-76 2004 6 Int. J. Softw. Tools Technol. Transf. 1 https://doi.org/10.1007/s10009-003-0126-5 db/journals/sttt/sttt6.html#WinEGKL04

Dilsun Kirli Kaynar Nancy A. Lynch Decomposing Verification of Timed I/O Automata. 84-101 https://doi.org/10.1007/978-3-540-30206-3_8 2004 conf/formats/2004 FORMATS/FTRTFT db/conf/formats/formats2004.html#KaynarL04 Ling Cheung Nancy A. Lynch Roberto Segala Frits W. Vaandrager Switched Probabilistic I/O Automata. 494-510 https://doi.org/10.1007/978-3-540-31862-0_35 2004 conf/ictac/2004 ICTAC db/conf/ictac/ictac2004.html#CheungLSV04 Joshua A. Tauber Nancy A. Lynch Michael J. Tsai Compiling IOA without Global Synchronization. 121-130 2004 conf/nca/2004 NCA https://doi.org/10.1109/NCA.2004.1347769 https://doi.ieeecomputersociety.org/10.1109/NCA.2004.1347769 db/conf/nca/nca2004.html#TauberLT04 Murat Demirbas Anish Arora Tina Nolte Nancy A. Lynch A Hierarchy-Based Fault-Local Stabilizing Algorithm for Tracking in Sensor Networks. 299-315 2004 conf/opodis/2004 OPODIS https://doi.org/10.1007/11516798_22 db/conf/opodis/opodis2004.html#DemirbasANL04 Rui Fan 0004 Indraneel Chakraborty Nancy A. Lynch Clock Synchronization for Wireless Networks. 400-414 2004 conf/opodis/2004 OPODIS https://doi.org/10.1007/11516798_29 db/conf/opodis/opodis2004.html#FanCL04 Rui Fan 0004 Nancy A. Lynch Gradient clock synchronization. 320-327 2004 conf/podc/2004 PODC https://doi.org/10.1145/1011767.1011815 db/conf/podc/podc2004.html#FanL04 Murat Demirbas Anish Arora Tina Nolte Nancy A. Lynch Brief announcement: STALK: a self-stabilizing hierarchical tracking service for sensor networks. 378 2004 conf/podc/2004 PODC https://doi.org/10.1145/1011767.1011836 db/conf/podc/podc2004.html#DemirbasANL04 Shlomi Dolev Seth Gilbert Nancy A. Lynch Elad Schiller Alexander A. Shvartsman Jennifer L. Welch Brief announcement: virtual mobile nodes for mobile ad hoc networks. 385 2004 conf/podc/2004 PODC https://doi.org/10.1145/1011767.1011845 db/conf/podc/podc2004.html#DolevGLSSW04 Shlomi Dolev Seth Gilbert Nancy A. Lynch Elad Schiller Alexander A. Shvartsman Jennifer L. Welch Virtual Mobile Nodes for Mobile Ad Hoc Networks. 230-244 https://doi.org/10.1007/978-3-540-30186-8_17 2004 conf/wdag/2004 DISC db/conf/wdag/disc2004.html#DolevGLSSW04

Nancy A. Lynch Some perspectives on PODC. 71-74 2003 16 Distributed Comput. 2-3 https://doi.org/10.1007/s00446-002-0072-6 db/journals/dc/dc16.html#Lynch03

Nancy A. Lynch Roberto Segala Frits W. Vaandrager Hybrid I/O automata. 105-157 2003 185 Inf. Comput. 1 https://doi.org/10.1016/S0890-5401(03)00067-1 db/journals/iandc/iandc185.html#LynchSV03

Nancy A. Lynch Alexander A. Shvartsman Communication and Data Sharing for Dynamic Distributed Systems. 62-67 2003 conf/ac/2003dc Future Directions in Distributed Computing https://doi.org/10.1007/3-540-37795-6_13 db/conf/ac/dc2003.html#LynchS03 Nancy A. Lynch Input/Output Automata: Basic, Timed, Hybrid, Probabilistic, Dynamic, ... 187-188 https://doi.org/10.1007/978-3-540-45187-7_12 2003 conf/concur/2003 CONCUR db/conf/concur/concur2003.html#Lynch03 Nancy A. Lynch Roberto Segala Frits W. Vaandrager Compositionality for Probabilistic Automata. 204-222 https://doi.org/10.1007/978-3-540-45187-7_14 2003 conf/concur/2003 CONCUR db/conf/concur/concur2003.html#LynchSV03 Seth Gilbert Nancy A. Lynch Alexander A. Shvartsman RAMBO II: Rapidly Reconfigurable Atomic Memory for Dynamic Networks. 259-268 2003 conf/dsn/2003 DSN https://doi.org/10.1109/DSN.2003.1209936 https://doi.ieeecomputersociety.org/10.1109/DSN.2003.1209936 db/conf/dsn/dsn2003.html#GilbertLS03 Sayan Mitra 0001 Yong Wang Nancy A. Lynch Eric Feron Safety Verification of Model Helicopter Controller Using Hybrid Input/Output Automata. 343-358 2003 conf/hybrid/2003 HSCC https://doi.org/10.1007/3-540-36580-X_26 db/conf/hybrid/hscc2003.html#MitraWLF03 Nancy A. Lynch Working with mike on distributed computing theory, 1978--1992. 11 2003 conf/podc/2003 PODC https://doi.org/10.1145/872035.872037 db/conf/podc/podc2003.html#Lynch03 Rui Fan 0004 Nancy A. Lynch Brief announcement: efficient replication of large data objects. 335 2003 conf/podc/2003 PODC https://doi.org/10.1145/872035.872085 db/conf/podc/podc2003.html#FanL03 Dilsun Kirli Kaynar Nancy A. Lynch Roberto Segala Frits W. Vaandrager Timed I/O Automata: A Mathematical Framework for Modeling and Analyzing Real-Time Systems. 166-177 2003 conf/rtss/2003 RTSS https://doi.org/10.1109/REAL.2003.1253264 https://doi.ieeecomputersociety.org/10.1109/REAL.2003.1253264 db/conf/rtss/rtss2003.html#KaynarLSV03 Toh Ne Win Michael D. Ernst Stephen J. Garland Dilsun Kirli Kaynar Nancy A. Lynch Using Simulated Execution in Verifying Distributed Algorithms. 283-297 2003 conf/vmcai/2003 VMCAI https://doi.org/10.1007/3-540-36384-X_23 db/conf/vmcai/vmcai2003.html#WinEGKL03 Rui Fan 0004 Nancy A. Lynch Efficient Replication of Large Data Objects. 75-91 https://doi.org/10.1007/978-3-540-39989-6_6 2003 conf/wdag/2003 DISC db/conf/wdag/disc2003.html#FanL03 Shlomi Dolev Seth Gilbert Nancy A. Lynch Alexander A. Shvartsman Jennifer L. Welch GeoQuorums: Implementing Atomic Memory in Mobile Ad Hoc Networks. 306-320 https://doi.org/10.1007/978-3-540-39989-6_22 2003 conf/wdag/2003 DISC db/conf/wdag/disc2003.html#DolevGLSW03

Seth Gilbert Nancy A. Lynch Brewer's conjecture and the feasibility of consistent, available, partition-tolerant web services. 51-59 2002 33 SIGACT News 2 https://doi.org/10.1145/564585.564601 https://www.wikidata.org/entity/Q57256282 db/journals/sigact/sigact33.html#GilbertL02

Idit Keidar Roger Khazan Nancy A. Lynch Alexander A. Shvartsman An inheritance-based technique for building simulation proofs incrementally. 63-91 2002 11 ACM Trans. Softw. Eng. Methodol. 1 https://doi.org/10.1145/504087.504090 db/journals/tosem/tosem11.html#KeidarKLS02

Carolos Livadas Nancy A. Lynch A Formal Venture into Reliable Multicast Territory. 146-161 2002 conf/forte/2002 FORTE https://doi.org/10.1007/3-540-36135-9_10 db/conf/forte/forte2002.html#LivadasL02 Andrej Bogdanov Stephen J. Garland Nancy A. Lynch Mechanical Translation of I/O Automaton Specifications into First-Order Logic. 364-368 2002 conf/forte/2002 FORTE https://doi.org/10.1007/3-540-36135-9_24 db/conf/forte/forte2002.html#BogdanovGL02 Nancy A. Lynch Dahlia Malkhi David Ratajczak Atomic Data Access in Distributed Hash Tables. 295-305 2002 conf/iptps/2002 IPTPS https://doi.org/10.1007/3-540-45748-8_28 db/conf/iptps/iptps2002.html#LynchMR02 Ziv Bar-Joseph Idit Keidar Nancy A. Lynch Early-Delivery Dynamic Atomic Broadcast. 1-16 2002 conf/wdag/2002 DISC https://doi.org/10.1007/3-540-36108-1_1 db/conf/wdag/disc2002.html#Bar-JosephKL02 Nancy A. Lynch Alexander A. Shvartsman RAMBO: A Reconfigurable Atomic Memory Service for Dynamic Networks. 173-190 2002 conf/wdag/2002 DISC https://doi.org/10.1007/3-540-36108-1_12 db/conf/wdag/disc2002.html#LynchS02

Elizabeth Borowsky Eli Gafni Nancy A. Lynch Sergio Rajsbaum The BG distributed simulation algorithm. 127-146 2001 14 Distributed Comput. 3 https://doi.org/10.1007/PL00008933 db/journals/dc/dc14.html#BorowskyGLR01

Alan D. Fekete Nancy A. Lynch Alexander A. Shvartsman Specifying and using a partitionable group communication service. 171-216 2001 19 ACM Trans. Comput. Syst. 2 https://doi.org/10.1145/377769.377776 db/journals/tocs/tocs19.html#FeketeLS01

Paul C. Attie Nancy A. Lynch Dynamic Input/Output Automata: A Formal Model for Dynamic Systems. 137-151 2001 conf/concur/2001 CONCUR https://doi.org/10.1007/3-540-44685-0_10 db/conf/concur/concur2001.html#AttieL01 Nancy A. Lynch Roberto Segala Frits W. Vaandrager Hybrid I/O Automata Revisited. 403-417 2001 conf/hybrid/2001 HSCC https://doi.org/10.1007/3-540-45351-2_33 db/conf/hybrid/hscc2001.html#LynchSV01 Nancy A. Lynch Implementing atomic objects in a dynamic environment. 16 2001 conf/podc/2001 PODC https://doi.org/10.1145/383962.383977 db/conf/podc/podc2001.html#Lynch01 Paul C. Attie Nancy A. Lynch Dynamic input/output automata, a formal model for dynamic systems. 314-316 2001 conf/podc/2001 PODC https://doi.org/10.1145/383962.384051 db/conf/podc/podc2001.html#AttieL01

Anna Pogosyants Roberto Segala Nancy A. Lynch Verification of the randomized consensus algorithm of Aspnes and Herlihy: a case study. 155-186 2000 13 Distributed Comput. 3 https://doi.org/10.1007/PL00008917 db/journals/dc/dc13.html#PogosyantsSL00

Soma Chaudhuri Maurice Herlihy Nancy A. Lynch Mark R. Tuttle Tight bounds for k-set agreement. 912-943 2000 47 J. ACM 5 https://doi.org/10.1145/355483.355489 db/journals/jacm/jacm47.html#ChaudhuriHLT00

Carolos Livadas John Lygeros Nancy A. Lynch High-level modeling and analysis of the traffic alert and collision avoidance system (TCAS). 926-948 2000 88 Proc. IEEE 7 https://doi.org/10.1109/5.871302 db/journals/pieee/pieee88.html#LivadasLL00

Roberto De Prisco Butler W. Lampson Nancy A. Lynch Revisiting the PAXOS algorithm. 35-91 2000 243 Theor. Comput. Sci. 1-2 db/journals/tcs/tcs243.html#PriscoLL00 https://doi.org/10.1016/S0304-3975(00)00042-6

Tadashi Araragi Paul C. Attie Idit Keidar Kiyoshi Kogure Victor Luchangco Nancy A. Lynch Ken Mano On Formal Modeling of Agent Computations. 48-62 2000 conf/faabs/2000 FAABS https://doi.org/10.1007/3-540-45484-5_4 db/conf/faabs/faabs2000.html#AraragiAKKLLM00 Idit Keidar Roger Khazan Nancy A. Lynch Alexander A. Shvartsman An inheritance-based technique for building simulation proofs incrementally. 478-487 2000 conf/icse/2000 ICSE https://doi.org/10.1145/337180.337358 db/conf/icse/icse2000.html#KeidarKLS00 Ziv Bar-Joseph Idit Keidar Tal Anker Nancy A. Lynch Totally Ordered Multicast with Bounded Delays and Variable Rates. 143-162 2000 conf/opodis/2000 OPODIS db/conf/opodis/opodis00.html#Bar-JosephKAL00 Nancy A. Lynch Bruce H. Krogh Hybrid Systems: Computation and Control, Third International Workshop, HSCC 2000, Pittsburgh, PA, USA, March 23-25, 2000, Proceedings HSCC Lecture Notes in Computer Science 1790 Springer 2000 3-540-67259-1 https://doi.org/10.1007/3-540-46430-1 db/conf/hybrid/hscc2000.html

Victor R. Basili Laszlo A. Belady Barry W. Boehm Frederick P. Brooks Jr. James Browne Richard A. DeMillo Stuart I. Feldman Cordell Green Butler W. Lampson Duncan H. Lawrie Nancy G. Leveson Nancy A. Lynch Mark D. Weiser Jeannette M. Wing NSF workshop on a software research program for the 21st century. 37-44 1999 24 ACM SIGSOFT Softw. Eng. Notes 3 https://doi.org/10.1145/311963.311993 db/journals/sigsoft/sigsoft24.html#BasiliBBBBDFGLL99

Nancy A. Lynch Nir Shavit Alexander A. Shvartsman Dan Touitou Timing Conditions for Linearizability in Uniform Counting Networks. 67-91 1999 220 Theor. Comput. Sci. 1 db/journals/tcs/tcs220.html#LynchSST99 https://doi.org/10.1016/S0304-3975(98)00237-0

Alan D. Fekete David Gupta Victor Luchangco Nancy A. Lynch Alexander A. Shvartsman Eventually-Serializable Data Services. 113-156 1999 220 Theor. Comput. Sci. 1 db/journals/tcs/tcs220.html#FeketeGLLS99 https://doi.org/10.1016/S0304-3975(98)00239-4

Nancy A. Lynch I/O Automaton Models and Proofs for Shared-Key Communication Systems. 14-29 1999 conf/csfw/1999 CSFW https://doi.org/10.1109/CSFW.1999.779759 https://doi.ieeecomputersociety.org/10.1109/CSFW.1999.779759 db/conf/csfw/csfw1999.html#Lynch99 Nancy A. Lynch High-Level Modeling and Analysis of an Air-Traffic Management System (Abstract). 3 1999 conf/hybrid/1999 HSCC db/conf/hybrid/hscc99.html#Lynch99 https://doi.org/10.1007/3-540-48983-5_3 Carolos Livadas John Lygeros Nancy A. Lynch High-Level Modeling and Analysis of TCAS. 115-125 1999 conf/rtss/1999 RTSS https://doi.org/10.1109/REAL.1999.818833 https://doi.ieeecomputersociety.org/10.1109/REAL.1999.818833 db/conf/rtss/rtss1999.html#LivadasLL99 Jason Hickey Nancy A. Lynch Robbert van Renesse Specifications and Proofs for Ensemble Layers. 119-133 1999 conf/tacas/1999 TACAS https://doi.org/10.1007/3-540-49059-0_9 db/conf/tacas/tacas99.html#HickeyLR99 Roberto De Prisco Alan D. Fekete Nancy A. Lynch Alexander A. Shvartsman A Dynamic Primary Configuration Group Communication Service. 64-78 https://doi.org/10.1007/3-540-48169-9_5 1999 conf/wdag/1999 DISC db/conf/wdag/disc99.html#PriscoFLS99

Roberto Segala Rainer Gawlick Jørgen F. Søgaard-Andersen Nancy A. Lynch Liveness in Timed and Untimed Systems. 119-171 1998 141 Inf. Comput. 2 db/journals/iandc/iandc141.html#SegalaGSL98 https://doi.org/10.1006/inco.1997.2671

Alan D. Fekete M. Frans Kaashoek Nancy A. Lynch Implementing Sequentially Consistent Shared Objects using Broadcast and Point-to-Point Communication. 35-69 1998 45 J. ACM 1 db/journals/jacm/jacm45.html#FeketeKL98 https://doi.org/10.1145/273865.273884

Mandana Vaziri Nancy A. Lynch Jeannette M. Wing Proving Correctness of a Controller Algorithm for the RAID Level 5 System. 16-25 1998 conf/ftcs/1998 FTCS db/conf/ftcs/ftcs98.html#VaziriLW98 https://doi.org/10.1109/FTCS.1998.689451 https://doi.ieeecomputersociety.org/10.1109/FTCS.1998.689451 Carolos Livadas Nancy A. Lynch Formal Verification of Safety-Critical Hybrid Systems. 253-272 1998 conf/hybrid/1998 HSCC db/conf/hybrid/hscc98.html#LivadasL98 https://doi.org/10.1007/3-540-64358-3_44 John Lygeros Nancy A. Lynch Strings of Vehicles: Modeling and Safety Conditions. 273-288 1998 conf/hybrid/1998 HSCC db/conf/hybrid/hscc98.html#LygerosL98 https://doi.org/10.1007/3-540-64358-3_45 Roberto De Prisco Alan D. Fekete Nancy A. Lynch Alexander A. Shvartsman A Dynamic View-Oriented Group Communication Service. 227-236 1998 conf/podc/1998 PODC https://doi.org/10.1145/277697.277739 db/conf/podc/podc98.html#PriscoFLS98 Henrik Ejersbo Jensen Nancy A. Lynch A Proof of Burns N-Process Mutual Exclusion Algorithm Using Abstraction. 409-423 https://doi.org/10.1007/BFb0054186 1998 conf/tacas/1998 TACAS db/conf/tacas/tacas98.html#JensenL98 Roger Khazan Alan D. Fekete Nancy A. Lynch Multicast Group Communication as a Base for a Load-Balancing Replicated Data Service. 258-272 https://doi.org/10.1007/BFb0056488 1998 conf/wdag/1998 DISC db/conf/wdag/disc98.html#KhazanFL98 Nancy A. Lynch Alexander A. Shvartsman Robust Emulation of Shared Memory Using Dynamic Quorum-Acknowledged Broadcasts. 272-281 1997 conf/ftcs/1997 FTCS db/conf/ftcs/ftcs97.html#LynchS97 https://doi.org/10.1109/FTCS.1997.614100 https://doi.ieeecomputersociety.org/10.1109/FTCS.1997.614100 Ekaterina Dolginova Nancy A. Lynch Safety Verification for Automated Platoon Maneuvers: A Case Study. 154-170 1997 conf/hybrid/1997hart HART db/conf/hybrid/hart97.html#DolginovaL97 https://doi.org/10.1007/BFb0014723 Alan D. Fekete Nancy A. Lynch Alexander A. Shvartsman Specifying and Using a Partitionable Group Communication Service. 53-62 1997 conf/podc/1997 PODC db/conf/podc/podc97.html#FeketeLS97 https://doi.org/10.1145/259380.259422 Nancy A. Lynch In Memory of Anna Pogosyants. 20-21 1997 conf/wdag/1997 WDAG db/conf/wdag/wdag97.html#Lynch97 https://doi.org/10.1007/BFb0030672 Anna Pogosyants Roberto Segala Nancy A. Lynch Verification of the Randomized Consensus Algorithms of Aspnes and Herlihy: A Case Study. 22-36 1997 conf/wdag/1997 WDAG db/conf/wdag/wdag97.html#PogosyantsSL97 https://doi.org/10.1007/BFb0030673 Roberto De Prisco Butler W. Lampson Nancy A. Lynch Revisiting the Paxos Algorithm. 111-125 1997 conf/wdag/1997 WDAG db/conf/wdag/wdag97.html#PriscoLL97 https://doi.org/10.1007/BFb0030679 Nancy A. Lynch Distributed Algorithms Morgan Kaufmann 1996 1-55860-348-4

Nancy A. Lynch Frits W. Vaandrager Action Transducers and Timed Automata. 499-538 1996 8 Formal Aspects Comput. 5 db/journals/fac/fac8.html#LynchV96 https://doi.org/10.1007/BF01211907

Nancy A. Lynch Frits W. Vaandrager Forward and Backward Simulations, II: Timing-Based Systems. 1-25 1996 128 Inf. Comput. 1 db/journals/iandc/iandc128.html#LynchV96 https://doi.org/10.1006/inco.1996.0060

George Varghese Nancy A. Lynch A Tradeoff Between Safety and Liveness for Randomized Coordinated Attack. 57-71 1996 128 Inf. Comput. 1 db/journals/iandc/iandc128.html#VargheseL96 https://doi.org/10.1006/inco.1996.0063

Tsvetomir P. Petrov Anna Pogosyants Stephen J. Garland Victor Luchangco Nancy A. Lynch Computer-Assisted Verification of an Algorithm for Concurrent Timestamps. 29-44 1996 conf/forte/1996 FORTE db/conf/forte/forte1996.html#PetrovPGLL96 Michael S. Branicky Ekaterina Dolginova Nancy A. Lynch A Toolbox for Proving and Maintaining Hybrid Specifications. 18-30 1996 conf/hybrid/1996 Hybrid Systems db/conf/hybrid/hybrid96.html#BranickyDL96 https://doi.org/10.1007/BFb0031553 Nancy A. Lynch Sergio Rajsbaum On the Borowsky-Gafni Simulation Algorithm. 4-15 1996 conf/istcs/1996 ISTCS db/conf/istcs/istcs1996.html#LynchR96 Nancy A. Lynch Sergio Rajsbaum On the Borowsky-Gafni Simulation Algorithm (Abstract). 57 1996 conf/podc/1996 PODC db/conf/podc/podc96.html#LynchR96 https://doi.org/10.1145/248052.248060 Nancy A. Lynch Nir Shavit Alexander A. Shvartsman Dan Touitou Counting Networks are Practically Linearizable. 280-289 1996 conf/podc/1996 PODC db/conf/podc/podc96.html#LynchSST96 https://doi.org/10.1145/248052.248111 Alan D. Fekete David Gupta Victor Luchangco Nancy A. Lynch Alexander A. Shvartsman Eventually-Serializable Data Services. 300-309 1996 conf/podc/1996 PODC db/conf/podc/podc96.html#FeketeGLLS96 https://doi.org/10.1145/248052.248113 Henri B. Weinberg Nancy A. Lynch Correctness of vehicle control systems-a case study. 62-72 1996 conf/rtss/1996 RTSS https://doi.org/10.1109/REAL.1996.563701 https://doi.ieeecomputersociety.org/10.1109/REAL.1996.563701 db/conf/rtss/rtss1996.html#WeinbergL96

Nancy A. Lynch Roberto Segala A Comparison of Simulation Techniques and Algebraic Tachniques for Verifying Concurrent Systems. 231-265 1995 7 Formal Aspects Comput. 3 db/journals/fac/fac7.html#LynchS95 https://doi.org/10.1007/BF01211073

Forward and Backward Simulations: I. Untimed Systems Nancy A. Lynch Frits W. Vaandrager 214-233 Inf. Comput. September 1995 121 2 db/journals/iandc/iandc121.html#LynchV95 https://doi.org/10.1006/inco.1995.1134

Roberto Segala Nancy A. Lynch Probabilistic Simulations for Probabilistic Processes. 250-273 1995 2 Nord. J. Comput. 2 db/journals/njc/njc2.html#SegalaL95

Alan D. Fekete Nancy A. Lynch William E. Weihl Hybrid Atomicity for Nested Transactions. 151-178 1995 149 Theor. Comput. Sci. 1 db/journals/tcs/tcs149.html#FeketeLW95 https://doi.org/10.1016/0304-3975(95)00029-V preliminary version: ICDT 1992: 216-230

Gunter Leeb Nancy A. Lynch Proving Safety Properties of the Steam Boiler Controller. 318-338 1995 conf/dagstuhl/1995fm Formal Methods for Industrial Applications db/conf/dagstuhl/fm1995.html#LeebL95 https://doi.org/10.1007/BFb0027243 Henri B. Weinberg Nancy A. Lynch Norman M. Delisle Verification of Automated Vehicle Protection Systems. 101-113 1995 conf/hybrid/1995 Hybrid Systems db/conf/hybrid/hybrid95.html#WeinbergLD95 https://doi.org/10.1007/BFb0020938 Nancy A. Lynch Modelling and Verification of Automated Transit Systems, Using Timed Automata, Invariants and Simulations. 449-463 1995 conf/hybrid/1995 Hybrid Systems db/conf/hybrid/hybrid95.html#Lynch95 https://doi.org/10.1007/BFb0020967 Nancy A. Lynch Roberto Segala Frits W. Vaandrager Henri B. Weinberg Hybrid I/O Automata. 496-510 1995 conf/hybrid/1995 Hybrid Systems db/conf/hybrid/hybrid95.html#LynchSVW95 https://doi.org/10.1007/BFb0020971 Alan D. Fekete M. Frans Kaashoek Nancy A. Lynch Implementing Sequentially Consistent Shared Objects Using Broadcast and Point-to-Point Communication. 439-449 1995 conf/icdcs/1995 ICDCS db/conf/icdcs/icdcs95.html#FeketeKL95 https://doi.org/10.1109/ICDCS.1995.500049 https://doi.ieeecomputersociety.org/10.1109/ICDCS.1995.500049 Jon M. Kleinberg Hagit Attiya Nancy A. Lynch Trade-offs between Message Delivery and Quiesce Times in Conection Management Protocols (Preliminary Report). 258-267 1995 conf/istcs/1995 ISTCS db/conf/istcs/istcs1995.html#KleinbergAL95 https://doi.org/10.1109/ISTCS.1995.377024 https://doi.ieeecomputersociety.org/10.1109/ISTCS.1995.377024 Soma Chaudhuri Maurice Herlihy Nancy A. Lynch Mark R. Tuttle A Tight Lower Bound for Processor Coordination. 1-18 1995 Responsive Computer Systems https://doi.org/10.1007/978-1-4615-2271-3_1 books/sp/95/MF1995 db/books/collections/FM1995.html#ChaudhuriHLT95

Time Bounds for Real-Time Process Control in the Presence of Timing Uncertainty Hagit Attiya Nancy A. Lynch 183-232 Inf. Comput. April 1994 110 1 db/journals/iandc/iandc110.html#AttiyaL94 https://doi.org/10.1006/inco.1994.1030

Hagit Attiya Cynthia Dwork Nancy A. Lynch Larry J. Stockmeyer Bounds on the Time to Reach Agreement in the Presence of Timing Uncertainty. 122-152 1994 41 J. ACM 1 db/journals/jacm/jacm41.html#AttiyaDLS94 https://doi.org/10.1145/174644.174649

Hagit Attiya Nancy A. Lynch Nir Shavit Are Wait-Free Algorithms Fast? 725-763 1994 41 J. ACM 4 db/journals/jacm/jacm41.html#AttiyaLS94 https://doi.org/10.1145/179812.179902

Yehuda Afek Hagit Attiya Alan D. Fekete Michael J. Fischer Nancy A. Lynch Yishay Mansour Da-Wei Wang 0004 Lenore D. Zuck Reliable Communication Over Unreliable Channels. 1267-1297 1994 41 J. ACM 6 db/journals/jacm/jacm41.html#AfekAFFLMWZ94 https://doi.org/10.1145/195613.195651

Kenneth J. Goldman Nancy A. Lynch Quorum Consensus in Nested Transaction Systems. 537-585 1994 19 ACM Trans. Database Syst. 4 db/journals/tods/tods19.html#GoldmanL94 TODS19/P537.PDF https://doi.org/10.1145/195664.195666 https://www.wikidata.org/entity/Q128253220 conf/vldb/AspnesFLMW88 journals/dc/BarbaraG86 books/aw/BernsteinHG87 journals/tods/EagerS83 journals/tods/AbbadiT89 conf/pods/AbbadiSC85 journals/jcss/FeketeLMW90 conf/pods/FeketeLMW87 conf/sosp/Gifford79 journals/tc/Herlihy87 ... ... journals/tods/JajodiaM90 journals/tcs/LynchM88 conf/podc/LynchT87 ... journals/tocs/Reed83 journals/tods/Thomas79

Roberto Segala Nancy A. Lynch Probabilistic Simulations for Probabilistic Processes. 481-496 1994 conf/concur/1994 CONCUR db/conf/concur/concur1994.html#SegalaL94 https://doi.org/10.1007/978-3-540-48654-1_35 Nancy A. Lynch Atomic Transactions for Multiprocessor Programming: A Formal Approach. 125-142 1994 Specification of Parallel Algorithms conf/dimacs/dimacs18 db/conf/dimacs/dimacs18.html#Lynch94 https://doi.org/10.1090/dimacs/018/10 Nancy A. Lynch Proving performance propterties (even probabilistic ones). 3-20 1994 conf/forte/1994 FORTE db/conf/forte/forte1994.html#Lynch94 Victor Luchangco Ekrem Söylemez Stephen J. Garland Nancy A. Lynch Verifying timing properties of concurrent algorithms. 259-273 1994 conf/forte/1994 FORTE db/conf/forte/forte1994.html#LuchangcoSGL94 Rainer Gawlick Roberto Segala Jørgen F. Søgaard-Andersen Nancy A. Lynch Liveness in Timed and Untimed Systems. 166-177 1994 conf/icalp/1994 ICALP db/conf/icalp/icalp94.html#GawlickSSL94 https://doi.org/10.1007/3-540-58201-0_66 Nancy A. Lynch Isaac Saias Roberto Segala Proving Time Bounds for Randomized Distributed Algorithms. 314-323 1994 conf/podc/1994 PODC db/conf/podc/podc94.html#LynchSS94 https://doi.org/10.1145/197917.198117 Constance L. Heitmeyer Nancy A. Lynch The Generalized Railroad Crossing: A Case Study in Formal Verification of Real-Time Systems. 120-131 1994 conf/rtss/1994 RTSS db/conf/rtss/rtss1994.html#HeitmeyerL94 https://doi.org/10.1109/REAL.1994.342724 https://doi.ieeecomputersociety.org/10.1109/REAL.1994.342724

Michel X. Goemans Nancy A. Lynch Isaac Saias Number of faults a system can withstand without repairs. 1994 abs/math/9409220 CoRR http://arxiv.org/abs/math/9409220 db/journals/corr/corr9409.html#GoemansLS94

Nancy A. Lynch Isaac Saias Roberto Segala Proving time bounds for randomized distributed algorithms. 1994 abs/math/9409221 CoRR http://arxiv.org/abs/math/9409221 db/journals/corr/corr9409.html#LynchSS94

Nancy A. Lynch Michael Merritt William E. Weihl Alan D. Fekete Atomic Transactions I-XXI, 1-500 Morgan Kaufmann 1993 Morgan Kaufmann series in data management systems 1-55860-104-X

Jennifer L. Welch Nancy A. Lynch A Modular Drinking Philosophers Algorithm. 233-244 1993 6 Distributed Comput. 4 db/journals/dc/dc6.html#WelchL93 https://doi.org/10.1007/BF02242711

Bounds on Shared Memory for Mutual Exclusion James E. Burns Nancy A. Lynch 171-184 Inf. Comput. December 1993 107 2 db/journals/iandc/iandc107.html#BurnsL93 https://doi.org/10.1006/inco.1993.1065

Alan D. Fekete Nancy A. Lynch Yishay Mansour John Spinelli The Impossibility of Implementing Reliable Communication in the Face of Crashes. 1087-1107 1993 40 J. ACM 5 db/journals/jacm/jacm40.html#FeketeLMS93 https://doi.org/10.1145/174147.169676

Jørgen F. Søgaard-Andersen Stephen J. Garland John V. Guttag Nancy A. Lynch Anna Pogosyants Computer-Assisted Simulation Proofs. 305-319 1993 conf/cav/1993 CAV db/conf/cav/cav93.html#Sogaard-AndersenGGLP93 https://doi.org/10.1007/3-540-56922-7_25 A Tight Lower Bound for k-Set Agreement Soma Chaudhuri Maurice Herlihy Nancy A. Lynch Mark R. Tuttle 206-215 conf/focs/FOCS34 1993 FOCS db/conf/focs/focs93.html#ChaudhuriHLT93 https://doi.org/10.1109/SFCS.1993.366866 https://doi.ieeecomputersociety.org/10.1109/SFCS.1993.366866 Butler W. Lampson Nancy A. Lynch Jørgen F. Søgaard-Andersen Correctness of At-Most-Once Message Delivery Protocols. 385-400 1993 conf/forte/1993 FORTE db/conf/forte/forte1993.html#LampsonLS93 Soma Chaudhuri Rainer Gawlick Nancy A. Lynch Designing Algorithms for Distributed Systems with Partially Synchronized Clocks. 121-132 1993 conf/podc/1993 PODC db/conf/podc/podc93.html#ChaudhuriGL92 https://doi.org/10.1145/164051.164068 Nancy A. Lynch Simulation Techniques for Proving Properties of Real-Time Systems. 375-424 1993 conf/rex/1993 REX School/Symposium db/conf/rex/rex93.html#Lynch93 https://doi.org/10.1007/3-540-58043-3_24

Nancy A. Lynch Hagit Attiya Using Mappings to Prove Timing Properties. 121-139 1992 6 Distributed Comput. 2 db/journals/dc/dc6.html#LynchA92 https://doi.org/10.1007/BF02252683

Optimal Placement of Identical Resources in a Tree Michael J. Fischer Nancy D. Griffeth Leonidas J. Guibas Nancy A. Lynch 1-54 Inf. Comput. January 1992 96 1 db/journals/iandc/iandc96.html#FischerGGL92 https://doi.org/10.1016/0890-5401(92)90053-I

Maurice Herlihy Nancy A. Lynch Michael Merritt William E. Weihl On the Correctness of Orphan Management Algorithms. 881-930 1992 39 J. ACM 4 db/journals/jacm/jacm39.html#HerlihyLMW92 https://doi.org/10.1145/146585.146616

Butler W. Lampson Nancy A. Lynch Jørgen F. Søgaard-Andersen At-Most-Once Message Delivery. A Case Study in Algorithm Verification. 317-324 1992 conf/concur/1992 CONCUR db/conf/concur/concur1992.html#LampsonLS92 https://doi.org/10.1007/BFb0084800 Frits W. Vaandrager Nancy A. Lynch Action Transducers and Timed Automata. 436-455 1992 conf/concur/1992 CONCUR db/conf/concur/concur1992.html#VaandragerL92 https://doi.org/10.1007/BFb0084808 Alan D. Fekete Nancy A. Lynch William E. Weihl Hybrid Atomicity for Nested Transactions. 216-230 ICDT1992/P216.pdf 1992 ICDT db/conf/icdt/icdt92.html#FeketeLW92 conf/icdt/92 https://doi.org/10.1007/3-540-56039-4_43 ... conf/vldb/AspnesFLMW88 books/mk/EppingerMS91 journals/cacm/EswarranGLT76 journals/jcss/FeketeLMW90 books/mk/LynchMWF93 conf/pods/HerlihyW88 journals/jcss/HerlihyW91 journals/jacm/Korth83 journals/cacm/Liskov88 ... ... ... journals/tocs/SchwarzS84 journals/tc/Weihl88 journals/toplas/Weihl89 ... Rainer Gawlick Nancy A. Lynch Nir Shavit Concurrent Timestamping Made Simple. 171-183 1992 conf/istcs/1992 ISTCS db/conf/istcs/istcs1992.html#GawlickLS92 https://doi.org/10.1007/BFb0035176 George Varghese Nancy A. Lynch A Tradeoff Between Safety and Liveness for Randomized Coordinated Attack Protocols. 241-250 1992 conf/podc/1992 PODC db/conf/podc/podc92.html#VargheseL92 https://doi.org/10.1145/135419.135463 Nancy A. Lynch Nir Shavit Timing-Based Mutual Exclusion. 2-11 1992 conf/rtss/1992 RTSS db/conf/rtss/rtss1992.html#LynchS92 https://doi.org/10.1109/REAL.1992.242681 https://doi.ieeecomputersociety.org/10.1109/REAL.1992.242681 Nancy A. Lynch Frits W. Vaandrager Forward and Backward Simulations for Timing-Based Systems. 397-446 1991 conf/rex/1991 REX Workshop db/conf/rex/rex91.html#LynchV91 https://doi.org/10.1007/BFb0032002 Bounds on the Time to Reach Agreement in the Presence of Timing Uncertainty Hagit Attiya Cynthia Dwork Nancy A. Lynch Larry J. Stockmeyer 359-369 conf/stoc/STOC23 1991 STOC db/conf/stoc/stoc91.html#AttiyaDLS91 https://doi.org/10.1145/103418.103457

Alan D. Fekete Nancy A. Lynch Michael Merritt William E. Weihl Commutativity-Based Locking for Nested Transactions. 65-156 1990 41 J. Comput. Syst. Sci. 1 db/journals/jcss/jcss41.html#FeketeLMW90 https://doi.org/10.1016/0022-0000(90)90034-I

Alan D. Fekete Nancy A. Lynch The Need for Headers: An Impossibility Result for Communication over Unreliable Channels. 199-215 1990 conf/concur/1990 CONCUR db/conf/concur/concur1990.html#FeketeL90 https://doi.org/10.1007/BFb0039061 Are Wait-Free Algorithms Fast? (Extended Abstract) Hagit Attiya Nancy A. Lynch Nir Shavit 55-64 conf/focs/FOCS31a 1990 FOCS db/conf/focs/focs90.html#AttiyaLS90 https://doi.org/10.1109/FSCS.1990.89524 https://doi.ieeecomputersociety.org/10.1109/FSCS.1990.89524 Kenneth J. Goldman Nancy A. Lynch Modelling Shared State in a Shared Action Model 1990 conf/lics/1990 LICS 450-463 db/conf/lics/lics90.html#GoldmanL90 https://doi.org/10.1109/LICS.1990.113769 https://doi.ieeecomputersociety.org/10.1109/LICS.1990.113769 Nancy A. Lynch Hagit Attiya Using Mappings to Prove Timing Properties. 265-280 1990 conf/podc/1990 PODC db/conf/podc/podc90.html#LynchA90 https://doi.org/10.1145/93385.93428 conf/pods/90 Alan D. Fekete Nancy A. Lynch William E. Weihl A Serialization Graph Construction for Nested Transactions. 94-108 1990 PODS db/conf/pods/pods90.html#FeketeLW90 https://doi.org/10.1145/298514.298547 journals/anthology/cd1-3:PODS90/P094.PDF journals/anthology/dvd1:text/1-3/PODS90/P094.PDF conf/vldb/AspnesFLMW88 journals/jacm/BeeriBG89 books/aw/BernsteinHG87 conf/pods/FeketeLMW87 journals/jcss/FeketeLMW90 conf/podc/GoldmanL87 conf/pods/HadzilacosH88 journals/jacm/HerlihyLMW92 journals/cacm/Liskov88 journals/tcs/LynchM88 conf/icdt/LynchMWF88 conf/podc/LynchT87 ... ... ... conf/pods/Weihl89 journals/toplas/Weihl89 ... Leslie Lamport Nancy A. Lynch Distributed Computing: Models and Methods. 1157-1199 1990 books/el/Leeuwen90a Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B) db/books/collections/leeuwen90a.html#LamportL90 https://doi.org/10.1016/b978-0-444-88074-1.50023-8

Nancy A. Lynch Eugene W. Stark A Proof of the Kahn Principle for Input/Output Automata 81-92 Inf. Comput. July 1989 82 1 db/journals/iandc/iandc82.html#LynchS89 https://doi.org/10.1016/0890-5401(89)90066-7

Michael J. Fischer Nancy A. Lynch James E. Burns Allan Borodin Distributed FIFO Allocation of Identical Resources Using Small Shared Space. 90-114 1989 11 ACM Trans. Program. Lang. Syst. 1 https://doi.org/10.1145/59287.59292 db/journals/toplas/toplas11.html#FischerLBB89

Nancy A. Lynch A Hundred Impossibility Proofs for Distributed Computing. 1-28 1989 conf/podc/1989 PODC db/conf/podc/podc89.html#Lynch89 https://doi.org/10.1145/72981.72982 Alan D. Fekete Nancy A. Lynch Michael Merritt William E. Weihl Commutativity-Based Locking for Nested Transactions. 319-340 POS/1989/P319.pdf 1989 conf/pos/1989 POS db/conf/pos/pos89.html#FeketeLMW89 Nancy A. Lynch Multivalued Possibilities Mappings. 519-543 1989 conf/rex/1989 REX Workshop db/conf/rex/rex89.html#Lynch89 https://doi.org/10.1007/3-540-52559-9_77 Hagit Attiya Nancy A. Lynch Time Bounds for Real-Time Process Control in the Presence of Timing Uncertainty. 268-284 1989 conf/rtss/1989 RTSS db/conf/rtss/rtss1989.html#AttiyaL89 https://doi.org/10.1109/REAL.1989.63580 https://doi.ieeecomputersociety.org/10.1109/REAL.1989.63580

Jennifer L. Welch Nancy A. Lynch A New Fault-Tolerance Algorithm for Clock Synchronization 1-36 Inf. Comput. April 1988 77 1 db/journals/iandc/iandc77.html#WelchL88 https://doi.org/10.1016/0890-5401(88)90043-0

Cynthia Dwork Nancy A. Lynch Larry J. Stockmeyer Consensus in the presence of partial synchrony. 288-323 1988 35 J. ACM 2 https://doi.org/10.1145/42282.42283 https://www.wikidata.org/entity/Q29039874 db/journals/jacm/jacm35.html#DworkLS88

Nancy A. Lynch Michael Merritt Introduction to the Theory of Nested Transactions. 123-185 1988 62 Theor. Comput. Sci. 1-2 db/journals/tcs/tcs62.html#LynchM88 https://doi.org/10.1016/0304-3975(86)90014-9 preliminary version: ICDT 1986

Hector Garcia-Molina Boris Kogan Nancy A. Lynch Reliable Broadcast in Networks with Nonprogrammable Servers. 428-437 1988 conf/icdcs/1988 ICDCS db/conf/icdcs/icdcs88.html#Garcia-MolinaKL88 https://doi.org/10.1109/DCS.1988.12545 Nancy A. Lynch Michael Merritt William E. Weihl Alan D. Fekete A Theory of Atomic Transactions. 41-71 ICDT1988/P041.pdf 1988 ICDT db/conf/icdt/icdt88.html#LynchMWF88 conf/icdt/88 https://doi.org/10.1007/3-540-50171-1_3 conf/vldb/AspnesFLMW88 ... books/aw/BernsteinHG87 ... conf/pods/FeketeLMW87 ... conf/sosp/Gifford79 conf/podc/GoldmanL87 journals/tc/Herlihy87 ... books/ph/Hoare85 journals/cacm/Liskov88 journals/tcs/LynchM88 ... conf/podc/LynchT87 ... ... ... ... ... ... Jennifer L. Welch Leslie Lamport Nancy A. Lynch A Lattice-Structured Proof of a Minimum Spanning. 28-43 1988 conf/podc/1988 PODC db/conf/podc/podc88.html#WelchLL88 https://doi.org/10.1145/62546.62552 Nancy A. Lynch Yishay Mansour Alan D. Fekete Data Link Layer: Two Impossibility Results. 149-170 1988 conf/podc/1988 PODC db/conf/podc/podc88.html#LynchMF88 https://doi.org/10.1145/62546.62572 conf/vldb/88 James Aspnes Alan D. Fekete Nancy A. Lynch Michael Merritt William E. Weihl A Theory of Timestamp-Based Concurrency Control for Nested Transactions. 431-444 1988 VLDB db/conf/vldb/vldb88.html#AspnesFLMW88 http://www.vldb.org/conf/1988/P431.PDF journals/tc/Herlihy87 journals/toplas/LiskovS83 journals/tcs/LynchM88 conf/icdt/LynchMWF88 conf/podc/LynchT87 ... ... journals/tocs/Reed83 ... ... journals/toplas/Weihl89

Greg N. Frederickson Nancy A. Lynch Electing a leader in a synchronous ring. 98-115 1987 34 J. ACM 1 https://doi.org/10.1145/7531.7919 db/journals/jacm/jacm34.html#FredericksonL87

Sunil K. Sarin Nancy A. Lynch Discarding Obsolete Information in a Replicated Database System. 39-47 1987 13 IEEE Trans. Software Eng. 1 db/journals/tse/tse13.html#SarinL87 https://doi.org/10.1109/TSE.1987.232564 http://doi.ieeecomputersociety.org/10.1109/TSE.1987.232564

Kenneth J. Goldman Nancy A. Lynch Quorum Consensus in Nested Transaction Systems. 27-41 1987 conf/podc/1987 PODC db/conf/podc/podc87.html#GoldmanL87 https://doi.org/10.1145/41840.41843 Nancy A. Lynch Mark R. Tuttle Hierarchical Correctness Proofs for Distributed Algorithms. 137-151 1987 conf/podc/1987 PODC db/conf/podc/podc87.html#LynchT87 https://doi.org/10.1145/41840.41852 conf/pods/87 Alan D. Fekete Nancy A. Lynch Michael Merritt William E. Weihl Nested Transactions and Read/Write Locking. 97-111 1987 PODS db/conf/pods/pods87.html#FeketeLMW87 https://doi.org/10.1145/28659.28669 journals/anthology/cd1-3:PODS87/P097.PDF journals/anthology/dvd1:text/1-3/PODS87/P097.PDF ... journals/jacm/BeeriBG89 conf/podc/BeeriBG83 journals/csur/BernsteinG81 ... journals/cacm/EswarranGLT76 ... conf/ac/Gray78 journals/jacm/HerlihyLMW92 ... journals/tods/Korth82 conf/vldb/KedemS80 ... journals/toplas/LiskovS83 ... conf/podc/LynchT87 ... ... ... journals/jacm/Papadimitriou79b ... journals/tods/Thomas79 ... Alan D. Fekete Nancy A. Lynch Liuba Shrira A Modular Proof of Correctness for a Network Synchronizer (Research Summary). 219-256 1987 conf/wdag/1987 WDAG db/conf/wdag/wdag87.html#FeketeLS87 https://doi.org/10.1007/BFb0019807

Nancy A. Lynch Concurrency Control for Resilient Nested Transactions. 335-373 1986 3 Adv. Comput. Res. db/journals/acr/acr3.html#Lynch86

Michael J. Fischer Nancy A. Lynch Michael Merritt Easy Impossibility Proofs for Distributed Consensus Problems. 26-39 1986 1 Distributed Comput. 1 db/journals/dc/dc1.html#FischerLM86 https://doi.org/10.1007/BF01843568

Probabilistic Analysis of a Network Resource Allocation Algorithm Nancy A. Lynch Nancy D. Griffeth Michael J. Fischer Leonidas J. Guibas 47-85 Inf. Control. January/February/March 1986 68 1-3 db/journals/iandc/iandc68.html#LynchGFG86 https://doi.org/10.1016/S0019-9958(86)80028-6

Danny Dolev Nancy A. Lynch Shlomit S. Pinter Eugene W. Stark William E. Weihl Reaching approximate agreement in the presence of faults. 499-516 1986 33 J. ACM 3 https://doi.org/10.1145/5925.5931 https://www.wikidata.org/entity/Q60305000 db/journals/jacm/jacm33.html#DolevLPSW86

Barbara Simons Jennifer L. Welch Nancy A. Lynch An Overview of Clock Synchronization. 84-96 1986 conf/ftdc/1986 Fault-Tolerant Distributed Computing db/conf/ftdc/ftdc1986.html#SimonsWL86 https://doi.org/10.1007/BFb0042327 Michael J. Fischer Nancy A. Lynch Michael Merritt Easy Impossibility Proofs for Distributed Consensus Problems. 147-170 1986 conf/ftdc/1986 Fault-Tolerant Distributed Computing db/conf/ftdc/ftdc1986.html#FischerLM86 https://doi.org/10.1007/BFb0042333 Nancy A. Lynch Michael Merritt Introduction to the Theory of Nested Transactions. 278-305 ICDT1986/P278.pdf 1986 ICDT db/conf/icdt/icdt86.html#LynchM86 conf/icdt/86 https://doi.org/10.1007/3-540-17187-8_42 conf/podc/AllchinM83 journals/jacm/BeeriBG89 conf/podc/BeeriBG83 journals/csur/BernsteinG81 journals/cacm/EswarranGLT76 ... conf/ac/Gray78 conf/srds/McKendryH86 books/ph/Hoare85 journals/acta/KedemS81 ... ... journals/toplas/LiskovS83 ... ... journals/acr/Lynch86 ... ... ... journals/tods/RosenkrantzSL78 ... ... Nancy A. Lynch Barbara T. Blaustein Michael D. Siegel Correctness Conditions for Highly Available Replicated Databases. 11-28 1986 conf/podc/1986 PODC db/conf/podc/podc86.html#LynchBS86 https://doi.org/10.1145/10590.10592

Impossibility of Distributed Consensus with One Faulty Process Michael J. Fischer Nancy A. Lynch Mike Paterson 374-382 J. ACM April 1985 32 2 db/journals/jacm/jacm32.html#FischerLP85 https://doi.org/10.1145/3149.214121 https://www.wikidata.org/entity/Q55951797 JACM/32/P0374.pdf

Michael J. Fischer Nancy A. Lynch Michael Merritt Easy Impossibility Proofs for Distributed Consensus Problems. 59-70 1985 conf/podc/1985 PODC db/conf/podc/podc85.html#FischerLM85 https://doi.org/10.1145/323596.323602

An Upper and Lower Bound for Clock Synchronization Jennifer Lundelius Nancy A. Lynch 190-204 Inf. Control. August/September 1984 62 2/3 db/journals/iandc/iandc62.html#LundeliusL84 https://doi.org/10.1016/S0019-9958(84)80033-9

Jennifer Lundelius Nancy A. Lynch A New Fault-Tolerant Algorithm for Clock Synchronization. 75-88 1984 conf/podc/1984 PODC db/conf/podc/podc84.html#LundeliusL84 https://doi.org/10.1145/800222.806738 Cynthia Dwork Nancy A. Lynch Larry J. Stockmeyer Consensus in the Presence of Partial Synchrony (Preliminary Version). 103-118 1984 conf/podc/1984 PODC db/conf/podc/podc84.html#DworkLS84 https://dl.acm.org/citation.cfm?id=1599406 The Impact of Synchronous Communication on the Problem of Electing a Leader in a Ring Greg N. Frederickson Nancy A. Lynch 493-503 conf/stoc/STOC16 1984 STOC db/conf/stoc/stoc84.html#FredericksonL84 https://doi.org/10.1145/800057.808719

Efficiency of Synchronous Versus Asynchronous Distributed Systems Eshrat Arjomandi Michael J. Fischer Nancy A. Lynch 449-456 J. ACM July 1983 30 3 db/journals/jacm/jacm30.html#ArjomandiFL83 https://doi.org/10.1145/2402.322387

Nancy A. Lynch Michael J. Fischer A Technique for Decomposing Algorithms Which Use a Single Shared Variable. 350-377 1983 27 J. Comput. Syst. Sci. 3 db/journals/jcss/jcss27.html#LynchF83 https://doi.org/10.1016/0022-0000(83)90047-8

Nancy A. Lynch Multilevel Atomicity - A New Correctness Criterion for Database Concurrency Control. 484-502 TODS8/P484.PDF 1983 8 ACM Trans. Database Syst. 4 db/journals/tods/tods8.html#Lynch83 https://doi.org/10.1145/319996.319999 journals/csur/BernsteinG81 ... journals/cacm/EswarranGLT76 journals/tse/FischerGL82 journals/tods/Garcia-Molina83 conf/ds/GrayLPT76 ... conf/popl/LiskovS82 ... journals/tcs/LynchF81 ... journals/tse/Randell75 ... journals/tods/RosenkrantzSL78

conf/pods/83 Michael J. Fischer Nancy A. Lynch Mike Paterson Impossibility of Distributed Consensus with One Faulty Process. 1-7 1983 PODS db/conf/pods/pods83.html#FischerLP83 https://doi.org/10.1145/588058.588060 journals/anthology/cd1-3:PODS83/P001.PDF journals/anthology/dvd1:text/1-3/PODS83/P001.PDF ... conf/stoc/DeMilloLM82 ... conf/stoc/DolevS82 journals/ipl/FischerL82 journals/tc/Garcia-Molina82 ... ... ... ... ... journals/toplas/LamportSP82 journals/jacm/PeaseSL80 ... journals/tods/RosenkrantzSL78 ... conf/berkeley/SkeenS81 conf/pods/83 Nancy A. Lynch Concurrency Control for Resilient Nested Transactions. 166-181 1983 PODS db/conf/pods/pods83.html#Lynch83 https://doi.org/10.1145/588058.588080 journals/anthology/cd1-3:PODS83/P166.PDF journals/anthology/dvd1:text/1-3/PODS83/P166.PDF conf/podc/BernsteinG82 journals/cacm/EswarranGLT76 ... conf/pods/PapadimitriouK82 journals/cacm/Lamport78 conf/popl/LiskovS82 ... journals/tse/Randell75 ... ... Danny Dolev Nancy A. Lynch Shlomit S. Pinter Eugene W. Stark William E. Weihl Reaching Approximate Agreement in the Presence of Faults. 145-154 1983 conf/srds/1983 Symposium on Reliability in Distributed Software and Database Systems db/conf/srds/srds83.html#DolevLPSW83 Robert L. Probert Nancy A. Lynch Nicola Santoro Proceedings of the Second Annual ACM Symposium on Principles of Distributed Computing, Montreal, Quebec, Canada, August 17-19, 1983 PODC ACM 1983 0-89791-110-5 db/conf/podc/podc83.html http://dl.acm.org/citation.cfm?id=800221 David S. Johnson 0001 Ronald Fagin Michael L. Fredman David Harel Richard M. Karp Nancy A. Lynch Christos H. Papadimitriou Ronald L. Rivest Walter L. Ruzzo Joel I. Seiferas Proceedings of the 15th Annual ACM Symposium on Theory of Computing, 25-27 April, 1983, Boston, Massachusetts, USA STOC ACM 1983 978-0-89791-099-6 https://doi.org/10.1145/800061 db/conf/stoc/stoc83.html

An Efficient Algorithm for Byzantine Agreement without Authentication Danny Dolev Michael J. Fischer Robert J. Fowler Nancy A. Lynch H. Raymond Strong 257-274 Inf. Control. March 1982 52 3 db/journals/iandc/iandc52.html#DolevFFLS82 https://doi.org/10.1016/S0019-9958(82)90776-8 https://www.wikidata.org/entity/Q64357329

Michael J. Fischer Nancy A. Lynch A Lower Bound for the Time to Assure Interactive Consistency. 183-186 1982 14 Inf. Process. Lett. 4 db/journals/ipl/ipl14.html#FischerL82 https://doi.org/10.1016/0020-0190(82)90033-3

James E. Burns Paul Jackson Nancy A. Lynch Michael J. Fischer Gary L. Peterson Data Requirements for Implementation of N-Process Mutual Exclusion Using a Single Shared Variable. 183-205 1982 29 J. ACM 1 https://doi.org/10.1145/322290.322302 db/journals/jacm/jacm29.html#BurnsJLFP82

Nancy A. Lynch Accessibility of Values as a Determinant of Relative Complexity in Algebras. 101-113 1982 24 J. Comput. Syst. Sci. 1 db/journals/jcss/jcss24.html#Lynch82 https://doi.org/10.1016/0022-0000(82)90058-7

Michael J. Fischer Nancy D. Griffeth Nancy A. Lynch Global States of a Distributed System. 198-202 1982 8 IEEE Trans. Software Eng. 3 db/journals/tse/tse8.html#FischerGL82 https://doi.org/10.1109/TSE.1982.235418 http://doi.ieeecomputersociety.org/10.1109/TSE.1982.235418

conf/pods/82 Nancy A. Lynch Multilevel Atomicity. 63-69 1982 PODS db/conf/pods/pods82.html#Lynch82 https://doi.org/10.1145/588111.588123 journals/anthology/cd1-3:PODS82/P063.PDF journals/anthology/dvd1:text/1-3/PODS82/P063.PDF ... ... journals/cacm/EswarranGLT76 journals/tse/FischerGL82 journals/tods/Garcia-Molina83 ... ... journals/tcs/LynchF81 journals/tods/RosenkrantzSL78 Cryptographic Protocols Richard A. DeMillo Nancy A. Lynch Michael Merritt 383-400 conf/stoc/STOC14 1982 STOC db/conf/stoc/stoc82.html#DeMilloLM82 https://doi.org/10.1145/800070.802214

Allan Borodin Leonidas J. Guibas Nancy A. Lynch Andrew Chi-Chih Yao Efficient Searching Using Partial Ordering. 71-75 1981 12 Inf. Process. Lett. 2 db/journals/ipl/ipl12.html#BorodinGLY81 https://doi.org/10.1016/0020-0190(81)90005-3

Allan Borodin Michael J. Fischer David G. Kirkpatrick Nancy A. Lynch Martin Tompa A Time-Space Tradeoff for Sorting on Non-Oblivious Machines. 351-364 1981 22 J. Comput. Syst. Sci. 3 db/journals/jcss/jcss22.html#BorodinFKLT81 https://doi.org/10.1016/0022-0000(81)90037-4

Nancy A. Lynch Upper Bounds for Static Resource Allocation in a Distributed System. 254-278 1981 23 J. Comput. Syst. Sci. 2 db/journals/jcss/jcss23.html#Lynch81 https://doi.org/10.1016/0022-0000(81)90015-5

Nancy A. Lynch Edward K. Blum Relative Complexity of Algebras. 193-214 1981 14 Math. Syst. Theory db/journals/mst/mst14.html#LynchB81 https://doi.org/10.1007/BF01752396

Nancy A. Lynch Michael J. Fischer On Describing the Behavior and Implementation of Distributed Systems. 17-43 1981 13 Theor. Comput. Sci. db/journals/tcs/tcs13.html#LynchF81 https://doi.org/10.1016/0304-3975(81)90109-2

Richard A. DeMillo Nancy A. Lynch Michael Merritt The Design and Analysis of Cryptographic Protocols. 71-72 1981 conf/crypto/1981 CRYPTO db/conf/crypto/crypto81.html#MilloLM81 Michael J. Fischer Leonidas J. Guibas Nancy D. Griffeth Nancy A. Lynch Optimal Placement of Identical Resources in a Distributed Network. 324-336 1981 conf/icdcs/1981 ICDCS db/conf/icdcs/icdcs1981.html#FischerGGL81 A Difference in Efficiency between Synchronous and Asynchronous Systems Eshrat Arjomandi Michael J. Fischer Nancy A. Lynch 128-132 conf/stoc/STOC13 1981 STOC db/conf/stoc/stoc81.html#ArjomandiFL81 https://doi.org/10.1145/800076.802466

Nancy A. Lynch Straight-Line Program Length as a Parameter for Complexity Analysis. 251-280 1980 21 J. Comput. Syst. Sci. 3 db/journals/jcss/jcss21.html#Lynch80 https://doi.org/10.1016/0022-0000(80)90024-0

Nancy A. Lynch Edward K. Blum Relative Complexity of Operations on Numeric and Bit-String Algebras. 187-207 1980 13 Math. Syst. Theory db/journals/mst/mst13.html#LynchB80 https://doi.org/10.1007/BF01744295

Fast Allocation of Nearby Resources in a Distributed System Nancy A. Lynch 70-81 conf/stoc/STOC12 1980 STOC db/conf/stoc/stoc80.html#Lynch80 https://doi.org/10.1145/800141.804654

Nancy A. Lynch Edward K. Blum A Difference in Expressive Power Between Flowcharts and Recursion Schemes. 205-211 1979 12 Math. Syst. Theory db/journals/mst/mst12.html#LynchB79 https://doi.org/10.1007/BF01776573

Allan Borodin Michael J. Fischer David G. Kirkpatrick Nancy A. Lynch Martin Tompa A time-space tradeoff for sorting and related non-oblivious computations. 24 1979 11 SIGACT News 2 https://doi.org/10.1145/1008620.1008621 db/journals/sigact/sigact11.html#BorodinFKLT79

Resource Allocation with Immunity to Limited Process Failure (Preliminary Report) Michael J. Fischer Nancy A. Lynch James E. Burns Allan Borodin 234-254 conf/focs/FOCS20 1979 FOCS db/conf/focs/focs79.html#FischerLBB79 https://doi.org/10.1109/SFCS.1979.37 https://doi.ieeecomputersociety.org/10.1109/SFCS.1979.37 A Time-Space Tradeoff for Sorting on Non-Oblivious Machines Allan Borodin Michael J. Fischer David G. Kirkpatrick Nancy A. Lynch Martin Tompa 319-327 conf/focs/FOCS20 1979 FOCS db/conf/focs/focs79.html#BorodinFKLT79 https://doi.org/10.1109/SFCS.1979.4 https://doi.ieeecomputersociety.org/10.1109/SFCS.1979.4 Nancy A. Lynch Michael J. Fischer On Describing the Behavior and Implementation of Distributed Systems. 147-172 1979 conf/scc/1979 Semantics of Concurrent Computation db/conf/scc/scc1979.html#LynchF79 https://doi.org/10.1007/BFb0022468 Michael J. Fischer Richard A. DeMillo Nancy A. Lynch Walter A. Burkhard Alfred V. Aho Proceedings of the 11h Annual ACM Symposium on Theory of Computing, April 30 - May 2, 1979, Atlanta, Georgia, USA STOC ACM 1979 978-1-4503-7438-5 https://doi.org/10.1145/800135 db/conf/stoc/stoc79.html

Nancy A. Lynch Richard J. Lipton On Structure Preserving Reductions. 119-126 1978 7 SIAM J. Comput. 2 db/journals/siamcomp/siamcomp7.html#LynchL78 https://doi.org/10.1137/0207010

Nancy A. Lynch Log Space Machines with Multiple Oracle Tapes. 25-39 1978 6 Theor. Comput. Sci. db/journals/tcs/tcs6.html#Lynch78 https://doi.org/10.1016/0304-3975(78)90003-8

Straight-Line Program Length as a Parameter for Complexity Measures Nancy A. Lynch 150-161 conf/stoc/STOC10 1978 STOC db/conf/stoc/stoc78.html#Lynch78 https://doi.org/10.1145/800133.804343

Nancy A. Lynch Log Space Recognition and Translation of Parenthesis Languages. 583-590 1977 24 J. ACM 4 https://doi.org/10.1145/322033.322037 db/journals/jacm/jacm24.html#Lynch77

Seymour Ginsburg Nancy A. Lynch Derivation Complexity in Context-Free Grammar Forms. 123-138 1977 6 SIAM J. Comput. 1 db/journals/siamcomp/siamcomp6.html#GinsburgL77 https://doi.org/10.1137/0206010

Efficient Reducibility Between Programming Systems: Preliminary Report Nancy A. Lynch Edward K. Blum 228-238 conf/stoc/STOC9 1977 STOC db/conf/stoc/stoc77.html#LynchB77 https://doi.org/10.1145/800105.803413

Seymour Ginsburg Nancy A. Lynch Size complexity in context-free grammars forms. 582-598 1976 23 J. ACM 4 https://doi.org/10.1145/321978.321980 db/journals/jacm/jacm23.html#GinsburgL76

Nancy A. Lynch Complexity-Class-Encoding Sets. 100-118 1976 13 J. Comput. Syst. Sci. 1 db/journals/jcss/jcss13.html#Lynch76 https://doi.org/10.1016/S0022-0000(76)80054-2

Richard E. Ladner Nancy A. Lynch Relativization of Questions About Log Space Computability. 19-32 1976 10 Math. Syst. Theory db/journals/mst/mst10.html#LadnerL76 https://doi.org/10.1007/BF01683260

Nancy A. Lynch On Reducibility to Complex or Sparse Sets. 341-345 1975 22 J. ACM 3 https://doi.org/10.1145/321892.321895 db/journals/jacm/jacm22.html#Lynch75

Nancy A. Lynch "Helping": Several Formalizations. 555-566 1975 40 J. Symb. Log. 4 db/journals/jsyml/jsyml40.html#Lynch75 https://doi.org/10.2307/2271779 http://projecteuclid.org/euclid.jsl/1183739577

Richard J. Lipton Nancy A. Lynch A quantifier characterization for nondeterministic log space. 24-25 1975 7 SIGACT News 4 https://doi.org/10.1145/990502.990504 db/journals/sigact/sigact7.html#LiptonL75

Richard E. Ladner Nancy A. Lynch Alan L. Selman A Comparison of Polynomial Time Reducibilities. 103-123 1975 1 Theor. Comput. Sci. 2 db/journals/tcs/tcs1.html#LadnerLS75 https://doi.org/10.1016/0304-3975(75)90016-X

Comparative Complexity of Grammar Forms Seymour Ginsburg Nancy A. Lynch 153-158 conf/stoc/STOC7 1975 STOC db/conf/stoc/stoc75.html#GinsburgL75 https://doi.org/10.1145/800116.803764

Nancy A. Lynch Approximations to the Halting Problem. 143-150 1974 9 J. Comput. Syst. Sci. 2 db/journals/jcss/jcss9.html#Lynch74 https://doi.org/10.1016/S0022-0000(74)80003-6

Comparisons of Polynomial-Time Reducibilities Richard E. Ladner Nancy A. Lynch Alan L. Selman 110-121 conf/stoc/STOC6 1974 STOC db/conf/stoc/stoc74.html#LadnerLS74 https://doi.org/10.1145/800119.803891 Sets that Don't Help Nancy A. Lynch Albert R. Meyer Michael J. Fischer 130-134 conf/stoc/STOC5 1973 STOC db/conf/stoc/stoc73.html#LynchMF73 https://doi.org/10.1145/800125.804043 Yehuda Afek Alfred V. Aho Robert Ajemian Alberto Ancona Bertie Ancona Tal Anker Tadashi Araragi Myla Archer Eshrat Arjomandi Anish Arora James Aspnes Paul C. Attie Hagit Attiya Ayesha Bajwa Adithya Balachandran Ziv Bar-Joseph Victor R. Basili Laszlo A. Belady Karl K. Berggren Robert C. Berwick Barbara T. Blaustein Edward K. Blum Barry W. Boehm Andrej Bogdanov Allan Borodin Elizabeth Borowsky Michael S. Branicky Frederick P. Brooks Jr. Matthew Brown 0005 James Browne Walter A. Burkhard James E. Burns Viveck R. Cadambe Grace Cai Ran Canetti Matteo Castellani Keren Censor-Hillel Indraneel Chakraborty Chia-Jung Chang Soma Chaudhuri Ling Cheung Gregory V. Chockler Chi-Ning Chou Marco Colangelo Claudia Contini Alejandro Cornejo Norman M. Delisle Richard A. DeMillo Murat Demirbas Constantinos Djouvas Danny Dolev Shlomi Dolev Ekaterina Dolginova Anna R. Dornhaus Sabrina Drammis Ralph E. Droms Cynthia Dwork Michael D. Ernst Ronald Fagin Rui Fan 0004 Alan D. Fekete Stuart I. Feldman Eric Feron Michael J. Fischer Robert J. Fowler Greg N. Frederickson Michael L. Fredman Eli Gafni Zhi Wei Gan Hector Garcia-Molina Stephen J. Garland Cristina Gava Rainer Gawlick Chryssis Georgiou Mohsen Ghaffari 0001 Seth Gilbert Seymour Ginsburg Michel X. Goemans Kenneth J. Goldman Cordell Green Nancy D. Griffeth Rachid Guerraoui Leonidas J. Guibas David Gupta John V. Guttag Bernhard Haeupler Magnús M. Halldórsson Noble C. Harasha David Harel Constance L. Heitmeyer Maurice Herlihy Jason Hickey Yael Hitron Stephan Holzer Paul Jackson Prasad Jayanti Henrik Ejersbo Jensen David S. Johnson 0001 M. Frans Kaashoek Erez Kantor Richard M. Karp Dilsun Kirli Kaynar Idit Keidar Majid Khabbazian Roger I. KhazanRoger Khazan David G. Kirkpatrick Jon M. Kleinberg Boris Kogan Kiyoshi Kogure Kishori M. Konwar Dariusz R. Kowalski Bruce H. Krogh Fabian Kuhn Petr KuznetsovPetr Kouznetsov Richard E. Ladner Limor Lahiani Leslie Lamport Butler W. Lampson Jesus E. Lares Duncan H. Lawrie Gunter Leeb Christoph Lenzen 0001 Nancy G. Leveson Ruy Ley-Wild Daniel Liberzon Hongping Lim Richard J. Lipton Moses D. Liskov Carolos Livadas Wyatt Lloyd Andres E. Lombo Haonan Lu Victor Luchangco John Lygeros Dahlia Malkhi Frederik Mallmann-Trenn Ken Mano Yishay Mansour Evangelia Anna Markatou Panayiotis Mavrommatis Muriel Médard Michael Merritt Albert R. Meyer Sayan Mitra 0001 Keith T. Murray Cameron Musco Peter M. Musial Radhika Nagpal Calvin C. NewportCalvin Newport Nicolas C. NicolaouNicolas Nicolaou Tina Nolte Rotem Oshman Dominik Pajak Christos H. Papadimitriou Ali ParandehGheibi Merav Parter Mike Paterson Boaz Patt-Shamir Olivier Pereira Gary L. Peterson Tsvetomir P. Petrov Shlomit S. Pinter Anna Pogosyants N. Prakash 0001 Stephen PrattStephen C. Pratt Roberto De Prisco Robert L. Probert Tsvetomira Radeva Sergio Rajsbaum David Ratajczak Robbert van Renesse Andréa W. Richa Ronald L. Rivest Daniela Rus Walter L. Ruzzo Isaac Saias Nicola Santoro Sunil K. Sarin Srikanth Sastry Elad Michael SchillerElad Schiller Ulrich Schmid 0001 Alexander A. SchwarzmannAlexander A. Shvartsman Roberto Segala Ken Segall Joel I. Seiferas Alan L. Selman Nir Shavit Liuba Shrira Julian Shun Michael D. Siegel Barbara B. SimonsBarbara Simons Jørgen F. Søgaard-Andersen Ekrem Söylemez Michael Spindel John Spinelli Karthik Srinivasan Eugene W. Stark Larry J. Stockmeyer Ray StrongH. Raymond Strong Hsin-Hao Su Lili Su Joshua A. Tauber Martin Tompa Emily Toomey Dan Touitou Andria Trigeorgi Michael J. Tsai Mark R. Tuttle Shinya Umeno Frits W. Vaandrager George Varghese Mandana Vaziri Saira Viqar Mikhail Volkov 0002 Dawei Wang 0004Da-Wei Wang 0004 Mien Brabeeba Wang Yong Wang Zhiying Wang 0001 William E. Weihl Henri B. Weinberg Mark D. Weiser Jennifer L. WelchJennifer Lundelius Toh Ne Win Jeannette M. Wing Jiang Wu Wendy Wu Andrew Chi-Chih Yao Emily Zhang Jiajia Zhao Wayne Zhao Bowen Zheng Martin Zubeldia Lenore D. Zuck