D-Index & Metrics Best Publications

D-Index & Metrics

Discipline name D-index D-index (Discipline H-index) only includes papers and citation values for an examined discipline in contrast to General H-index which accounts for publications across all disciplines. Citations Publications World Ranking National Ranking
Computer Science D-index 44 Citations 51,135 87 World Ranking 3657 National Ranking 220

Overview

What is he best known for?

The fields of study he is best known for:

  • Programming language
  • Algebra
  • Algorithm

Robin Milner mainly investigates Bisimulation, Programming language, Process calculus, Algebra and Calculus. His Programming language research is multidisciplinary, incorporating elements of Semantic interpretation, Interpretation and Existential quantification. Theoretical computer science covers Robin Milner research in Process calculus.

The Calculus study combines topics in areas such as Discrete mathematics and Pi calculus. In his study, which falls under the umbrella issue of Pi calculus, Bigraph is strongly linked to Ambient calculus. His studies deal with areas such as Semantics and Hennessy–Milner logic as well as Concurrency.

His most cited work include:

  • Communication and Concurrency (7128 citations)
  • On Observing Nondeterminism and Concurrency (4499 citations)
  • A calculus of communicating systems (3721 citations)

What are the main themes of his work throughout his whole career to date?

Robin Milner mainly focuses on Programming language, Algebra, Theoretical computer science, Discrete mathematics and Bigraph. He works mostly in the field of Programming language, limiting it down to topics relating to Type and, in certain cases, Signature, as a part of the same area of interest. His studies in Algebra integrate themes in fields like Process calculus, Bisimulation, Algebra over a field and Concurrency.

Process calculus is closely attributed to Calculus in his work. His Calculus research focuses on subjects like Pi calculus, which are linked to Ambient calculus. His Bigraph research incorporates elements of Reactive system, Locality and Algorithm, Petri net.

He most often published in these fields:

  • Programming language (22.81%)
  • Algebra (16.96%)
  • Theoretical computer science (16.96%)

What were the highlights of his more recent work (between 2003-2014)?

  • Bigraph (13.45%)
  • Theoretical computer science (16.96%)
  • Reactive system (10.53%)

In recent papers he was focusing on the following fields of study:

His primary scientific interests are in Bigraph, Theoretical computer science, Reactive system, Ubiquitous computing and Petri net. Robin Milner interconnects Programming language, Locality, Algebra over a field and Algebra in the investigation of issues within Bigraph. His study in Algebra is interdisciplinary in nature, drawing from both Process calculus and Presentation.

His Process calculus study integrates concerns from other disciplines, such as Basis, Mobile agent and Pi calculus. His study in Theoretical computer science is interdisciplinary in nature, drawing from both Domain, Structure and Semantics. As a part of the same scientific family, Robin Milner mostly works in the field of Petri net, focusing on Transition system and, on occasion, Equivalence.

Between 2003 and 2014, his most popular works were:

  • Theories for the Global Ubiquitous Computer (563 citations)
  • The Space and Motion of Communicating Agents (238 citations)
  • Pure bigraphs: Structure and dynamics (141 citations)

In his most recent research, the most cited papers focused on:

  • Programming language
  • Algebra
  • Algorithm

His primary areas of study are Bigraph, Theoretical computer science, Reactive system, Petri net and Transition system. His Bigraph study incorporates themes from Programming language, Locality, Algebra over a field and Algebra. His Locality research focuses on Context and how it connects with Calculus, Lambda calculus, Confluence and Ubiquitous computing.

He combines subjects such as Process calculus, Graph theory, Simple, Axiom and Category theory with his study of Algebra over a field. His Theoretical computer science research incorporates elements of Gateway, Semantics, Reduction and Computer security. His research on Discrete mathematics frequently connects to adjacent areas such as Structure.

This overview was generated by a machine learning system which analysed the scientist’s body of work. If you have any feedback, you can contact us here.

Best Publications

Communication and Concurrency

Robin Milner.
(1989)

14155 Citations

A calculus of communicating systems

R. Milner.
(1980)

7171 Citations

A calculus of mobile processes, II

Robin Milner;Joachim Parrow;David Walker.
Information & Computation (1992)

5289 Citations

The Definition of Standard ML (Revised)

Robin Milner;Robert Harper;David MacQueen;Mads Tofte.
(1997)

4643 Citations

On Observing Nondeterminism and Concurrency

Matthew Hennessy;Robin Milner.
international colloquium on automata, languages and programming (1980)

4507 Citations

Communicating and Mobile Systems: the Pi-Calculus

Robin Milner.
(1999)

3782 Citations

A theory of type polymorphism in programming

Robin Milner.
Journal of Computer and System Sciences (1978)

3286 Citations

The Definition of Standard ML

Robin Milner;Mads Tofte;Robert Harper.
(1990)

3279 Citations

A Calculus of Mobile Processes - Part II

Robin Milner;Joachim Parrow;David Walker.
Information & Computation (1992)

2722 Citations

Algebraic laws for nondeterminism and concurrency

Matthew Hennessy;Robin Milner.
Journal of the ACM (1985)

1868 Citations

Best Scientists Citing Robin Milner

Ugo Montanari

Ugo Montanari

University of Pisa

Publications: 159

Kim Guldstrand Larsen

Kim Guldstrand Larsen

Aalborg University

Publications: 130

Matthew Hennessy

Matthew Hennessy

Trinity College Dublin

Publications: 126

Jan A. Bergstra

Jan A. Bergstra

University of Amsterdam

Publications: 119

Rob van Glabbeek

Rob van Glabbeek

Stanford University

Publications: 118

Rocco De Nicola

Rocco De Nicola

IMT Institute for Advanced Studies Lucca

Publications: 117

Nobuko Yoshida

Nobuko Yoshida

Imperial College London

Publications: 111

Davide Sangiorgi

Davide Sangiorgi

University of Bologna

Publications: 108

Roberto Gorrieri

Roberto Gorrieri

University of Bologna

Publications: 99

Corrado Priami

Corrado Priami

University of Pisa

Publications: 96

Wan Fokkink

Wan Fokkink

Vrije Universiteit Amsterdam

Publications: 88

Luca Cardelli

Luca Cardelli

University of Oxford

Publications: 82

Catuscia Palamidessi

Catuscia Palamidessi

French Institute for Research in Computer Science and Automation - INRIA

Publications: 80

José Meseguer

José Meseguer

University of Illinois at Urbana-Champaign

Publications: 78

Gianluigi Zavattaro

Gianluigi Zavattaro

University of Bologna

Publications: 77

Flemming Nielson

Flemming Nielson

Technical University of Denmark

Publications: 76

Profile was last updated on December 6th, 2021.
Research.com Ranking is based on data retrieved from the Microsoft Academic Graph (MAG).
The ranking d-index is inferred from publications deemed to belong to the considered discipline.

If you think any of the details on this page are incorrect, let us know.

Contact us
Something went wrong. Please try again later.