Luca Cardelli

Cituota

	Visi	Nuo 2020
Šaltiniai	33479	3381
h-rodyklė	82	29
i10-rodyklė	212	83

1600

800

400

1200

1986198719881989199019911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202320242025101 146 261 372 523 553 598 640 666 723 782 780 946 1077 1013 925 1240 1265 1453 1510 1410 1480 1292 1292 1065 891 800 835 789 743 821 769 720 707 727 663 626 649 638 78

Viešas pasiekiamumas

Peržiūrėti viską

44 straipsniai

0 straipsnių

pasiekiami

nepasiekiami

Pagal finansavimo įpareigojimus

Bendraautoriai

Martin AbadiResearch Scientist, Google, and Professor Emeritus, UC Santa CruzPatvirtintas el. paštas cs.ucsc.edu
Andrew D GordonCogna and University of EdinburghPatvirtintas el. paštas cogna.co
Marta KwiatkowskaProfessor of Computing Systems, University of OxfordPatvirtintas el. paštas comlab.ox.ac.uk
Andrew PhillipsSanofiPatvirtintas el. paštas sanofi.com
Luca LaurentiTU DelftPatvirtintas el. paštas tudelft.nl
Giorgio GhelliPatvirtintas el. paštas di.unipi.it
Max TschaikowskiAssociate Professor, Aalborg UniversityPatvirtintas el. paštas cs.aau.dk
Mirco TribastoneIMT LuccaPatvirtintas el. paštas imtlucca.it
Andrea VandinSant'Anna School for Advanced Studies, Italy - DTU Technical University of DenmarkPatvirtintas el. paštas santannapisa.it
Attila Csikász-NagyPázmány Péter Catholic University, HungaryPatvirtintas el. paštas itk.ppke.hu
Benjamin C. PierceProfessor of Computer and Information Science, University of PennsylvaniaPatvirtintas el. paštas cis.upenn.edu
Neil DalchauSynteny BiotechnologyPatvirtintas el. paštas synteny.ai
John C MitchellProfessor of Computer Science, Stanford UniversityPatvirtintas el. paštas Stanford.edu
Philippa GardnerProfessor of Theoretical Computer Science, Imperial College LondonPatvirtintas el. paštas imperial.ac.uk
Kim BruceEmeritus Professor of Computer Science, Pomona CollegePatvirtintas el. paštas pomona.edu
Gordon PlotkinLaboratory for Foundations of Computer Science, School of Informatics, University of EdinburghPatvirtintas el. paštas inf.ed.ac.uk
Giuseppe CastagnaDirecteur de Recherche CNRS, Université Paris CitéPatvirtintas el. paštas irif.fr
Luis CairesProfessor of Computer Science, Instituto Superior Técnico, Universidade de LisboaPatvirtintas el. paštas tecnico.ulisboa.pt
Andrea PataneTrinity College DublinPatvirtintas el. paštas tcd.ie
Ehud ShapiroProfessor, Department of Computer Science and Applied Math, Weizmann Institute of SciencePatvirtintas el. paštas weizmann.ac.il

Stebėti

Luca Cardelli

University of Oxford

Patvirtintas el. paštas cs.ox.ac.uk - Pagrindinis puslapis

Theory of programming languages Process algebra Systems Biology Molecular Programming


Pavadinimas Rūšiuoti pagal šaltinius Rūšiuoti pagal metus Rūšiuoti pagal pavadinimą	Cituota Cituota	Metai
On understanding types, data abstraction, and polymorphism L Cardelli, P Wegner ACM Computing Surveys (CSUR) 17 (4), 471-523, 1985	3148	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	2078	2012
A semantics of multiple inheritance L Cardelli Inf. Comput. 76 (2/3), 138-164, 1988	1542*	1988
Explicit substitutions M Abadi, L Cardelli, PL Curien, JJ Lévy Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of …, 1989	1232	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	716	1996
Subtyping recursive types RM Amadio, L Cardelli ACM Transactions on Programming Languages and Systems (TOPLAS) 15 (4), 575-631, 1993	701	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	605	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	566	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	455	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	328	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

Sistema negali atlikti operacijos. Bandykite vėliau dar kartą.

Straipsniai 1–20

Šaltinių per metus

Dubliuoti šaltiniai

Sujungti šaltiniai

Pridėti bendraautoriusBendraautoriai

Stebėti

Cituota

Bendraautoriai