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 63 for search 'Nancy Lynch', query time: 0.03s Refine Results
  1. 1
    A MODEL AND ANALYSIS OF HOUSE-HUNTING IN ANT COLONIES

    A MODEL AND ANALYSIS OF HOUSE-HUNTING IN ANT COLONIES by Nancy Lynch

    Published 2022
    Get full text
    Article
  2. 2
    Solving ANTS with loneliness detection and constant memory

    Solving ANTS with loneliness detection and constant memory by O'Brien, Casey (Casey M.)

    Published 2016
    Other Authors: “…Nancy Lynch.…”
    Get full text
    Thesis
  3. 3
    Improved distributed algorithms for fundamental graph problems

    Improved distributed algorithms for fundamental graph problems by Ghaffari, Mohsen

    Published 2017
    Other Authors: “…Nancy Lynch.…”
    Get full text
    Thesis
  4. 4
    A symbiotic perspective on distributed algorithms and social insects

    A symbiotic perspective on distributed algorithms and social insects by Radeva, Tsvetomira

    Published 2017
    Other Authors: “…Nancy Lynch.…”
    Get full text
    Thesis
  5. 5
    The loudest one wins : efficient communication in theoretical wireless networks

    The loudest one wins : efficient communication in theoretical wireless networks by Markatou, Evangelia Anna

    Published 2018
    Other Authors: “…Nancy Lynch.…”
    Get full text
    Thesis
  6. 6
    I/O automaton based simulation of selected distributed algorithms

    I/O automaton based simulation of selected distributed algorithms by Gupta, Aparna Mini

    Published 2005
    Other Authors: “…Nancy Lynch.…”
    Get full text
    Thesis
  7. 7
    Dynamic process creation in a static model

    Dynamic process creation in a static model by Leo, John, 1964-

    Published 2005
    Other Authors: “…Nancy Lynch.…”
    Get full text
    Thesis
  8. 8
    Using Task-Structured Probabilistic I/O Automata to Analyze an Oblivious Transfer Protocol

    Using Task-Structured Probabilistic I/O Automata to Analyze an Oblivious Transfer Protocol by Canetti, Ran, Cheung, Ling, Kaynar, Dilsun, Liskov, Moses, Lynch, Nancy, Pereira, Olivier, Segala, Roberto

    Published 2006
    Other Authors: “…Nancy Lynch…”
    Get full text
  9. 9
    Task-Structured Probabilistic I/O Automata

    Task-Structured Probabilistic I/O Automata by Canetti, Ran, Cheung, Ling, Kaynar, Dilsun, Liskov, Moses, Lynch, Nancy, Pereira, Olivier, Segala, Roberto

    Published 2006
    Other Authors: “…Nancy Lynch…”
    Get full text
  10. 10
    Of Malicious Motes and Suspicious Sensors

    Of Malicious Motes and Suspicious Sensors by Gilbert, Seth, Guerraoui, Rachid, Newport, Calvin

    Published 2006
    Other Authors: “…Nancy Lynch…”
    Get full text
  11. 11
    Using Probabilistic I/O Automata to Analyze an Oblivious Transfer Protocol

    Using Probabilistic I/O Automata to Analyze an Oblivious Transfer Protocol by Canetti, Ran, Cheung, Ling, Kaynar, Dilsun, Liskov, Moses, Lynch, Nancy, Pereira, Olivier, Segala, Roberto

    Published 2006
    Other Authors: “…Nancy Lynch…”
    Get full text
  12. 12
    Using Task-Structured Probabilistic I/O Automata to Analyze an Oblivious Transfer Protocol

    Using Task-Structured Probabilistic I/O Automata to Analyze an Oblivious Transfer Protocol by Canetti, Ran, Cheung, Ling, Kaynar, Dilsun, Liskov, Moses, Lynch, Nancy, Pereira, Olivier, Segala, Roberto

    Published 2006
    Other Authors: “…Nancy Lynch…”
    Get full text
  13. 13
    Task-Structured Probabilistic I/O Automata

    Task-Structured Probabilistic I/O Automata by Canetti,, Ran, Cheung,, Ling, Kaynar,, Dilsun, Liskov,, Moses, Lynch,, Nancy, Pereira,, Olivier, Segala, Roberto

    Published 2006
    Other Authors: “…Nancy Lynch…”
    Get full text
  14. 14
    Implementing Atomic Data through Indirect Learning in Dynamic Network

    Implementing Atomic Data through Indirect Learning in Dynamic Network by Konwar, K., Musial, P.M., Nicolau, N.C., Shvartsman., A.A.

    Published 2006
    Other Authors: “…Nancy Lynch…”
    Get full text
  15. 15
    Using Task-Structured Probabilistic I/O Automata to Analyze an Oblivious Transfer Protocol

    Using Task-Structured Probabilistic I/O Automata to Analyze an Oblivious Transfer Protocol by Canetti, Ran, Cheung, Ling, Kaynar, Dilsun, Liskov, Moses, Lynch, Nancy, Pereira, Olivier, Segala, Roberto

    Published 2007
    Other Authors: “…Nancy Lynch…”
    Get full text
  16. 16
    Consensus and collision detectors in wireless ad hoc networks

    Consensus and collision detectors in wireless ad hoc networks by Newport, Calvin (Calvin Charles)

    Published 2007
    Other Authors: “…Nancy Lynch.…”
    Get full text
    Thesis
  17. 17
    Air traffic control using Virtual Stationary Automata

    Air traffic control using Virtual Stationary Automata by Brown, Matthew D., M. Eng. Massachusetts Institute of Technology

    Published 2008
    Other Authors: “…Nancy Lynch.…”
    Get full text
    Thesis
  18. 18
    An $\Omega(n \log n)$ Lower Bound on the Cost of Mutual Exclusion

    An $\Omega(n \log n)$ Lower Bound on the Cost of Mutual Exclusion by Fan, Rui, Lynch, Nancy

    Published 2008
    Other Authors: “…Nancy Lynch…”
    Get full text
  19. 19
    Event Order Abstraction for Parametric Real-Time System Verification

    Event Order Abstraction for Parametric Real-Time System Verification by Umeno, Shinya

    Published 2008
    Other Authors: “…Nancy Lynch…”
    Get full text
  20. 20
    Virtual infrastructure for wireless ad hoc networks

    Virtual infrastructure for wireless ad hoc networks by Gilbert, Seth, 1976-

    Published 2008
    Other Authors: “…Nancy Lynch.…”
    Get full text
    Get full text
    Thesis

Search Tools: