Luca Cardelli

Dikutip oleh

	Semua	Sejak 2020
Kutipan	33507	3403
indeks-h	82	29
indeks-i10	212	84

1600

800

400

1200

1986198719881989199019911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202320242025101 146 261 373 525 553 600 640 666 721 781 780 946 1084 1006 926 1238 1267 1455 1509 1411 1479 1292 1292 1067 890 801 835 789 743 823 766 721 707 727 665 625 648 630 108

Akses publik

Lihat semua

44 artikel

0 artikel

tersedia

tidak tersedia

Berdasarkan pada mandat pendanaan

Pengarang bersama

Martin AbadiResearch Scientist, Google, and Professor Emeritus, UC Santa CruzEmail yang diverifikasi di cs.ucsc.edu
Andrew D GordonCogna and University of EdinburghEmail yang diverifikasi di cogna.co
Marta KwiatkowskaProfessor of Computing Systems, University of OxfordEmail yang diverifikasi di comlab.ox.ac.uk
Andrew PhillipsSanofiEmail yang diverifikasi di sanofi.com
Luca LaurentiTU DelftEmail yang diverifikasi di tudelft.nl
Giorgio GhelliEmail yang diverifikasi di di.unipi.it
Max TschaikowskiAssociate Professor, Aalborg UniversityEmail yang diverifikasi di cs.aau.dk
Mirco TribastoneIMT LuccaEmail yang diverifikasi di imtlucca.it
Andrea VandinSant'Anna School for Advanced Studies, Italy - DTU Technical University of DenmarkEmail yang diverifikasi di santannapisa.it
Attila Csikász-NagyPázmány Péter Catholic University, HungaryEmail yang diverifikasi di itk.ppke.hu
Benjamin C. PierceProfessor of Computer and Information Science, University of PennsylvaniaEmail yang diverifikasi di cis.upenn.edu
Neil DalchauSynteny BiotechnologyEmail yang diverifikasi di synteny.ai
John C MitchellProfessor of Computer Science, Stanford UniversityEmail yang diverifikasi di Stanford.edu
Philippa GardnerProfessor of Theoretical Computer Science, Imperial College LondonEmail yang diverifikasi di imperial.ac.uk
Kim BruceEmeritus Professor of Computer Science, Pomona CollegeEmail yang diverifikasi di pomona.edu
Gordon PlotkinLaboratory for Foundations of Computer Science, School of Informatics, University of EdinburghEmail yang diverifikasi di inf.ed.ac.uk
Giuseppe CastagnaDirecteur de Recherche CNRS, Université Paris CitéEmail yang diverifikasi di irif.fr
Luis CairesProfessor of Computer Science, Instituto Superior Técnico, Universidade de LisboaEmail yang diverifikasi di tecnico.ulisboa.pt
Andrea PataneTrinity College DublinEmail yang diverifikasi di tcd.ie
Ehud ShapiroProfessor, Department of Computer Science and Applied Math, Weizmann Institute of ScienceEmail yang diverifikasi di weizmann.ac.il

Ikuti

Luca Cardelli

University of Oxford

Email yang diverifikasi di cs.ox.ac.uk - Beranda

Theory of programming languages Process algebra Systems Biology Molecular Programming


Judul Urutkan menurut kutipan Urutkan menurut tahun Urutkan menurut judul	Dikutip oleh Dikutip oleh	Tahun
On understanding types, data abstraction, and polymorphism L Cardelli, P Wegner ACM Computing Surveys (CSUR) 17 (4), 471-523, 1985	3151	1985
Mobile ambients L Cardelli, A Gordon Theoretical computer science 240 (1), 177-213, 2000	2666	2000
A theory of objects M Abadi, L Cardelli Springer Science & Business Media, 2012	2079	2012
A semantics of multiple inheritance L Cardelli Inf. Comput. 76 (2/3), 138-164, 1988	1543*	1988
Explicit substitutions M Abadi, L Cardelli, PL Curien, JJ Lévy Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of …, 1989	1233	1989
A language with distributed scope L Cardelli Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of …, 1995	747	1995
Type systems L Cardelli ACM Computing Surveys (CSUR) 28 (1), 263-264, 1996	717	1996
Subtyping recursive types RM Amadio, L Cardelli ACM Transactions on Programming Languages and Systems (TOPLAS) 15 (4), 575-631, 1993	702	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	640	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	607	1985
Brane calculi: Interactions of biological membranes L Cardelli International Conference on Computational Methods in Systems Biology, 257-278, 2004	569	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	568	2013
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	562	1991
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	456	1989
Comparing object encodings KB Bruce, L Cardelli, BC Pierce Theoretical Aspects of Computer Software: Third International Symposium …, 1997	343	1997
Abstractions for mobile computation L Cardelli Secure Internet programming: security issues for mobile and distributed …, 1999	329	1999
Migratory applications KA Bharat, L Cardelli Proceedings of the 8th annual ACM symposium on User interface and software …, 1995	315	1995
Basic polymorphic typechecking L Cardelli Sci. Comput. Program. 8 (2), 147-172, 1987	315	1987
Program fragments, linking, and modularization L Cardelli Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of …, 1997	300	1997

Sistem tidak dapat melakukan operasi ini. Coba lagi nanti.

Artikel 1–20

Kutipan per tahun

Kutipan duplikat

Kutipan yang digabung

Tambahkan pengarang bersamaPengarang bersama

Ikuti

Dikutip oleh

Pengarang bersama