| 2009 |
|---|
| 126 | EE | Luca Cardelli,
Emmanuelle Caron,
Philippa Gardner,
Ozan Kahramanogullari,
Andrew Phillips:
A Process Model of Actin Polymerisation.
Electr. Notes Theor. Comput. Sci. 229(1): 127-144 (2009) |
| 2008 |
|---|
| 125 | EE | Luca Cardelli,
Gianluigi Zavattaro:
On the Computational Power of Biochemistry.
AB 2008: 65-80 |
| 124 | EE | Gianluigi Zavattaro,
Luca Cardelli:
Termination Problems in Chemical Kinetics.
CONCUR 2008: 477-491 |
| 123 | EE | Luca Cardelli:
Molecules as Automata.
CSL 2008: 32 |
| 122 | EE | Luca Cardelli:
From Processes to ODEs by Chemistry.
IFIP TCS 2008: 261-281 |
| 121 | EE | Luca Cardelli,
Philippa Gardner,
Ozan Kahramanogullari:
A Process Model of Rho GTP-binding Proteins in the Context of Phagocytosis.
Electr. Notes Theor. Comput. Sci. 194(3): 87-102 (2008) |
| 120 | EE | Luca Cardelli:
On process rate semantics.
Theor. Comput. Sci. 391(3): 190-215 (2008) |
| 119 | EE | Luca Cardelli:
Bitonal membrane systems: Interactions of biological membranes.
Theor. Comput. Sci. 404(1-2): 5-18 (2008) |
| 2007 |
|---|
| 118 | EE | Andrew Phillips,
Luca Cardelli:
Efficient, Correct Simulation of Biological Processes in the Stochastic Pi-calculus.
CMSB 2007: 184-199 |
| 117 | EE | Luca Cardelli:
An Accidental Simula User.
ECOOP 2007: 201 |
| 116 | EE | Luca Cardelli:
Invited Talk: A Process Algebra Master Equation.
QEST 2007: 219-226 |
| 115 | EE | Luca Cardelli,
Marcelo P. Fiore,
Glynn Winskel:
Preface.
Electr. Notes Theor. Comput. Sci. 172: 1-4 (2007) |
| 114 | EE | Luca Cardelli,
Philippa Gardner,
Giorgio Ghelli:
Manipulating Trees with Hidden Labels.
Electr. Notes Theor. Comput. Sci. 172: 177-201 (2007) |
| 2006 |
|---|
| 113 | | Corrado Priami,
Luca Cardelli,
Stephen Emmott:
Transactions on Computational Systems Biology IV
Springer 2006 |
| 112 | EE | Luca Cardelli,
Gheorghe Paun:
An universality result for a (mem)brane calculus based on mate/drip operations.
Int. J. Found. Comput. Sci. 17(1): 49-68 (2006) |
| 111 | EE | Andrew Phillips,
Luca Cardelli,
Giuseppe Castagna:
A Graphical Representation for Biological Processes in the Stochastic pi-Calculus.
T. Comp. Sys. Biology: 123-152 (2006) |
| 110 | EE | Ralf Blossey,
Luca Cardelli,
Andrew Phillips:
A Compositional Approach to the Stochastic Dynamics of Gene Networks.
T. Comp. Sys. Biology: 99-122 (2006) |
| 2005 |
|---|
| 109 | EE | Luca Cardelli:
A Compositional Approach to the Stochastic Dynamics of Gene Networks.
CONCUR 2005: 4 |
| 108 | EE | Luca Cardelli:
Transitions in programming models: 2.
ICSE 2005: 2 |
| 107 | EE | Luca Cardelli:
Biological Systems as Reactive Systems.
ICTCS 2005: 21 |
| 106 | EE | Luca Cardelli,
Giorgio Ghelli,
Andrew D. Gordon:
Secrecy and group creation.
Inf. Comput. 196(2): 127-155 (2005) |
| 105 | EE | Cristiano Calcagno,
Luca Cardelli,
Andrew D. Gordon:
Deciding validity in a spatial logic for trees.
J. Funct. Program. 15(4): 543-572 (2005) |
| 104 | EE | Luca Cardelli:
Abstract Machines of Systems Biology.
T. Comp. Sys. Biology: 145-168 (2005) |
| 2004 |
|---|
| 103 | EE | Luca Cardelli:
Brane Calculi.
CMSB 2004: 257-278 |
| 102 | EE | Alain Frisch,
Luca Cardelli:
Greedy Regular Expression Matching.
ICALP 2004: 618-629 |
| 101 | EE | Nick Benton,
Luca Cardelli,
Cédric Fournet:
Modern concurrency abstractions for C#.
ACM Trans. Program. Lang. Syst. 26(5): 769-804 (2004) |
| 100 | EE | Luca Cardelli,
Giorgio Ghelli:
TQL: a query language for semistructured data based on the ambient logic.
Mathematical Structures in Computer Science 14(3): 285-327 (2004) |
| 99 | EE | Luís Caires,
Luca Cardelli:
A spatial logic for concurrency - II.
Theor. Comput. Sci. 322(3): 517-565 (2004) |
| 98 | EE | Aviv Regev,
Ekaterina M. Panina,
William Silverman,
Luca Cardelli,
Ehud Y. Shapiro:
BioAmbients: an abstraction for biological compartments.
Theor. Comput. Sci. 325(1): 141-167 (2004) |
| 2003 |
|---|
| 97 | | Luca Cardelli:
ECOOP 2003 - Object-Oriented Programming, 17th European Conference, Darmstadt, Germany, July 21-25, 2003, Proceedings
Springer 2003 |
| 96 | EE | Luca Cardelli,
Philippa Gardner,
Giorgio Ghelli:
Manipulating Trees with Hidden Labels.
FoSSaCS 2003: 216-232 |
| 95 | EE | Cristiano Calcagno,
Luca Cardelli,
Andrew D. Gordon:
Deciding validity in a spatial logic for trees.
TLDI 2003: 62-73 |
| 94 | EE | Cristiano Calcagno,
Luca Cardelli,
Andrew D. Gordon:
Deciding validity in a spatial logic for trees.
TLDI 2003: 62-73 |
| 93 | EE | Luís Caires,
Luca Cardelli:
A spatial logic for concurrency (part I).
Inf. Comput. 186(2): 194-235 (2003) |
| 92 | | Andrew D. Gordon,
Luca Cardelli:
Equational Properties Of Mobile Ambients.
Mathematical Structures in Computer Science 13(3): 371-408 (2003) |
| 2002 |
|---|
| 91 | EE | Luís Caires,
Luca Cardelli:
A Spatial Logic for Concurrency (Part II).
CONCUR 2002: 209-225 |
| 90 | EE | Nick Benton,
Luca Cardelli,
Cédric Fournet:
Modern Concurrency Abstractions for C#.
ECOOP 2002: 415-440 |
| 89 | EE | Luca Cardelli,
Philippa Gardner,
Giorgio Ghelli:
A Spatial Logic for Querying Graphs.
ICALP 2002: 597-610 |
| 88 | EE | Luca Cardelli,
Giorgio Ghelli,
Andrew D. Gordon:
Types for the Ambient Calculus.
Inf. Comput. 177(2): 160-194 (2002) |
| 2001 |
|---|
| 87 | EE | Luca Cardelli,
Giorgio Ghelli:
A Query Language Based on the Ambient Logic.
ESOP 2001: 1-22 |
| 86 | | Luca Cardelli,
Giorgio Ghelli:
A Query Language Based on the Ambient Logic.
SEBD 2001: 95-104 |
| 85 | EE | Luís Caires,
Luca Cardelli:
A Spatial Logic for Concurrency.
TACS 2001: 1-37 |
| 84 | EE | Luca Cardelli,
Andrew D. Gordon:
Logical Properties of Name Restriction.
TLCA 2001: 46-60 |
| 83 | EE | Luca Cardelli:
Describing Semistructured Data.
SIGMOD Record 30(4): 80-85 (2001) |
| 2000 |
|---|
| 82 | EE | Luca Cardelli,
Giorgio Ghelli,
Andrew D. Gordon:
Secrecy and Group Creation.
CONCUR 2000: 365-379 |
| 81 | EE | Luca Cardelli,
Giorgio Ghelli,
Andrew D. Gordon:
Ambient Groups and Mobility Types.
IFIP TCS 2000: 333-347 |
| 80 | | Luca Cardelli:
Wide Area Computation.
JISBD 2000: 5 |
| 79 | EE | Luca Cardelli,
Andrew D. Gordon:
Anytime, Anywhere: Modal Logics for Mobile Ambients.
POPL 2000: 365-377 |
| 78 | EE | Luca Cardelli,
Andy Gordon,
Giorgio Ghelli:
Secrecy, Group Creation.
Electr. Notes Theor. Comput. Sci. 40: (2000) |
| 77 | EE | Luca Cardelli,
Andrew D. Gordon:
Mobile ambients.
Theor. Comput. Sci. 240(1): 177-213 (2000) |
| 1999 |
|---|
| 76 | | Henri E. Bal,
Boumediene Belkhouche,
Luca Cardelli:
Internet Programming Languages, ICCL'98 Workshop, Chicago, IL, USA, May 13, 1998, Proceedings
Springer 1999 |
| 75 | EE | Luca Cardelli:
Semistructured Computation.
DBPL 1999: 1-16 |
| 74 | | Luca Cardelli:
Foundations for Wide-Area Systems (Tutorial).
FMOODS 1999 |
| 73 | | Andrew D. Gordon,
Luca Cardelli:
Equational Properties of Mobile Ambients.
FoSSaCS 1999: 212-226 |
| 72 | EE | Luca Cardelli:
Wide Area Computation.
ICALP 1999: 10-24 |
| 71 | EE | Luca Cardelli,
Andrew D. Gordon,
Giorgio Ghelli:
Mobility Types for Mobile Ambients.
ICALP 1999: 230-239 |
| 70 | EE | Luca Cardelli,
Andrew D. Gordon:
Types for Mobile Ambients.
POPL 1999: 79-92 |
| 69 | | Luca Cardelli:
Abstractions for Mobile Computation.
Secure Internet Programming 1999: 51-94 |
| 68 | EE | Luca Cardelli,
Rowan Davies:
Service Combinators for Web Computing.
IEEE Trans. Software Eng. 25(3): 309-316 (1999) |
| 67 | | Kim B. Bruce,
Luca Cardelli,
Benjamin C. Pierce:
Comparing Object Encodings.
Inf. Comput. 155(1-2): 108-133 (1999) |
| 1998 |
|---|
| 66 | EE | Luca Cardelli,
Andrew D. Gordon:
Mobile Ambients.
FoSSaCS 1998: 140-155 |
| 65 | EE | Luca Cardelli:
Wide-Area Languages.
Mobile Agents 1998: 208 |
| 1997 |
|---|
| 64 | EE | Luca Cardelli,
Rowan Davies:
Service Combinators for Web Computing.
DSL 1997: 1-10 |
| 63 | EE | Luca Cardelli:
Program Fragments, Linking, and Modularization.
POPL 1997: 266-277 |
| 62 | | Kim B. Bruce,
Luca Cardelli,
Benjamin C. Pierce:
Comparing Object Encodings.
TACS 1997: 415-438 |
| 61 | | Luca Cardelli:
Type Systems.
The Computer Science and Engineering Handbook 1997: 2208-2236 |
| 60 | EE | Luca Cardelli,
Andrew D. Gordon:
Mobile Ambients.
Electr. Notes Theor. Comput. Sci. 10: (1997) |
| 59 | | Luca Cardelli:
Global Computation.
SIGPLAN Notices 32(1): 66-68 (1997) |
| 1996 |
|---|
| 58 | | Krishna Bharat,
Luca Cardelli:
Migratory Applications.
Mobile Object Systems 1996: 131-148 |
| 57 | | Luca Cardelli:
Mobile Computation.
Mobile Object Systems 1996: 3-6 |
| 56 | EE | Martín Abadi,
Luca Cardelli,
Ramesh Viswanathan:
An Interpretation of Objects and Object Types.
POPL 1996: 396-409 |
| 55 | | Luca Cardelli:
Type Systems.
ACM Comput. Surv. 28(1): 263-264 (1996) |
| 54 | | Luca Cardelli:
Bad Engineering Properties of Object-Oriented Languages.
ACM Comput. Surv. 28(4es): 150 (1996) |
| 53 | | Luca Cardelli:
Global Computation.
ACM Comput. Surv. 28(4es): 163 (1996) |
| 52 | EE | Martín Abadi,
Luca Cardelli:
On Subtyping and Matching.
ACM Trans. Program. Lang. Syst. 18(4): 401-423 (1996) |
| 51 | | Martín Abadi,
Luca Cardelli:
A Theory of Primitive Objects: Untyped and First-Order Systems.
Inf. Comput. 125(2): 78-102 (1996) |
| 1995 |
|---|
| 50 | EE | Krishna Bharat,
Luca Cardelli:
Migratory Applications.
ACM Symposium on User Interface Software and Technology 1995: 132-142 |
| 49 | EE | Martín Abadi,
Luca Cardelli:
On Subtyping and Matching.
ECOOP 1995: 145-167 |
| 48 | | Luca Cardelli:
A Language with Distributed Scope.
POPL 1995: 286-297 |
| 47 | | Martín Abadi,
Luca Cardelli:
An Imperative Object Calculus.
TAPSOFT 1995: 471-485 |
| 46 | | Luca Cardelli:
A Language with Distributed Scope.
Computing Systems 8(1): 27-59 (1995) |
| 45 | | Martín Abadi,
Luca Cardelli,
Benjamin C. Pierce,
Didier Rémy:
Dynamic Typing in Polymorphic Languages.
J. Funct. Program. 5(1): 111-130 (1995) |
| 44 | | Martín Abadi,
Luca Cardelli:
A Theory of Primitive Objects: Second-Order Systems.
Sci. Comput. Program. 25(2-3): 81-116 (1995) |
| 43 | | Martín Abadi,
Luca Cardelli:
An Imperative Object Calculus (Invited Paper).
TAPOS 1(3): 151-166 (1995) |
| 42 | | Kim B. Bruce,
Luca Cardelli,
Giuseppe Castagna,
Jonathan Eifrig,
Scott F. Smith,
Valery Trifonov,
Gary T. Leavens,
Benjamin C. Pierce:
On Binary Methods.
TAPOS 1(3): 221-242 (1995) |
| 1994 |
|---|
| 41 | | Martín Abadi,
Luca Cardelli:
A Theory of Primitive Objects - Scond-Order Systems.
ESOP 1994: 1-25 |
| 40 | | Gordon D. Plotkin,
Martín Abadi,
Luca Cardelli:
Subtyping and Parametricity
LICS 1994: 310-319 |
| 39 | | Martín Abadi,
Luca Cardelli:
A Semantics of Object Types
LICS 1994: 332-341 |
| 38 | | Martín Abadi,
Luca Cardelli:
A Theory of Primitive Objects - Untyped and First-Order Systems.
TACS 1994: 296-320 |
| 37 | | Luca Cardelli,
Simone Martini,
John C. Mitchell,
Andre Scedrov:
An Extension of System F with Subtyping
Inf. Comput. 109(1/2): 4-56 (1994) |
| 1993 |
|---|
| 36 | EE | Luca Cardelli,
Florian Matthes,
Martín Abadi:
Extensible Grammars for Language Specialization.
DBPL 1993: 11-31 |
| 35 | | Martín Abadi,
Luca Cardelli,
Pierre-Louis Curien:
Formal Parametric Polymorphism.
POPL 1993: 157-170 |
| 34 | EE | Roberto M. Amadio,
Luca Cardelli:
Subtyping Recursive Types.
ACM Trans. Program. Lang. Syst. 15(4): 575-631 (1993) |
| 33 | | Martín Abadi,
Luca Cardelli,
Pierre-Louis Curien:
Formal Parametric Polymorphism.
Theor. Comput. Sci. 121(1&2): 9-58 (1993) |
| 1992 |
|---|
| 32 | EE | Luca Cardelli,
James E. Donahue,
Lucille Glassman,
Mick J. Jordan,
Bill Kalsow,
Greg Nelson:
Modula-3 language definition.
SIGPLAN Notices 27(8): 15-42 (1992) |
| 1991 |
|---|
| 31 | EE | Luca Cardelli:
A Pure Calculus of Subtyping, and Applications (Outline).
DBPL 1991: 185-187 |
| 30 | | Roberto M. Amadio,
Luca Cardelli:
Subtyping Recursive Types.
POPL 1991: 104-118 |
| 29 | | Luca Cardelli,
Simone Martini,
John C. Mitchell,
Andre Scedrov:
An Extension of System F with Subtyping.
TACS 1991: 750-770 |
| 28 | EE | Martín Abadi,
Luca Cardelli,
Benjamin C. Pierce,
Gordon D. Plotkin:
Dynamic Typing in a Statically Typed Language.
ACM Trans. Program. Lang. Syst. 13(2): 237-268 (1991) |
| 27 | | Martín Abadi,
Luca Cardelli,
Pierre-Louis Curien,
Jean-Jacques Lévy:
Explicit Substitutions.
J. Funct. Program. 1(4): 375-416 (1991) |
| 26 | | Luca Cardelli,
Giuseppe Longo:
A Semantic Basis for Quest.
J. Funct. Program. 1(4): 417-458 (1991) |
| 25 | | Luca Cardelli,
John C. Mitchell:
Operations on Records.
Mathematical Structures in Computer Science 1(1): 3-48 (1991) |
| 1990 |
|---|
| 24 | EE | Luca Cardelli,
Giuseppe Longo:
A Semantic Basis for Quest.
LISP and Functional Programming 1990: 30-43 |
| 23 | | Martín Abadi,
Luca Cardelli,
Pierre-Louis Curien,
Jean-Jacques Lévy:
Explicit Substitutions.
POPL 1990: 31-46 |
| 1989 |
|---|
| 22 | | Luca Cardelli,
John C. Mitchell:
Operations in Records.
Category Theory and Computer Science 1989: 75-81 |
| 21 | | Luca Cardelli,
John C. Mitchell:
Operations on Records.
Mathematical Foundations of Programming Semantics 1989: 22-52 |
| 20 | | Luca Cardelli,
James E. Donahue,
Mick J. Jordan,
Bill Kalsow,
Greg Nelson:
The Modula-3 Type System.
POPL 1989: 202-212 |
| 19 | | Martín Abadi,
Luca Cardelli,
Benjamin C. Pierce,
Gordon D. Plotkin:
Dynamic Typing in a Statically-Typed Language.
POPL 1989: 213-227 |
| 1988 |
|---|
| 18 | EE | Luca Cardelli:
Building User Interfaces by Direct Manipulation.
ACM Symposium on User Interface Software and Technology 1988: 152-166 |
| 17 | EE | Luca Cardelli:
Types for Data-Oriented Languages.
EDBT 1988: 1-15 |
| 16 | | Luca Cardelli:
Structural Subtyping and the Notion of Power Type.
POPL 1988: 70-79 |
| 15 | | Luca Cardelli:
A Semantics of Multiple Inheritance
Inf. Comput. 76(2/3): 138-164 (1988) |
| 1987 |
|---|
| 14 | | Luca Cardelli:
Basic Polymorphic Typechecking.
Sci. Comput. Program. 8(2): 147-172 (1987) |
| 1986 |
|---|
| 13 | | Luca Cardelli:
Typechecking Dependent Types and Subtypes.
Foundations of Logic and Functional Programming 1986: 45-57 |
| 1985 |
|---|
| 12 | | Luca Cardelli:
Amber.
Combinators and Functional Programming Languages 1985: 21-47 |
| 11 | | Luca Cardelli:
The Amber Machine.
Combinators and Functional Programming Languages 1985: 48-70 |
| 10 | EE | Luca Cardelli,
David B. MacQueen:
Persistence and Type Abstraction.
Data Types and Persistence (Appin) 1985: 31-41 |
| 9 | EE | Luca Cardelli,
David B. MacQueen:
Persistence and Type Abstraction.
Data Types and Persistence (Appin), Informal Proceedings 1985: 221-230 |
| 8 | EE | Luca Cardelli,
Rob Pike:
Squeak: a language for communicating with mice.
SIGGRAPH 1985: 199-204 |
| 7 | | Luca Cardelli,
Peter Wegner:
On Understanding Types, Data Abstraction, and Polymorphism.
ACM Comput. Surv. 17(4): 471-522 (1985) |
| 6 | EE | Antonio Albano,
Luca Cardelli,
Renzo Orsini:
Galileo: A Strongly-Typed, Interactive Conceptual Language.
ACM Trans. Database Syst. 10(2): 230-260 (1985) |
| 1984 |
|---|
| 5 | | Luca Cardelli:
Compiling a Functional Language.
LISP and Functional Programming 1984: 208-217 |
| 4 | | Luca Cardelli:
A Semantics of Multiple Inheritance.
Semantics of Data Types 1984: 51-67 |
| 3 | | Luca Cardelli:
An Implementation Model of Rendezvous Communication.
Seminar on Concurrency 1984: 449-457 |
| 1982 |
|---|
| 2 | | Luca Cardelli:
Real Time Agents.
ICALP 1982: 94-106 |
| 1980 |
|---|
| 1 | | Luca Cardelli:
Analog Processes.
MFCS 1980: 181-193 |
