@inproceedings{Cardelli04,
  title = {Brane Calculi},
  author = {Luca Cardelli},
  year = {2004},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3082&spage=257},
  researchr = {https://researchr.org/publication/Cardelli04},
  cites = {0},
  citedby = {0},
  pages = {257-278},
  booktitle = {cmsb},
}

@article{CardelliCGKP09,
  title = {A Process Model of Actin Polymerisation},
  author = {Luca Cardelli and Emmanuelle Caron and Philippa Gardner and Ozan Kahramanogullari and Andrew Phillips},
  year = {2009},
  doi = {10.1016/j.entcs.2009.02.009},
  url = {http://dx.doi.org/10.1016/j.entcs.2009.02.009},
  tags = {meta-model, modeling, Meta-Environment, process modeling},
  researchr = {https://researchr.org/publication/CardelliCGKP09},
  cites = {0},
  citedby = {0},
  journal = {ENTCS},
  volume = {229},
  number = {1},
  pages = {127-144},
}

@article{BlosseyCP06,
  title = {A Compositional Approach to the Stochastic Dynamics of Gene Networks},
  author = {Ralf Blossey and Luca Cardelli and Andrew Phillips},
  year = {2006},
  doi = {10.1007/11732488_10},
  url = {http://dx.doi.org/10.1007/11732488_10},
  tags = {composition, systematic-approach},
  researchr = {https://researchr.org/publication/BlosseyCP06},
  cites = {0},
  citedby = {0},
  journal = {TCSB},
  pages = {99-122},
}

@inproceedings{CardelliM85:0,
  title = {Persistence and Type Abstraction},
  author = {Luca Cardelli and David B. MacQueen},
  year = {1985},
  tags = {abstraction},
  researchr = {https://researchr.org/publication/CardelliM85%3A0},
  cites = {0},
  citedby = {0},
  pages = {31-41},
  booktitle = {pos},
}

@inproceedings{CardelliGG00:0,
  title = {Secrecy and Group Creation},
  author = {Luca Cardelli and Giorgio Ghelli and Andrew D. Gordon},
  year = {2000},
  url = {http://link.springer.de/link/service/series/0558/bibs/1877/18770365.htm},
  researchr = {https://researchr.org/publication/CardelliGG00%3A0},
  cites = {0},
  citedby = {0},
  pages = {365-379},
  booktitle = {concur},
}

@inproceedings{CardelliGG03,
  title = {Manipulating Trees with Hidden Labels},
  author = {Luca Cardelli and Philippa Gardner and Giorgio Ghelli},
  year = {2003},
  url = {http://link.springer.de/link/service/series/0558/bibs/2620/26200216.htm},
  researchr = {https://researchr.org/publication/CardelliGG03},
  cites = {0},
  citedby = {0},
  pages = {216-232},
  booktitle = {fossacs},
}

@inproceedings{Cardelli86,
  title = {Typechecking Dependent Types and Subtypes},
  author = {Luca Cardelli},
  year = {1986},
  tags = {subtyping},
  researchr = {https://researchr.org/publication/Cardelli86},
  cites = {0},
  citedby = {0},
  pages = {45-57},
  booktitle = {flfp},
}

@inproceedings{Cardelli99:1,
  title = {Semistructured Computation},
  author = {Luca Cardelli},
  year = {1999},
  url = {http://link.springer.de/link/service/series/0558/bibs/1949/19490001.htm},
  researchr = {https://researchr.org/publication/Cardelli99%3A1},
  cites = {0},
  citedby = {0},
  pages = {1-16},
  booktitle = {DBPL},
}

@article{AmadioC93,
  title = {Subtyping Recursive Types},
  author = {Roberto M. Amadio and Luca Cardelli},
  year = {1993},
  doi = {10.1145/155183.155231},
  url = {http://doi.acm.org/10.1145/155183.155231},
  tags = {subtyping},
  researchr = {https://researchr.org/publication/AmadioC93},
  cites = {0},
  citedby = {0},
  journal = {TOPLAS},
  volume = {15},
  number = {4},
  pages = {575-631},
}

@article{BruceCP99,
  title = {Comparing Object Encodings},
  author = {Kim B. Bruce and Luca Cardelli and Benjamin C. Pierce},
  year = {1999},
  tags = {meta-model, C++, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/BruceCP99},
  cites = {0},
  citedby = {0},
  journal = {iandc},
  volume = {155},
  number = {1-2},
  pages = {108-133},
}

@inproceedings{Cardelli99:0,
  title = {Foundations for Wide-Area Systems (Tutorial)},
  author = {Luca Cardelli},
  year = {1999},
  researchr = {https://researchr.org/publication/Cardelli99%3A0},
  cites = {0},
  citedby = {0},
  booktitle = {fmoods},
}

@inproceedings{Cardelli98,
  title = {Wide-Area Languages},
  author = {Luca Cardelli},
  year = {1998},
  url = {http://link.springer.de/link/service/series/0558/bibs/1477/14770208.htm},
  researchr = {https://researchr.org/publication/Cardelli98},
  cites = {0},
  citedby = {0},
  pages = {208},
  booktitle = {ma},
}

@article{BentonCF04,
  title = {Modern concurrency abstractions for C#},
  author = {Nick Benton and Luca Cardelli and Cédric Fournet},
  year = {2004},
  doi = {10.1145/1018203.1018205},
  url = {http://doi.acm.org/10.1145/1018203.1018205},
  tags = {C++, abstraction},
  researchr = {https://researchr.org/publication/BentonCF04},
  cites = {0},
  citedby = {0},
  journal = {TOPLAS},
  volume = {26},
  number = {5},
  pages = {769-804},
}

@article{CardelliL91,
  title = {A Semantic Basis for Quest},
  author = {Luca Cardelli and Giuseppe Longo},
  year = {1991},
  researchr = {https://researchr.org/publication/CardelliL91},
  cites = {0},
  citedby = {0},
  journal = {JFP},
  volume = {1},
  number = {4},
  pages = {417-458},
}

@article{AbadiC95,
  title = {A Theory of Primitive Objects: Second-Order Systems},
  author = {Martín Abadi and Luca Cardelli},
  year = {1995},
  tags = {meta-model, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/AbadiC95},
  cites = {0},
  citedby = {0},
  journal = {SCP},
  volume = {25},
  number = {2-3},
  pages = {81-116},
}

@inproceedings{CairesC01,
  title = {A Spatial Logic for Concurrency},
  author = {Luís Caires and Luca Cardelli},
  year = {2001},
  url = {http://link.springer.de/link/service/series/0558/bibs/2215/22150001.htm},
  tags = {logic},
  researchr = {https://researchr.org/publication/CairesC01},
  cites = {0},
  citedby = {0},
  pages = {1-37},
  booktitle = {tacs},
}

@article{CairesC03,
  title = {A spatial logic for concurrency (part I)},
  author = {Luís Caires and Luca Cardelli},
  year = {2003},
  doi = {10.1016/S0890-5401(03)00137-8},
  url = {http://dx.doi.org/10.1016/S0890-5401(03)00137-8},
  tags = {logic},
  researchr = {https://researchr.org/publication/CairesC03},
  cites = {0},
  citedby = {0},
  journal = {iandc},
  volume = {186},
  number = {2},
  pages = {194-235},
}

@inproceedings{Cardelli85,
  title = {Amber},
  author = {Luca Cardelli},
  year = {1985},
  researchr = {https://researchr.org/publication/Cardelli85},
  cites = {0},
  citedby = {0},
  pages = {21-47},
  booktitle = {litp},
}

@inproceedings{Cardelli05:2,
  title = {Biological Systems as Reactive Systems},
  author = {Luca Cardelli},
  year = {2005},
  doi = {10.1007/11560586_2},
  url = {http://dx.doi.org/10.1007/11560586_2},
  researchr = {https://researchr.org/publication/Cardelli05%3A2},
  cites = {0},
  citedby = {0},
  pages = {21},
  booktitle = {ictcs},
}

@article{CardelliDGJKN92,
  title = {Modula-3 language definition},
  author = {Luca Cardelli and James E. Donahue and Lucille Glassman and Mick J. Jordan and Bill Kalsow and Greg Nelson},
  year = {1992},
  doi = {10.1145/142137.142141},
  url = {http://doi.acm.org/10.1145/142137.142141},
  tags = {e-science},
  researchr = {https://researchr.org/publication/CardelliDGJKN92},
  cites = {0},
  citedby = {0},
  journal = {SIGPLAN},
  volume = {27},
  number = {8},
  pages = {15-42},
}

@inproceedings{CardelliM89:0,
  title = {Operations in Records},
  author = {Luca Cardelli and John C. Mitchell},
  year = {1989},
  tags = {C++},
  researchr = {https://researchr.org/publication/CardelliM89%3A0},
  cites = {0},
  citedby = {0},
  pages = {75-81},
  booktitle = {ctcs},
}

@inproceedings{CardelliMA93,
  title = {Extensible Grammars for Language Specialization},
  author = {Luca Cardelli and Florian Matthes and Martín Abadi},
  year = {1993},
  tags = {programming languages, object-oriented programming, rule-based, translation, syntax definition, meta programming, pattern language, generic programming, XML, XML Schema, graph query, SQL, language design, macros, graph-rewriting, rules, programming, subject-oriented programming, database, Meta-Environment, rewriting, parsing, incremental, design, extensible language, feature-oriented programming, meta-objects, grammar, query language},
  researchr = {https://researchr.org/publication/CardelliMA93},
  cites = {0},
  citedby = {0},
  pages = {11-31},
  booktitle = {DBPL},
}

@article{Cardelli05,
  title = {Abstract Machines of Systems Biology},
  author = {Luca Cardelli},
  year = {2005},
  doi = {10.1007/11599128_10},
  url = {http://dx.doi.org/10.1007/11599128_10},
  tags = {abstract machine},
  researchr = {https://researchr.org/publication/Cardelli05},
  cites = {0},
  citedby = {0},
  journal = {TCSB},
  pages = {145-168},
}

@inproceedings{CardelliM89,
  title = {Operations on Records},
  author = {Luca Cardelli and John C. Mitchell},
  year = {1989},
  tags = {C++},
  researchr = {https://researchr.org/publication/CardelliM89},
  cites = {0},
  citedby = {0},
  pages = {22-52},
  booktitle = {mfps},
}

@article{AbadiC95:0,
  title = {An Imperative Object Calculus (Invited Paper)},
  author = {Martín Abadi and Luca Cardelli},
  year = {1995},
  tags = {meta-model, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/AbadiC95%3A0},
  cites = {0},
  citedby = {0},
  journal = {tapos},
  volume = {1},
  number = {3},
  pages = {151-166},
}

@inproceedings{BentonCF02,
  title = {Modern Concurrency Abstractions for C:::#:::},
  author = {Nick Benton and Luca Cardelli and Cédric Fournet},
  year = {2002},
  url = {http://link.springer.de/link/service/series/0558/bibs/2374/23740415.htm},
  tags = {C++, abstraction},
  researchr = {https://researchr.org/publication/BentonCF02},
  cites = {0},
  citedby = {0},
  pages = {415-440},
  booktitle = {ECOOP},
}

@article{Cardelli88:1,
  title = {A Semantics of Multiple Inheritance},
  author = {Luca Cardelli},
  year = {1988},
  month = {February/March},
  tags = {semantics},
  researchr = {https://researchr.org/publication/Cardelli88%3A1},
  cites = {0},
  citedby = {0},
  journal = {iandc},
  volume = {76},
  number = {2/3},
  pages = {138-164},
}

@inproceedings{AbadiCC93:0,
  title = {Formal Parametric Polymorphism},
  author = {Martín Abadi and Luca Cardelli and Pierre-Louis Curien},
  year = {1993},
  researchr = {https://researchr.org/publication/AbadiCC93%3A0},
  cites = {0},
  citedby = {0},
  pages = {157-170},
  booktitle = {POPL},
}

@inproceedings{PlotkinAC94,
  title = {Subtyping and Parametricity},
  author = {Gordon D. Plotkin and Martín Abadi and Luca Cardelli},
  year = {1994},
  tags = {subtyping},
  researchr = {https://researchr.org/publication/PlotkinAC94},
  cites = {0},
  citedby = {0},
  pages = {310-319},
  booktitle = {lics},
}

@inproceedings{Cardelli88popl,
  title = {Structural Subtyping and the Notion of Power Type},
  author = {Luca Cardelli},
  year = {1988},
  tags = {subtyping},
  researchr = {https://researchr.org/publication/Cardelli88popl},
  cites = {0},
  citedby = {0},
  pages = {70-79},
  booktitle = {POPL},
}

@article{CardelliM91,
  title = {Operations on Records},
  author = {Luca Cardelli and John C. Mitchell},
  year = {1991},
  tags = {C++},
  researchr = {https://researchr.org/publication/CardelliM91},
  cites = {0},
  citedby = {0},
  journal = {mscs},
  volume = {1},
  number = {1},
  pages = {3-48},
}

@article{CardelliG97,
  title = {Mobile Ambients},
  author = {Luca Cardelli and Andrew D. Gordon},
  year = {1997},
  url = {http://www.elsevier.com/gej-ng/31/29/23/35/23/show/Products/notes/index.htt#017},
  tags = {mobile},
  researchr = {https://researchr.org/publication/CardelliG97},
  cites = {0},
  citedby = {0},
  journal = {ENTCS},
  volume = {10},
  pages = {198-201},
}

@book{abadi:theoryofobjects,
  title = {A Theory of Objects},
  author = {Martín Abadi and Luca Cardelli},
  year = {1996},
  month = {April},
  tags = {programming languages, object-oriented programming, semantics, rule-based, meta programming, formal semantics, rules, subtyping, programming, subject-oriented programming, type theory, Meta-Environment, systematic-approach, feature-oriented programming, meta-objects},
  researchr = {https://researchr.org/publication/abadi%3Atheoryofobjects},
  cites = {0},
  citedby = {0},
  series = {Monographs in Computer Science},
  publisher = {Springer},
  isbn = {0387947752},
}

@article{BruceCCESTLP95,
  title = {On Binary Methods},
  author = {Kim B. Bruce and Luca Cardelli and Giuseppe Castagna and Jonathan Eifrig and Scott F. Smith and Valery Trifonov and Gary T. Leavens and Benjamin C. Pierce},
  year = {1995},
  tags = {C++},
  researchr = {https://researchr.org/publication/BruceCCESTLP95},
  cites = {0},
  citedby = {0},
  journal = {tapos},
  volume = {1},
  number = {3},
  pages = {221-242},
}

@article{Cardelli08a,
  title = {Bitonal membrane systems: Interactions of biological membranes},
  author = {Luca Cardelli},
  year = {2008},
  doi = {10.1016/j.tcs.2008.04.016},
  url = {http://dx.doi.org/10.1016/j.tcs.2008.04.016},
  researchr = {https://researchr.org/publication/Cardelli08a},
  cites = {0},
  citedby = {0},
  journal = {TCS},
  volume = {404},
  number = {1-2},
  pages = {5-18},
}

@article{CardelliGG05,
  title = {Secrecy and group creation},
  author = {Luca Cardelli and Giorgio Ghelli and Andrew D. Gordon},
  year = {2005},
  doi = {10.1016/j.ic.2004.08.003},
  url = {http://dx.doi.org/10.1016/j.ic.2004.08.003},
  researchr = {https://researchr.org/publication/CardelliGG05},
  cites = {0},
  citedby = {0},
  journal = {iandc},
  volume = {196},
  number = {2},
  pages = {127-155},
}

@article{CardelliG00:0,
  title = {Mobile ambients},
  author = {Luca Cardelli and Andrew D. Gordon},
  year = {2000},
  doi = {10.1016/S0304-3975(99)00231-5},
  url = {http://dx.doi.org/10.1016/S0304-3975(99)00231-5},
  tags = {mobile},
  researchr = {https://researchr.org/publication/CardelliG00%3A0},
  cites = {0},
  citedby = {0},
  journal = {TCS},
  volume = {240},
  number = {1},
  pages = {177-213},
}

@article{Cardelli08,
  title = {On process rate semantics},
  author = {Luca Cardelli},
  year = {2008},
  doi = {10.1016/j.tcs.2007.11.012},
  url = {http://dx.doi.org/10.1016/j.tcs.2007.11.012},
  tags = {semantics},
  researchr = {https://researchr.org/publication/Cardelli08},
  cites = {0},
  citedby = {0},
  journal = {TCS},
  volume = {391},
  number = {3},
  pages = {190-215},
}

@inproceedings{CardelliGG99,
  title = {Mobility Types for Mobile Ambients},
  author = {Luca Cardelli and Andrew D. Gordon and Giorgio Ghelli},
  year = {1999},
  url = {http://link.springer.de/link/service/series/0558/bibs/1644/16440230.htm},
  tags = {mobile},
  researchr = {https://researchr.org/publication/CardelliGG99},
  cites = {0},
  citedby = {0},
  pages = {230-239},
  booktitle = {icalp},
}

@inproceedings{Cardelli85a,
  title = {The Amber Machine},
  author = {Luca Cardelli},
  year = {1985},
  researchr = {https://researchr.org/publication/Cardelli85a},
  cites = {0},
  citedby = {0},
  pages = {48-70},
  booktitle = {litp},
}

@article{CardelliW85,
  title = {On Understanding Types, Data Abstraction, and Polymorphism},
  author = {Luca Cardelli and Peter Wegner},
  year = {1985},
  tags = {programming languages, interaction design, object-oriented programming, meta programming, data-flow language, generic programming, model checking, meta-model, modeling language, design complexity, language modeling, functional programming, design research, language design, type system, data-flow programming, data-flow, information hiding, object-role modeling, subtyping, type checking, reviewing, information models, subject-oriented programming, type theory, abstraction, Meta-Environment, feature-oriented programming, meta-objects},
  researchr = {https://researchr.org/publication/CardelliW85},
  cites = {0},
  citedby = {1},
  journal = {ACM Comput. Surv.},
  volume = {17},
  number = {4},
  pages = {471-522},
}

@incollection{Cardelli-CRC-1997,
  title = {Type Systems},
  author = {Luca Cardelli},
  year = {1997},
  tags = {programming languages, program analysis, classification, type soundness, analysis, type system, programming},
  researchr = {https://researchr.org/publication/Cardelli-CRC-1997},
  cites = {0},
  citedby = {4},
  pages = {2208-2236},
  booktitle = {The Computer Science and Engineering Handbook},
  editor = {Allen B. Tucker},
  publisher = {CRC Press},
  isbn = {0-8493-2909-4},
}

@article{Cardelli87,
  title = {Basic Polymorphic Typechecking},
  author = {Luca Cardelli},
  year = {1987},
  tags = {type inference, polymorphism, type checking, type systems},
  researchr = {https://researchr.org/publication/Cardelli87},
  cites = {2},
  citedby = {0},
  journal = {SCP},
  volume = {8},
  number = {2},
  pages = {147-172},
}

@article{AbadiC96:0,
  title = {A Theory of Primitive Objects: Untyped and First-Order Systems},
  author = {Martín Abadi and Luca Cardelli},
  year = {1996},
  tags = {meta-model, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/AbadiC96%3A0},
  cites = {0},
  citedby = {0},
  journal = {iandc},
  volume = {125},
  number = {2},
  pages = {78-102},
}

@article{Cardelli95,
  title = {A Language with Distributed Scope},
  author = {Luca Cardelli},
  year = {1995},
  researchr = {https://researchr.org/publication/Cardelli95},
  cites = {0},
  citedby = {0},
  journal = {csys},
  volume = {8},
  number = {1},
  pages = {27-59},
}

@article{GordonC03,
  title = {Equational Properties Of Mobile Ambients},
  author = {Andrew D. Gordon and Luca Cardelli},
  year = {2003},
  tags = {mobile},
  researchr = {https://researchr.org/publication/GordonC03},
  cites = {0},
  citedby = {0},
  journal = {mscs},
  volume = {13},
  number = {3},
  pages = {371-408},
}

@article{AbadiCCL91,
  title = {Explicit Substitutions},
  author = {Martín Abadi and Luca Cardelli and Pierre-Louis Curien and Jean-Jacques Lévy},
  year = {1991},
  researchr = {https://researchr.org/publication/AbadiCCL91},
  cites = {0},
  citedby = {0},
  journal = {JFP},
  volume = {1},
  number = {4},
  pages = {375-416},
}

@inproceedings{CardelliG01,
  title = {A Query Language Based on the Ambient Logic},
  author = {Luca Cardelli and Giorgio Ghelli},
  year = {2001},
  tags = {rule-based, logic, query language},
  researchr = {https://researchr.org/publication/CardelliG01},
  cites = {0},
  citedby = {0},
  pages = {95-104},
  booktitle = {sebd},
}

@inproceedings{Cardelli08:0,
  title = {Molecules as Automata},
  author = {Luca Cardelli},
  year = {2008},
  doi = {10.1007/978-3-540-87531-4_4},
  url = {http://dx.doi.org/10.1007/978-3-540-87531-4_4},
  researchr = {https://researchr.org/publication/Cardelli08%3A0},
  cites = {0},
  citedby = {0},
  pages = {32},
  booktitle = {csl},
}

@inproceedings{Cardelli00,
  title = {Wide Area Computation},
  author = {Luca Cardelli},
  year = {2000},
  researchr = {https://researchr.org/publication/Cardelli00},
  cites = {0},
  citedby = {0},
  pages = {5},
  booktitle = {jisbd},
}

@inproceedings{Cardelli84:0,
  title = {A Semantics of Multiple Inheritance},
  author = {Luca Cardelli},
  year = {1984},
  tags = {semantics},
  researchr = {https://researchr.org/publication/Cardelli84%3A0},
  cites = {0},
  citedby = {0},
  pages = {51-67},
  booktitle = {sdt},
}

@inproceedings{CardelliLM11,
  title = {Modular Markovian Logic},
  author = {Luca Cardelli and Kim G. Larsen and Radu Mardare},
  year = {2011},
  doi = {10.1007/978-3-642-22012-8_30},
  url = {http://dx.doi.org/10.1007/978-3-642-22012-8_30},
  tags = {logic},
  researchr = {https://researchr.org/publication/CardelliLM11},
  cites = {0},
  citedby = {0},
  pages = {380-391},
  booktitle = {icalp},
}

@inproceedings{AbadiCCL90,
  title = {Explicit Substitutions},
  author = {Martín Abadi and Luca Cardelli and Pierre-Louis Curien and Jean-Jacques Lévy},
  year = {1990},
  researchr = {https://researchr.org/publication/AbadiCCL90},
  cites = {0},
  citedby = {0},
  pages = {31-46},
  booktitle = {POPL},
}

@inproceedings{AbadiCV96,
  title = {An Interpretation of Objects and Object Types},
  author = {Martín Abadi and Luca Cardelli and Ramesh Viswanathan},
  year = {1996},
  doi = {10.1145/237721.237809},
  url = {http://doi.acm.org/10.1145/237721.237809},
  tags = {meta-model, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/AbadiCV96},
  cites = {0},
  citedby = {0},
  pages = {396-409},
  booktitle = {POPL},
}

@inproceedings{Cardelli08:1,
  title = {From Processes to ODEs by Chemistry},
  author = {Luca Cardelli},
  year = {2008},
  doi = {10.1007/978-0-387-09680-3_18},
  url = {http://dx.doi.org/10.1007/978-0-387-09680-3_18},
  researchr = {https://researchr.org/publication/Cardelli08%3A1},
  cites = {0},
  citedby = {0},
  pages = {261-281},
  booktitle = {ifipTCS},
}

@article{CardelliFW07,
  title = {Preface},
  author = {Luca Cardelli and Marcelo P. Fiore and Glynn Winskel},
  year = {2007},
  doi = {10.1016/j.entcs.2007.02.001},
  url = {http://dx.doi.org/10.1016/j.entcs.2007.02.001},
  researchr = {https://researchr.org/publication/CardelliFW07},
  cites = {0},
  citedby = {0},
  journal = {ENTCS},
  volume = {172},
  pages = {1-4},
}

@inproceedings{Cardelli88:0,
  title = {Building User Interfaces by Direct Manipulation},
  author = {Luca Cardelli},
  year = {1988},
  doi = {10.1145/62402.62428},
  url = {http://doi.acm.org/10.1145/62402.62428},
  tags = { direct manipulation},
  researchr = {https://researchr.org/publication/Cardelli88%3A0},
  cites = {0},
  citedby = {0},
  pages = {152-166},
  booktitle = {uist},
}

@inproceedings{AmadioC91,
  title = {Subtyping Recursive Types},
  author = {Roberto M. Amadio and Luca Cardelli},
  year = {1991},
  tags = {subtyping},
  researchr = {https://researchr.org/publication/AmadioC91},
  cites = {0},
  citedby = {0},
  pages = {104-118},
  booktitle = {POPL},
}

@inproceedings{Cardelli91,
  title = {A Pure Calculus of Subtyping, and Applications (Outline)},
  author = {Luca Cardelli},
  year = {1991},
  tags = {subtyping},
  researchr = {https://researchr.org/publication/Cardelli91},
  cites = {0},
  citedby = {0},
  pages = {185-187},
  booktitle = {DBPL},
}

@inproceedings{AbadiC95:2,
  title = {On Subtyping and Matching},
  author = {Martín Abadi and Luca Cardelli},
  year = {1995},
  url = {http://link.springer.de/link/service/series/0558/bibs/0952/09520145.htm},
  tags = {subtyping},
  researchr = {https://researchr.org/publication/AbadiC95%3A2},
  cites = {0},
  citedby = {0},
  pages = {145-167},
  booktitle = {ECOOP},
}

@article{AbadiC96,
  title = {On Subtyping and Matching},
  author = {Martín Abadi and Luca Cardelli},
  year = {1996},
  doi = {10.1145/233561.233563},
  url = {http://doi.acm.org/10.1145/233561.233563},
  tags = {subtyping},
  researchr = {https://researchr.org/publication/AbadiC96},
  cites = {0},
  citedby = {0},
  journal = {TOPLAS},
  volume = {18},
  number = {4},
  pages = {401-423},
}

@inproceedings{CardelliMMS91,
  title = {An Extension of System F with Subtyping},
  author = {Luca Cardelli and Simone Martini and John C. Mitchell and Andre Scedrov},
  year = {1991},
  tags = {C++, subtyping},
  researchr = {https://researchr.org/publication/CardelliMMS91},
  cites = {0},
  citedby = {0},
  pages = {750-770},
  booktitle = {tacs},
}

@inproceedings{CardelliD97,
  title = {Service Combinators for Web Computing},
  author = {Luca Cardelli and Rowan Davies},
  year = {1997},
  url = {http://www.usenix.org/publications/library/proceedings/dsl97/cardelli.html},
  tags = {web service, DSL},
  researchr = {https://researchr.org/publication/CardelliD97},
  cites = {0},
  citedby = {0},
  pages = {1-10},
  booktitle = {DSL},
}

@article{CalcagnoCG05,
  title = {Deciding validity in a spatial logic for trees},
  author = {Cristiano Calcagno and Luca Cardelli and Andrew D. Gordon},
  year = {2005},
  doi = {10.1017/S0956796804005404},
  url = {http://dx.doi.org/10.1017/S0956796804005404},
  tags = {logic},
  researchr = {https://researchr.org/publication/CalcagnoCG05},
  cites = {0},
  citedby = {0},
  journal = {JFP},
  volume = {15},
  number = {4},
  pages = {543-572},
}

@inproceedings{Cardelli09,
  title = {Strand Algebras for DNA Computing},
  author = {Luca Cardelli},
  year = {2009},
  doi = {10.1007/978-3-642-10604-0_2},
  url = {http://dx.doi.org/10.1007/978-3-642-10604-0_2},
  tags = { algebra},
  researchr = {https://researchr.org/publication/Cardelli09},
  cites = {0},
  citedby = {0},
  pages = {12-24},
  booktitle = {dna},
}

@article{Cardelli96b,
  title = {Global Computation},
  author = {Luca Cardelli},
  year = {1996},
  researchr = {https://researchr.org/publication/Cardelli96b},
  cites = {0},
  citedby = {0},
  journal = {ACM Comput. Surv.},
  volume = {28},
  number = {4es},
  pages = {163},
}

@inproceedings{PhillipsC07:0,
  title = {Efficient, Correct Simulation of Biological Processes in the Stochastic Pi-calculus},
  author = {Andrew Phillips and Luca Cardelli},
  year = {2007},
  doi = {10.1007/978-3-540-75140-3_13},
  url = {http://dx.doi.org/10.1007/978-3-540-75140-3_13},
  researchr = {https://researchr.org/publication/PhillipsC07%3A0},
  cites = {0},
  citedby = {0},
  pages = {184-199},
  booktitle = {cmsb},
}

@article{CardelliGG07,
  title = {Manipulating Trees with Hidden Labels},
  author = {Luca Cardelli and Philippa Gardner and Giorgio Ghelli},
  year = {2007},
  doi = {10.1016/j.entcs.2007.02.007},
  url = {http://dx.doi.org/10.1016/j.entcs.2007.02.007},
  researchr = {https://researchr.org/publication/CardelliGG07},
  cites = {0},
  citedby = {0},
  journal = {ENTCS},
  volume = {172},
  pages = {177-201},
}

@article{CardelliD99,
  title = {Service Combinators for Web Computing},
  author = {Luca Cardelli and Rowan Davies},
  year = {1999},
  url = {http://computer.org/tse/ts1999/e0309abs.htm},
  tags = {web service},
  researchr = {https://researchr.org/publication/CardelliD99},
  cites = {0},
  citedby = {1},
  journal = {TSE},
  volume = {25},
  number = {3},
  pages = {309-316},
}

@inproceedings{CardelliP85,
  title = {Squeak: a language for communicating with mice},
  author = {Luca Cardelli and Rob Pike},
  year = {1985},
  doi = {10.1145/325334.325238},
  url = {http://doi.acm.org/10.1145/325334.325238},
  researchr = {https://researchr.org/publication/CardelliP85},
  cites = {0},
  citedby = {0},
  pages = {199-204},
  booktitle = {siggraph},
}

@inproceedings{Cardelli99:2,
  title = {Wide Area Computation},
  author = {Luca Cardelli},
  year = {1999},
  url = {http://link.springer.de/link/service/series/0558/bibs/1644/16440010.htm},
  researchr = {https://researchr.org/publication/Cardelli99%3A2},
  cites = {0},
  citedby = {0},
  pages = {10-24},
  booktitle = {icalp},
}

@inproceedings{Cardelli84:1,
  title = {An Implementation Model of Rendezvous Communication},
  author = {Luca Cardelli},
  year = {1984},
  tags = {meta-model, Meta-Environment},
  researchr = {https://researchr.org/publication/Cardelli84%3A1},
  cites = {0},
  citedby = {0},
  pages = {449-457},
  booktitle = {concur},
}

@inproceedings{AbadiC95:1,
  title = {An Imperative Object Calculus},
  author = {Martín Abadi and Luca Cardelli},
  year = {1995},
  tags = {meta-model, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/AbadiC95%3A1},
  cites = {0},
  citedby = {0},
  pages = {471-485},
  booktitle = {tapsoft},
}

@inproceedings{Cardelli07,
  title = {Invited Talk: A Process Algebra Master Equation},
  author = {Luca Cardelli},
  year = {2007},
  doi = {10.1109/QEST.2007.25},
  url = {http://doi.ieeecomputersociety.org/10.1109/QEST.2007.25},
  tags = {process algebra,  algebra},
  researchr = {https://researchr.org/publication/Cardelli07},
  cites = {0},
  citedby = {0},
  pages = {219-226},
  booktitle = {qest},
}

@inproceedings{Cardelli80,
  title = {Analog Processes},
  author = {Luca Cardelli},
  year = {1980},
  researchr = {https://researchr.org/publication/Cardelli80},
  cites = {0},
  citedby = {0},
  pages = {181-193},
  booktitle = {mfcs},
}

@inproceedings{Cardelli82,
  title = {Real Time Agents},
  author = {Luca Cardelli},
  year = {1982},
  researchr = {https://researchr.org/publication/Cardelli82},
  cites = {0},
  citedby = {0},
  pages = {94-106},
  booktitle = {icalp},
}

@inproceedings{Cardelli96,
  title = {Mobile Computation},
  author = {Luca Cardelli},
  year = {1996},
  tags = {mobile},
  researchr = {https://researchr.org/publication/Cardelli96},
  cites = {0},
  citedby = {0},
  pages = {3-6},
  booktitle = {mos},
}

@inproceedings{CardelliGG00:1,
  title = {Ambient Groups and Mobility Types},
  author = {Luca Cardelli and Giorgio Ghelli and Andrew D. Gordon},
  year = {2000},
  url = {http://link.springer.de/link/service/series/0558/bibs/1872/18720333.htm},
  researchr = {https://researchr.org/publication/CardelliGG00%3A1},
  cites = {0},
  citedby = {0},
  pages = {333-347},
  booktitle = {ifipTCS},
}

@inproceedings{CardelliL90,
  title = {A Semantic Basis for Quest},
  author = {Luca Cardelli and Giuseppe Longo},
  year = {1990},
  doi = {10.1145/91556.91586},
  url = {http://doi.acm.org/10.1145/91556.91586},
  researchr = {https://researchr.org/publication/CardelliL90},
  cites = {0},
  citedby = {0},
  pages = {30-43},
  booktitle = {lfp},
}

@article{CardelliGG02,
  title = {Types for the Ambient Calculus},
  author = {Luca Cardelli and Giorgio Ghelli and Andrew D. Gordon},
  year = {2002},
  doi = {10.1006/inco.2001.3121},
  url = {http://dx.doi.org/10.1006/inco.2001.3121},
  researchr = {https://researchr.org/publication/CardelliGG02},
  cites = {0},
  citedby = {0},
  journal = {iandc},
  volume = {177},
  number = {2},
  pages = {160-194},
}

@inproceedings{CalcagnoCG03,
  title = {Deciding validity in a spatial logic for trees},
  author = {Cristiano Calcagno and Luca Cardelli and Andrew D. Gordon},
  year = {2003},
  doi = {10.1145/604174.604183},
  url = {http://doi.acm.org/10.1145/604174.604183},
  tags = {logic},
  researchr = {https://researchr.org/publication/CalcagnoCG03},
  cites = {0},
  citedby = {0},
  pages = {62-73},
  booktitle = {tldi},
}

@article{CardelliGK08,
  title = {A Process Model of Rho GTP-binding Proteins in the Context of Phagocytosis},
  author = {Luca Cardelli and Philippa Gardner and Ozan Kahramanogullari},
  year = {2008},
  doi = {10.1016/j.entcs.2007.12.007},
  url = {http://dx.doi.org/10.1016/j.entcs.2007.12.007},
  tags = {context-aware, process modeling},
  researchr = {https://researchr.org/publication/CardelliGK08},
  cites = {0},
  citedby = {0},
  journal = {ENTCS},
  volume = {194},
  number = {3},
  pages = {87-102},
}

@book{0084624,
  title = {A theory of objects},
  author = {Martín Abadi and Luca Cardelli},
  year = {1996},
  tags = {meta-model, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/0084624},
  cites = {0},
  citedby = {0},
  publisher = {Springer},
  isbn = {978-0-387-94775-4},
}

@inproceedings{CairesC02,
  title = {A Spatial Logic for Concurrency (Part II)},
  author = {Luís Caires and Luca Cardelli},
  year = {2002},
  url = {http://link.springer.de/link/service/series/0558/bibs/2421/24210209.htm},
  tags = {logic},
  researchr = {https://researchr.org/publication/CairesC02},
  cites = {0},
  citedby = {0},
  pages = {209-225},
  booktitle = {concur},
}

@inproceedings{CardelliG10,
  title = {Processes in Space},
  author = {Luca Cardelli and Philippa Gardner},
  year = {2010},
  doi = {10.1007/978-3-642-13962-8_9},
  url = {http://dx.doi.org/10.1007/978-3-642-13962-8_9},
  researchr = {https://researchr.org/publication/CardelliG10},
  cites = {0},
  citedby = {0},
  pages = {78-87},
  booktitle = {CiE},
}

@inproceedings{Cardelli84,
  title = {Compiling a Functional Language},
  author = {Luca Cardelli},
  year = {1984},
  doi = {10.1145/800055.802037},
  url = {https://doi.org/10.1145/800055.802037},
  tags = {compiler},
  researchr = {https://researchr.org/publication/Cardelli84},
  cites = {0},
  citedby = {0},
  pages = {208-217},
  booktitle = {lfp},
}

@article{CardelliG04,
  title = {TQL: a query language for semistructured data based on the ambient logic},
  author = {Luca Cardelli and Giorgio Ghelli},
  year = {2004},
  doi = {10.1017/S0960129504004141},
  url = {http://dx.doi.org/10.1017/S0960129504004141},
  tags = {rule-based, data-flow language, data-flow, logic, query language},
  researchr = {https://researchr.org/publication/CardelliG04},
  cites = {0},
  citedby = {0},
  journal = {mscs},
  volume = {14},
  number = {3},
  pages = {285-327},
}

@inproceedings{BharatC96,
  title = {Migratory Applications},
  author = {Krishna Bharat and Luca Cardelli},
  year = {1996},
  researchr = {https://researchr.org/publication/BharatC96},
  cites = {0},
  citedby = {0},
  pages = {131-148},
  booktitle = {mos},
}

@article{Cardelli96:0,
  title = {Type Systems},
  author = {Luca Cardelli},
  year = {1996},
  tags = {type system},
  researchr = {https://researchr.org/publication/Cardelli96%3A0},
  cites = {0},
  citedby = {0},
  journal = {ACM Comput. Surv.},
  volume = {28},
  number = {1},
  pages = {263-264},
}

@article{CairesC04,
  title = {A spatial logic for concurrency - II},
  author = {Luís Caires and Luca Cardelli},
  year = {2004},
  doi = {10.1016/j.tcs.2003.10.041},
  url = {http://dx.doi.org/10.1016/j.tcs.2003.10.041},
  tags = {logic},
  researchr = {https://researchr.org/publication/CairesC04},
  cites = {0},
  citedby = {0},
  journal = {TCS},
  volume = {322},
  number = {3},
  pages = {517-565},
}

@inproceedings{Cardelli97-POPL,
  title = {Program Fragments, Linking, and Modularization},
  author = {Luca Cardelli},
  year = {1997},
  doi = {10.1145/263699.263735},
  url = {http://doi.acm.org/10.1145/263699.263735},
  researchr = {https://researchr.org/publication/Cardelli97-POPL},
  cites = {0},
  citedby = {0},
  pages = {266-277},
  booktitle = {POPL},
}

@inproceedings{ZavattaroC08,
  title = {Termination Problems in Chemical Kinetics},
  author = {Gianluigi Zavattaro and Luca Cardelli},
  year = {2008},
  doi = {10.1007/978-3-540-85361-9_37},
  url = {http://dx.doi.org/10.1007/978-3-540-85361-9_37},
  tags = {termination},
  researchr = {https://researchr.org/publication/ZavattaroC08},
  cites = {0},
  citedby = {0},
  pages = {477-491},
  booktitle = {concur},
}

@article{AbadiCC93,
  title = {Formal Parametric Polymorphism},
  author = {Martín Abadi and Luca Cardelli and Pierre-Louis Curien},
  year = {1993},
  researchr = {https://researchr.org/publication/AbadiCC93},
  cites = {0},
  citedby = {0},
  journal = {TCS},
  volume = {121},
  number = {1&2},
  pages = {9-58},
}

@inproceedings{GordonC99,
  title = {Equational Properties of Mobile Ambients},
  author = {Andrew D. Gordon and Luca Cardelli},
  year = {1999},
  tags = {mobile},
  researchr = {https://researchr.org/publication/GordonC99},
  cites = {0},
  citedby = {0},
  pages = {212-226},
  booktitle = {fossacs},
}

@inproceedings{CardelliG00,
  title = {Anytime, Anywhere: Modal Logics for Mobile Ambients},
  author = {Luca Cardelli and Andrew D. Gordon},
  year = {2000},
  doi = {10.1145/325694.325742},
  url = {http://doi.acm.org/10.1145/325694.325742},
  tags = {modal logic, logic, mobile},
  researchr = {https://researchr.org/publication/CardelliG00},
  cites = {0},
  citedby = {0},
  pages = {365-377},
  booktitle = {POPL},
}

@inproceedings{Cardelli88,
  title = {Types for Data-Oriented Languages},
  author = {Luca Cardelli},
  year = {1988},
  tags = {data-flow language, data-flow},
  researchr = {https://researchr.org/publication/Cardelli88},
  cites = {0},
  citedby = {0},
  pages = {1-15},
  booktitle = {edbt},
}

@inproceedings{BruceCP97,
  title = {Comparing Object Encodings},
  author = {Kim B. Bruce and Luca Cardelli and Benjamin C. Pierce},
  year = {1997},
  tags = {meta-model, C++, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/BruceCP97},
  cites = {0},
  citedby = {0},
  pages = {415-438},
  booktitle = {tacs},
}

@techreport{CardelliMA94,
  title = {Extensible syntax with lexical scoping},
  author = {Luca Cardelli and Florian Matthes and Martín Abadi},
  year = {1994},
  month = {February},
  url = {http://lucacardelli.name/Papers/SRC-121.ps},
  tags = {programming languages, object-oriented programming, rule-based, translation, syntax definition, meta programming, pattern language, generic programming, lexical syntax, graph transformation, graph query, SQL, extensible grammar, transformation language, language design, macros, graph-rewriting, rules, programming, subject-oriented programming, database, Meta-Environment, rewriting, parsing, incremental, design, extensible language, feature-oriented programming, meta-objects, transformation, grammar, query language, program transformation},
  researchr = {https://researchr.org/publication/CardelliMA94},
  cites = {0},
  citedby = {1},
  institution = {Digital Equipment Corporation Systems Research Center},
  type = {SRC Research Report},
  number = {121},
}

@article{Cardelli97,
  title = {Global Computation},
  author = {Luca Cardelli},
  year = {1997},
  researchr = {https://researchr.org/publication/Cardelli97},
  cites = {0},
  citedby = {0},
  journal = {SIGPLAN},
  volume = {32},
  number = {1},
  pages = {66-68},
}

@inproceedings{Cardelli08-0,
  title = {Molecules as Automata},
  author = {Luca Cardelli},
  year = {2008},
  doi = {10.1007/978-3-642-03429-9_2},
  url = {http://dx.doi.org/10.1007/978-3-642-03429-9_2},
  researchr = {https://researchr.org/publication/Cardelli08-0},
  cites = {0},
  citedby = {0},
  pages = {18-20},
  booktitle = {WADT},
}

@inproceedings{CardelliG01:0,
  title = {Logical Properties of Name Restriction},
  author = {Luca Cardelli and Andrew D. Gordon},
  year = {2001},
  url = {http://link.springer.de/link/service/series/0558/bibs/2044/20440046.htm},
  researchr = {https://researchr.org/publication/CardelliG01%3A0},
  cites = {0},
  citedby = {0},
  pages = {46-60},
  booktitle = {tlca},
}

@inproceedings{AbadiC94,
  title = {A Theory of Primitive Objects - Untyped and First-Order Systems},
  author = {Martín Abadi and Luca Cardelli},
  year = {1994},
  tags = {meta-model, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/AbadiC94},
  cites = {0},
  citedby = {0},
  pages = {296-320},
  booktitle = {tacs},
}

@article{AbadiCPR95,
  title = {Dynamic Typing in Polymorphic Languages},
  author = {Martín Abadi and Luca Cardelli and Benjamin C. Pierce and Didier Rémy},
  year = {1995},
  tags = {C++},
  researchr = {https://researchr.org/publication/AbadiCPR95},
  cites = {0},
  citedby = {0},
  journal = {JFP},
  volume = {5},
  number = {1},
  pages = {111-130},
}

@inproceedings{Cardelli05:1,
  title = {Transitions in programming models: 2},
  author = {Luca Cardelli},
  year = {2005},
  doi = {10.1145/1062455.1062457},
  url = {http://doi.acm.org/10.1145/1062455.1062457},
  tags = {meta programming, meta-model, programming, Meta-Environment},
  researchr = {https://researchr.org/publication/Cardelli05%3A1},
  cites = {0},
  citedby = {0},
  pages = {2},
  booktitle = {ICSE},
}

@article{Cardelli01,
  title = {Describing Semistructured Data},
  author = {Luca Cardelli},
  year = {2001},
  doi = {10.1145/604264.604278},
  url = {http://doi.acm.org/10.1145/604264.604278},
  tags = {data-flow},
  researchr = {https://researchr.org/publication/Cardelli01},
  cites = {0},
  citedby = {0},
  journal = {SIGMOD},
  volume = {30},
  number = {4},
  pages = {80-85},
}

@article{RegevPSCS04,
  title = {BioAmbients: an abstraction for biological compartments},
  author = {Aviv Regev and Ekaterina M. Panina and William Silverman and Luca Cardelli and Ehud Y. Shapiro},
  year = {2004},
  doi = {10.1016/j.tcs.2004.03.061},
  url = {http://dx.doi.org/10.1016/j.tcs.2004.03.061},
  tags = {abstraction},
  researchr = {https://researchr.org/publication/RegevPSCS04},
  cites = {0},
  citedby = {0},
  journal = {TCS},
  volume = {325},
  number = {1},
  pages = {141-167},
}

@article{AlbanoCO85,
  title = {Galileo: A Strongly-Typed, Interactive Conceptual Language},
  author = {Antonio Albano and Luca Cardelli and Renzo Orsini},
  year = {1985},
  doi = {10.1145/3857.3859},
  url = {http://doi.acm.org/10.1145/3857.3859},
  researchr = {https://researchr.org/publication/AlbanoCO85},
  cites = {0},
  citedby = {0},
  journal = {TODS},
  volume = {10},
  number = {2},
  pages = {230-260},
}

@article{CardelliZ10,
  title = {Turing universality of the Biochemical Ground Form},
  author = {Luca Cardelli and Gianluigi Zavattaro},
  year = {2010},
  doi = {10.1017/S0960129509990259},
  url = {http://dx.doi.org/10.1017/S0960129509990259},
  researchr = {https://researchr.org/publication/CardelliZ10},
  cites = {0},
  citedby = {0},
  journal = {mscs},
  volume = {20},
  number = {1},
  pages = {45-73},
}

@inproceedings{Cardelli99,
  title = {Abstractions for Mobile Computation},
  author = {Luca Cardelli},
  year = {1999},
  tags = {abstraction, mobile},
  researchr = {https://researchr.org/publication/Cardelli99},
  cites = {0},
  citedby = {0},
  pages = {51-94},
  booktitle = {ECOOPW},
}

@inproceedings{CardelliG98,
  title = {Mobile Ambients},
  author = {Luca Cardelli and Andrew D. Gordon},
  year = {1998},
  url = {http://link.springer.de/link/service/series/0558/bibs/1378/13780140.htm},
  tags = {mobile},
  researchr = {https://researchr.org/publication/CardelliG98},
  cites = {0},
  citedby = {0},
  pages = {140-155},
  booktitle = {fossacs},
}

@inproceedings{Cardelli95:0,
  title = {A Language with Distributed Scope},
  author = {Luca Cardelli},
  year = {1995},
  researchr = {https://researchr.org/publication/Cardelli95%3A0},
  cites = {0},
  citedby = {0},
  pages = {286-297},
  booktitle = {POPL},
}

@inproceedings{BharatC95,
  title = {Migratory Applications},
  author = {Krishna Bharat and Luca Cardelli},
  year = {1995},
  doi = {10.1145/215585.215711},
  url = {http://doi.acm.org/10.1145/215585.215711},
  researchr = {https://researchr.org/publication/BharatC95},
  cites = {0},
  citedby = {0},
  pages = {132-142},
  booktitle = {uist},
}

@inproceedings{CardelliG01:1,
  title = {A Query Language Based on the Ambient Logic},
  author = {Luca Cardelli and Giorgio Ghelli},
  year = {2001},
  url = {http://link.springer.de/link/service/series/0558/bibs/2028/20280001.htm},
  tags = {rule-based, logic, query language},
  researchr = {https://researchr.org/publication/CardelliG01%3A1},
  cites = {0},
  citedby = {0},
  pages = {1-22},
  booktitle = {ESOP},
}

@inproceedings{FrischC04,
  title = {Greedy Regular Expression Matching},
  author = {Alain Frisch and Luca Cardelli},
  year = {2004},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3142&spage=618},
  researchr = {https://researchr.org/publication/FrischC04},
  cites = {0},
  citedby = {0},
  pages = {618-629},
  booktitle = {icalp},
}

@article{Cardelli96a,
  title = {Bad Engineering Properties of Object-Oriented Languages},
  author = {Luca Cardelli},
  year = {1996},
  tags = {meta-model, language engineering, model-driven engineering, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/Cardelli96a},
  cites = {0},
  citedby = {0},
  journal = {ACM Comput. Surv.},
  volume = {28},
  number = {4es},
  pages = {150},
}

@inproceedings{AbadiCPP89,
  title = {Dynamic Typing in a Statically-Typed Language},
  author = {Martín Abadi and Luca Cardelli and Benjamin C. Pierce and Gordon D. Plotkin},
  year = {1989},
  tags = {C++},
  researchr = {https://researchr.org/publication/AbadiCPP89},
  cites = {0},
  citedby = {0},
  pages = {213-227},
  booktitle = {POPL},
}

@inproceedings{Cardelli10,
  title = {Algebras and Languages for Molecular Programming},
  author = {Luca Cardelli},
  year = {2010},
  doi = {10.1007/978-3-642-13523-1_2},
  url = {http://dx.doi.org/10.1007/978-3-642-13523-1_2},
  tags = {programming languages,  algebra, programming},
  researchr = {https://researchr.org/publication/Cardelli10},
  cites = {0},
  citedby = {0},
  pages = {2},
  booktitle = {uc},
}

@inproceedings{AbadiC94:0,
  title = {A Theory of Primitive Objects - Scond-Order Systems},
  author = {Martín Abadi and Luca Cardelli},
  year = {1994},
  tags = {meta-model, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/AbadiC94%3A0},
  cites = {0},
  citedby = {0},
  pages = {1-25},
  booktitle = {ESOP},
}

@article{AbadiCPP91,
  title = {Dynamic Typing in a Statically Typed Language},
  author = {Martín Abadi and Luca Cardelli and Benjamin C. Pierce and Gordon D. Plotkin},
  year = {1991},
  doi = {10.1145/103135.103138},
  url = {http://doi.acm.org/10.1145/103135.103138},
  tags = {C++},
  researchr = {https://researchr.org/publication/AbadiCPP91},
  cites = {0},
  citedby = {0},
  journal = {TOPLAS},
  volume = {13},
  number = {2},
  pages = {237-268},
}

@inproceedings{CardelliM10,
  title = {The Measurable Space of Stochastic Processes},
  author = {Luca Cardelli and Radu Mardare},
  year = {2010},
  doi = {10.1109/QEST.2010.30},
  url = {http://dx.doi.org/10.1109/QEST.2010.30},
  researchr = {https://researchr.org/publication/CardelliM10},
  cites = {0},
  citedby = {0},
  pages = {171-180},
  booktitle = {qest},
}

@inproceedings{CardelliG99,
  title = {Types for Mobile Ambients},
  author = {Luca Cardelli and Andrew D. Gordon},
  year = {1999},
  doi = {10.1145/292540.292550},
  url = {http://doi.acm.org/10.1145/292540.292550},
  tags = {mobile},
  researchr = {https://researchr.org/publication/CardelliG99},
  cites = {0},
  citedby = {0},
  pages = {79-92},
  booktitle = {POPL},
}

@inproceedings{CardelliGG02:0,
  title = {A Spatial Logic for Querying Graphs},
  author = {Luca Cardelli and Philippa Gardner and Giorgio Ghelli},
  year = {2002},
  url = {http://link.springer.de/link/service/series/0558/bibs/2380/23800597.htm},
  tags = {graph query, graph-rewriting, logic, rewriting logic, rewriting},
  researchr = {https://researchr.org/publication/CardelliGG02%3A0},
  cites = {0},
  citedby = {0},
  pages = {597-610},
  booktitle = {icalp},
}

@article{CardelliMMS94,
  title = {An Extension of System F with Subtyping},
  author = {Luca Cardelli and Simone Martini and John C. Mitchell and Andre Scedrov},
  year = {1994},
  month = {February/March},
  tags = {C++, subtyping},
  researchr = {https://researchr.org/publication/CardelliMMS94},
  cites = {0},
  citedby = {0},
  journal = {iandc},
  volume = {109},
  number = {1/2},
  pages = {4-56},
}

@inproceedings{CardelliZ08,
  title = {On the Computational Power of Biochemistry},
  author = {Luca Cardelli and Gianluigi Zavattaro},
  year = {2008},
  doi = {10.1007/978-3-540-85101-1_6},
  url = {http://dx.doi.org/10.1007/978-3-540-85101-1_6},
  researchr = {https://researchr.org/publication/CardelliZ08},
  cites = {0},
  citedby = {0},
  pages = {65-80},
  booktitle = {ab},
}

@inproceedings{Cardelli07:0,
  title = {An Accidental Simula User},
  author = {Luca Cardelli},
  year = {2007},
  doi = {10.1007/978-3-540-73589-2_10},
  url = {http://dx.doi.org/10.1007/978-3-540-73589-2_10},
  researchr = {https://researchr.org/publication/Cardelli07%3A0},
  cites = {0},
  citedby = {0},
  pages = {201},
  booktitle = {ECOOP},
}

@article{CardelliCGKP09-0,
  title = {A process model of Rho GTP-binding proteins},
  author = {Luca Cardelli and Emmanuelle Caron and Philippa Gardner and Ozan Kahramanogullari and Andrew Phillips},
  year = {2009},
  doi = {10.1016/j.tcs.2009.04.029},
  url = {http://dx.doi.org/10.1016/j.tcs.2009.04.029},
  tags = {modeling, process modeling},
  researchr = {https://researchr.org/publication/CardelliCGKP09-0},
  cites = {0},
  citedby = {0},
  journal = {TCS},
  volume = {410},
  number = {33-34},
  pages = {3166-3185},
}

@article{Cardelli11,
  title = {Strand algebras for DNA computing},
  author = {Luca Cardelli},
  year = {2011},
  doi = {10.1007/s11047-010-9236-7},
  url = {http://dx.doi.org/10.1007/s11047-010-9236-7},
  tags = { algebra},
  researchr = {https://researchr.org/publication/Cardelli11},
  cites = {0},
  citedby = {0},
  journal = {nc},
  volume = {10},
  number = {1},
  pages = {407-428},
}

@inproceedings{CardelliM85,
  title = {Persistence and Type Abstraction},
  author = {Luca Cardelli and David B. MacQueen},
  year = {1985},
  tags = {abstraction},
  researchr = {https://researchr.org/publication/CardelliM85},
  cites = {0},
  citedby = {0},
  pages = {221-230},
  booktitle = {pos},
}

@article{CardelliGG00,
  title = {Secrecy, Group Creation},
  author = {Luca Cardelli and Andrew D. Gordon and Giorgio Ghelli},
  year = {2000},
  url = {http://www.elsevier.com/gej-ng/31/29/23/97/27/show/Products/notes/index.htt#006},
  researchr = {https://researchr.org/publication/CardelliGG00},
  cites = {0},
  citedby = {0},
  journal = {ENTCS},
  volume = {40},
  pages = {7},
}

@article{PhillipsCC06,
  title = {A Graphical Representation for Biological Processes in the Stochastic pi-Calculus},
  author = {Andrew Phillips and Luca Cardelli and Giuseppe Castagna},
  year = {2006},
  doi = {10.1007/11905455_7},
  url = {http://dx.doi.org/10.1007/11905455_7},
  researchr = {https://researchr.org/publication/PhillipsCC06},
  cites = {0},
  citedby = {0},
  journal = {TCSB},
  pages = {123-152},
}

@inproceedings{AbadiC94:1,
  title = {A Semantics of Object Types},
  author = {Martín Abadi and Luca Cardelli},
  year = {1994},
  tags = {semantics, meta-model, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/AbadiC94%3A1},
  cites = {0},
  citedby = {0},
  pages = {332-341},
  booktitle = {lics},
}

@article{CardelliP06,
  title = {An universality result for a (mem)brane calculus based on mate/drip operations},
  author = {Luca Cardelli and Gheorghe Paun},
  year = {2006},
  doi = {10.1142/S0129054106003693},
  url = {http://dx.doi.org/10.1142/S0129054106003693},
  tags = {rule-based},
  researchr = {https://researchr.org/publication/CardelliP06},
  cites = {0},
  citedby = {0},
  journal = {ijfcs},
  volume = {17},
  number = {1},
  pages = {49-68},
}

@inproceedings{CardelliDJKN89,
  title = {The Modula-3 Type System},
  author = {Luca Cardelli and James E. Donahue and Mick J. Jordan and Bill Kalsow and Greg Nelson},
  year = {1989},
  tags = {type system, e-science},
  researchr = {https://researchr.org/publication/CardelliDJKN89},
  cites = {0},
  citedby = {0},
  pages = {202-212},
  booktitle = {POPL},
}

@inproceedings{Cardelli05:0,
  title = {A Compositional Approach to the Stochastic Dynamics of Gene Networks},
  author = {Luca Cardelli},
  year = {2005},
  doi = {10.1007/11539452_3},
  url = {http://dx.doi.org/10.1007/11539452_3},
  tags = {composition, systematic-approach},
  researchr = {https://researchr.org/publication/Cardelli05%3A0},
  cites = {0},
  citedby = {0},
  pages = {4},
  booktitle = {concur},
}
@proceedings{iccl:1998w,
  title = {Internet Programming Languages, ICCL 98 Workshop, Chicago, IL, USA, May 13, 1998, Proceedings},
  year = {1999},
  tags = {programming languages, programming},
  researchr = {https://researchr.org/publication/iccl%3A1998w},
  cites = {0},
  citedby = {0},
  booktitle = {Internet Programming Languages, ICCL 98 Workshop, Chicago, IL, USA, May 13, 1998, Proceedings},
  conference = {iccl},
  editor = {Henri E. Bal and Boumediene Belkhouche and Luca Cardelli},
  volume = {1686},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-66673-7},
}

@proceedings{ecoop:2003,
  title = {ECOOP 2003 - Object-Oriented Programming, 17th European Conference, Darmstadt, Germany, July 21-25, 2003, Proceedings},
  year = {2003},
  tags = {object-oriented programming, programming, subject-oriented programming, feature-oriented programming},
  researchr = {https://researchr.org/publication/ecoop%3A2003},
  cites = {0},
  citedby = {0},
  booktitle = {ECOOP 2003 - Object-Oriented Programming, 17th European Conference, Darmstadt, Germany, July 21-25, 2003, Proceedings},
  conference = {ECOOP},
  editor = {Luca Cardelli},
  volume = {2743},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-40531-3},
}

@proceedings{journals-tcsb-2006-4,
  title = {Transactions on Computational Systems Biology IV},
  year = {2006},
  researchr = {https://researchr.org/publication/journals-tcsb-2006-4},
  cites = {0},
  citedby = {0},
  booktitle = {Transactions on Computational Systems Biology IV},
  editor = {Corrado Priami and Luca Cardelli and Stephen Emmott},
  volume = {3939},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-33245-6},
}