Luca Cardelli

Citado por

	Total	Desde 2019
Citas	33179	3949
Índice h	81	32
Índice i10	208	95

1600

800

400

1200

198619871988198919901991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024104 144 259 365 500 552 596 624 672 733 788 784 935 1077 998 923 1210 1262 1454 1511 1405 1480 1285 1283 1046 881 792 845 773 740 820 785 716 695 726 648 627 661 590

Acceso público

Ver todo

44 artículos

1 artículo

disponibles

no disponibles

Basado en requisitos de financiación

Coautores

Martin AbadiResearch Scientist, Google, and Professor Emeritus, UC Santa CruzDirección de correo verificada de cs.ucsc.edu
Andrew D GordonCogna and University of EdinburghDirección de correo verificada de cogna.co
Marta KwiatkowskaProfessor of Computing Systems, University of OxfordDirección de correo verificada de comlab.ox.ac.uk
Andrew PhillipsMicrosoft ResearchDirección de correo verificada de microsoft.com
Luca LaurentiTU DelftDirección de correo verificada de tudelft.nl
Giorgio GhelliDirección de correo verificada de di.unipi.it
Max TschaikowskiAssociate Professor, Aalborg UniversityDirección de correo verificada de cs.aau.dk
Mirco TribastoneIMT LuccaDirección de correo verificada de imtlucca.it
Andrea VandinSant'Anna School for Advanced Studies, Italy - DTU Technical University of DenmarkDirección de correo verificada de santannapisa.it
Attila Csikász-NagyPázmány Péter Catholic University, HungaryDirección de correo verificada de itk.ppke.hu
Benjamin C. PierceProfessor of Computer and Information Science, University of PennsylvaniaDirección de correo verificada de cis.upenn.edu
Neil DalchauSynteny BiotechnologyDirección de correo verificada de synteny.ai
John C MitchellProfessor of Computer Science, Stanford UniversityDirección de correo verificada de Stanford.edu
Philippa GardnerProfessor of Theoretical Computer Science, Imperial College LondonDirección de correo verificada de imperial.ac.uk
Kim BruceEmeritus Professor of Computer Science, Pomona CollegeDirección de correo verificada de pomona.edu
Gordon PlotkinLaboratory for Foundations of Computer Science, School of Informatics, University of EdinburghDirección de correo verificada de inf.ed.ac.uk
Luis CairesProfessor of Computer Science, Instituto Superior Técnico, Universidade de LisboaDirección de correo verificada de tecnico.ulisboa.pt
Andrea PataneTrinity College DublinDirección de correo verificada de tcd.ie
Giuseppe CastagnaDirecteur de Recherche CNRS, Université Paris CitéDirección de correo verificada de irif.fr
Ehud ShapiroProfessor, Department of Computer Science and Applied Math, Weizmann Institute of ScienceDirección de correo verificada de weizmann.ac.il

Seguir

Luca Cardelli

University of Oxford

Dirección de correo verificada de cs.ox.ac.uk - Página principal

Theory of programming languages Process algebra Systems Biology Molecular Programming


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
On understanding types, data abstraction, and polymorphism L Cardelli, P Wegner ACM Computing Surveys (CSUR) 17 (4), 471-523, 1985	3130	1985
Mobile ambients L Cardelli, A Gordon Theoretical computer science 240 (1), 177-213, 2000	2649	2000
A theory of objects M Abadi, L Cardelli Springer Science & Business Media, 2012	2066	2012
A semantics of multiple inheritance L Cardelli Inf. Comput. 76 (2/3), 138-164, 1988	1538*	1988
Explicit substitutions M Abadi, L Cardelli, PL Curien, JJ Lévy Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of …, 1989	1228	1989
A language with distributed scope L Cardelli Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of …, 1995	744	1995
Type systems L Cardelli ACM Computing Surveys (CSUR) 28 (1), 263-264, 1996	702	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	634	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	589	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	566	1991
Brane calculi: Interactions of biological membranes L Cardelli International Conference on Computational Methods in Systems Biology, 257-278, 2004	565	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	561	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	453	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	349	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	331	1999
Basic polymorphic typechecking L Cardelli Sci. Comput. Program. 8 (2), 147-172, 1987	313	1987
Migratory applications KA Bharat, L Cardelli Proceedings of the 8th annual ACM symposium on User interface and software …, 1995	310	1995

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Seguir

Citado por

Coautores