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 45 for search 'Lynch, Nancy Ann', query time: 0.48s Refine Results
  1. 1
    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
  2. 2
    Brief Announcement: Partial Reversal Acyclicity
    Other Authors: “...Lynch, Nancy Ann...”
    Get fulltext
    Article
  3. 3
    Perspectives on the CAP Theorem
    by Gilbert, Seth, Lynch, Nancy Ann
    Published 2013
    Other Authors: “...Lynch, Nancy Ann...”
    Get fulltext
    Article
  4. 4
    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
  5. 5
    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
  6. 6
    Modeling radio networks
    Other Authors: “...Lynch, Nancy Ann...”
    Get fulltext
    Article
  7. 7
    Modeling radio networks
    Get fulltext
    Article
  8. 8
    A (Truly) Local Broadcast Layer for Unreliable Radio Networks
    Other Authors: “...Lynch, Nancy Ann...”
    Get fulltext
    Article
  9. 9
    Reliably Detecting Connectivity Using Local Graph Traits
    Other Authors: “...Lynch, Nancy Ann...”
    Get fulltext
    Article
  10. 10
    Special issue on DISC 2010
    Other Authors: “...Lynch, Nancy Ann...”
    Get fulltext
    Article
  11. 11
    Brief announcement: Minimum spanning trees and cone-based topology control
    Other Authors: “...Lynch, Nancy Ann...”
    Get fulltext
    Article
  12. 12
    Brief announcement: Integrating temporal information to spatial information in a neural circuit
    Get fulltext
    Article
  13. 13
    Distributed computation in dynamic networks
    Other Authors: “...Lynch, Nancy Ann...”
    Get fulltext
    Article
  14. 14
    Leader election using loneliness detection
    Get fulltext
    Article
  15. 15
    Rambo: a robust, reconfigurable atomic memory service for dynamic networks
    Other Authors: “...Lynch, Nancy Ann...”
    Get fulltext
    Article
  16. 16
    Asynchronous failure detectors
    Other Authors: “...Lynch, Nancy Ann...”
    Get fulltext
    Article
  17. 17
    Brief announcement: Hardness of broadcasting in wireless networks with unreliable communication
    Other Authors: “...Lynch, Nancy Ann...”
    Get fulltext
    Article
  18. 18
    The cost of radio network broadcast for different models of unreliable links
    Other Authors: “...Lynch, Nancy Ann...”
    Get fulltext
    Article
  19. 19
    The abstract MAC layer
    Other Authors: “...Lynch, Nancy Ann...”
    Get fulltext
    Article
  20. 20
    Self-stabilizing robot formations over unreliable networks
    Other Authors: “...Lynch, Nancy Ann...”
    Get fulltext
    Article
Search Tools: Get RSS Feed — Email this Search