@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 = {Computational Methods in Systems Biology, International Conference, CMSB 2004, Paris, France, May 26-28, 2004, Revised Selected Papers},
  editor = {Vincent Danos and Vincent Schächter},
  volume = {3082},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-25375-0},
}

@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 = {Electronic Notes in Theoretical Computer Science},
  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 = {Transactions on Computational Systems Biology},
  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 = {Data Types and Persistence. Edited Papers from the Proceedings of the First Workshop on Persistent Objects, Appin, Scotland, August 1985},
  editor = {Malcolm P. Atkinson and Peter Buneman and Ronald Morrison},
  series = {Topics in Information Systems},
  publisher = {Springer},
  isbn = {3-540-18785-5},
}

@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 2000 - Concurrency Theory, 11th International Conference, University Park, PA, USA, August 22-25, 2000, Proceedings},
  editor = {Catuscia Palamidessi},
  volume = {1877},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-67897-2},
}

@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 = {Foundations of Software Science and Computational Structures, 6th International Conference, FOSSACS 2003 Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings},
  editor = {Andrew D. Gordon},
  volume = {2620},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-00897-7},
}

@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 = {Foundations of Logic and Functional Programming, Workshop, Trento, Italy, December 15-19, 1986, Proceedings},
  editor = {Mauro Boscarol and Luigia Carlucci Aiello and Giorgio Levi},
  volume = {306},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-19129-1},
}

@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 = {Research Issues in Structured and Semistructured Database Programming, 7th International Workshop on Database Programming Languages, DBPL 99, Kinloch Rannoch, Scotland, UK, September 1-3, 1999, Revised Papers},
  editor = {Richard C. H. Connor and Alberto O. Mendelzon},
  volume = {1949},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-41481-9},
}

@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 = {ACM Transactions on Programming Languages and Systems},
  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 = {Inf. Comput.},
  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 = {Formal Methods for Open Object-Based Distributed Systems, IFIF TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), February 15-18, 1999, Florence, Italy},
  editor = {Paolo Ciancarini and Alessandro Fantechi and Roberto Gorrieri},
  volume = {139},
  series = {IFIP Conference Proceedings},
  publisher = {Kluwer},
  isbn = {0-7923-8429-6},
}

@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 = {Mobile Agents, Second International Workshop, MA 98, Stuttgart, Germany, September 1998, Proceedings},
  editor = {Kurt Rothermel and Fritz Hohl},
  volume = {1477},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-64959-X},
}

@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 = {ACM Transactions on Programming Languages and Systems},
  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 = {Journal of Functional Programming},
  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 = {Science of Computer Programming},
  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 = {Theoretical Aspects of Computer Software, 4th International Symposium, TACS 2001, Sendai, Japan, October 29-31, 2001, Proceedings},
  editor = {Naoki Kobayashi and Benjamin C. Pierce},
  volume = {2215},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-42736-8},
}

@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 = {Inf. Comput.},
  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 = {Combinators and Functional Programming Languages, Thirteenth Spring School of the LITP, Val d Ajol, France, May 6-10, 1985, Proceedings},
  editor = {Guy Cousineau and Pierre-Louis Curien and Bernard Robinet},
  volume = {242},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-17184-3},
}

@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 = {Theoretical Computer Science, 9th Italian Conference, ICTCS 2005, Siena, Italy, October 12-14, 2005, Proceedings},
  editor = {Mario Coppo and Elena Lodi and G. Michele Pinna},
  volume = {3701},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-29106-7},
}

@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 Notices},
  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 = {Category Theory and Computer Science, Manchester, UK, September 5-8, 1989, Proceedings},
  editor = {David H. Pitt and David E. Rydeheard and Peter Dybjer and Andrew M. Pitts and Axel Poigné},
  volume = {389},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-51662-X},
}

@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 = {Database Programming Languages (DBPL-4), Proceedings of the Fourth International Workshop on Database Programming Languages - Object Models and Languages, Manhattan, New York City, USA, 30 August - 1 September 1993},
  editor = {Catriel Beeri and Atsushi Ohori and Dennis Shasha},
  series = {Workshops in Computing},
  publisher = {Springer},
  isbn = {3-540-19853-9},
}

@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 = {Transactions on Computational Systems Biology},
  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 = {Mathematical Foundations of Programming Semantics, 5th International Conference, Tulane University, New Orleans, Louisiana, USA, March 29 - April 1, 1989, Proceedings},
  editor = {Michael G. Main and Austin Melton and Michael W. Mislove and David A. Schmidt},
  volume = {442},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-97375-3},
}

@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 2002 - Object-Oriented Programming, 16th European Conference, Malaga, Spain, June 10-14, 2002, Proceedings},
  editor = {Boris Magnusson},
  volume = {2374},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-43759-2},
}

@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 = {Inf. Comput.},
  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 = {Proceedings of the 20th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages},
}

@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 = {Proceedings, Ninth Annual IEEE Symposium on Logic in Computer Science, 4-7 July 1994, Paris, France},
  publisher = {IEEE Computer Society},
}

@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 = {Mathematical Structures in Computer Science},
  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 = {Electronic Notes in Theoretical Computer Science},
  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 = {Theoretical Computer Science},
  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 = {Inf. Comput.},
  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 = {Theoretical Computer Science},
  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 = {Theoretical Computer Science},
  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 = {Automata, Languages and Programming, 26th International Colloquium, ICALP 99, Prague, Czech Republic, July 11-15, 1999, Proceedings},
  editor = {Jirí Wiedermann and Peter van Emde Boas and Mogens Nielsen},
  volume = {1644},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-66224-3},
}

@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 = {Combinators and Functional Programming Languages, Thirteenth Spring School of the LITP, Val d Ajol, France, May 6-10, 1985, Proceedings},
  editor = {Guy Cousineau and Pierre-Louis Curien and Bernard Robinet},
  volume = {242},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-17184-3},
}

@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 Computing Surveys},
  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 = {Science of Computer Programming},
  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 = {Inf. Comput.},
  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 = {Computing Systems},
  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 = {Mathematical Structures in Computer Science},
  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 = {Journal of Functional Programming},
  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 = {Computer Science Logic, 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008. Proceedings},
  editor = {Michael Kaminski and Simone Martini},
  volume = {5213},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-87530-7},
}

@inproceedings{Cardelli00,
  title = {Wide Area Computation},
  author = {Luca Cardelli},
  year = {2000},
  researchr = {https://researchr.org/publication/Cardelli00},
  cites = {0},
  citedby = {0},
  pages = {5},
  booktitle = {V Jornadas Ingeniería de Software y Bases de Datos (JISBD 2000), 8, 9 y 10 de noviembre, Valladolid},
  editor = {Carlos Delgado and Esperanza Marcos and José Manuel Marqués Corral},
  publisher = {Universidad de Valladolid, Departamento de Informática},
  isbn = {84-8448-065-8},
}

@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 = {Semantics of Data Types, International Symposium, Sophia-Antipolis, France, June 27-29, 1984, Proceedings},
  editor = {Gilles Kahn and David B. MacQueen and Gordon D. Plotkin},
  volume = {173},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-13346-1},
}

@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 = {Automata, Languages and Programming - 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part II},
  editor = {Luca Aceto and Monika Henzinger and Jiri Sgall},
  volume = {6756},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-22011-1},
}

@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 = {Fifth IFIP International Conference On Theoretical Computer Science - TCS 2008, IFIP 20th World Computer Congress, TC 1, Foundations of Computer Science, September 7-10, 2008, Milano, Italy},
  editor = {Giorgio Ausiello and Juhani Karhumäki and Giancarlo Mauri and C.-H. Luke Ong},
  volume = {273},
  series = {IFIP},
  publisher = {Springer},
  isbn = {978-0-387-09679-7},
}

@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 = {Electronic Notes in Theoretical Computer Science},
  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 = {Proceedings of the 1st Annual ACM Symposium on User Interface Software and Technology, UIST 1988, Alberta, Canada, October 17-19, 1988},
  editor = {Mark Green},
  publisher = {ACM},
  isbn = {0-89791-283-7},
}

@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 = {Database Programming Languages: Bulk Types and Persistent Data. 3rd International Workshop, August 27-30, 1991, Nafplion, Greece, Proceedings},
  editor = {Paris C. Kanellakis and Joachim W. Schmidt},
  publisher = {Morgan Kaufmann},
  isbn = {1-55860-242-9},
}

@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 95 - Object-Oriented Programming, 9th European Conference, Åarhus, Denmark, August 7-11, 1995, Proceedings},
  editor = {Walter G. Olthoff},
  volume = {952},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-60160-0},
}

@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 = {ACM Transactions on Programming Languages and Systems},
  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 = {Theoretical Aspects of Computer Software, International Conference TACS  91, Sendai, Japan, September 24-27, 1991, Proceedings},
  editor = {Takayasu Ito and Albert R. Meyer},
  volume = {526},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-54415-1},
}

@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 = {Proceedings of the Conference on Domain-Specific Languages, October 15-17, 1997, Santa Barbara, California, USA},
  publisher = {USENIX},
}

@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 = {Journal of Functional Programming},
  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 Computing and Molecular Programming, 15th International Conference, DNA 15, Fayetteville, AR, USA, June 8-11, 2009, Revised Selected Papers},
  editor = {Russell J. Deaton and Akira Suyama},
  volume = {5877},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-10603-3},
}

@article{Cardelli96b,
  title = {Global Computation},
  author = {Luca Cardelli},
  year = {1996},
  researchr = {https://researchr.org/publication/Cardelli96b},
  cites = {0},
  citedby = {0},
  journal = {ACM Computing Surveys},
  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 = {Computational Methods in Systems Biology, International Conference, CMSB 2007, Edinburgh, Scotland, September 20-21, 2007, Proceedings},
  editor = {Muffy Calder and Stephen Gilmore},
  volume = {4695},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-75139-7},
}

@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 = {Electronic Notes in Theoretical Computer Science},
  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 = {IEEE Trans. Software Eng.},
  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 = {Proceedings of the 12st Annual Conference on Computer Graphics and Interactive Techniques, SIGGRAPH 1985},
  editor = {Pat Cole and Robert Heilman and Brian A. Barsky},
  publisher = {ACM},
  isbn = {0-89791-166-0},
}

@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 = {Automata, Languages and Programming, 26th International Colloquium, ICALP 99, Prague, Czech Republic, July 11-15, 1999, Proceedings},
  editor = {Jirí Wiedermann and Peter van Emde Boas and Mogens Nielsen},
  volume = {1644},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-66224-3},
}

@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 = {Seminar on Concurrency, Carnegie-Mellon University, Pittsburg, PA, USA, July 9-11, 1984},
  editor = {Stephen D. Brookes and A. W. Roscoe and Glynn Winskel},
  volume = {197},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-15670-4},
}

@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 95: Theory and Practice of Software Development, 6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22-26, 1995, Proceedings},
  editor = {Peter D. Mosses and Mogens Nielsen and Michael I. Schwartzbach},
  volume = {915},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-59293-8},
}

@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 = {Fourth International Conference on the Quantitative Evaluaiton of Systems (QEST 2007), 17-19 September 2007, Edinburgh, Scotland, UK},
  publisher = {IEEE Computer Society},
  isbn = {0-7695-2883-X},
}

@inproceedings{Cardelli80,
  title = {Analog Processes},
  author = {Luca Cardelli},
  year = {1980},
  researchr = {https://researchr.org/publication/Cardelli80},
  cites = {0},
  citedby = {0},
  pages = {181-193},
  booktitle = {Mathematical Foundations of Computer Science 1980 (MFCS 80), Proceedings of the 9th Symposium, Rydzyna, Poland, September 1-5, 1980},
  editor = {Piotr Dembinski},
  volume = {88},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-10027-X},
}

@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 = {Automata, Languages and Programming, 9th Colloquium, Aarhus, Denmark, July 12-16, 1982, Proceedings},
  editor = {Mogens Nielsen and Erik Meineche Schmidt},
  volume = {140},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-11576-5},
}

@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 = {Mobile Object Systems - Towards the Programmable Internet, Second International Workshop, MOS 96, Linz, Austria, July 8-9, 1996, Selected Presentations and Invited Papers},
  editor = {Jan Vitek and Christian F. Tschudin},
  volume = {1222},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-62852-5},
}

@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 = {Theoretical Computer Science, Exploring New Frontiers of Theoretical Informatics, International Conference IFIP TCS 2000, Sendai, Japan, August 17-19, 2000, Proceedings},
  editor = {Jan van Leeuwen and Osamu Watanabe and Masami Hagiya and Peter D. Mosses and Takayasu Ito},
  volume = {1872},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-67823-9},
}

@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 = {LISP and Functional Programming},
}

@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 = {Inf. Comput.},
  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 = {Proceedings of TLDI 03: 2003 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, New Orleans, Louisiana, USA, January 18, 2003},
  editor = {Zhong Shao and Peter Lee},
  publisher = {ACM},
  isbn = {1-58113-649-8},
}

@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 = {Electronic Notes in Theoretical Computer Science},
  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 2002 - Concurrency Theory, 13th International Conference, Brno, Czech Republic, August 20-23, 2002, Proceedings},
  editor = {Lubos Brim and Petr Jancar and Mojmír Kretínský and Antonín Kucera},
  volume = {2421},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-44043-7},
}

@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 = {Programs, Proofs, Processes, 6th Conference on Computability in Europe, CiE 2010, Ponta Delgada, Azores, Portugal, June 30 - July 4, 2010. Proceedings},
  editor = {Fernando Ferreira and Benedikt Löwe and Elvira Mayordomo and Luís Mendes Gomes},
  volume = {6158},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-13961-1},
}

@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 = {Proceedings of the ACM Symposium on LISP and Functional Programming},
  series = {LFP '84},
  address = {New York, NY, USA},
  publisher = {Association for Computing Machinery},
}

@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 = {Mathematical Structures in Computer Science},
  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 = {Mobile Object Systems - Towards the Programmable Internet, Second International Workshop, MOS 96, Linz, Austria, July 8-9, 1996, Selected Presentations and Invited Papers},
  editor = {Jan Vitek and Christian F. Tschudin},
  volume = {1222},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-62852-5},
}

@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 Computing Surveys},
  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 = {Theoretical Computer Science},
  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 = {Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages},
}

@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 2008 - Concurrency Theory, 19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008. Proceedings},
  editor = {Franck van Breugel and Marsha Chechik},
  volume = {5201},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-85360-2},
}

@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 = {Theoretical Computer Science},
  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 = {Foundations of Software Science and Computation Structure, Second International Conference, FoSSaCS 99, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 99, Amsterdam, The Netherlands, March 22-28, 1999, Proceed},
  editor = {Wolfgang Thomas},
  volume = {1578},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-65719-3},
}

@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 = {Advances in Database Technology - EDBT 88, Proceedings of the International Conference on Extending Database Technology, Venice, Italy, March 14-18, 1988},
  editor = {Joachim W. Schmidt and Stefano Ceri and Michele Missikoff},
  volume = {303},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-19074-0},
}

@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 = {Theoretical Aspects of Computer Software, Third International Symposium, TACS  97, Sendai, Japan, September 23-26, 1997, Proceedings},
  editor = {Martín Abadi and Takayasu Ito},
  volume = {1281},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-63388-X},
}

@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 Notices},
  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 = {Recent Trends in Algebraic Development Techniques, 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers},
  editor = {Andrea Corradini and Ugo Montanari},
  volume = {5486},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-03428-2},
}

@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 = {Typed Lambda Calculi and Applications, 5th International Conference, TLCA 2001, Krakow, Poland, May 2-5, 2001, Proceedings},
  editor = {Samson Abramsky},
  volume = {2044},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-41960-8},
}

@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 = {Theoretical Aspects of Computer Software, International Conference TACS  94, Sendai, Japan, April 19-22, 1994, Proceedings},
  editor = {Masami Hagiya and John C. Mitchell},
  volume = {789},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-57887-0},
}

@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 = {Journal of Functional Programming},
  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 = {27th International Conference on Software Engineering (ICSE 2005), 15-21 May 2005, St. Louis, Missouri, USA},
  editor = {Gruia-Catalin Roman and William G. Griswold and Bashar Nuseibeh},
  publisher = {ACM},
}

@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 Record},
  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 = {Theoretical Computer Science},
  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 = {ACM Trans. Database Syst.},
  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 = {Mathematical Structures in Computer Science},
  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 = {Secure Internet Programming, Security Issues for Mobile and Distributed Objects},
  editor = {Jan Vitek and Christian Damsgaard Jensen},
  volume = {1603},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-66130-1},
}

@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 = {Foundations of Software Science and Computation Structure, First International Conference, FoSSaCS 98, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings},
  editor = {Maurice Nivat},
  volume = {1378},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-64300-1},
}

@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 = {ACM Symposium on User Interface Software and Technology},
}

@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 = {Programming Languages and Systems, 10th European Symposium on Programming, ESOP 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings},
  editor = {David Sands},
  volume = {2028},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-41862-8},
}

@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 = {Automata, Languages and Programming: 31st International Colloquium, ICALP 2004, Turku, Finland, July 12-16, 2004. Proceedings},
  editor = {Josep Díaz and Juhani Karhumäki and Arto Lepistö and Donald Sannella},
  volume = {3142},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-22849-7},
}

@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 Computing Surveys},
  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 = {Unconventional Computation - 9th International Conference, UC 2010, Tokyo, Japan, June 21-25, 2010. Proceedings},
  editor = {Cristian S. Calude and Masami Hagiya and Kenichi Morita and Grzegorz Rozenberg and Jon Timmis},
  volume = {6079},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-13522-4},
}

@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 = {Programming Languages and Systems - ESOP 94, 5th European Symposium on Programming, Edinburgh, U.K., April 11-13, 1994, Proceedings},
  editor = {Donald Sannella},
  volume = {788},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-57880-3},
}

@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 = {ACM Transactions on Programming Languages and Systems},
  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 2010, Seventh International Conference on the Quantitative Evaluation of Systems, Williamsburg, Virginia, USA, 15-18 September 2010},
  publisher = {IEEE Computer Society},
  isbn = {978-0-7695-4188-4},
}

@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 = {Automata, Languages and Programming, 29th International Colloquium, ICALP 2002, Malaga, Spain, July 8-13, 2002, Proceedings},
  editor = {Peter Widmayer and Francisco Triguero Ruiz and Rafael Morales Bueno and Matthew Hennessy and Stephan Eidenbenz and Ricardo Conejo},
  volume = {2380},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-43864-5},
}

@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 = {Inf. Comput.},
  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 = {Algebraic Biology, Third International Conference, AB 2008, Castle of Hagenberg, Austria, July 31-August 2, 2008, Proceedings},
  editor = {Katsuhisa Horimoto and Georg Regensburger and Markus Rosenkranz and Hiroshi Yoshida},
  volume = {5147},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-85100-4},
}

@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 2007 - Object-Oriented Programming, 21st European Conference, Berlin, Germany, July 30 - August 3, 2007, Proceedings},
  editor = {Erik Ernst},
  volume = {4609},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-73588-5},
}

@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 = {Theoretical Computer Science},
  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 = {Natural Computing},
  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 = {Data Types and Persistence, Informal Proceedings of the First Workshop on Persistent Objects, Appin, Scotland, August 1985},
  editor = {Malcolm P. Atkinson and Peter Buneman and Ronald Morrison},
}

@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 = {Electronic Notes in Theoretical Computer Science},
  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 = {Transactions on Computational Systems Biology},
  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 = {Proceedings, Ninth Annual IEEE Symposium on Logic in Computer Science, 4-7 July 1994, Paris, France},
  publisher = {IEEE Computer Society},
}

@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 = {Int. J. Found. Comput. Sci.},
  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 2005 - Concurrency Theory, 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings},
  editor = {Martín Abadi and Luca de Alfaro},
  volume = {3653},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-28309-9},
}
@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},
}