Edit Profile Lamport, Leslie Compute Distance To: Compute Author ID: lamport.leslie Published as: Lamport, L.; Lamport, Leslie External Links: MGP · Wikidata · dblp · GND Awards: Turing Award (2013) Documents Indexed: 71 Publications since 1970, including 2 Books Biographic References: 2 Publications all top 5 Co-Authors 52 single-authored 3 Gafni, Eli M. 2 Abadi, Martín 2 Aguilera, Marcos Kawazoe 2 Dijkstra, Edsger Wybe 2 Johnson, James E. 2 Langworthy, David E. 2 Pease, Marshall C. III 2 Scholten, Carel S. 2 Shostak, Robert E. 2 Steffens, Elisabeth F. M. 2 Vogt, Friedrich H. 1 Cousineau, Denis 1 Doligez, Damien 1 Joshi, Rajeev 1 Lynch, Nancy Ann 1 Martin, Alain J. 1 Martin, Andrew J. 1 Matthews, John W. 1 Melliar-Smith, P. Michael 1 Merz, Stephan 1 Owicki, Susan S. 1 Pease, Marshall 1 Perl, Sharon 1 Ricketts, Daniel 1 Schneider, Fred B. 1 Shostak, Robert 1 Tasiran, Serdar 1 Tuttle, Mark E. 1 Vanzetto, Hernán 1 Weihl, William E. 1 Yu, Yuan all top 5 Serials 8 Communications of the ACM 8 Distributed Computing 5 Journal of the Association for Computing Machinery 5 ACM Transactions on Programming Languages and Systems 3 Theoretical Computer Science 2 Acta Informatica 1 American Mathematical Monthly 1 Information Processing Letters 1 IEEE Transactions on Computers 1 Science of Computer Programming 1 IEEE Transactions on Software Engineering 1 Formal Methods in System Design 1 Bulletin of the European Association for Theoretical Computer Science EATCS 1 The Journal of Logic and Algebraic Programming 1 Foundations of Physics 1 Bulletin of the American Mathematical Society 1 Journal of Fixed Point Theory and Applications all top 5 Fields 65 Computer science (68-XX) 3 General and overarching topics; collections (00-XX) 2 Mathematical logic and foundations (03-XX) 1 Combinatorics (05-XX) 1 Group theory and generalizations (20-XX) 1 Partial differential equations (35-XX) 1 Quantum theory (81-XX) 1 Information and communication theory, circuits (94-XX) Publications by Year Citations contained in zbMATH Access to citation profile requires subscription Wikidata Timeline