Concepedia

Nancy Lynch

NL

Statistics

Publications

177

Citations

21.1K

H-Index

59

Active since

1974

Affiliations

Massachusetts Institute of Technology(Current)

Georgia Institute of Technology

University of Washington

Yale University

Nancy Lynch is an author at Massachusetts Institute of Technology specializing in computer science, computing, and distributed systems.

Publications per year

1974–2026

177

Publications

177

Impossibility of distributed consensus with one faulty process

Michael J. Fischer, Nancy Lynch, Michael S. Paterson · Journal of the ACM · 1985 · 4.6K citations · Full text

Computing, Computer Engineering, Computer Science +15

Consensus in the presence of partial synchrony

Cynthia Dwork, Nancy Lynch, Larry Stockmeyer · Journal of the ACM · 1988 · 1.9K citations · Full text

Computing, Computer Engineering, Computer Science +17

Brewer's conjecture and the feasibility of consistent, available, partition-tolerant web services

Seth Gilbert, Nancy Lynch · ACM SIGACT News · 2002 · 1.7K citations

Computing, Computer Science, Computer Systems +14

An Introduction to Input/Output Automata

Nancy Lynch, Mark R. Tuttle · Formal Aspects of Computing · 2026 · 1K citations · Full text

Engineering, Computer Engineering, Computer Science +8

Hierarchical correctness proofs for distributed algorithms

Nancy Lynch, Mark R. Tuttle · 1987 · 767 citations · Full text

Computing, Computer Science, Algorithms +11

1–5 of 177