Nancy Lynch - Concepedia

Author

Nancy Lynch

Massachusetts Institute of Technology ORCID

Also Known As

James Lee, Lynch, N, Lynch, N., Lynch, Nancy, Lynch, Nancy A., Lynch,N A, Lynch,Nancy A, N. A. Lynch, N. Lynch, N.A. Lynch

553

Publications

25.7K

Citations

H-Index

201

Concepts

All Affiliations

Massachusetts Institute of Technology Georgia Institute of Technology University of Washington IIT@MIT Yale University

About

Nancy Lynch is an author at Massachusetts Institute of Technology specializing in engineering, computer science, and formal verification.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	53	141	18.5K
2	Business	8	8	352
3	Education	3	3	611
4	Arts	1	1	76
5	Health Sciences	1	1	13

Nancy Lynch

176

Publications

20.8K

Citations

H-Index

Page 1

	Year	Citations
Impossibility of distributed consensus with one faulty process Michael J. Fischer, Nancy Lynch, Michael S. Paterson Journal of the ACM Distributed ConsensusBlockchain Consensus ProtocolEngineeringDistributed AlgorithmsReliable Processes	1985	4.5K
Consensus in the presence of partial synchrony Cynthia Dwork, Nancy Lynch, Larry Stockmeyer Journal of the ACM Partial SynchronyEngineeringByzantine FaultUpper Bound φConsistency Technology	1988	1.8K
Brewer's conjecture and the feasibility of consistent, available, partition-tolerant web services Seth Gilbert, Nancy Lynch ACM SIGACT News Cluster ComputingAvailabilityEngineeringNetwork AnalysisFault Tolerance	2002	1.7K
An Introduction to Input/Output Automata Nancy Lynch, Marc R. Tuttle Formal Aspects of Computing	2026	1K
Hierarchical correctness proofs for distributed algorithms Nancy Lynch, Mark R. Tuttle EngineeringDistributed AlgorithmsVerificationAutomated ProofFormal Verification	1987	764
Reaching approximate agreement in the presence of faults Danny Dolev, Nancy Lynch, Shlomit S. Pinter, Journal of the ACM Blockchain Consensus ProtocolEngineeringVerificationComputational ComplexityByzantine Generals Problem	1986	519
A lower bound for the time to assure interactive consistency Michael J. Fischer, Nancy Lynch Information Processing Letters Data ConsistencyEngineeringAutomated ReasoningVerificationConcurrency Theory	1982	516
A comparison of polynomial time reducibilities Richard E. Ladner, Nancy Lynch, Alan L. Selman Theoretical Computer Science Computational Complexity TheoryEngineeringParameterized ComplexityFormal MethodsComputational Complexity	1975	414
Forward and Backward Simulations Nancy Lynch, Frits Vaandrager Information and Computation Simulation MethodologyEngineeringDirect Numerical SimulationLarge-scale SimulationSimulation	1995	394
Distributed computation in dynamic networks Fabian Kühn, Nancy Lynch, Rotem Oshman EngineeringDistributed AlgorithmsNetwork RobustnessNetwork AnalysisEducation	2010	390

Page 1