LL
Leslie Lamport
Microsoft (United States)280
Publications
49,413
Citations
69
h-index
153
i10-index
Loading papers...
Search by keywords
Filter by Type
- Article (199)
- Book Chapter (59)
- Preprint (9)
- Book (7)
- Report (4)
Filter by Open Access Type
- Open Access (71)
- Closed Access (209)
Filter by Authors
- Leslie Lamport (280)
- Stephan Merz (16)
- Martı́n Abadi (12)
- Damien Doligez (12)
- Fred B. Schneider (9)
Filter by Topics
- Formal Methods in Verification (102)
- Logic, programming, and type systems (100)
- Distributed systems and fault tolerance (95)
- Parallel Computing and Optimization Techniques (47)
- Model-Driven Software Engineering Techniques (24)