| 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 | 2028 | 2012 |
| Mobile ambients L Cardelli, AD Gordon International Conference on Foundations of Software Science and Computation …, 1998 | 1635 | 1998 |
| 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 | 1208 | 1989 |
| A language with distributed scope L Cardelli Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of …, 1995 | 746 | 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 | 696 | 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 | 549 | 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 |
| Program fragments, linking, and modularization L Cardelli Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of …, 1997 | 293 | 1997 |
| Amber L Cardelli LITP Spring School on Theoretical Computer Science, 21-47, 1985 | 281 | 1985 |
| A spatial logic for concurrency (part I) L Caires, L Cardelli Information and Computation 186 (2), 194-235, 2003 | 276 | 2003 |
| Modula-3 report (revised) L Cardelli, J Donahue, L Glassman, M Jordan, B Kalsow, G Nelson Research Report 52, Digital Equipment Corporation Systems Research Center, 1989 | 273* | 1989 |
| Types for mobile ambients L Cardelli, AD Gordon Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of …, 1999 | 269 | 1999 |
| Modern concurrency abstractions for C# N Benton, L Cardelli, C Fournet ACM Transactions on Programming Languages and Systems (TOPLAS) 26 (5), 769-804, 2004 | 263 | 2004 |
| Structural subtyping and the notion of power type L Cardelli Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of …, 1988 | 262 | 1988 |
| A theory of primitive objects: untyped and first-order systems M Abadi, L Cardelli Theoretical Aspects of Computer Software: International Symposium TACS'94 …, 1994 | 253* | 1994 |
| A programming language for composable DNA circuits A Phillips, L Cardelli Journal of the Royal Society Interface 6 (suppl_4), S419-S436, 2009 | 246 | 2009 |
| A correct abstract machine for the stochastic pi-calculus A Phillips, L Cardelli Concurrent Models in Molecular Biology, 2004 | 240 | 2004 |
| Compiling a functional language L Cardelli Proceedings of the 1984 ACM Symposium on LISP and Functional Programming …, 1984 | 238 | 1984 |
| Operations on records L Cardelli, JC Mitchell Mathematical structures in computer science 1 (1), 3-48, 1991 | 236 | 1991 |
| Mobile computation L Cardelli Mobile Object Systems Towards the Programmable Internet: Second …, 1997 | 225* | 1997 |
| Mobility types for mobile ambients L Cardelli, G Ghelli, AD Gordon Automata, Languages and Programming: 26th International Colloquium, ICALP’99 …, 1999 | 213 | 1999 |
| Dynamic typing in polymorphic languages M Abadi, L Cardelli, B Pierce, D Rémy Journal of functional programming 5 (1), 111-130, 1995 | 209 | 1995 |
| Efficient, correct simulation of biological processes in the stochastic pi-calculus A Phillips, L Cardelli Computational Methods in Systems Biology: International Conference CMSB 2007 …, 2007 | 200 | 2007 |
| Building user interfaces by direct manipulation L Cardelli Proceedings of the 1st annual ACM SIGGRAPH symposium on User Interface …, 1988 | 194 | 1988 |
| Squeak: A language for communicating with mice L Cardelli, R Pike ACM SIGGRAPH Computer Graphics 19 (3), 199-204, 1985 | 192 | 1985 |
| A semantic basis for Quest L Cardelli, G Longo Proceedings of the 1990 ACM Conference on LISP and Functional Programming, 30-43, 1990 | 191 | 1990 |
Martin AbadiResearch Scientist, Google, and Professor Emeritus, UC Santa CruzVerified email at cs.ucsc.edu
