Luca Cardelli

19.6k total citations · 3 hit papers
173 papers, 8.4k citations indexed

About

Luca Cardelli is a scholar working on Artificial Intelligence, Molecular Biology and Computational Theory and Mathematics. According to data from OpenAlex, Luca Cardelli has authored 173 papers receiving a total of 8.4k indexed citations (citations by other indexed papers that have themselves been cited), including 80 papers in Artificial Intelligence, 65 papers in Molecular Biology and 59 papers in Computational Theory and Mathematics. Recurrent topics in Luca Cardelli's work include Logic, programming, and type systems (63 papers), Gene Regulatory Network Analysis (44 papers) and Formal Methods in Verification (35 papers). Luca Cardelli is often cited by papers focused on Logic, programming, and type systems (63 papers), Gene Regulatory Network Analysis (44 papers) and Formal Methods in Verification (35 papers). Luca Cardelli collaborates with scholars based in United Kingdom, United States and Italy. Luca Cardelli's co-authors include Andrew D. Gordon, Peter Wegner, Martı́n Abadi, Andrew Phillips, Roberto M. Amadio, Benjamin C. Pierce, Andrew D. Gordon, M. Abadi, Luı́s Caires and Pierre-Louis Curien and has published in prestigious journals such as Proceedings of the National Academy of Sciences, SHILAP Revista de lepidopterología and Bioinformatics.

In The Last Decade

Luca Cardelli

166 papers receiving 7.3k citations

Hit Papers

On understanding types, data abstraction, and polymorphism 1985 2026 1998 2012 1985 1996 2000 250 500 750

Peers

Luca Cardelli
Comparison fields: 5 of 151
  • Artificial Intelligence 5.3k
  • Computational Theory and Mathematics 2.7k
  • Computer Networks and Communications 2.5k
  • Molecular Biology 1.7k
  • Information Systems 1.6k
Replace Charles J. Colbourn with:
Charles J. Colbourn United States
Robin Milner United Kingdom
Thomas A. Henzinger United States
Dana Angluin United States
Mihalis Yannakakis United States
Franz Baader Germany
David L. Dill United States
Stephen Cook Canada
Krzysztof R. Apt Netherlands
Dexter Kozen United States
Charles J. Colbourn United States View profile →
Citations per field, relative to Luca Cardelli
Luca Cardelli · 1×
Citations per year, relative to Luca Cardelli
Luca Cardelli · 1×

Countries citing papers authored by Luca Cardelli

Since Specialization
Citations

This map shows the geographic impact of Luca Cardelli's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Luca Cardelli with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Luca Cardelli more than expected).

Fields of papers citing papers by Luca Cardelli

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Luca Cardelli. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Luca Cardelli. The network helps show where Luca Cardelli may publish in the future.

Co-authorship network of co-authors of Luca Cardelli

This figure shows the co-authorship network connecting the top 25 collaborators of Luca Cardelli. A scholar is included among the top collaborators of Luca Cardelli based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Luca Cardelli. Luca Cardelli is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

20 of 20 papers shown
# Work Indexed citations
1 4
2 0
3 26
4 8
5
Robustness Quantification for Classification with Gaussian Processes.
2
6 15
7
An Intuitive Modelling Interface for Systems Biology.
2
8 17
9 2
10 27
11 252
12
Manipulating trees with hidden labels
27
13
Mobile ambients
143
14
A Spatial Logic for Concurrency
53
15
Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
14
16
Mobile Ambients
19
17
Extensible records in a pure calculus of subtyping
20
18
Subtyping Recursive Types
0
19
Modula-3 Report (revised)
49
20 63

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact

Rankless by CCL
2026