Luca Cardelli

Citado por

	Total	Desde 2019
Citas	32792	3588
Índice h	81	31
Índice i10	206	87

1600

800

400

1200

198619871988198919901991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024102 148 268 364 497 554 592 625 676 733 796 791 939 1075 1002 906 1223 1231 1448 1513 1398 1473 1285 1286 1043 885 796 841 771 730 830 793 714 696 724 650 607 677 234

Acceso público

Ver todo

43 artículos

0 artículos

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 GordonMicrosoft Research and University of EdinburghDirección de correo verificada de microsoft.com
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
Giorgio GhelliDirección de correo verificada de di.unipi.it
Luca LaurentiTU DelftDirección de correo verificada de tudelft.nl
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	3102	1985
Mobile ambients L Cardelli, A Gordon Theoretical computer science 240 (1), 177-213, 2000	2629	2000
A theory of objects M Abadi, L Cardelli Springer Science & Business Media, 2012	2029	2012
A semantics of multiple inheritance L Cardelli Inf. Comput. 76 (2/3), 138-164, 1988	1534*	1988
Explicit substitutions M Abadi, L Cardelli, PL Curien, JJ Lévy Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of …, 1989	1210	1989
A language with distributed scope L Cardelli Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of …, 1995	747	1995
Subtyping recursive types RM Amadio, L Cardelli ACM Transactions on Programming Languages and Systems (TOPLAS) 15 (4), 575-631, 1993	698	1993
Type systems L Cardelli ACM Computing Surveys (CSUR) 28 (1), 263-264, 1996	697	1996
BioAmbients: an abstraction for biological compartments A Regev, EM Panina, W Silverman, L Cardelli, E Shapiro Theoretical Computer Science 325 (1), 141-167, 2004	627	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	587	1985
Brane calculi: Interactions of biological membranes L Cardelli International Conference on Computational Methods in Systems Biology, 257-278, 2004	562	2004
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	558	1991
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	550	2013
Anytime, anywhere: Modal logics for mobile ambients L Cardelli, AD Gordon Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of …, 2000	540	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	345	1995
Comparing object encodings KB Bruce, L Cardelli, BC Pierce Theoretical Aspects of Computer Software: Third International Symposium …, 1997	339	1997
Abstractions for mobile computation L Cardelli Secure Internet programming: security issues for mobile and distributed …, 1999	328	1999
Basic polymorphic typechecking L Cardelli Sci. Comput. Program. 8 (2), 147-172, 1987	316	1987
Migratory applications KA Bharat, L Cardelli Proceedings of the 8th annual ACM symposium on User interface and software …, 1995	314	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