Nancy Lynch

Nancy Ann Lynch (born January 19, 1948) is a computer scientist affiliated with the Massachusetts Institute of Technology. She is the NEC Professor of Software Science and Engineering in the EECS department and heads the "Theory of Distributed Systems" research group at MIT's Computer Science and Artificial Intelligence Laboratory. Provided by Wikipedia
Showing 1 - 20 results of 66 for search 'Lynch, Nancy', query time: 0.41s Refine Results
  1. 1
    An efficient communication abstraction for dense wireless networks
    by Lynch, Nancy
    Published 2021
    Get fulltext
    Article
  2. 2
    Brief announcement: On simple back-off in unreliable radio networks
    by Lynch, Nancy
    Published 2021
    Get fulltext
    Article
  3. 3
    Flavor, aroma and color influences on consumer acceptance and flavor profile analysis of polyvinyl chloride and vacuum packaged ground beef
    by Lynch, Nancy Marie.
    Published 2015
    Get full text
  4. 4
    RADON: Repairable Atomic Data Object in Networks
    by Lynch, Nancy, Medard, Muriel
    Published 2021
    Get fulltext
    Article
  5. 5
    RADON: Repairable Atomic Data Object in Networks
    by Lynch, Nancy, Medard, Muriel
    Published 2022
    Get fulltext
    Article
  6. 6
    Timeout Order Abstraction for Time-Parametric Verification of Loosely Synchronized Real-Time Distributed Systems
    by Umeno, Shinya, Lynch, Nancy Ann
    Published 2011
    Other Authors: “...Lynch, Nancy Ann...”
    Get fulltext
    Article
  7. 7
    Brief Announcement: Partial Reversal Acyclicity
    Other Authors: “...Lynch, Nancy Ann...”
    Get fulltext
    Article
  8. 8
    Perspectives on the CAP Theorem
    by Gilbert, Seth, Lynch, Nancy Ann
    Published 2013
    Other Authors: “...Lynch, Nancy Ann...”
    Get fulltext
    Article
  9. 9
    Learning hierarchically-structured concepts
    Get fulltext
    Article
  10. 10
    Automated Formal Verification of the DHCP Failover Protocol Using Timeout Order Abstraction
    by Umeno, Shinya, Lynch, Nancy Ann
    Published 2012
    Other Authors: “...Lynch, Nancy Ann...”
    Get fulltext
    Article
  11. 11
    Relativization of the theory of computational complexity.
    Get full text
    Others
  12. 12
    An Upper and Lower Bound for the Convergence Time of House-Hunting in Temnothorax Ant Colonies
    by Zhang, Emily, Zhao, Jiajia, Lynch, Nancy
    Published 2022
    Get fulltext
    Article
  13. 13
    Dynamic input/output automata: A formal and compositional model for dynamic systems
    by Attie, Paul C., Lynch, Nancy Ann
    Published 2018
    Other Authors: “...Lynch, Nancy Ann...”
    Get fulltext
    Article
  14. 14
    Modeling radio networks
    Other Authors: “...Lynch, Nancy Ann...”
    Get fulltext
    Article
  15. 15
    Modeling radio networks
    Get fulltext
    Article
  16. 16
    Invited Paper: Lack of Quorum Sensing Leads to Failure of Consensus in Temnothorax Ant Emigration
    by Zhao, Jiajia, Su, Lili, Lynch, Nancy
    Published 2022
    Get fulltext
    Article
  17. 17
    A (Truly) Local Broadcast Layer for Unreliable Radio Networks
    Other Authors: “...Lynch, Nancy Ann...”
    Get fulltext
    Article
  18. 18
    Reliably Detecting Connectivity Using Local Graph Traits
    Other Authors: “...Lynch, Nancy Ann...”
    Get fulltext
    Article
  19. 19
    Special issue on DISC 2010
    Other Authors: “...Lynch, Nancy Ann...”
    Get fulltext
    Article
  20. 20
    Neuro-RAM unit with applications to similarity testing and compression in spiking neural networks
    Get fulltext
    Article
Search Tools: Get RSS Feed — Email this Search