Luca Cardelli

Cited by

	All	Since 2019
Citations	33043	3854
h-index	80	32
i10-index	208	95

1600

800

400

1200

198619871988198919901991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024104 144 259 365 497 549 596 624 671 733 788 784 935 1076 998 917 1210 1262 1452 1511 1404 1480 1285 1278 1047 882 792 849 769 736 819 786 715 696 724 646 626 664 496

Public access

View all

44 articles

1 article

available

not available

Based on funding mandates

Co-authors

Martin AbadiResearch Scientist, Google, and Professor Emeritus, UC Santa CruzVerified email at cs.ucsc.edu
Andrew D GordonCogna and University of EdinburghVerified email at cogna.co
Marta KwiatkowskaProfessor of Computing Systems, University of OxfordVerified email at comlab.ox.ac.uk
Andrew PhillipsMicrosoft ResearchVerified email at microsoft.com
Luca LaurentiTU DelftVerified email at tudelft.nl
Giorgio GhelliVerified email at di.unipi.it
Max TschaikowskiAssociate Professor, Aalborg UniversityVerified email at cs.aau.dk
Mirco TribastoneIMT LuccaVerified email at imtlucca.it
Andrea VandinSant'Anna School for Advanced Studies, Italy - DTU Technical University of DenmarkVerified email at santannapisa.it
Attila Csikász-NagyPázmány Péter Catholic University, HungaryVerified email at itk.ppke.hu
Benjamin C. PierceProfessor of Computer and Information Science, University of PennsylvaniaVerified email at cis.upenn.edu
Neil DalchauSynteny BiotechnologyVerified email at synteny.ai
John C MitchellProfessor of Computer Science, Stanford UniversityVerified email at Stanford.edu
Philippa GardnerProfessor of Theoretical Computer Science, Imperial College LondonVerified email at imperial.ac.uk
Kim BruceEmeritus Professor of Computer Science, Pomona CollegeVerified email at pomona.edu
Gordon PlotkinLaboratory for Foundations of Computer Science, School of Informatics, University of EdinburghVerified email at inf.ed.ac.uk
Luis CairesProfessor of Computer Science, Instituto Superior Técnico, Universidade de LisboaVerified email at tecnico.ulisboa.pt
Andrea PataneTrinity College DublinVerified email at tcd.ie
Giuseppe CastagnaDirecteur de Recherche CNRS, Université Paris CitéVerified email at irif.fr
Ehud ShapiroProfessor, Department of Computer Science and Applied Math, Weizmann Institute of ScienceVerified email at weizmann.ac.il

Luca Cardelli

University of Oxford

Verified email at cs.ox.ac.uk - Homepage

Theory of programming languages Process algebra Systems Biology Molecular Programming


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
On understanding types, data abstraction, and polymorphism L Cardelli, P Wegner ACM Computing Surveys (CSUR) 17 (4), 471-523, 1985	3121	1985
Mobile ambients L Cardelli, A Gordon Theoretical computer science 240 (1), 177-213, 2000	2647	2000
A theory of objects M Abadi, L Cardelli Springer Science & Business Media, 2012	2057	2012
A semantics of multiple inheritance L Cardelli Inf. Comput. 76 (2/3), 138-164, 1988	1537*	1988
Explicit substitutions M Abadi, L Cardelli, PL Curien, JJ Lévy Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of …, 1989	1223	1989
A language with distributed scope L Cardelli Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of …, 1995	743	1995
Type systems L Cardelli ACM Computing Surveys (CSUR) 28 (1), 263-264, 1996	703	1996
Subtyping recursive types RM Amadio, L Cardelli ACM Transactions on Programming Languages and Systems (TOPLAS) 15 (4), 575-631, 1993	698	1993
BioAmbients: an abstraction for biological compartments A Regev, EM Panina, W Silverman, L Cardelli, E Shapiro Theoretical Computer Science 325 (1), 141-167, 2004	631	2004
Galileo: A strongly-typed, interactive conceptual language A Albano, L Cardelli, R Orsini ACM Transactions on Database Systems (TODS) 10 (2), 230-260, 1985	588	1985
Dynamic typing in a statically typed language M Abadi, L Cardelli, B Pierce, G Plotkin ACM transactions on programming languages and systems (TOPLAS) 13 (2), 237-268, 1991	565	1991
Brane calculi: Interactions of biological membranes L Cardelli International Conference on Computational Methods in Systems Biology, 257-278, 2004	561	2004
Programmable chemical controllers made from DNA YJ Chen, N Dalchau, N Srinivas, A Phillips, L Cardelli, D Soloveichik, ... Nature nanotechnology 8 (10), 755-762, 2013	560	2013
Anytime, anywhere: Modal logics for mobile ambients L Cardelli, AD Gordon Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of …, 2000	542	2000
Typeful programming L Cardelli Digital Equipment Corporation Systems Research Center, 1989	450	1989
On binary methods K Bruce, L Cardelli, G Castagna, Hopkins Objects Group, GT Leavens, ... Theory and Practice of Object Systems 1 (3), 221-242, 1995	346	1995
Comparing object encodings KB Bruce, L Cardelli, BC Pierce Theoretical Aspects of Computer Software: Third International Symposium …, 1997	345	1997
Abstractions for mobile computation L Cardelli Secure Internet programming: security issues for mobile and distributed …, 1999	330	1999
Basic polymorphic typechecking L Cardelli Sci. Comput. Program. 8 (2), 147-172, 1987	312	1987
Migratory applications KA Bharat, L Cardelli Proceedings of the 8th annual ACM symposium on User interface and software …, 1995	309	1995

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors