default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDNancy A. Lynch
Person information
- affiliation: Massachusetts Institute of Technology (MIT), Computer Science and Artificial Intelligence Laboratory (CSAIL)
- award (2012): ACM Athena Lecturer
- award (2010): IEEE Emanuel R. Piore Award
- award (2007): Dijkstra Prize
- award (2007): Knuth Prize
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[i48]Nancy A. Lynch:
Multi-Neuron Representations of Hierarchical Concepts in Spiking Neural Networks. CoRR abs/2401.04628 (2024)- [i47]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. CoRR abs/2403.00860 (2024) - [i46]Nancy A. Lynch:
Using Single-Neuron Representations for Hierarchical Concepts as Abstractions of Multi-Neuron Representations. CoRR abs/2406.07297 (2024) - [i45]Adithya Balachandran, Noble Harasha, Nancy A. Lynch:
Swarm Algorithms for Dynamic Task Allocation in Unknown Environments. CoRR abs/2409.09550 (2024) - 2023
- [c216]Zhi Wei Gan
, Grace Cai, Noble Harasha, Nancy A. Lynch, Julian Shun:
ParSwarm: A C++ Framework for Evaluating Distributed Algorithms for Robot Swarms. ApPLIED@PODC 2023: 14:1-14:5 - [c215]Grace Cai, Noble Harasha, Nancy A. Lynch:
A Comparison of New Swarm Task Allocation Algorithms in Unknown Environments with Varying Task Density. AAMAS 2023: 525-533 - [c214]Nancy A. Lynch, Frederik Mallmann-Trenn:
Learning Hierarchically-Structured Concepts II: Overlapping Concepts, and Networks with Feedback. SIROCCO 2023: 46-86 - [i44]Nancy A. Lynch, Frederik Mallmann-Trenn:
Learning Hierarchically-Structured Concepts II: Overlapping Concepts, and Networks With Feedback. CoRR abs/2304.09540 (2023) - 2022
- [j116]Emily Zhang, Jiajia Zhao, Nancy A. Lynch:
An Upper and Lower Bound for the Convergence Time of House-Hunting in Temnothorax Ant Colonies. J. Comput. Biol. 29(4): 344-357 (2022) - [j115]Keith T. Murray, Mien Brabeeba Wang, Nancy A. Lynch:
Emergence of Direction-Selective Retinal Cell Types in Task-Optimized Deep Learning Models. J. Comput. Biol. 29(4): 370-381 (2022) - [j114]Jiajia Zhao, Nancy A. Lynch, Stephen C. Pratt:
The Power of Population Effect in Temnothorax Ant House-Hunting: A Computational Modeling Approach. J. Comput. Biol. 29(4): 382-408 (2022) - [j113]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. Neuromorph. Comput. Eng. 2(2): 34011 (2022) - [j112]Nicolas Nicolaou, Viveck R. Cadambe, N. Prakash, Andria Trigeorgi, Kishori M. Konwar, Muriel Médard, Nancy A. Lynch:
Ares: Adaptive, Reconfigurable, Erasure coded, Atomic Storage. ACM Trans. Storage 18(4): 33:1-33:39 (2022) - [c213]Grace Cai, Nancy A. Lynch:
A Geometry-Sensitive Quorum Sensing Algorithm for the Best-of-N Site Selection Problem. ANTS Conference 2022: 1-13 - [c212]Nancy A. Lynch, Cameron Musco:
A Basic Compositional Model for Spiking Neural Networks. A Journey from Process Algebra via Timed Automata to Model Learning 2022: 403-449 - [i43]Grace Cai, Nancy A. Lynch:
A Geometry-Sensitive Quorum Sensing Algorithm for the Best-of-N Site Selection Problem. CoRR abs/2206.00587 (2022) - [i42]Nancy A. Lynch:
Symbolic Knowledge Structures and Intuitive Knowledge Structures. CoRR abs/2206.02932 (2022) - [i41]Grace Cai, Noble Harasha, Nancy A. Lynch:
A Comparison of New Swarm Task Allocation Algorithms in Unknown Environments with Varying Task Density. CoRR abs/2212.00844 (2022) - 2021
- [j111]Nancy A. Lynch, Frederik Mallmann-Trenn:
Learning hierarchically-structured concepts. Neural Networks 143: 798-817 (2021) - [c211]Kishori M. Konwar, Wyatt Lloyd, Haonan Lu, Nancy A. Lynch:
SNOW Revisited: Understanding When Ideal READ Transactions Are Possible. IPDPS 2021: 922-931 - [c210]Jiajia Zhao, Lili Su, Nancy A. Lynch:
Lack of Quorum Sensing Leads to Failure of Consensus in Temnothorax Ant Emigration. SSS 2021: 209-228 - [i40]Grace Cai, Wendy Wu, Wayne Zhao, Jiajia Zhao, Nancy A. Lynch:
A Spatially Dependent Probabilistic Model for House Hunting in Ant Colonies. CoRR abs/2106.06867 (2021) - [i39]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. CoRR abs/2112.08928 (2021) - 2020
- [j110]Seth Gilbert, Nancy A. Lynch, Calvin Newport, Dominik Pajak:
On simple back-off in unreliable radio networks. Theor. Comput. Sci. 806: 489-508 (2020) - [j109]Magnús M. Halldórsson, Stephan Holzer, Evangelia Anna Markatou, Nancy A. Lynch:
Leader election in SINR model with arbitrary power control. Theor. Comput. Sci. 811: 21-28 (2020) - [c209]Yael Hitron, Nancy A. Lynch, Cameron Musco, Merav Parter:
Random Sketching, Clustering, and Short-Term Memory in Spiking Neural Networks. ITCS 2020: 23:1-23:31 - [c208]Bertie Ancona, Ayesha Bajwa, Nancy A. Lynch, Frederik Mallmann-Trenn:
How to Color a French Flag - Biologically Inspired Algorithms for Scale-Invariant Patterning. LATIN 2020: 413-424 - [c207]Anna R. Dornhaus, Nancy A. Lynch, Frederik Mallmann-Trenn, Dominik Pajak, Tsvetomira Radeva:
Self-Stabilizing Task Allocation In Spite of Noise. SPAA 2020: 201-211 - [i38]Emily Toomey, Ken Segall, Matteo Castellani, Marco Colangelo, Nancy A. Lynch, Karl K. Berggren:
A superconducting nanowire spiking element for neural networks. CoRR abs/2007.15101 (2020)
2010 – 2019
- 2019
- [j108]Lili Su, Chia-Jung Chang, Nancy A. Lynch:
Spike-Based Winner-Take-All Computation: Fundamental Limits and Order-Optimal Circuits. Neural Comput. 31(12): 2523-2561 (2019) - [j107]Lili Su, Martin Zubeldia, Nancy A. Lynch:
Collaboratively Learning the Best Option on Graphs, Using Bounded Local Memory. Proc. ACM Meas. Anal. Comput. Syst. 3(1): 11:1-11:32 (2019) - [c206]Nicolas C. Nicolaou, Viveck R. Cadambe, N. Prakash, Kishori M. Konwar, Muriel Médard, Nancy A. Lynch:
ARES: Adaptive, Reconfigurable, Erasure Coded, Atomic Storage. ICDCS 2019: 2195-2205 - [c205]Kishori M. Konwar, N. Prakash, Muriel Médard, Nancy A. Lynch:
Fast Lean Erasure-Coded Atomic Memory Object. OPODIS 2019: 12:1-12:17 - [c204]Prasad Jayanti, Nancy A. Lynch, Boaz Patt-Shamir, Ulrich Schmid:
2019 Principles of Distributed Computing Doctoral Dissertation Award. PODC 2019: 2 - [c203]Lili Su, Martin Zubeldia, Nancy A. Lynch:
Collaboratively Learning the Best Option on Graphs, Using Bounded Local Memory. SIGMETRICS (Abstracts) 2019: 1-2 - [c202]Bertie Ancona, Ayesha Bajwa, Nancy A. Lynch, Frederik Mallmann-Trenn:
How to Color a French Flag - Biologically Inspired Algorithms for Scale-Invariant Patterning. SIROCCO 2019: 327-331 - [c201]Nancy A. Lynch, Mien Brabeeba Wang:
Brief Announcement: Integrating Temporal Information to Spatial Information in a Neural Circuit. DISC 2019: 48:1-48:3 - [i37]Mien Brabeeba Wang, Nancy A. Lynch:
Integrating Temporal Information to Spatial Information in a Neural Circuit. CoRR abs/1903.01217 (2019) - [i36]Lili Su, Chia-Jung Chang, Nancy A. Lynch:
Spike-Based Winner-Take-All Computation: Fundamental Limits and Order-Optimal Circuits. CoRR abs/1904.10399 (2019) - [i35]Nancy A. Lynch, Cameron Musco, Merav Parter:
Winner-Take-All Computation in Spiking Neural Networks. CoRR abs/1904.12591 (2019) - [i34]Alberto Ancona, Ayesha Bajwa, Nancy A. Lynch, Frederik Mallmann-Trenn:
How to Color a French Flag-Biologically Inspired Algorithms for Scale-Invariant Patterning. CoRR abs/1905.00342 (2019) - [i33]Nancy A. Lynch, Frederik Mallmann-Trenn:
Learning Hierarchically Structured Concepts. CoRR abs/1909.04559 (2019) - 2018
- [j106]Ran Canetti, Ling Cheung, Dilsun Kirli Kaynar, Moses D. Liskov, Nancy A. Lynch, Olivier Pereira, Roberto Segala:
Task-structured probabilistic I/O automata. J. Comput. Syst. Sci. 94: 63-97 (2018) - [c200]Seth Gilbert, Nancy A. Lynch, Calvin Newport, Dominik Pajak:
On Simple Back-Off in Unreliable Radio Networks. OPODIS 2018: 27:1-27:17 - [c199]Seth Gilbert, Nancy A. Lynch, Calvin Newport, Dominik Pajak:
Brief Announcement: On Simple Back-Off in Unreliable Radio Networks. DISC 2018: 48:1-48:3 - [i32]Lili Su, Martin Zubeldia, Nancy A. Lynch:
Collaboratively Learning the Best Option, Using Bounded Memory. CoRR abs/1802.08159 (2018) - [i31]Seth Gilbert, Nancy A. Lynch, Calvin Newport, Dominik Pajak:
On Simple Back-Off in Complicated Radio Networks. CoRR abs/1803.02216 (2018) - [i30]Anna R. Dornhaus, Nancy A. Lynch, Frederik Mallmann-Trenn, Dominik Pajak, Tsvetomira Radeva:
Self-Stabilizing Task Allocation In Spite of Noise. CoRR abs/1805.03691 (2018) - [i29]Viveck R. Cadambe, Nicolas C. Nicolaou, Kishori M. Konwar, N. Prakash, Nancy A. Lynch, Muriel Médard:
ARES: Adaptive, Reconfigurable, Erasure coded, atomic Storage. CoRR abs/1805.03727 (2018) - [i28]Nancy A. Lynch, Cameron Musco:
A Basic Compositional Model for Spiking Neural Networks. CoRR abs/1808.03884 (2018) - [i27]Lili Su, Martin Zubeldia, Nancy A. Lynch:
Collaboratively Learning the Best Option on Graphs, Using Bounded Local Memory. CoRR abs/1811.03968 (2018) - [i26]Kishori M. Konwar, Wyatt Lloyd, Haonan Lu, Nancy A. Lynch:
The SNOW Theorem Revisited. CoRR abs/1811.10577 (2018) - 2017
- [j105]Viveck R. Cadambe, Nancy A. Lynch, Muriel Médard, Peter M. Musial:
A coded shared atomic memory algorithm for message passing architectures. Distributed Comput. 30(1): 49-73 (2017) - [j104]Christoph Lenzen, Nancy A. Lynch, Calvin Newport, Tsvetomira Radeva:
Searching without communicating: tradeoffs between performance and selection complexity. Distributed Comput. 30(3): 169-191 (2017) - [j103]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. PLoS Comput. Biol. 13(12) (2017) - [j102]Cameron Musco, Hsin-Hao Su, Nancy A. Lynch:
Ant-inspired density estimation via random walks. Proc. Natl. Acad. Sci. USA 114(40): 10534-10541 (2017) - [c198]Nancy A. Lynch, Cameron Musco, Merav Parter:
Computational Tradeoffs in Biological Neural Networks: Self-Stabilizing Winner-Take-All Networks. ITCS 2017: 15:1-15:44 - [c197]Kishori M. Konwar, N. Prakash, Nancy A. Lynch, Muriel Médard:
A Layered Architecture for Erasure-Coded Consistent Distributed Storage. PODC 2017: 63-72 - [c196]Hsin-Hao Su, Lili Su, Anna R. Dornhaus, Nancy A. Lynch:
Ant-Inspired Dynamic Task Allocation via Gossiping. SSS 2017: 157-171 - [c195]Magnús M. Halldórsson, Fabian Kuhn, Nancy A. Lynch, Calvin Newport:
An Efficient Communication Abstraction for Dense Wireless Networks. DISC 2017: 25:1-25:16 - [c194]Nancy A. Lynch, Cameron Musco, Merav Parter:
Neuro-RAM Unit with Applications to Similarity Testing and Compression in Spiking Neural Networks. DISC 2017: 33:1-33:16 - [i25]Kishori M. Konwar, N. Prakash, Nancy A. Lynch, Muriel Médard:
A Layered Architecture for Erasure-Coded Consistent Distributed Storage. CoRR abs/1703.01286 (2017) - [i24]Stephan Holzer, Nancy A. Lynch:
Beeping a Maximal Independent Set Fast. CoRR abs/1704.07133 (2017) - [i23]Nancy A. Lynch, Cameron Musco, Merav Parter:
Neuro-RAM Unit with Applications to Similarity Testing and Compression in Spiking Neural Networks. CoRR abs/1706.01382 (2017) - 2016
- [j101]Paul C. Attie, Nancy A. Lynch:
Dynamic input/output automata: A formal and compositional model for dynamic systems. Inf. Comput. 249: 28-75 (2016) - [c193]Kishori M. Konwar, N. Prakash, 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. IPDPS 2016: 720-729 - [c192]Kishori M. Konwar, N. Prakash, Nancy A. Lynch, Muriel Médard:
RADON: Repairable Atomic Data Object in Networks. OPODIS 2016: 28:1-28:17 - [c191]Viveck R. Cadambe, Zhiying Wang, Nancy A. Lynch:
Information-Theoretic Lower Bounds on the Storage Cost of Shared Memory Emulation. PODC 2016: 305-313 - [c190]Cameron Musco, Hsin-Hao Su, Nancy A. Lynch:
Ant-Inspired Density Estimation via Random Walks: Extended Abstract. PODC 2016: 469-478 - [i22]Cameron Musco, Hsin-Hao Su, Nancy A. Lynch:
Ant-Inspired Density Estimation via Random Walks. CoRR abs/1603.02981 (2016) - [i21]Paul C. Attie, Nancy A. Lynch:
Dynamic Input/Output Automata: a Formal and Compositional Model for Dynamic Systems. CoRR abs/1604.06030 (2016) - [i20]Kishori M. Konwar, N. Prakash, 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. CoRR abs/1605.01748 (2016) - [i19]Kishori M. Konwar, N. Prakash, Nancy A. Lynch, Muriel Médard:
RADON: Repairable Atomic Data Object in Networks. CoRR abs/1605.05717 (2016) - [i18]Viveck R. Cadambe, Zhiying Wang, Nancy A. Lynch:
Information-Theoretic Lower Bounds on the Storage Cost of Shared Memory Emulation. CoRR abs/1605.06844 (2016) - [i17]Nancy A. Lynch, Cameron Musco, Merav Parter:
Computational Tradeoffs in Biological Neural Networks: Self-Stabilizing Winner-Take-All Networks. CoRR abs/1610.02084 (2016) - 2015
- [j100]Keren Censor-Hillel, Bernhard Haeupler, Nancy A. Lynch, Muriel Médard:
Bounded-Contention Coding for the additive network model. Distributed Comput. 28(5): 297-308 (2015) - [c189]Mohsen Ghaffari, Cameron Musco, Tsvetomira Radeva, Nancy A. Lynch:
Distributed House-Hunting in Ant Colonies. PODC 2015: 57-66 - [c188]Nancy A. Lynch, Calvin Newport:
A (Truly) Local Broadcast Layer for Unreliable Radio Networks. PODC 2015: 109-118 - [c187]Magnús M. Halldórsson, Stephan Holzer, Nancy A. Lynch:
A Local Broadcast Layer for the SINR Network Model. PODC 2015: 129-138 - [c186]Keren Censor-Hillel, Erez Kantor, Nancy A. Lynch, Merav Parter:
Computing in Additive Networks with Bounded-Information Codes. DISC 2015: 405-419 - [i16]Nancy A. Lynch, Srikanth Sastry:
Consensus using Asynchronous Failure Detectors. CoRR abs/1502.02538 (2015) - [i15]Mohsen Ghaffari, Cameron Musco, Tsvetomira Radeva, Nancy A. Lynch:
Distributed House-Hunting in Ant Colonies. CoRR abs/1505.03799 (2015) - [i14]Magnús M. Halldórsson, Stephan Holzer, Nancy A. Lynch:
A Local Broadcast Layer for the SINR Network Model. CoRR abs/1505.04514 (2015) - [i13]Keren Censor-Hillel, Erez Kantor, Nancy A. Lynch, Merav Parter:
Computing in Additive Networks with Bounded-Information Codes. CoRR abs/1508.03660 (2015) - 2014
- [j99]Majid Khabbazian, Dariusz R. Kowalski, Fabian Kuhn, Nancy A. Lynch:
Decomposing broadcast algorithms using abstract MAC layers. Ad Hoc Networks 12: 219-242 (2014) - [j98]Keren Censor-Hillel, Seth Gilbert, Fabian Kuhn, Nancy A. Lynch, Calvin C. Newport:
Structuring unreliable radio networks. Distributed Comput. 27(1): 1-19 (2014) - [c185]Viveck R. Cadambe, Nancy A. Lynch, Muriel Médard, Peter M. Musial:
A Coded Shared Atomic Memory Algorithm for Message Passing Architectures. NCA 2014: 253-260 - [c184]Mohsen Ghaffari, Erez Kantor, Nancy A. Lynch, Calvin C. Newport:
Multi-message broadcast with abstract MAC layers and unreliable links. PODC 2014: 56-65 - [c183]Christoph Lenzen, Nancy A. Lynch, Calvin C. Newport, Tsvetomira Radeva:
Trade-offs between selection complexity and performance when searching the plane without communication. PODC 2014: 252-261 - [c182]Alejandro Cornejo, Anna R. Dornhaus, Nancy A. Lynch, Radhika Nagpal:
Task Allocation in Ant Colonies. DISC 2014: 46-60 - [i12]Mohsen Ghaffari, Erez Kantor, Nancy A. Lynch, Calvin C. Newport:
Multi-Message Broadcast with Abstract MAC Layers and Unreliable Links. CoRR abs/1405.1671 (2014) - [i11]Christoph Lenzen, Nancy A. Lynch, Calvin C. Newport, Tsvetomira Radeva:
Trade-offs between Selection Complexity and Performance when Searching the Plane without Communication. CoRR abs/1405.1688 (2014) - [i10]Viveck R. Cadambe, Nancy A. Lynch, Muriel Médard, Peter M. Musial:
A Coded Shared Atomic Memory Algorithm for Message Passing Architectures. CoRR abs/1407.4167 (2014) - 2013
- [j97]Nancy A. Lynch, Alexander A. Shvartsman:
Special issue on DISC 2010. Distributed Comput. 26(3): 139 (2013) - [c181]Nancy A. Lynch:
Timed and Probabilistic I/O Automata. LICS 2013: 12 - [c180]Nancy A. Lynch:
Athena lecture: distributed computing theory for wireless networks and mobile systems. PODC 2013: 2 - [c179]Mohsen Ghaffari, Nancy A. Lynch, Calvin C. Newport:
The cost of radio network broadcast for different models of unreliable links. PODC 2013: 345-354 - 2012
- [j96]Seth Gilbert, Nancy A. Lynch:
Perspectives on the CAP Theorem. Computer 45(2): 30-36 (2012) - [j95]Mohsen Ghaffari, Nancy A. Lynch, Srikanth Sastry:
Leader election using loneliness detection. Distributed Comput. 25(6): 427-450 (2012) - [c178]Nancy A. Lynch, Tsvetomira Radeva, Srikanth Sastry:
Asynchronous leader election and MIS using abstract MAC layer. FOMC 2012: 3 - [c177]Alejandro Cornejo, Nancy A. Lynch, Srikanth Sastry:
Asynchronous failure detectors. PODC 2012: 243-252 - [c176]Keren Censor-Hillel, Bernhard Haeupler, Nancy A. Lynch, Muriel Médard:
Bounded-Contention Coding for Wireless Networks in the High SNR Regime. DISC 2012: 91-105 - [c175]Mohsen Ghaffari, Bernhard Haeupler, Nancy A. Lynch, Calvin C. Newport:
Bounds on Contention Management in Radio Networks. DISC 2012: 223-237 - [i9]Mohsen Ghaffari, Bernhard Haeupler, Nancy A. Lynch, Calvin C. Newport:
Bounds on Contention Management in Radio Networks. CoRR abs/1206.0154 (2012) - [i8]Keren Censor-Hillel, Bernhard Haeupler, Nancy A. Lynch, Muriel Médard:
Bounded-Contention Coding for Wireless Networks in the High SNR Regime. CoRR abs/1208.6125 (2012) - 2011
- [j94]Calvin C. Newport, Nancy A. Lynch:
Modeling radio networks. Distributed Comput. 24(2): 101-118 (2011) - [j93]Fabian Kuhn, Nancy A. Lynch, Calvin C. Newport:
The abstract MAC layer. Distributed Comput. 24(3-4): 187-206 (2011) - [j92]Paul C. Attie, Rachid Guerraoui, Petr Kuznetsov, Nancy A. Lynch, Sergio Rajsbaum:
The impossibility of boosting distributed service resilience. Inf. Comput. 209(6): 927-950 (2011) - [c174]Majid Khabbazian, Fabian Kuhn, Nancy A. Lynch, Muriel Médard, Ali ParandehGheibi:
MAC design for analog network coding. FOMC 2011: 42-51 - [c173]Jiang Wu, Nancy D. Griffeth, Calvin C. Newport, Nancy A. Lynch:
Engineering the Virtual Node Layer for Reactive MANET Routing. NCA 2011: 131-138 - [c172]Keren Censor-Hillel, Seth Gilbert, Fabian Kuhn, Nancy A. Lynch, Calvin C. Newport:
Structuring unreliable radio networks. PODC 2011: 79-88 - [c171]Tsvetomira Radeva, Nancy A. Lynch:
Partial reversal acyclicity. PODC 2011: 353-354 - [c170]Mikhail Volkov, Alejandro Cornejo, Nancy A. Lynch, Daniela Rus:
Environment Characterization for Non-recontaminating Frontier-Based Robotic Exploration. PRIMA 2011: 19-35 - [c169]Mohsen Ghaffari, Nancy A. Lynch, Srikanth Sastry:
Leader Election Using Loneliness Detection. DISC 2011: 268-282 - 2010
- [b4]Dilsun Kirli Kaynar, Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager:
The Theory of Timed I/O Automata, Second Edition. Synthesis Lectures on Distributed Computing Theory, Morgan & Claypool Publishers 2010, ISBN 978-3-031-00875-7 - [j91]Seth Gilbert, Nancy A. Lynch, Alexander A. Shvartsman:
Rambo: a robust, reconfigurable atomic memory service for dynamic networks. Distributed Comput. 23(4): 225-272 (2010) - [c168]Majid Khabbazian, Fabian Kuhn, Dariusz R. Kowalski, Nancy A. Lynch:
Decomposing broadcast algorithms using abstract MAC layers. DIALM-PODC 2010: 13-22 - [c167]Shinya Umeno, Nancy A. Lynch:
Automated Formal Verification of the DHCP Failover Protocol Using Timeout Order Abstraction. ICECCS 2010: 136-145 - [c166]Alejandro Cornejo, Nancy A. Lynch:
Reliably Detecting Connectivity Using Local Graph Traits. OPODIS 2010: 87-102 - [c165]Fabian Kuhn, Nancy A. Lynch, Calvin C. Newport, Rotem Oshman, Andréa W. Richa:
Broadcasting in unreliable radio networks. PODC 2010: 336-345 - [c164]Fabian Kuhn, Nancy A. Lynch, Rotem Oshman:
Distributed computation in dynamic networks. STOC 2010: 513-522 - [e5]Nancy A. Lynch, Alexander A. Shvartsman:
Distributed Computing, 24th International Symposium, DISC 2010, Cambridge, MA, USA, September 13-15, 2010. Proceedings. Lecture Notes in Computer Science 6343, Springer 2010, ISBN 978-3-642-15762-2 [contents]
2000 – 2009
- 2009
- [j90]Rachid Guerraoui, Maurice Herlihy, Petr Kuznetsov, Nancy A. Lynch, Calvin C. Newport:
On the weakest failure detector ever. Distributed Comput. 21(5): 353-366 (2009) - [j89]