Researchclopedia

Research Researchers Institutions Topics Submit About

Command Palette

Search for a command to run...

Researchclopedia

Research Researchers Institutions About

© 2026 Researchclopedia. Powered by OpenAlex under CC0 license.

Back to researchers

Nancy Lynch

Massachusetts Institute of Technology ORCID

555

Works

25,760

Citations

66

h-index

258

i10-index

Research Topics

Distributed systems and fault tolerance Formal Methods in Verification Petri Nets in System Modeling

Affiliations

University of Southern California1974–1981

The Graduate Center, CUNY2011–2011

Tufts University1973–1973

Fairfield University2007–2007

Vassar College2005–2020

Top Works

Impossibility of distributed consensus with one faulty process

Michael J. Fischer,Nancy Lynch,et al.

19854,526 citations

Nancy Lynch | Researchclopedia

Optimization and Search Problems

Real-Time Systems Scheduling

Consensus in the presence of partial synchrony

Cynthia Dwork,Nancy Lynch,et al.

19881,848 citations

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

Seth Gilbert,Nancy Lynch

20021,670 citations

An Introduction to Input/Output Automata

Nancy Lynch,Marc R. Tuttle

20261,020 citations

Hierarchical correctness proofs for distributed algorithms

Nancy Lynch,Mark R. Tuttle

1987764 citations

Probabilistic simulations for probabilistic processes

Roberto Segala,Nancy Lynch

2005536 citations

Reaching approximate agreement in the presence of faults

Danny Dolev,Nancy Lynch,et al.

1986520 citations

A lower bound for the time to assure interactive consistency

Michael J. Fischer,Nancy Lynch

1982516 citations

A comparison of polynomial time reducibilities

Richard E. Ladner,Nancy Lynch,et al.

1975414 citations