Leslie Lamport
Publications by Year
Research Areas
Formal Methods in Verification, Logic, programming, and type systems, Distributed systems and fault tolerance, Parallel Computing and Optimization Techniques, Model-Driven Software Engineering Techniques
Most-Cited Works
- → Time, clocks, and the ordering of events in a distributed system(1978)8,380 cited
- → The Byzantine Generals Problem(1982)5,905 cited
- → Password authentication with insecure communication(1981)2,775 cited
- → The part-time parliament(1998)2,686 cited
- → Distributed snapshots(1985)2,425 cited
- → Reaching Agreement in the Presence of Faults(1980)2,353 cited
- → Proving the Correctness of Multiprocess Programs(1977)1,108 cited