D-Index & Metrics Best Publications
Computer Science
UK
2023

D-Index & Metrics 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.

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 73 Citations 31,163 225 World Ranking 942 National Ranking 61

Research.com Recognitions

Awards & Achievements

2023 - Research.com Computer Science in United Kingdom Leader Award

2006 - Member of Academia Europaea

2005 - Fellow of the Royal Society, United Kingdom

2004 - ACM Fellow For contributions to object-oriented programming languages.

Overview

What is he best known for?

The fields of study he is best known for:

  • Programming language
  • Artificial intelligence
  • Algorithm

Programming language, Theoretical computer science, Ambient calculus, Algorithm and Computation are his primary areas of study. His research ties Abstract type and Programming language together. His study in the field of Linear temporal logic, Dynamic logic and Temporal logic of actions is also linked to topics like Modal logic.

His Ambient calculus research is multidisciplinary, incorporating perspectives in Calculus, Calculus and Artificial intelligence. His research on Algorithm also deals with topics like

  • Subtyping and Type constructor most often made with reference to Discrete mathematics,
  • Lambda calculus that intertwine with fields like Recursive data type and Parametric polymorphism. His research in the fields of DNA computing overlaps with other disciplines such as Interpreted language.

His most cited work include:

  • On understanding types, data abstraction, and polymorphism (1523 citations)
  • A Theory of Objects (966 citations)
  • Mobile ambients (961 citations)

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

The scientist’s investigation covers issues in Programming language, Theoretical computer science, Algorithm, Computation and Algebra. Programming language is represented through his Object, Subtyping, Typed lambda calculus, Semantics and Formal semantics research. His Subtyping research includes themes of Object type and Calculus.

He studies Process calculus which is a part of Theoretical computer science. Luca Cardelli merges Algorithm with Gaussian process in his study. His research on Computation often connects related topics like Ambient calculus.

He most often published in these fields:

  • Programming language (26.71%)
  • Theoretical computer science (18.24%)
  • Algorithm (15.64%)

What were the highlights of his more recent work (between 2016-2021)?

  • Applied mathematics (11.40%)
  • Gaussian process (4.89%)
  • Probabilistic logic (12.38%)

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

His primary areas of investigation include Applied mathematics, Gaussian process, Probabilistic logic, Robustness and Algorithm. His Applied mathematics study combines topics in areas such as Qualitative reasoning, Equivalence, Reachability and Equivalence relation. His studies deal with areas such as Target distribution, Countable set, Norm, Theory of computation and Complex system as well as Probabilistic logic.

His work in Ode addresses subjects such as Ordinary differential equation, which are connected to disciplines such as Polynomial, Theoretical computer science, Perspective and Concurrency. In his research on the topic of Theoretical computer science, Formal methods is strongly related with Abstraction. Luca Cardelli works mostly in the field of Replication, limiting it down to concerns involving Task and, occasionally, Process calculus.

Between 2016 and 2021, his most popular works were:

  • Computing with biological switches and clocks (30 citations)
  • Computing with biological switches and clocks (30 citations)
  • ERODE: A Tool for the Evaluation and Reduction of Ordinary Differential Equations (30 citations)

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

  • Programming language
  • Artificial intelligence
  • Algorithm

His main research concerns Theory of computation, Applied mathematics, Probabilistic logic, Complex system and Abstraction. The concepts of his Applied mathematics study are interwoven with issues in Equivalence, Markov chain and Equivalence relation. His work carried out in the field of Probabilistic logic brings together such families of science as MNIST database and Robustness.

His research integrates issues of Qualitative reasoning, Target distribution, Countable set, Systems biology and Norm in his study of Complex system. His Abstraction research incorporates elements of Correctness, Electronic design automation, Network topology, Function and Syntax. The study incorporates disciplines such as Polynomial and Ordinary differential equation in addition to Calculus.

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

Mobile ambients

Luca Cardelli;Andrew D. Gordon.
formal methods (2001)

6027 Citations

On understanding types, data abstraction, and polymorphism

Luca Cardelli;Peter Wegner.
ACM Computing Surveys (1985)

2954 Citations

A Theory of Objects

Martin Abadi;Luca Cardelli.
(1996)

1970 Citations

A semantics of multiple inheritance

Luca Cardelli.
Information & Computation (1988)

1393 Citations

Explicit substitutions

M. Abadi;L. Cardelli;P.-L. Curien;J.-J. Levy.
symposium on principles of programming languages (1989)

1118 Citations

A language with distributed scope

Luca Cardelli.
symposium on principles of programming languages (1995)

819 Citations

A language with distributed scope

Luca Cardelli.
symposium on principles of programming languages (1995)

816 Citations

Subtyping recursive types

Roberto M. Amadio;Luca Cardelli.
ACM Transactions on Programming Languages and Systems (1993)

688 Citations

Type systems

Luca Cardelli.
ACM Computing Surveys (1996)

676 Citations

BioAmbients: an abstraction for biological compartments

Aviv Regev;Ekaterina M. Panina;William Silverman;Luca Cardelli.
computational methods in systems biology (2004)

631 Citations

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

Contact us

Best Scientists Citing Luca Cardelli

Corrado Priami

Corrado Priami

University of Pisa

Publications: 68

Jens Palsberg

Jens Palsberg

University of California, Los Angeles

Publications: 59

Benjamin C. Pierce

Benjamin C. Pierce

University of Pennsylvania

Publications: 51

Flemming Nielson

Flemming Nielson

Technical University of Denmark

Publications: 47

Gary T. Leavens

Gary T. Leavens

University of Central Florida

Publications: 46

Giuseppe Castagna

Giuseppe Castagna

Centre national de la recherche scientifique, CNRS

Publications: 44

Hanne Riis Nielson

Hanne Riis Nielson

Technical University of Denmark

Publications: 43

Mariangiola Dezani-Ciancaglini

Mariangiola Dezani-Ciancaglini

University of Turin

Publications: 42

Nobuko Yoshida

Nobuko Yoshida

University of Oxford

Publications: 41

Mirko Viroli

Mirko Viroli

University of Bologna

Publications: 39

Rocco De Nicola

Rocco De Nicola

IMT Institute for Advanced Studies Lucca

Publications: 39

Davide Sangiorgi

Davide Sangiorgi

University of Bologna

Publications: 36

Martín Abadi

Martín Abadi

Google (United States)

Publications: 35

Jane Hillston

Jane Hillston

University of Edinburgh

Publications: 35

Andrew D. Gordon

Andrew D. Gordon

Microsoft (United States)

Publications: 33

Robin Milner

Robin Milner

University of Cambridge

Publications: 31

Trending Scientists

Hillel Rapoport

Hillel Rapoport

Paris School of Economics

Patricia Horcajada

Patricia Horcajada

IMDEA Energy Institute

José Luis Alonso

José Luis Alonso

Universidade de Vigo

Pedro H. S. Brancalion

Pedro H. S. Brancalion

Universidade de São Paulo

Mark A. Cochrane

Mark A. Cochrane

University of Maryland Center For Environmental Sciences

Alon Warburg

Alon Warburg

Hebrew University of Jerusalem

Zvy Dubinsky

Zvy Dubinsky

Bar-Ilan University

Donald W. Hilgemann

Donald W. Hilgemann

The University of Texas Southwestern Medical Center

Jan Sverre Laberg

Jan Sverre Laberg

University of Tromsø - The Arctic University of Norway

Ingo Schöning

Ingo Schöning

Max Planck Institute for Biogeochemistry

Brian K. Kwon

Brian K. Kwon

University of British Columbia

Olli T. Raitakari

Olli T. Raitakari

Turku University Hospital

Sergio Giralt

Sergio Giralt

Memorial Sloan Kettering Cancer Center

Nan Marie Astone

Nan Marie Astone

Johns Hopkins University

James L. Morgan

James L. Morgan

Brown University

Wolfgang Brandner

Wolfgang Brandner

Max Planck Society

Something went wrong. Please try again later.