Luca Cardelli

Luca Cardelli: Two-domain DNA strand displacement. Mathematical Structures in Computer Science 23(2): 247-271 (2013)

Radu Mardare, Luca Cardelli, Kim G. Larsen: Continuous Markovian Logics - Axiomatization and Quantified Metatheory. Logical Methods in Computer Science 8(4) (2012)

Luca Cardelli, Philippa Gardner: Processes in space. Theor. Comput. Sci. 431: 40-55 (2012)

Luca Cardelli, Cosimo Laneve: Reversibility in Massive Concurrent Systems. Sci. Ann. Comp. Sci. 21(2): 175-198 (2011)

Luca Cardelli: Strand algebras for DNA computing. Natural Computing 10(1): 407-428 (2011)

Neil Dalchau, James Andrew Phillips, Leonard D. Goldstein, Mark Howarth, Luca Cardelli, Stephen Emmott, Tim Elliott, Joern M. Werner: A Peptide Filtering Relation Quantifies MHC Class I Peptide Optimization. PLoS Computational Biology 7(10) (2011)

Luca Cardelli, Cosimo Laneve: Reversible structures. CMSB 2011: 131-140

Luca Cardelli, Kim G. Larsen, Radu Mardare: Continuous Markovian Logic - From Complete Axiomatization to the Metric Space of Formulas. CSL 2011: 144-158

Luca Cardelli, Kim G. Larsen, Radu Mardare: Modular Markovian Logic. ICALP (2) 2011: 380-391

Luca Cardelli, William M. Shih (Eds.): DNA Computing and Molecular Programming - 17th International Conference, DNA 17, Pasadena, CA, USA, September 19-23, 2011. Proceedings. Lecture Notes in Computer Science 6937, Springer 2011, isbn 978-3-642-23637-2

Luca Cardelli, Cosimo Laneve: Reversibility in Massive Concurrent Systems. CoRR abs/1108.3419 (2011)

Steffen van Bakel, Luca Cardelli, Maria Grazia Vigliotti: From X to Pi; Representing the Classical Sequent Calculus in the Pi-calculus. CoRR abs/1109.4817 (2011)

Luca Cardelli, Gianluigi Zavattaro: Turing universality of the Biochemical Ground Form. Mathematical Structures in Computer Science 20(1): 45-73 (2010)

Luca Cardelli, Philippa Gardner: Processes in Space. CiE 2010: 78-87

Luca Cardelli, Radu Mardare: The Measurable Space of Stochastic Processes. QEST 2010: 171-180

Luca Cardelli: Algebras and Languages for Molecular Programming. UC 2010: 2

Luca Cardelli: Two-Domain DNA Strand Displacement. DCM 2010: 47-61

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)

Luca Cardelli, Emmanuelle Caron, Philippa Gardner, Ozan Kahramanogullari, Andrew Phillips: A process model of Rho GTP-binding proteins. Theor. Comput. Sci. 410(33-34): 3166-3185 (2009)

Luca Cardelli, Corrado Priami: Visualization in process algebra models of biological systems. The Fourth Paradigm 2009: 99-105

Luca Cardelli: Strand Algebras for DNA Computing. DNA 2009: 12-24

Ozan Kahramanogullari, Luca Cardelli, Emmanuelle Caron: An Intuitive Automated Modelling Interface for Systems Biology. DCM 2009: 73-86

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)

Luca Cardelli: On process rate semantics. Theor. Comput. Sci. 391(3): 190-215 (2008)

Luca Cardelli: Bitonal membrane systems: Interactions of biological membranes. Theor. Comput. Sci. 404(1-2): 5-18 (2008)

Luca Cardelli, Gianluigi Zavattaro: On the Computational Power of Biochemistry. AB 2008: 65-80

Gianluigi Zavattaro, Luca Cardelli: Termination Problems in Chemical Kinetics. CONCUR 2008: 477-491

Luca Cardelli: Molecules as Automata. CSL 2008: 32

Luca Cardelli: From Processes to ODEs by Chemistry. IFIP TCS 2008: 261-281

Luca Cardelli: Molecules as Automata. WADT 2008: 18-20

Luca Cardelli: Machines of Systems Biology. Bulletin of the EATCS 93: 176-204 (2007)

Luca Cardelli, Marcelo P. Fiore, Glynn Winskel: Preface. Electr. Notes Theor. Comput. Sci. 172: 1-4 (2007)

Luca Cardelli, Philippa Gardner, Giorgio Ghelli: Manipulating Trees with Hidden Labels. Electr. Notes Theor. Comput. Sci. 172: 177-201 (2007)

Andrew Phillips, Luca Cardelli: Efficient, Correct Simulation of Biological Processes in the Stochastic Pi-calculus. CMSB 2007: 184-199

Luca Cardelli: An Accidental Simula User. ECOOP 2007: 201

Luca Cardelli: Invited Talk: A Process Algebra Master Equation. QEST 2007: 219-226

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)

Ralf Blossey, Luca Cardelli, Andrew Phillips: A Compositional Approach to the Stochastic Dynamics of Gene Networks. : 99-122 (2006)

Andrew Phillips, Luca Cardelli, Giuseppe Castagna: A Graphical Representation for Biological Processes in the Stochastic pi-Calculus. : 123-152 (2006)

Corrado Priami, Luca Cardelli, Stephen Emmott (Eds.): Transactions on Computational Systems Biology IV. Lecture Notes in Computer Science 3939, Springer 2006, isbn 3-540-33245-6

Luca Cardelli, Giorgio Ghelli, Andrew D. Gordon: Secrecy and group creation. Inf. Comput. 196(2): 127-155 (2005)

Cristiano Calcagno, Luca Cardelli, Andrew D. Gordon: Deciding validity in a spatial logic for trees. J. Funct. Program. 15(4): 543-572 (2005)

Luca Cardelli: Abstract Machines of Systems Biology. : 145-168 (2005)

Luca Cardelli: A Compositional Approach to the Stochastic Dynamics of Gene Networks. CONCUR 2005: 4

Luca Cardelli: Transitions in programming models: 2. ICSE 2005: 2

Luca Cardelli: Biological Systems as Reactive Systems. ICTCS 2005: 21

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)

Luís Caires, Luca Cardelli: A spatial logic for concurrency - II. Theor. Comput. Sci. 322(3): 517-565 (2004)

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)

Nick Benton, Luca Cardelli, Cédric Fournet: Modern concurrency abstractions for C#. ACM Trans. Program. Lang. Syst. 26(5): 769-804 (2004)

Luca Cardelli: Brane Calculi. CMSB 2004: 257-278

Alain Frisch, Luca Cardelli: Greedy Regular Expression Matching. ICALP 2004: 618-629

Luís Caires, Luca Cardelli: A spatial logic for concurrency (part I). Inf. Comput. 186(2): 194-235 (2003)

Andrew D. Gordon, Luca Cardelli: Equational Properties Of Mobile Ambients. Mathematical Structures in Computer Science 13(3): 371-408 (2003)

Luca Cardelli, Philippa Gardner, Giorgio Ghelli: Manipulating Trees with Hidden Labels. FoSSaCS 2003: 216-232

Cristiano Calcagno, Luca Cardelli, Andrew D. Gordon: Deciding validity in a spatial logic for trees. TLDI 2003: 62-73

Luca Cardelli (Ed.): ECOOP 2003 - Object-Oriented Programming, 17th European Conference, Darmstadt, Germany, July 21-25, 2003, Proceedings. Lecture Notes in Computer Science 2743, Springer 2003, isbn 3-540-40531-3

Luca Cardelli, Giorgio Ghelli, Andrew D. Gordon: Types for the Ambient Calculus. Inf. Comput. 177(2): 160-194 (2002)

Luís Caires, Luca Cardelli: A Spatial Logic for Concurrency (Part II). CONCUR 2002: 209-225

Nick Benton, Luca Cardelli, Cédric Fournet: Modern Concurrency Abstractions for C^#. ECOOP 2002: 415-440

Luca Cardelli, Philippa Gardner, Giorgio Ghelli: A Spatial Logic for Querying Graphs. ICALP 2002: 597-610

Luca Cardelli: Describing Semistructured Data. SIGMOD Record 30(4): 80-85 (2001)

Luca Cardelli, Giorgio Ghelli: A Query Language Based on the Ambient Logic. ESOP 2001: 1-22

Luca Cardelli, Giorgio Ghelli: A Query Language Based on the Ambient Logic. SEBD 2001: 95-104

Luís Caires, Luca Cardelli: A Spatial Logic for Concurrency. TACS 2001: 1-37

Luca Cardelli, Andrew D. Gordon: Logical Properties of Name Restriction. TLCA 2001: 46-60

Luca Cardelli, Andy Gordon, Giorgio Ghelli: Secrecy, Group Creation. Electr. Notes Theor. Comput. Sci. 40: 7 (2000)

Luca Cardelli, Andrew D. Gordon: Mobile ambients. Theor. Comput. Sci. 240(1): 177-213 (2000)

Luca Cardelli, Giorgio Ghelli, Andrew D. Gordon: Secrecy and Group Creation. CONCUR 2000: 365-379

Luca Cardelli, Giorgio Ghelli, Andrew D. Gordon: Ambient Groups and Mobility Types. IFIP TCS 2000: 333-347

Luca Cardelli: Wide Area Computation. JISBD 2000: 5

Luca Cardelli, Andrew D. Gordon: Anytime, Anywhere: Modal Logics for Mobile Ambients. POPL 2000: 365-377

Kim B. Bruce, Luca Cardelli, Benjamin C. Pierce: Comparing Object Encodings. Inf. Comput. 155(1-2): 108-133 (1999)

Luca Cardelli, Rowan Davies: Service Combinators for Web Computing. IEEE Trans. Software Eng. 25(3): 309-316 (1999)

Luca Cardelli: Semistructured Computation. DBPL 1999: 1-16

Luca Cardelli: Abstractions for Mobile Computation. Secure Internet Programming 1999: 51-94

Luca Cardelli: Foundations for Wide-Area Systems (Tutorial). FMOODS 1999

Andrew D. Gordon, Luca Cardelli: Equational Properties of Mobile Ambients. FoSSaCS 1999: 212-226

Luca Cardelli: Wide Area Computation. ICALP 1999: 10-24

Luca Cardelli, Andrew D. Gordon, Giorgio Ghelli: Mobility Types for Mobile Ambients. ICALP 1999: 230-239

Luca Cardelli, Andrew D. Gordon: Types for Mobile Ambients. POPL 1999: 79-92

Henri E. Bal, Boumediene Belkhouche, Luca Cardelli (Eds.): Internet Programming Languages, ICCL'98 Workshop, Chicago, IL, USA, May 13, 1998, Proceedings. Lecture Notes in Computer Science 1686, Springer 1999, isbn 3-540-66673-7

Luca Cardelli, Andrew D. Gordon: Mobile Ambients. FoSSaCS 1998: 140-155

Luca Cardelli: Wide-Area Languages. Mobile Agents 1998: 208

David B. MacQueen, Luca Cardelli (Eds.): POPL '98, Proceedings of the 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Diego, CA, USA, January 19-21, 1998. ACM 1998, isbn 0-89791-979-3

Luca Cardelli, Andrew D. Gordon: Mobile Ambients. Electr. Notes Theor. Comput. Sci. 10: 198-201 (1997)

Luca Cardelli: Global Computation. SIGPLAN Notices 32(1): 66-68 (1997)

Luca Cardelli: Type Systems. The Computer Science and Engineering Handbook 1997: 2208-2236

Luca Cardelli, Rowan Davies: Service Combinators for Web Computing. DSL 1997: 1-10

Luca Cardelli: Program Fragments, Linking, and Modularization. POPL 1997: 266-277

Kim B. Bruce, Luca Cardelli, Benjamin C. Pierce: Comparing Object Encodings. TACS 1997: 415-438

Martín Abadi, Luca Cardelli: A theory of objects. Springer 1996, isbn 978-0-387-94775-4, pp. I-XIII, 1-396

Luca Cardelli: Type Systems. ACM Comput. Surv. 28(1): 263-264 (1996)

Luca Cardelli: Bad Engineering Properties of Object-Oriented Languages. ACM Comput. Surv. 28(4es): 150 (1996)

Luca Cardelli: Global Computation. ACM Comput. Surv. 28(4es): 163 (1996)

Martín Abadi, Luca Cardelli: A Theory of Primitive Objects: Untyped and First-Order Systems. Inf. Comput. 125(2): 78-102 (1996)

Martín Abadi, Luca Cardelli: On Subtyping and Matching. ACM Trans. Program. Lang. Syst. 18(4): 401-423 (1996)

Luca Cardelli: Mobile Computation. Mobile Object Systems 1996: 3-6

Krishna Bharat, Luca Cardelli: Migratory Applications. Mobile Object Systems 1996: 131-148

Martín Abadi, Luca Cardelli, Ramesh Viswanathan: An Interpretation of Objects and Object Types. POPL 1996: 396-409

Luca Cardelli: A Language with Distributed Scope. Computing Systems 8(1): 27-59 (1995)

Martín Abadi, Luca Cardelli, Benjamin C. Pierce, Didier Rémy: Dynamic Typing in Polymorphic Languages. J. Funct. Program. 5(1): 111-130 (1995)

Martín Abadi, Luca Cardelli: A Theory of Primitive Objects: Second-Order Systems. Sci. Comput. Program. 25(2-3): 81-116 (1995)

Martín Abadi, Luca Cardelli: An Imperative Object Calculus (Invited Paper). TAPOS 1(3): 151-166 (1995)

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)

Martín Abadi, Luca Cardelli: On Subtyping and Matching. ECOOP 1995: 145-167

Luca Cardelli: A Language with Distributed Scope. POPL 1995: 286-297

Martín Abadi, Luca Cardelli: An Imperative Object Calculus. TAPSOFT 1995: 471-485

Krishna Bharat, Luca Cardelli: Migratory Applications. ACM Symposium on User Interface Software and Technology 1995: 132-142

Luca Cardelli, Simone Martini, John C. Mitchell, Andre Scedrov: An Extension of System F with Subtyping. Inf. Comput. 109(1/2): 4-56 (1994)

Martín Abadi, Luca Cardelli: A Theory of Primitive Objects - Scond-Order Systems. ESOP 1994: 1-25

Gordon D. Plotkin, Martín Abadi, Luca Cardelli: Subtyping and Parametricity. LICS 1994: 310-319

Martín Abadi, Luca Cardelli: A Semantics of Object Types. LICS 1994: 332-341

Martín Abadi, Luca Cardelli: A Theory of Primitive Objects - Untyped and First-Order Systems. TACS 1994: 296-320

Martín Abadi, Luca Cardelli, Pierre-Louis Curien: Formal Parametric Polymorphism. Theor. Comput. Sci. 121(1&2): 9-58 (1993)

Roberto M. Amadio, Luca Cardelli: Subtyping Recursive Types. ACM Trans. Program. Lang. Syst. 15(4): 575-631 (1993)

Luca Cardelli, Florian Matthes, Martín Abadi: Extensible Grammars for Language Specialization. DBPL 1993: 11-31

Martín Abadi, Luca Cardelli, Pierre-Louis Curien: Formal Parametric Polymorphism. POPL 1993: 157-170

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)

Martín Abadi, Luca Cardelli, Pierre-Louis Curien, Jean-Jacques Lévy: Explicit Substitutions. J. Funct. Program. 1(4): 375-416 (1991)

Luca Cardelli, Giuseppe Longo: A Semantic Basis for Quest. J. Funct. Program. 1(4): 417-458 (1991)

Luca Cardelli, John C. Mitchell: Operations on Records. Mathematical Structures in Computer Science 1(1): 3-48 (1991)

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)

Luca Cardelli: A Pure Calculus of Subtyping, and Applications (Outline). DBPL 1991: 185-187

Roberto M. Amadio, Luca Cardelli: Subtyping Recursive Types. POPL 1991: 104-118

Luca Cardelli, Simone Martini, John C. Mitchell, Andre Scedrov: An Extension of System F with Subtyping. TACS 1991: 750-770

Luca Cardelli, Giuseppe Longo: A Semantic Basis for Quest. LISP and Functional Programming 1990: 30-43

Martín Abadi, Luca Cardelli, Pierre-Louis Curien, Jean-Jacques Lévy: Explicit Substitutions. POPL 1990: 31-46

Luca Cardelli, John C. Mitchell: Operations in Records. Category Theory and Computer Science 1989: 75-81

Luca Cardelli, John C. Mitchell: Operations on Records. Mathematical Foundations of Programming Semantics 1989: 22-52

Luca Cardelli, James E. Donahue, Mick J. Jordan, Bill Kalsow, Greg Nelson: The Modula-3 Type System. POPL 1989: 202-212

Martín Abadi, Luca Cardelli, Benjamin C. Pierce, Gordon D. Plotkin: Dynamic Typing in a Statically-Typed Language. POPL 1989: 213-227

Luca Cardelli: A Semantics of Multiple Inheritance. Inf. Comput. 76(2/3): 138-164 (1988)

Luca Cardelli: Types for Data-Oriented Languages. EDBT 1988: 1-15

Luca Cardelli: Structural Subtyping and the Notion of Power Type. POPL 1988: 70-79

Luca Cardelli: Building User Interfaces by Direct Manipulation. ACM Symposium on User Interface Software and Technology 1988: 152-166

Luca Cardelli: Basic Polymorphic Typechecking. Sci. Comput. Program. 8(2): 147-172 (1987)

Luca Cardelli: Typechecking Dependent Types and Subtypes. Foundations of Logic and Functional Programming 1986: 45-57

Luca Cardelli, Peter Wegner: On Understanding Types, Data Abstraction, and Polymorphism. ACM Comput. Surv. 17(4): 471-522 (1985)

Antonio Albano, Luca Cardelli, Renzo Orsini: Galileo: A Strongly-Typed, Interactive Conceptual Language. ACM Trans. Database Syst. 10(2): 230-260 (1985)

Luca Cardelli, David B. MacQueen: Persistence and Type Abstraction. Data Types and Persistence (Appin) 1985: 31-41

Luca Cardelli: Amber. Combinators and Functional Programming Languages 1985: 21-47

Luca Cardelli: The Amber Machine. Combinators and Functional Programming Languages 1985: 48-70

Luca Cardelli, David B. MacQueen: Persistence and Type Abstraction. Data Types and Persistence (Appin), Informal Proceedings 1985: 221-230

Luca Cardelli, Rob Pike: Squeak: a language for communicating with mice. SIGGRAPH 1985: 199-204

Luca Cardelli: An Implementation Model of Rendezvous Communication. Seminar on Concurrency 1984: 449-457

Luca Cardelli: Compiling a Functional Language. LISP and Functional Programming 1984: 208-217

Luca Cardelli: A Semantics of Multiple Inheritance. Semantics of Data Types 1984: 51-67

Luca Cardelli: Real Time Agents. ICALP 1982: 94-106

Luca Cardelli: Analog Processes. MFCS 1980: 181-193