Nancy A. Lynch
Active 1973–2026
- 321
- Papers
- 22,382
- Citations
- 61
- h-index
- 198
- i10-index
Citations
Citation sources
Countries
Institutions
- Centre National de la Recherche Scientifique1.7%
- Massachusetts Institute of Technology1.6%
- Institut de Recherche en Informatique et Systèmes Aléatoires1.6%
- Technion – Israel Institute of Technology1.4%
- École Polytechnique Fédérale de Lausanne1.3%
- Institut national de recherche en sciences et technologies du numérique1.1%
- Other91.3%
Fields
- Computer Science92.8%
- Engineering3.4%
- Physics and Astronomy0.7%
- Decision Sciences0.7%
- Biochemistry, Genetics and Molecular Biology0.5%
- Social Sciences0.4%
- Other1.5%
Topics
- Distributed systems and fault tolerance18.8%
- Formal Methods in Verification5.8%
- Optimization and Search Problems5.1%
- Cryptography and Data Security3.1%
- Parallel Computing and Optimization Techniques3%
- Petri Nets in System Modeling2.9%
- Other61.3%
Coauthors
- Michael J. Fischer20
- Roberto Segala20
- Seth Gilbert19
- Alan D. Fekete18
- Alexander A. Shvartsman17
- Calvin C. Newport16
- Frits W. Vaandrager14
- Dilsun Kirli Kaynar13
- Tina Nolte13
- Sayan Mitra12
- Ling Cheung10
- Michael Merritt10
- Muriel Médard10
- Fabian Kuhn9
- William E. Weihl9
- Cameron Musco8
- Jennifer L. Welch8
- Kishori M. Konwar8
- Nancy D. Griffeth8
- Olivier Pereira8
- Ran Canetti8
- Alejandro Cornejo7
- Tsvetomira Radeva7
- Calvin Newport6
All papers
- Consensus in the presence of partial synchrony
Authors: Cynthia Dwork, Nancy A. Lynch, Larry J. Stockmeyer - Journal of the ACM, J. ACM 1988 cited by 1,873
- Impossibility of Distributed Consensus with One Faulty Process
Authors: Michael J. Fischer, Nancy A. Lynch, Mike Paterson - Journal of the ACM, J. ACM 1983 cited by 4,554
- Brewer's conjecture and the feasibility of consistent, available, partition-tolerant web services
Authors: Seth Gilbert, Nancy A. Lynch - ACM SIGACT News 2002 cited by 1,693
- Reaching Approximate Agreement in the Presence of Faults
Authors: Danny Dolev, Nancy A. Lynch, Shlomit S. Pinter, Eugene W. Stark, William E. Weihl - Journal of the ACM, J. ACM 1983 cited by 522
- A Lower Bound for the Time to Assure Interactive Consistency
Authors: Michael J. Fischer, Nancy A. Lynch - Information Processing Letters, Inf. Process. Lett. 1981 cited by 519
- Distributed computation in dynamic networks
Authors: Fabian Kuhn, Nancy A. Lynch, Rotem Oshman - forty-second ACM symposium on Theory of computing, STOC 2009 cited by 392
- Perspectives on the CAP Theorem
Authors: Seth Gilbert, Nancy A. Lynch - Computer 2012 cited by 246
- Easy Impossibility Proofs for Distributed Consensus Problems
Authors: Michael J. Fischer, Nancy A. Lynch, Michael Merritt - Distributed Computing, Distributed Comput. 1985 cited by 257
- Robust Emulation of Shared Memory Using Dynamic Quorum-Acknowledged Broadcasts
Authors: Nancy A. Lynch, Alexander A. Shvartsman - International Symposium on Fault Tolerant Computing, FTCS 1997 cited by 136
- Hierarchical Correctness Proofs for Distributed Algorithms
Authors: Nancy A. Lynch, Mark R. Tuttle - sixth annual ACM Symposium on Principles of distributed computing - PODC '87 1987 cited by 767
- Forward and Backward Simulations: I. Untimed Systems
Authors: Nancy A. Lynch, Frits W. Vaandrager - Information and Computation, Inf. Comput. 1995 cited by 402
- An Efficient Algorithm for Byzantine Agreement without Authentication
Authors: Danny Dolev, Michael J. Fischer, Robert J. Fowler, Nancy A. Lynch, H. Raymond Strong - Information and Control, Inf. Control. 1982 cited by 149
- Rambo: a robust, reconfigurable atomic memory service for dynamic networks
Authors: Seth Gilbert, Nancy A. Lynch, Alexander A. Shvartsman - Distributed Computing, Distributed Comput. 2010 cited by 80
- Electing a leader in a synchronous ring
Authors: Greg N. Frederickson, Nancy A. Lynch - Journal of the ACM, J. ACM 1987 cited by 194
- Distributed Algorithms
Authors: Nancy A. Lynch - MK 1996 cited by 354
- Cryptographic Protocols
Authors: Richard A. DeMillo, Nancy A. Lynch, Michael Merritt - fourteenth annual ACM symposium on Theory of computing, STOC 1982 cited by 237
- Bounds on Shared Memory for Mutual Exclusion
Authors: James E. Burns, Nancy A. Lynch - Information and Computation, Inf. Comput. 1993 cited by 141
- Hybrid I/O Automata
Authors: Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager, Henri B. Weinberg - Lecture notes in computer science, Hybrid Systems 1995 cited by 270
- Revisiting the PAXOS algorithm
Authors: Roberto De Prisco, Butler W. Lampson, Nancy A. Lynch - Lecture notes in computer science, Theor. Comput. Sci. 1997 cited by 119
- High-level modeling and analysis of the traffic alert and collision avoidance system (TCAS)
Authors: Carolos Livadas, John Lygeros, Nancy A. Lynch - IEEE, Proc. IEEE 2000 cited by 110
- A Hundred Impossibility Proofs for Distributed Computing
Authors: Nancy A. Lynch - eighth annual ACM Symposium on Principles of distributed computing - PODC '89 1989 cited by 103
- Resource Allocation with Immunity to Limited Process Failure (Preliminary Report)
Authors: Michael J. Fischer, Nancy A. Lynch, James E. Burns, Allan Borodin - Annual Symposium on Foundations of Computer Science (sfcs 1979) 1979 cited by 102
- The Abstract MAC Layer
Authors: Fabian Kuhn, Nancy A. Lynch, Calvin C. Newport - Distributed Computing, DISC 2009 cited by 21
- Proceedings of the 15th Annual ACM Symposium on Theory of Computing, 25-27 April, 1983, Boston, Massachusetts, USA
Authors: David S. Johnson, Ronald Fagin, Michael L. Fredman, David Harel, Richard M. Karp, Nancy A. Lynch, Christos H. Papadimitriou, Ronald L. Rivest, Walter L. Ruzzo, Joel I. Seiferas - STOC 1983 cited by 13
