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

Robin Milner

1968–2021 年に発表

125
論文数
42,768
被引用数
56
h 指数
90
i10 指数

被引用数

Robin Milner の年別被引用数1899 年: 被引用 4 件1905 年: 被引用 4 件1969 年: 被引用 1 件1970 年: 被引用 1 件1971 年: 被引用 3 件1972 年: 被引用 15 件1973 年: 被引用 10 件1974 年: 被引用 15 件1975 年: 被引用 23 件1976 年: 被引用 26 件1977 年: 被引用 24 件1978 年: 被引用 29 件1979 年: 被引用 42 件1980 年: 被引用 65 件1981 年: 被引用 80 件1982 年: 被引用 88 件1983 年: 被引用 126 件1984 年: 被引用 207 件1985 年: 被引用 218 件1986 年: 被引用 197 件1987 年: 被引用 254 件1988 年: 被引用 323 件1989 年: 被引用 376 件1990 年: 被引用 446 件1991 年: 被引用 614 件1992 年: 被引用 574 件1993 年: 被引用 728 件1994 年: 被引用 742 件1995 年: 被引用 765 件1996 年: 被引用 839 件1997 年: 被引用 863 件1998 年: 被引用 830 件1999 年: 被引用 826 件2000 年: 被引用 912 件2001 年: 被引用 895 件2002 年: 被引用 984 件2003 年: 被引用 1,136 件2004 年: 被引用 1,399 件2005 年: 被引用 1,612 件2006 年: 被引用 1,340 件2007 年: 被引用 1,561 件2008 年: 被引用 1,642 件2009 年: 被引用 1,514 件2010 年: 被引用 1,408 件2011 年: 被引用 1,296 件2012 年: 被引用 1,299 件2013 年: 被引用 1,126 件2014 年: 被引用 1,250 件2015 年: 被引用 762 件2016 年: 被引用 522 件2017 年: 被引用 508 件2018 年: 被引用 498 件2019 年: 被引用 507 件2020 年: 被引用 488 件2021 年: 被引用 490 件2022 年: 被引用 249 件2023 年: 被引用 240 件2024 年: 被引用 287 件2025 年: 被引用 208 件2026 年: 被引用 68 件1900〜1904 年は被引用が無いため表示していません1906〜1968 年は被引用が無いため表示していません

引用元

国・地域

この著者を引用した国・地域の世界地図アメリカ合衆国: 引用元論文 4,853 件、この内訳の 17.4%イギリス: 引用元論文 3,598 件、この内訳の 12.9%フランス: 引用元論文 2,783 件、この内訳の 10%ドイツ: 引用元論文 2,690 件、この内訳の 9.6%イタリア: 引用元論文 2,633 件、この内訳の 9.4%オランダ: 引用元論文 1,347 件、この内訳の 4.8%中国: 引用元論文 991 件、この内訳の 3.6%カナダ: 引用元論文 871 件、この内訳の 3.1%デンマーク: 引用元論文 794 件、この内訳の 2.9%日本: 引用元論文 700 件、この内訳の 2.5%オーストラリア: 引用元論文 539 件、この内訳の 1.9%スペイン: 引用元論文 529 件、この内訳の 1.9%
0%17.4%その他 20%

機関

分野

  • Computer Science90.8%
  • Biochemistry, Genetics and Molecular Biology1.9%
  • Business, Management and Accounting1.7%
  • Engineering1.6%
  • Decision Sciences1.2%
  • Mathematics0.7%
  • その他2.1%

トピック

  • Formal Methods in Verification15.8%
  • Logic, programming, and type systems15.2%
  • Logic, Reasoning, and Knowledge6.3%
  • Distributed systems and fault tolerance4.1%
  • Advanced Software Engineering Methodologies3.7%
  • Petri Nets in System Modeling3.4%
  • その他51.5%

共著者

全論文

検索で開く
  1. A Calculus of Communicating Systems

    著者: Robin Milner - Lecture notes in computer science 1980 被引用: 4,639

  2. A Theory of Type Polymorphism in Programming

    著者: Robin Milner - Journal of Computer and System Sciences, J. Comput. Syst. Sci. 1978 被引用: 2,209

  3. A Calculus of Mobile Processes, I

    著者: Robin Milner, Joachim Parrow, David Walker - Information and Computation, Inf. Comput. 1992 被引用: 2,849

  4. Algebraic Laws for Nondeterminism and Concurrency

    著者: Matthew Hennessy, Robin Milner - Journal of the ACM, J. ACM 1985 被引用: 1,361

  5. Principal Type-Schemes for Functional Programs

    著者: Luís Damas, Robin Milner - SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '82 1982 被引用: 1,096

  6. A Calculus of Mobile Processes, II

    著者: Robin Milner, Joachim Parrow, David Walker - Information and Computation, Inf. Comput. 1992 被引用: 1,701

  7. The Definition of Standard ML

    著者: Robin Milner, Robert Harper, David MacQueen, Mads Tofte - The MIT Press eBooks 1997 被引用: 2,411

  8. Communicating and mobile systems - the Pi-calculus

    著者: Robin Milner - DAGLIB 1999 被引用: 2,272

  9. On Observing Nondeterminism and Concurrency

    著者: Matthew Hennessy, Robin Milner - Lecture notes in computer science, ICALP 1980 被引用: 4,497

  10. Fully Abstract Models of Typed lambda-Calculi

    著者: Robin Milner - Theoretical Computer Science, Theor. Comput. Sci. 1977 被引用: 477

  11. A Complete Inference System for a Class of Regular Behaviours

    著者: Robin Milner - Journal of Computer and System Sciences, J. Comput. Syst. Sci. 1984 被引用: 319

  12. Calculi for Synchrony and Asynchrony

    著者: Robin Milner - Theoretical Computer Science, Theor. Comput. Sci. 1983 被引用: 898

  13. The Problem of "Weak Bisimulation up to"

    著者: Davide Sangiorgi, Robin Milner - Lecture notes in computer science, CONCUR 1992 被引用: 178

  14. The Definition of Standard ML (Revised)

    著者: Robin Milner, Robert Harper, David MacQueen, Mads Tofte - 1997 被引用: 986

  15. Grand Challenges for Computing Research

    著者: Tony Hoare, Robin Milner - The Computer Journal, Comput. J. 2005 被引用: 93

  16. Local Bigraphs and Confluence: Two Conjectures: (Extended Abstract)

    著者: Robin Milner - Electronic Notes in Theoretical Computer Science, EXPRESS 2006 被引用: 64

  17. Stochastic Bigraphs

    著者: Jean Krivine, Robin Milner, Angelo Troina - Electronic Notes in Theoretical Computer Science, MFPS 2008 被引用: 118

  18. The Polyadic π-Calculus: a Tutorial

    著者: Robin Milner - Logic and Algebra of Specification 1993 被引用: 760

  19. Barbed Bisimulation

    著者: Robin Milner, Davide Sangiorgi - Lecture notes in computer science, ICALP 1992 被引用: 417

  20. Edinburgh LCF

    著者: Michael J. C. Gordon, Robin Milner, Christopher P. Wadsworth - Lecture notes in computer science 1979 被引用: 617

  21. Functions as Processes

    著者: Robin Milner - Lecture notes in computer science, ICALP 1990 被引用: 530

  22. The Space and Motion of Communicating Agents

    著者: Robin Milner - Cambridge University Press eBooks 2009 被引用: 284

  23. Bigraphs and Their Algebra

    著者: Robin Milner - Electronic Notes in Theoretical Computer Science, LIX 2006 被引用: 78

  24. Elements of Interaction - Turing Award Lecture

    著者: Robin Milner - Communications of the ACM, Commun. ACM 1993 被引用: 242