litlas
ログインアカウント作成

Leslie Lamport

1970–2024 年に発表

178
論文数
47,456
被引用数
65
h 指数
129
i10 指数

被引用数

Leslie Lamport の年別被引用数1899 年: 被引用 3 件1965 年: 被引用 1 件1969 年: 被引用 1 件1973 年: 被引用 1 件1974 年: 被引用 1 件1975 年: 被引用 12 件1976 年: 被引用 13 件1977 年: 被引用 11 件1978 年: 被引用 30 件1979 年: 被引用 34 件1980 年: 被引用 41 件1981 年: 被引用 68 件1982 年: 被引用 82 件1983 年: 被引用 124 件1984 年: 被引用 189 件1985 年: 被引用 131 件1986 年: 被引用 200 件1987 年: 被引用 234 件1988 年: 被引用 262 件1989 年: 被引用 343 件1990 年: 被引用 384 件1991 年: 被引用 403 件1992 年: 被引用 402 件1993 年: 被引用 428 件1994 年: 被引用 502 件1995 年: 被引用 414 件1996 年: 被引用 376 件1997 年: 被引用 462 件1998 年: 被引用 397 件1999 年: 被引用 479 件2000 年: 被引用 418 件2001 年: 被引用 397 件2002 年: 被引用 497 件2003 年: 被引用 602 件2004 年: 被引用 624 件2005 年: 被引用 688 件2006 年: 被引用 721 件2007 年: 被引用 720 件2008 年: 被引用 756 件2009 年: 被引用 761 件2010 年: 被引用 827 件2011 年: 被引用 831 件2012 年: 被引用 755 件2013 年: 被引用 810 件2014 年: 被引用 823 件2015 年: 被引用 874 件2016 年: 被引用 848 件2017 年: 被引用 848 件2018 年: 被引用 938 件2019 年: 被引用 984 件2020 年: 被引用 992 件2021 年: 被引用 947 件2022 年: 被引用 683 件2023 年: 被引用 690 件2024 年: 被引用 608 件2025 年: 被引用 550 件2026 年: 被引用 161 件1900〜1964 年は被引用が無いため表示していません1966〜1968 年は被引用が無いため表示していません1970〜1972 年は被引用が無いため表示していません

引用元

国・地域

この著者を引用した国・地域の世界地図アメリカ合衆国: 引用元論文 6,842 件、この内訳の 29.2%フランス: 引用元論文 1,722 件、この内訳の 7.3%ドイツ: 引用元論文 1,567 件、この内訳の 6.7%中国: 引用元論文 1,489 件、この内訳の 6.3%イギリス: 引用元論文 1,372 件、この内訳の 5.9%イスラエル: 引用元論文 834 件、この内訳の 3.6%カナダ: 引用元論文 801 件、この内訳の 3.4%インド: 引用元論文 696 件、この内訳の 3%スイス: 引用元論文 694 件、この内訳の 3%イタリア: 引用元論文 645 件、この内訳の 2.7%日本: 引用元論文 520 件、この内訳の 2.2%オランダ: 引用元論文 468 件、この内訳の 2%
0%29.2%その他 24.7%

機関

分野

  • Computer Science93.9%
  • Engineering2.4%
  • Decision Sciences1%
  • Social Sciences0.8%
  • Business, Management and Accounting0.4%
  • Physics and Astronomy0.3%
  • その他1.2%

トピック

  • Distributed systems and fault tolerance16%
  • Parallel Computing and Optimization Techniques6.9%
  • Formal Methods in Verification6.5%
  • Logic, programming, and type systems4%
  • Advanced Data Storage Technologies3.2%
  • Cryptography and Data Security3.1%
  • その他60.3%

共著者

全論文

検索で開く
  1. The Part-Time Parliament

    著者: Leslie Lamport - ACM Transactions on Computer Systems, ACM Trans. Comput. Syst. 1998 被引用: 2,714

  2. Reaching Agreement in the Presence of Faults

    著者: Marshall C. Pease, Robert E. Shostak, Leslie Lamport - Journal of the ACM, J. ACM 1980 被引用: 2,364

  3. The Byzantine Generals Problem

    著者: SRI International, Leslie Lamport, Robert E. Shostak, SRI International, Marshall C. Pease, SRI International - ACM Transactions on Programming Languages and Systems, ACM Trans. Program. Lang. Syst. 1982 被引用: 5,966

  4. How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs

    著者: Leslie Lamport - Association for Computing Machinery eBooks, Concurrency: the Works of Leslie Lamport 1979 被引用: 2,526

  5. Password Authentification with Insecure Communication

    著者: Leslie Lamport - Communications of the ACM, Commun. ACM 1981 被引用: 2,782

  6. Proving the Correctness of Multiprocess Programs

    著者: Leslie Lamport - IEEE Transactions on Software Engineering, IEEE Trans. Software Eng. 1977 被引用: 1,121

  7. Distributed Snapshots: Determining Global States of Distributed Systems

    著者: K. Mani Chandy, Leslie Lamport - ACM Transactions on Computer Systems, ACM Trans. Comput. Syst. 1985 被引用: 2,439

  8. Time, Clocks, and the Ordering of Events in a Distributed System

    著者: Leslie Lamport - Association for Computing Machinery eBooks, Commun. ACM 1978 被引用: 8,437

  9. Model Checking TLA+ Specifications

    著者: Yuan Yu, Panagiotis Manolios, Leslie Lamport - Lecture notes in computer science, CHARME 1999 被引用: 269

  10. Fast Paxos

    著者: Leslie Lamport - Distributed Computing, Distributed Comput. 2005 被引用: 460

  11. Specifying Systems, The TLA+ Language and Tools for Hardware and Software Engineers

    著者: Leslie Lamport - AW 2002 被引用: 953

  12. The Existence of Refinement Mappings

    著者: Martín Abadi, Leslie Lamport - Theoretical Computer Science, LICS 1988 被引用: 734

  13. The Weak Byzantine Generals Problem

    著者: Leslie Lamport - Journal of the ACM, J. ACM 1983 被引用: 216

  14. The TLA+ Toolbox

    著者: Markus Alexander Kuppe, Leslie Lamport, Daniel Ricketts - Electronic Proceedings in Theoretical Computer Science, F-IDE@FM 2019 被引用: 41

  15. Consensus on Transaction Commit

    著者: Jim Gray, Leslie Lamport - ACM Transactions on Database Systems, ACM Trans. Database Syst. 2006 被引用: 330

  16. Vertical paxos and primary-backup replication

    著者: Leslie Lamport, Dahlia Malkhi, Lidong Zhou - symposium on Principles of distributed computing, PODC 2009 被引用: 161

  17. Reconfiguring a state machine

    著者: Leslie Lamport, Dahlia Malkhi, Lidong Zhou - ACM SIGACT News 2010 被引用: 110

  18. A New Solution of Dijkstra's Concurrent Programming Problem

    著者: Leslie Lamport - Association for Computing Machinery eBooks, Commun. ACM 1974 被引用: 715

  19. The Temporal Logic of Actions

    著者: Leslie Lamport - ACM Transactions on Programming Languages and Systems, ACM Trans. Program. Lang. Syst. 1994 被引用: 79

  20. The PlusCal Algorithm Language

    著者: Leslie Lamport - Lecture notes in computer science, ICTAC 2009 被引用: 110

  21. A Fast Mutual Exclusion Algorithm

    著者: Leslie Lamport - ACM Transactions on Computer Systems, ACM Trans. Comput. Syst. 1985 被引用: 487

  22. On Interprocess Communication. Part I: Basic Formalism

    著者: Leslie Lamport - Distributed Computing, Distributed Comput. 1986 被引用: 843

  23. Constructing Digital Signatures from a One Way Function

    著者: Leslie Lamport - 2016 被引用: 655

  24. Proving Liveness Properties of Concurrent Programs

    著者: Susan S. Owicki, Leslie Lamport - ACM Transactions on Programming Languages and Systems, ACM Trans. Program. Lang. Syst. 1982 被引用: 583