Concepedia

Author

Leslie Lamport

Digital Wave (United States)

Also Known As

L. Lamport, Lamport, Leslie, Lamport,Leslie, Leslie LAMPORT, Leslie Lamport, SRI International

280

Publications

49.2K

Citations

69

H-Index

132

Concepts

All Affiliations

Digital Wave (United States)SRI InternationalMicrosoft (United States)Microsoft Research (United Kingdom)Menlo School
LL

About

Leslie Lamport is an author at Digital Wave (United States) specializing in engineering, computer science, and formal methods.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

46

72

31.9K

2

Language Studies

4

4

267

3

Social Sciences

2

2

49

4

Business

1

1

2.4K

5

Education

1

1

280

Leslie Lamport

×

108

Publications

41.8K

Citations

58

H-Index

YearCitations

Time, clocks, and the ordering of events in a distributed system

Leslie Lamport

Communications of the ACM

1978

8.4K

The Byzantine Generals Problem

Leslie Lamport, Robert E. Shostak, Marshall C. Pease

ACM Transactions on Programming Languages and Systems

1982

5.9K

Password authentication with insecure communication

Leslie Lamport

Communications of the ACM

1981

2.8K

The part-time parliament

Leslie Lamport

ACM Transactions on Computer Systems

1998

2.7K

Distributed snapshots

K. Mani Chandy, Leslie Lamport

ACM Transactions on Computer Systems

1985

2.4K

Reaching Agreement in the Presence of Faults

Marshall C. Pease, Robert E. Shostak, Leslie Lamport

Journal of the ACM

1980

2.4K

Proving the Correctness of Multiprocess Programs

Leslie Lamport

IEEE Transactions on Software Engineering

1977

1.1K

Paxos Made Simple

Leslie Lamport

2001

975

On interprocess communication

Leslie Lamport

Distributed Computing

1986

843

The existence of refinement mappings

Martı́n Abadi, Leslie Lamport

Theoretical Computer Science

1991

726

Page 1