litlas
Log inCreate account

Robin Milner

Active 1968–2021

125
Papers
42,768
Citations
56
h-index
90
i10-index

Citations

Citations per year for Robin Milner1899: 4 citations1905: 4 citations1969: 1 citations1970: 1 citations1971: 3 citations1972: 15 citations1973: 10 citations1974: 15 citations1975: 23 citations1976: 26 citations1977: 24 citations1978: 29 citations1979: 42 citations1980: 65 citations1981: 80 citations1982: 88 citations1983: 126 citations1984: 207 citations1985: 218 citations1986: 197 citations1987: 254 citations1988: 323 citations1989: 376 citations1990: 446 citations1991: 614 citations1992: 574 citations1993: 728 citations1994: 742 citations1995: 765 citations1996: 839 citations1997: 863 citations1998: 830 citations1999: 826 citations2000: 912 citations2001: 895 citations2002: 984 citations2003: 1,136 citations2004: 1,399 citations2005: 1,612 citations2006: 1,340 citations2007: 1,561 citations2008: 1,642 citations2009: 1,514 citations2010: 1,408 citations2011: 1,296 citations2012: 1,299 citations2013: 1,126 citations2014: 1,250 citations2015: 762 citations2016: 522 citations2017: 508 citations2018: 498 citations2019: 507 citations2020: 488 citations2021: 490 citations2022: 249 citations2023: 240 citations2024: 287 citations2025: 208 citations2026: 68 citations1900–1904: no citations, so these years are not shown1906–1968: no citations, so these years are not shown

Citation sources

Countries

World map of the countries and regions citing this authorUnited States: 4,853 citing papers, 17.4% of this breakdownUnited Kingdom: 3,598 citing papers, 12.9% of this breakdownFrance: 2,783 citing papers, 10% of this breakdownGermany: 2,690 citing papers, 9.6% of this breakdownItaly: 2,633 citing papers, 9.4% of this breakdownNetherlands: 1,347 citing papers, 4.8% of this breakdownChina: 991 citing papers, 3.6% of this breakdownCanada: 871 citing papers, 3.1% of this breakdownDenmark: 794 citing papers, 2.9% of this breakdownJapan: 700 citing papers, 2.5% of this breakdownAustralia: 539 citing papers, 1.9% of this breakdownSpain: 529 citing papers, 1.9% of this breakdown
0%17.4%Other 20%

Institutions

Fields

  • Computer Science90.8%
  • Biochemistry, Genetics and Molecular Biology1.9%
  • Business, Management and Accounting1.7%
  • Engineering1.6%
  • Decision Sciences1.2%
  • Mathematics0.7%
  • Other2.1%

Topics

  • 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%
  • Other51.5%

Coauthors

All papers

Open in search
  1. A Calculus of Communicating Systems

    Authors: Robin Milner - Lecture notes in computer science 1980 cited by 4,639

  2. A Theory of Type Polymorphism in Programming

    Authors: Robin Milner - Journal of Computer and System Sciences, J. Comput. Syst. Sci. 1978 cited by 2,209

  3. A Calculus of Mobile Processes, I

    Authors: Robin Milner, Joachim Parrow, David Walker - Information and Computation, Inf. Comput. 1992 cited by 2,849

  4. Algebraic Laws for Nondeterminism and Concurrency

    Authors: Matthew Hennessy, Robin Milner - Journal of the ACM, J. ACM 1985 cited by 1,361

  5. Principal Type-Schemes for Functional Programs

    Authors: Luís Damas, Robin Milner - SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '82 1982 cited by 1,096

  6. A Calculus of Mobile Processes, II

    Authors: Robin Milner, Joachim Parrow, David Walker - Information and Computation, Inf. Comput. 1992 cited by 1,701

  7. The Definition of Standard ML

    Authors: Robin Milner, Robert Harper, David MacQueen, Mads Tofte - The MIT Press eBooks 1997 cited by 2,411

  8. Communicating and mobile systems - the Pi-calculus

    Authors: Robin Milner - DAGLIB 1999 cited by 2,272

  9. On Observing Nondeterminism and Concurrency

    Authors: Matthew Hennessy, Robin Milner - Lecture notes in computer science, ICALP 1980 cited by 4,497

  10. Fully Abstract Models of Typed lambda-Calculi

    Authors: Robin Milner - Theoretical Computer Science, Theor. Comput. Sci. 1977 cited by 477

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

    Authors: Robin Milner - Journal of Computer and System Sciences, J. Comput. Syst. Sci. 1984 cited by 319

  12. Calculi for Synchrony and Asynchrony

    Authors: Robin Milner - Theoretical Computer Science, Theor. Comput. Sci. 1983 cited by 898

  13. The Problem of "Weak Bisimulation up to"

    Authors: Davide Sangiorgi, Robin Milner - Lecture notes in computer science, CONCUR 1992 cited by 178

  14. The Definition of Standard ML (Revised)

    Authors: Robin Milner, Robert Harper, David MacQueen, Mads Tofte - 1997 cited by 986

  15. Grand Challenges for Computing Research

    Authors: Tony Hoare, Robin Milner - The Computer Journal, Comput. J. 2005 cited by 93

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

    Authors: Robin Milner - Electronic Notes in Theoretical Computer Science, EXPRESS 2006 cited by 64

  17. Stochastic Bigraphs

    Authors: Jean Krivine, Robin Milner, Angelo Troina - Electronic Notes in Theoretical Computer Science, MFPS 2008 cited by 118

  18. The Polyadic π-Calculus: a Tutorial

    Authors: Robin Milner - Logic and Algebra of Specification 1993 cited by 760

  19. Barbed Bisimulation

    Authors: Robin Milner, Davide Sangiorgi - Lecture notes in computer science, ICALP 1992 cited by 417

  20. Edinburgh LCF

    Authors: Michael J. C. Gordon, Robin Milner, Christopher P. Wadsworth - Lecture notes in computer science 1979 cited by 617

  21. Functions as Processes

    Authors: Robin Milner - Lecture notes in computer science, ICALP 1990 cited by 530

  22. The Space and Motion of Communicating Agents

    Authors: Robin Milner - Cambridge University Press eBooks 2009 cited by 284

  23. Bigraphs and Their Algebra

    Authors: Robin Milner - Electronic Notes in Theoretical Computer Science, LIX 2006 cited by 78

  24. Elements of Interaction - Turing Award Lecture

    Authors: Robin Milner - Communications of the ACM, Commun. ACM 1993 cited by 242