• ORCID • Google Scholar • DBPL bibliography server
  • Computational Biology • Spatial Logics • Semistructured Data • Process Calculi • Objects • Types and Semantics • Language Design and Implementation • User Interfaces • Unpublished Notes

Computational Biology

2023
• Sequenceable Event Recorders. Luca Cardelli.
  • ©2023 [PDF] Accepted 2021-11-02. In E. Winfree, N. Jonoska (Eds.): Visions of DNA Nanotechnology at 40 for the Next 40. Open access 2023-07-05 https://link.springer.com/chapter/10.1007/978-981-19-9891-1_17. Springer, 2023.
  • ©2021 [PDF] ArXiv 2021-12-04: http://arxiv.org/abs/2105.15039.
• Formal Lumping of Polynomial Differential Equations through Approximate Equivalences. Luca Cardelli, Giuseppe Squillace, Mirco Tribastone, Max Tschaikowski, Andrea Vandin.
  • ©2023 Journal of Logical and Algebraic Methods in Programming, Accepted 2023-05-07, Early access 2023-05-12: https://doi.org/10.1016/j.jlamp.2023.100876.
• Agorithmic Minimization of Uncertain Continuous-Time Markov Chains. Luca Cardelli, Radu Grosu, Kim G. Larsen, Mirco Tribastone, Max Tschaikowski, Andrea Vandin.
  • ©2023 IEEE Transactions on Automatic Control, Volume 68, Issue 11, pp. 6557-6572, November 2023. Accepted 2023-01-28. Early access 2023-02-10: https://ieeexplore.ieee.org/document/10041997.
  • ©2022 Draft and software 2022-04-23: https://zenodo.org/record/7304511#.Y9VCUnbP1aY.
• Regulation strategies for two-output biomolecular networks. Emmanouil Alexis, Carolin CM Schulte, Luca Cardelli, Antonis Papachristodoulou.
  • ©2023 Journal of the Royal Society Interface. 20:20230174. Accepted 2023-06-30. Published 2023-08-02 https://royalsocietypublishing.org/doi/10.1098/rsif.2023.0174. DOI: 10.1098/rsif.2023.0174. 2023.
  • ©2022 [PDF] BioRxiv DOI: https://doi.org/10.1101/2022.02.28.482258. 2022-03-02.
2022
• Adversarial Robustness Guarantees for Gaussian Processes. Andrea Patane', Arno Blaas, Luca Laurenti, Luca Cardelli, Marta Kwiatkowska, Stephen Roberts.
  • ©2022 [PDF] Journal of Machine Learning Research, 23(146):1−55, 2022. Accepted 2022-04-19. Published online 2022-06-07 https://jmlr.org/papers/volume23/21-0382/21-0382.pdf.
  • ©2020 [PDF] (Adversarial Robustness Guarantees for Classification with Gaussian Processes, different author order.) The 23rd International Conference on Artificial Intelligence and Statistic (AISTATS 2020), 2020-08-26..28 Online. Accepted 2020-01-07. In PMLR - Proceedings of Machine Learning Research, 108:3372-3382. http://proceedings.mlr.press/v108/
• On the Design of a PID Bio-controller with Set Point Weighting and Filtered Derivative Action. Emmanouil Alexis, Luca Cardelli, Antonis Papachristodoulou.
  • ©2022 Proceedings of the 61st IEEE Conference on Decision and Control, 2022-12-06..09 Cancún Mexico. Presented 2022-12-06. Accepted as L-CSS invited paper for presentation and publication 2022-07-15. https://cdc2022.ieeecss.org/.
  • ©2022 IEEE Control Systems Letters 2022(6) pp.3134-3139. Accepted 2022-06-02. Published online 2022-06-15. https://ieeexplore.ieee.org/document/9795686. DOI: 10.1109/LCSYS.2022.3182911.
  • ©2022 [PDF] BioRxiv DOI: https://www.biorxiv.org/content/10.1101/2022.03.21.485223v1.full.pdf. 2022-03-21.
• PID Control of Biochemical Reaction Networks. Max Whitby, Luca Cardelli, Marta Kwiatkowska, Luca Laurenti, Mirco Tribastone, Max Tschaikowski.
  • ©2022 [PDF] IEEE Transactions on Automatic Control, Vol 67(2), pp.1023-1030. Accepted 2021-02-21. Early access 2021-02-26. Published 2022-02-02. DOI: 10.1109/TAC.2021.3062544.
  • ©2019 [PDF] 58th IEEE Conference on Decision and Control (CDC), December 11-13, 2019 Nice, France. Accepted 2019-07-19.
2021
• Biomolecular mechanisms for signal differentiation. Emmanouil Alexis, Carolin CM Schulte, Luca Cardelli, Antonis Papachristodoulou.
  • ©2021 [PDF] iScience 24(12).103462. Accepted 2021-11-12. Published 2021-11-17. DOI: https://doi.org/10.1016/j.isci.2021.103462
  • ©2021 [PDF] BioRxiv DOI: https://doi.org/10.1101/2021.04.29.441952. 2021-04-29.
• A Language for Modeling And Optimizing Experimental Biological Protocols. Luca Cardelli, Marta Kwiatkowska, Luca Laurenti.
  • ©2021 [PDF] MDPI Computation 2021, 9(10), 107. doi:10.3390/computation9100107. Accepted 2021-10-12. Published online 2021-10-16. https://www.mdpi.com/2079-3197/9/10/107.
  • ©2021 [PDF] ArXiv 2021-11-29: https://arxiv.org/abs/2106.07089.
• Lumpability for Uncertain Continuous-Time Markov Chains. Luca Cardelli, Radu Grosu, Kim G. Larsen, Mirco Tribastone, Max Tschaikowski, Andrea Vandin.
  • ©2021 [PDF] Accepted 2021-06-08. In: A. Abate and A. Marin (Eds.): QEST 2021, LNCS 12846, Springer, pp. 391–409, 2021. First Online 2021-08-19. https://doi.org/10.1007/978-3-030-85172-9_21
  • ©2019 [PDF] Draft.
• Evolution of opposing regulatory interactions underlies the emergence of eukaryotic cell cycle checkpoints. Rosa D. Hernansaiz-Ballesteros, Csenge Földi, Luca Cardelli, László G. Nagy, Attila Csikász-Nagy.
  • ©2021 [PDF] Scientific Reports. Accepted 2021-05-11. Published online 2021-05-27: https://www.nature.com/articles/s41598-021-90384-3.
• Formal and Efficient Synthesis for Continuous-Time Linear Stochastic Hybrid Processes. Luca Laurenti, Morteza Lahijanian, Alessandro Abate, Luca Cardelli, Marta Kwiatkowska.
  • ©2021 [PDF] IEEE Transactions on Automatic Control, Vol 66(1), Jan 2021. Accepted 2020-01-31. Early Access 2020-02-19. DOI: 10.1109/TAC.2020.2975028
• Exact Maximal Reduction of Stochastic Reaction Networks by Species Lumping. Isabel Cristina Perez-Verona, Tabea Waizmann, Luca Cardelli, Max Tschaikowski, Andrea Vandin, Mirco Tribastone.
  • ©2021 [PDF] Bioinformatics, Accepted 2021-01-27. Published online 2021-02-03. https://doi.org/10.1093/bioinformatics/btab081.
  • ©2021 [PDF] ArXiv https://arxiv.org/abs/2101.03342.
  2020
• From Electric Circuits to Chemical Networks. Luca Cardelli, Mirco Tribastone, Max Tschaikowski.
  • ©2020 [PDF] Natural Computing 19(1), 237-248. DOI 10.1007/s11047-019-09761-7. http://link.springer.com/article/10.1007/s11047-019-09761-7. Accepted 2019-08-24.
  • ©2018 [PDF] ArXiv http://arxiv.org/abs/1812.03308
• Coupled Membrane Transporters Reduce Noise. Luca Cardelli, Luca Laurenti, Attila Csikasz-Nagy.
  • ©2020 [PDF] Physical Review E, Vol 101, No 1. Accepted 2019-12-23. Published online 2020-01-27 https://link.aps.org/doi/10.1103/PhysRevE.101.012414 .
• Kaemika app, Integrating protocols and chemical simulation. Luca Cardelli.
  • ©2020 [PDF] In: Abate A., Petrov T., Wolf V. (eds) Computational Methods in Systems Biology. CMSB 2020. Lecture Notes in Computer Science, vol 12314. Springer, Cham. 2020. https://doi.org/10.1007/978-3-030-60327-4_22. Accepted 2020-07-01. CMSB'2020 Best Tool Paper Award.
  • ©2020 ArXiv https://arxiv.org/abs/2005.08097
• The Kaemika Apparoach to Integrated Modeling of Reaction Networks and Protocols. Luca Cardelli.
  • ©2020 [PDF] Draft.
• Safety Guarantees for Iterative Predictions with Gaussian Processes. Kyriakos Polymenakos, Luca Laurenti, Andrea Patane, Jan-Peter Calliess, Luca Cardelli, Marta Kwiatkowska, Alessandro Abate, Stephen Roberts.
  • ©2020 [PDF] 2020 59th IEEE Conference on Decision and Control (CDC) 14-18 Dec 2020. Accepted 2020-07-16. Published 2021-01-11. https://doi.org/10.1109/CDC42340.2020.9304029.
  • ©2020 [PDF] ArXiv https://arxiv.org/pdf/1912.00071.pdf.
• Uncertainty Quantification with Statistical Guarantees in End-to-End Autonomous Driving Control. Rhiannon Michelmore, Matthew Wicker, Luca Laurenti, Luca Cardelli, Yarin Gal, Marta Kwiatkowska.
  • ©2020 [PDF] International Conference on Robotics and Automation (ICRA 2020). Accepted 2020-01-21.
• The Beacon Calculus: A formal method for the flexible and concise modelling of biological systems. Michael A. Boemo, Luca Cardelli, Conrad A. Nieduszynski.
  • ©2020 [PDF] [PDF] PLOS Computational Biology, Accepted 2020-01-27. Published online 2020-03-19.
  • ©2019 [PDF] ArXiv https://www.biorxiv.org/content/10.1101/579029v2
2019
• Symbolic Computation of Differential Equivalences. Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin.
  • ©2019 [PDF] Theoretical Computer Science 777 (2019) 132–154. (Nivat volume.) Accepted 2019-03-09. Online 2019-03-18. https://doi.org/10.1016/j.tcs.2019.03.018.
  • ©2016 [PDF] POPL’16, Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, January 20–22, 2016, St. Petersburg, FL, USA. 137-150. ACM 2016.
  • ©2016 [PDF] Extended Technical Report.
• Statistical Guarantees for the Robustness of Bayesian Neural Networks. Luca Cardelli, Marta Kwiatkowska, Luca Laurenti, Nicola Paoletti, Andrea Patane, Matthew Wicker.
  • ©2019 [PDF] S.Kraus (ed.), Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence (IJCAI-19), pp 5693-5700. ISBN (Online) 978-0-9992411-4-1. 2019. Accepted 2019-05-10.
• Central Limit Model Checking. Luca Bortolussi, Luca Cardelli, Marta Kwiatkowska, Luca Laurenti.
  • ©2018 [PDF] (Journal version of QEST 2016.) Transactions on Computational Logic (TOCL) 20(4), September 2019 Article 19. ACM Press. Accepted 2019-05-06. DOI https://doi.org/10.1145/3331452.
• Efficiency through Uncertainty: Scalable Formal Synthesis for Stochastic Hybrid Systems. Nathalie Cauchi, Luca Laurenti, Morteza Lahijanian, Alessandro Abate, Marta Kwiatkowska, Luca Cardelli.
  • ©2019 [PDF] HSCC'19, Proceedings of the 22th International Conferece on Hybrid Systems: Computation and Control. Accepted 2018-12-22. Published 2019-04-16.
2018
• Robustness Guarantees for Bayesian Inference with Gaussian Processes. Luca Cardelli, Marta Kwiatkowska, Luca Laurenti, Andrea Patane.
  • ©2018 [PDF] AAAI-19, Thirty-Third AAAI Conference on Artificial Intelligence, Jan 27 - Feb 1, 2019. Accepted 2018-10-31. In Press.
• Experimental Biological Protocols with Formal Semantics. Alessandro Abate, Luca Cardelli, Marta Kwiatkowska, Luca Laurenti, Boyan Yordanov.
  • ©2017 [PDF] CoRR abs/1710.08016:2017. https://arxiv.org/pdf/1710.08016.pdf
  • ©2018 [PDF] Published online 2018-08-24. Published 2018-09-12. In: Češka M., Šafránek D. (eds) Computational Methods in Systems Biology, CMSB 2018. LNCS 11095, pp 165-182. Springer 2018.
• Single molecules can operate as primitive biological sensors, switches, and oscillators. Rosa D. Hernansaiz-Ballesteros, Luca Cardelli, Attila Csikász-Nagy.
  • ©2018 [PDF]BMC Systems Biology (2018) 12:70 https://doi.org/10.1186/s12918-018-0596-4. Accepted 2018-06-04. Published online 2018-06-19. Open access.
• Guaranteed Error Bounds on Approximate Model Abstractions through Reachability Analysis. Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin.
  • ©2018 [PDF] International Conference on Quantitative Evaluation of SysTems (QEST) 2018. Accepted 2018-05-31. Published 2018-09. In: McIver A., Horvath A. (eds) Quantitative Evaluation of Systems. QEST 2018. Lecture Notes in Computer Science, vol 11024. Springer 2018. DOI 10.1007/978-3-319-99154-2_7
  • ©2018 [PDF] http://arxiv.org/abs/1807.06888
• Computing with biological switches and clocks. Neil Dalchau, Gregory Szép, Rosa Hernansaiz-Ballesteros, Chris P. Barnes, Luca Cardelli, Andrew Phillips, Attila Csikász-Nagy.
  • ©2018 [PDF] Natural Computing, 17(4), 761-779, 2018-11-15. Accepted 2018-05-18. Published online 2018-06-01 https://link.springer.com/article/10.1007/s11047-018-9686-x.
• Molecular Filters for Noise Reduction. L. Laurenti, A. Csikasz-Nagy, M. Kwiatkowska, L. Cardelli.
  • ©2018 [PDF] Biophysical Journal. Volume 114, Issue 12, Pages 3000–3011. https://doi.org/10.1016/j.bpj.2018.05.009 Accepted 2018-05-04. Published 2018-06-19. Open access.
  2017
• Efficient Switches in Biology and Computer Science. Luca Cardelli, Rosa D. Hernansaiz-Ballesteros Neil Dalchau, Attila Csikász-Nagy.
  • ©2017 [PDF] [PDF] PLoS Computational Biology 13(1):e1005100. doi:10.1371/journal.pcbi.1005100. Published online January 5, 2017. http://journals.plos.org/ploscompbiol/article?id=10.1371/journal.pcbi.1005100.
• Maximal aggregation of polynomial dynamical systems. Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin.
  • ©2017 http://www.pnas.org/content/early/2017/09/05/1702697114.short?rss=1" doi: 10.1073/pnas.1702697114, PNAS, September 6, 2017.
  • ©2017 [PDF] doi: 10.1073/pnas.1702697114, PNAS, September 6, 2017.
• Chemical Reaction Network Designs for Asynchronous Logic Circuits. Luca Cardelli, Marta Kwiatkowska, Max Whitby.
  • ©2017 [PDF] Natural Computing Journal 1(17) pp 109-130, March 2018. DOI 10.1007/s11047-017-9665-7. Accepted 2017-11-18. Published online 2017-12-22. http://link.springer.com/article/10.1007/s11047-017-9665-7. Public Springer link http://rdcu.be/C9s4.
  • ©2016 [PDF] DNA Computing and Molecular Programming (DNA 22), 22nd International Conference, September 4-8, 2016, Munich, Germany.
• Comparing Chemical Reaction Networks: A Categorical and Algorithmic Perspective. Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin.
  • ©2019 Theoretical Computer Science (Accepted 2017-10-27. Available online 2017-12-18. Volume 765, 18 April 2019, pp 47-66).
  • ©2016 [PDF] Logic in Computer Science (LICS) 2016, Thirty-First Annual ACM/IEEE Symposium, July 5-8, 2016, New York, USA.
• Syntax-Guided Optimal Synthesis for Chemical Reaction Networks. Luca Cardelli, Milan Ceska, Martin Fränzle, Marta Kwiatkowska, Luca Laurenti, Nicola Paoletti, Max Whitby.
  • ©2017 [PDF] In: Majumdar R., Kunčak V. (eds) Computer Aided Verification. CAV 2017. Lecture Notes in Computer Science, vol 10427. Springer, 2017. https://doi.org/10.1007/978-3-319-63390-9_20
• Programming Discrete Distributions with Chemical Reaction Networks. Luca Laurenti, Luca Cardelli, Marta Kwiatkowska.
  • ©2017 Natural Computing Journal 1(17) pp 131-145, March 2018. Accepted 2017-11-29. Published online 2017-12-08. DOI 10.1007/s11047-017-9667-5. Springer unrestricted viewing: http://rdcu.be/APqo.
  • ©2016 [PDF] DNA Computing and Molecular Programming (DNA 22), 22nd International Conference, September 4-8, 2016, Munich, Germany.
  • ©2016 [PDF] Extended version. http://arxiv.org/abs/1601.02578.
• Efficient Switches in Biology and Computer Science. Luca Cardelli, Rosa D. Hernansaiz-Ballesteros Neil Dalchau, Attila Csikász-Nagy.
  • ©2017 [PDF] [PDF] PLoS Computational Biology 13(1):e1005100. doi:10.1371/journal.pcbi.1005100. Published online January 5, 2017. http://journals.plos.org/ploscompbiol/article?id=10.1371/journal.pcbi.1005100.
• Reachability Computation for Switching Diffusions. Alessandro Abate, Luca Bortolussi, Luca Cardelli, Milan Ceska, Marta Kwiatkowska, Luca Laurenti.
  • ©2017 [PDF] HSCC'17, Proceedings of the 20th International Conferece on Hybrid Systems: Computation and Control, pp 55-64, ACM press, April 2017. Accepted 2016-12-21
• ERODE: A Tool for the Evaluation and Reduction of Ordinary Differential Equations. Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin.
  • ©2017 [PDF] In: Legay A., Margaria T. (eds) Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2017. Lecture Notes in Computer Science, vol 10206. Springer, 31 March 2017.
• Syntactic Markovian Bisimulation for Chemical Reaction Networks. Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin.
  • ©2017  In: Luca Aceto, Giorgio Bacci, Giovanni Bacci, Anna Ingolfsdottir, Axel Legay, Radu Mardare (Eds). Models, Algorithms, Logics and Tools. Lecture Notes in Computer Science, vol 10460, pp 466-483, Springer, 25 July 2017. Accepted 2017-04-10. https://doi.org/10.1007/978-3-319-63121-9_23
  • ©2017 [PDF] arXiv:1707.02132.
  2016
• Stochastic Analysis of Chemical Reaction Networks Using Linear Noise Approximation. Luca Cardelli, Marta Kwiatkowska, Luca Laurenti.
  • ©2016 [PDF] BioSystems, vol.149, p.26-33, November 2016. http://dx.doi.org/10.1016/j.biosystems.2016.09.004.
  • ©2015 [PDF] Arxiv (Corrected and extended version.)
  • ©2015 [PDF] Proceedings of 13th Annual Conference on Computational Methods in Systems Biology, CMSB 2015, September 16-18 2015, Nantes, France. (Published abridged version.)
  • ©2015 [PDF] Poster: : Workshop on Mathematical Trends in Reaction Network Theory, July 1-3, 2015, Copenhagen, Denmark.
  • ©2015 [PDF] Poster: : 21st International Conference on DNA Computing and Molecular Programming (DNA 21)
• A Stochastic Hybrid Approximation for Chemical Kinetics Based on the Linear Noise Approximation. Luca Cardelli, Marta Kwiatkowska, Luca Laurenti.
  • ©2016 [PDF] Computational Methods in Systems Biology, 14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, Proceedings. Springer LNCS 9859, pp 147-167.
• Evolution of Biological Switches and Oscillators. Rosa Hernansaiz-Ballesteros, Attila Csikász-Nagy, Luca Cardelli.
  • ©2016 [PDF] Poster: "Evolution of Simple Systems to Complex Behaviours". King's College PhD Symposium, 6 May 2016, London, UK.
  • ©2016 Poster: "Computational algorithms as biological switches". Advances in Systems and Synthetic Biology, 21-25 March 2016, Every, France. http://epigenomique.free.fr/en/index.php.
  • ©2016 Poster: "Evolution of biological switches". Advanced Lecture Course on Systems Biology, 28 Feb - 5 Mar 2016, Innsbruck, Austria. http://www.sysbio2016.org/.
  • ©2015 Poster: "Evolution of cell cycle switches". Biological Oscillators: Design, Mechanisms, Function, 12-14 Nov 2015, EMBL Heidelberg, Germany. http://www.embo-embl-symposia.org/symposia/2015/EES15-09/.
  • ©2015 [PDF] Poster: "Evolution of biological switches". King's College PhD Symposium, 7 July 2015, London, UK.
  • ©2015 [PDF] Poster: "Analyzing efficiency of biological switches". SSBSS 2015, International Synthetic and Systems Biology Summer School, 5-9 July 2015, Taormina, Italy. http://www.taosciences.it/ssbss2015/.
  • ©2015 Poster: "Computational algorithms as biological switches". Physics of Cancer, 19-20 May 2015, Bristol, UK. http://www.physicsoflife.org.uk/events/the-physics-of-cancer/.
• Approximation of Probabilistic Reachability for Chemical Reaction Networks using the Linear Noise Approximation. Luca Bortolussi, Luca Cardelli, Marta Kwiatkowska, Luca Laurenti.
  • ©2016 [PDF] Quantitative Evaluation of Systems (QEST 2016), August 23-25, 2016, Quebec City. Canada.
• Noise Reduction in Complex Biological Switches. Luca Cardelli, Attila Csikász-Nagy, Neil Dalchau, Mirco Tribastone, Max Tschaikowski.
  • ©2016 [PDF] Scientific Reports, 6, 20214; 8 February 2016. Nature Publishing Group, 2016. DOI: 10.1038/srep20214. http://www.nature.com/articles/srep20214
  • ©2016 [PDF] [PDF] Author's version.
• Efficient Syntax-Driven Lumping of Differential Equations. Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin.
  • ©2016 [PDF] 22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'16). April 4 2016. Lecture Notes in Computer Science 9035, Springer, pp 137-150.
• The Formal Language and Design Principles of Autonomous DNA Walker Circuits. Michael A. Boemo, Alexandra E. Lucas, Andrew J. Turberfield, Luca Cardelli.
  • ©2016 [PDF] ACS Synthetic Biology, DOI: 10.1021/acssynbio.5b00275, 25 April 2016. http://pubs.acs.org/doi/abs/10.1021/acssynbio.5b00275
  2015
• Automated Design and Verification of Localized DNA Computation Circuits. Michael Boemo, Andrew Turberfield, Luca Cardelli.
  • ©2015 [PDF] Andrew Phillips, Peng Yin (Eds.): DNA Computing and Molecular Programming, 21st International Conference DNA21, LNCS 9211, 168-180, Springer August 2015.
• Gener: A minimal programming module for chemical controllers based on DNA strand displacement. Luca Cardelli, Ozan Kahramanoğulları.
  • ©2015 [PDF] Bioinformatics May 7 2015; doi: 10.1093/bioinformatics/btv286.
• Forward and Backward Bisimulations for Chemical Reaction Networks. Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin.
  • ©2015 [PDF] CONCUR 2015 (full version). arXiv:1507.00163, http://arxiv.org/abs/1507.00163. July 2015.
  • ©2015 [PDF] CONCUR 2015 (published abridged version). L. Aceto, D. de Frutos Escrig (Eds.): 26th International Conference on Concurrency Theory, LIPIcs Vol 42 pp 226-239. Schloss Dagstuhl, August 2015.
• Exact Fluid Lumpability for Chemical Reaction Networks. Luca Cardelli, Mirco Tribastone, Max Tschaikowski.
  • ©2015 [PDF] Unpublished, merged into "Forward and Backward Bisimulations for Chemical Reaction Networks".
• Unlimited multistability and Boolean logic in microbial signaling. Varun B. Kothamachu, Elisenda Feliu, Luca Cardelli, Orkun S. Soyer.
  • ©2015 [PDF] [PDF] [TXT] Journal of the Royal Society Interface 12: 20150234, 3 June 2015. http://dx.doi.org/10.1098/rsif.2015.0234.
  2014
• Morphisms of Reaction Networks that Couple Structure to Function. Luca Cardelli.
  • ©2014 BMC Systems Biology.2014, 8:84. DOI: 10.1186/1752-0509-8-84. August 15 2014. http://www.biomedcentral.com/1752-0509/8/84
  • ©2014 [PDF] Author's version (much better math typesetting).
• Lineage Grammars: Describing, Simulating and Analyzing Population Dynamics. Adam Spiro, Luca Cardelli, Ehud Shapiro.
  • ©2014 [PDF] BMC Bioinformatics.2014, 15:249. DOI: 10.1186/1471-2105-15-249. July 21 2014. http://www.biomedcentral.com/1471-2105/15/249/abstract
  • ©2014 [PDF] Author's Preprint.
• Programming chemistry in DNA addressable bioreactors. Harold Fellermann, Luca Cardelli.
  • ©2014 [PDF] Journal of the Royal Society Interface, 12 August 2014; 11(99), DOI: 10.1098/rsif.2013.0987. http://rsif.royalsocietypublishing.org/content/11/99/20130987
• Classical Cut Elimination in the Pi-Calculus. Steffen van Bakel, Luca Cardelli, Maria Grazia Vigliotti.
  • ©2014 [PDF] Acta Informatica, in press 2014.
  • ©2010 [PDF] Draft, February 2010.
• The Measurable Space of Stochastic Processes. Luca Cardelli, Radu Mardare.
• • ©2014 [PDF] Fundamenta Informaticae, in press, 2014.
  • ©2010 [PDF] QEST 2010 extended version.
  • ©2010 [PDF] Seventh International Conference on the Quantitative Evaluation of Systems, QEST 2010, Williamsburg, VA, USA September 15-18. IEEE Publishing, ISBN: 978-0-7695-4188-4, pp 171-180, 2010.
  • ©2010 [PDF] CoSBi Technical Report TR-3-2010, March 2010.
• An Intuitive Modelling Interface for Systems Biology. Ozan Kahramanoğulları, Luca Cardelli, Emmanuelle Caron.
  • ©2014 [PDF] International Journal of Software and Informatics, 7(4) 655-674. ISSN 1673-7288. Published online 2014-04-12. http://www.ijsi.org/ch/reader/issue_list.aspx?year_id=2013&quarter_id=4.
  • ©2009 [PDF] Developments in Computational Models 2009. EPTCS 9, pp. 73-86, 2009. http://arxiv.org/abs/0911.2327.
  • ©2009 [PDF] Developments in Computational Models 2009. A workshop affiliated with ICALP 2009.
  2013
• Phosphorelays provide tunable signal processing capabilities for the cell. Varun B. Kothamachu, Elisenda Feliu, Carsten Wiuf, Luca Cardelli, Orkun S. Soyer.
  • PLOS Computational Biology 10.1371/journal.pcbi.1003322. 7 Nov 2013. http://www.ploscompbiol.org/article/info%3Adoi%2F10.1371%2Fjournal.pcbi.100332
• Programmable chemical controllers made from DNA. Yuan-Jyue Chen, Neil Dalchau, Niranjan Srinivas, Andrew Phillips, Luca Cardelli, David Soloveichik, and Georg Seelig.
  • ©2013 [PDF] [PDF] Nature Nanotechnology 8, 755–762 (2013) doi:10.1038/nnano.2013.189. 29 September 2013. http://dx.doi.org/10.1038/nnano.2013.189.
    
• Stochastic Pi-Calculus Revisited. Luca Cardelli, Radu Mardare.
  • ©2013 [PDF] in Zhiming Liu, Jim Woodcock, Huibiao Zhu, Eds. Theoretical Aspects of Computing - ICTAC 2013, Shanghai, September 2013, LNCS 8049, Springer 2013. 1-21. Doi:10.1007/978-3-642-39718-9.
  • ©2011 [PDF] February 2011.
• DNA Computing and Molecular Programming. Luca Cardelli, William Shih (Eds).
  • Natural Computing (2013) 12:209. Special Issue: DNA Computing 17. ISSN: 1567-7818 (Print) 1572-9796 (Online). June 2013.
    
• Two-Domain DNA Strand Displacement. Luca Cardelli.
  • ©2013 [PDF] Mathematical Structures in Computer Science, 23, pp 247-271 doi:10.1017/S0960129512000102. April 2013. Published online: 28 February 2013.
  • ©2010 [PDF] In S. B. Cooper, E. Kashefi, P. Panangaden (Eds.): Developments in Computational Models (DCM 2010). EPTCS 26, 2010, pp. 47-61, doi:10.4204/EPTCS.26.5. June 2010.
  • ©2010 [PDF] Developments in Computational Models 2010, preprint.
  2012
• Continuous Markovian Logic - Axiomatization and Quantified Metatheory. Radu Mardare, Luca Cardelli, Kim Larsen.
  • ©2012 [PDF] LMCS - Logical Methods in Computer Science, 8(4-19), Nov 2012. DOI:10.2168/LMCS-8(4-19)2012 (also http://arxiv.org/abs/1211.5190)
  • ©2011 [PDF] Computer Science Logic: 25th International Workshop / 20th Annual Conference of the EACSL (CSL 2011). Schloss Dagstuhl Leibniz-Zentrum für Informatik, September 2011. pp 144-158. ISBN (print) 978-3-939897-32-3
    ISBN (electronic) 978-3-939897-32-3.
  • ©2010 [PDF] CoSBi Technical Report TR-4-2010, March 2010.
• The Cell Cycle Switch Computes Approximate Majority. Luca Cardelli, Attila Csikász-Nagy.
  • ©2012 [PDF] Online open access version. Scientific Reports 2:656, 13 September 2012. Nature Publishing Group, 2012. DOI: 10.1038/srep00656. www.nature.com/srep/2012/120913/srep00656/full/srep00656.html.
  • ©2012 [PDF] Author's version.
  • ©2012 [PDF] Supplementary Information.
  Abstractions for DNA circuit design. Matthew R. Lakin, Simon Youssef, Luca Cardelli, Andrew Phillips.
  • ©2012 [PDF] Journal of the Royal Society Interface, J. R. Soc. Interface (2012) 9, 470–486 doi:10.1098/rsif.2011.0343.
  Design and Analysis of DNA Strand Displacement Devices using Probabilistic Model Checking. Matthew R. Lakin, David Parker, Luca Cardelli, Marta Kwiatkowska, Andrew Phillips.
  • ©2012 Journal of the Royal Society Interface, J R Soc Interface Jul 2012;9 1470-1485, doi: 10.1098/​rsif.2011.0800.
  • ©2011 [PDF] September 2011.
  • ©2010 [PDF] September 2010.
• Processes in Space. Luca Cardelli, Philippa Gardner.
  • ©2012 Theoretical Computer Science,Volume 431, May 2012, pp. 40-55. DOI: 10.1016/j.tcs.2011.12.051. http://dx.doi.org/10.1016/j.tcs.2011.12.051
    
  • ©2010 [PDF] Extended CiE 2010 version, April 2010.
  • ©2010 F.Ferreira, B.Löwe, E.Mayordomo, L.M.Gomes (Eds.). Programs, Proofs, Processes: 6th Conference on Computability in Europe, CiE 2010, Ponta Delgada, Azores, Portugal, June/July 2010, Proceedings. LNCS 6158, pp. 78-87, Springer 2010. (Deprecated due to physical production limitations; see extended version.)
  • ©2009 [PDF] Unabridged Version, October 2009.
  • ©2009 [PDF] Imperial College Technical Report DTR09-4, June 2009.
• Transcriptional Regulation is a Major Controller of Cell Cycle Transition Dynamics. Alessandro Romanel, Lars Juhl Jensen, Luca Cardelli, Attila Csikász-Nagy.
  • ©2012 [PDF] PLoS ONE 7(1): e29716. doi:10.1371/journal.pone.0029716. Jan 2012. <http://www.plosone.org/article/info%3Adoi%2F10.1371%2Fjournal.pone.0029716>
  2011
• DNA Computing and Molecular Programming. Luca Cardelli, William Shih (Eds).
  • 17th International Conference, DNA 17, Pasadena, CA, USA, September 2011, Proceedings. Lecture Notes in Computer Science 6937, Springer, http://dx.doi.org/10.1007/978-3-642-23638-9.
• A Peptide Filtering Relation Quantifies MHC Class I Peptide Optimization. Neil Dalchau, Andrew Phillips, Leonard D. Goldstein, Mark Howarth, Luca Cardelli, Stephen Emmott, Tim Elliott, Joern M. Werner.
  • ©2011 [PDF] PLoS Computational Biology 7(10): e1002144. doi:10.1371/journal.pcbi.1002144. October 2011.
• Strand Algebras for DNA Computing. Luca Cardelli.
  • ©2011 [PDF] Natural Computing 10(1) p. 407-428, March 2011. DOI: 10.1007/s11047-010-9236-7.
  • ©2009 [PDF] DNA Computing and Molecular Programming. 15th International Conference, DNA 15, Fayetteville, AR, USA, June 2009, Revised Selected Papers. LNCS 5877, Springer, October 2009, pp 12-24. (Deprecated: reformatted for LNCS and truncated due to new space restrictions. This is not the paper that appeared at the conference: see original Apr 2009 conference version or the extended Natural Computing version.)
  • ©2009 [PDF] Apr 2009. DNA 15 Preliminary Proceedings. (Distributed at the conference only.)
  • ©2009 [PDF] Mar 2009. DNA 15 Submission. (Uses a different DNA semantics.)
• Response Dynamics of Phosphorelays Suggest Their Potential Utility in Cell Signaling. Attila Csikász-Nagy, Luca Cardelli, Orkun S Soyer.
  • ©2011 [PDF] [PDF] Journal of the Royal Society Interface. 6 April 2011 vol. 8 no. 57 480-488. Published Online August 11, 2010. doi: 10.1098/​rsif.2010.0336.
• Modular Markovian Logic. Luca Cardelli, Kim Larsen, Radu Mardare.
  • ©2011 [PDF] ICALP '11. Proceedings of the 38th international conference on Automata, languages and programming. Vol II, 380-391. Springer July 2011. ISBN: 978-3-642-22011-1. DOI: 10.1007/978-3-642-22012-8_30. Accepted 12 April 2011.
  • ©2011 [PDF] February 2011, ICALP'11 submission.
• Reversibility in Massive Concurrent Systems. Luca Cardelli, Cosimo Laneve.
  • ©2011 [PDF] Scientific Annals of Computer Science 21(2) 175-198, A.I. Cuza University Press, October 2011.
  • ©2011 [PDF] September 2011.
• Reversible Structures. Luca Cardelli, Cosimo Laneve.
  • ©2011 [PDF] Proceedings of 9th Int. Conf. on Computational Methods in Systems Biology (CMSB 2011), ACM Digital Library, September 2011. 131-140. Doi:10.1145/2037509.2037529.
  • ©2011 [PDF] May 2011.
  2010
• Algebras and Langugages for Molecular Programming. Luca Cardelli.
  • ©2010 [PDF] Unconventional Computing 2010 (Invited Talk Abstract).
• Exploring DNA Sratnd-Displacement Computational Elements. Luca Cardelli, Andrew Phillips, Simon Youssef.
  • ©2010 [PDF] (2-page Abstract) DNA 16 At-conference Proceedings. May 2010.
  • ©2010 [PDF] February 2010.
• Turing Universality of the Biochemical Ground Form. Luca Cardelli, Gianluigi Zavattaro. (Extended version of "On the Computational Power of Biochemistry" with new results.)
  • ©2010 [PDF] Mathematical Structures in Computer Science, 20(1):45-73, February 2010. Publisher download (Private).
  • ©2010 [PDF] Mathematical Structures in Computer Science, 20(1):45-73, February 2010. DOI 10.1017/S0960129509990259.
  2009
• Computational Modeling of the EGFR Network Elucidates Control Mechanisms Regulating Signal Dynamics. Dennis Y.Q. Wang, Luca Cardelli, Andrew Phillips, Nir Piterman, Jasmin Fisher. BMC Systems Biology 2009, 3:118. doi:10.1186/1752-0509-3-118.
  • ©2009 [PDF] Publisher version at http://www.biomedcentral.com/1752-0509/3/118. November 2009.
  • ©2009 [PDF] November 2009 Submission.
• Visualization in Process Algebra Models of Biological Systems. Luca Cardelli, Corrado Priami.
  • ©2009 [PDF] In Tony Hey, Stewart Tansley, Kristin Tolle, Eds. The Fourth Paradigm: Data Intensive Scientific Discovery. Creative Commons Attribution Share Alike License, pp 99-105, October 2009.
• Molecules as Automata (Extended Abstract). Luca Cardelli.
  • ©2009 [PDF] In: A.Corradini, U.Montanari (Eds.). Recent Trends in Algebraic Development Techniques, 19th International Workshop, WADT 2008, Pisa 13-16 June 2008. Lecture Notes in Computer Science 5486, Springer, June 2009.
• A Programming Language for Composable DNA Circuits. Andrew Phillips, Luca Cardelli.
  • ©2009 [PDF] (Publisher's Version) Journal of the Royal Society Interface, August 6, 2009 6:S419-S436. Published Online 17 June 2009 DOI: 10.1098/rsif.2009.0072.focus.
  • ©2009 [PDF] Journal of the Royal Society Interface. DOI: 10.1098/rsif.2009.0072.focus.17 June 2009.
• A Process Model of Actin Polymerisation. Luca Cardelli, Emmanuelle Caron, Philippa Gardner, Ozan Kahramanoğulları, Andrew Phillips.
  • ©2009 [PDF] Electronic Notes in Theoretical Computer Science (ENTCS) 229(1) February 2009, 127-144.
  • ©2008 [PDF] From Biology to Concurrency and back, FBTC 2008, Satellite Workshop of ICALP 2008, July 2008, Reykjavik.
• A Process Model of Rho GTP-binding Proteins. Luca Cardelli, Emmanuelle Caron, Philippa Gardner, Ozan Kahramanoğulları, Andrew Phillips
  • ©2009 [PDF] Theoretical Computer Science. DOI 10.1016/j.tcs.2009.04.029. http://dx.doi.org/10.1016/j.tcs.2009.04.029. June 2009.
• Can a Systems Biologist Fix a Tamagotchi? Luca Cardelli
  • ©2009 In: Yves Bertot, Gérard Huet, Jean-Jacques Lévy, Gordon Plotkin (Eds.), From Semantics to Computer Science - Essays in Honour of Gilles Khan, Chapter 23, Cambridge University Press, pp 517-528. Cambridge University Press, 2009. ISBN 978-0-521-51825-3.
  • ©2007 [PDF] Position Paper for the Gilles Kahn Colloquium, Paris, January 12, 2007.
• Artificial Biochemistry. Luca Cardelli
  • ©2009 [PDF] Current Version. Auxiliary Materials: [PDF] Figures.
  • ©2009 In A.Condon, D.Harel, J.N.Kok, A.Salomaa, E.Winfree (Eds.) Algorithmic Bioprocesses. Springer 2009. DOI: 10.1007/978-3-540-88869-7_22. ISBN: 978-3-540-88868-0. Auxiliary Materials: [PDF] Simulations, [PDF] Figures.
  • ©2006 [PDF] Technical Report TR-08-2006, The Microsoft Research - University of Trento Centre for Computational and Systems Biology, 2006.
  2008
• Termination Problems in Chemical Kinetics. Gianluigi Zavattaro, Luca Cardelli.
  • ©2008 [PDF] In F.van Breugel, M.Chechik (Eds.) CONCUR 2008 - Concurrency Theory, 19th International Conference, Toronto, Canada, August 2008. LNCS 5201, pp 477-491, Springer 2008.
• On the Computational Power of Biochemistry. Luca Cardelli, Gianluigi Zavattaro
  • ©2008 [PDF] Third International Conference on Algebraic Biology, AB 2008, July 2008, Linz.
• A Process Model of Rho GTP-binding Proteins in the Context of Phagocytosis. Luca Cardelli, Philippa Gardner, Ozan Kahramanoğulları.
  • ©2008 [PDF] Proc. From Biology To Concurrency and back, Lisbon 8 Sep 2007 in conjunction with Concur 2007.ENTCS 194(3):87-102, Elsevier, 2008. <doi:10.1016/j.entcs.2007.12.007>
• From X to Pi: Representing Classical Sequent Calculus in Pi-calculus. S. van Bakel, L. Cardelli and M.G. Vigliotti
  • ©2008 [PDF] International Workshop on Classical Logic and Computation (CL&C'08), Reykjavik, Iceland, July 2008.
• From Processes to ODEs by Chemistry. Luca Cardelli
  • ©2008 [PDF] Fifth IFIP International Conference on Theoretical Computer Science, TCS 2008, 261-281, Milan, September 2008. ISBN: 978-0-387-09679-7. DOI: <http://dx.doi.org/10.1007/978-0-387-09680-3_18>
• On Process Rate Semantics. Luca Cardelli
  • ©2008 [PDF] Same as TCS Version, but with better formatting and navigation.
  • ©2008 Theoretical Computer Science 391(3) 190-215, Elsevier, 2008. DOI: <http://dx.doi.org/10.1016/j.tcs.2007.11.012>
• Bitonal Membrane Systems - Interactions of Biological Membranes. Luca Cardelli.
  • ©2008 [PDF] Theoretical Computer Science 404(1-2), Elsevier, September 2008, pp. 5-18. DOI: <http://dx.doi.org/10.1016/j.tcs.2008.04.016>
  2007
• Efficient, Correct Simulation of Biological Processes in Stochastic Pi-calculus. Andrew Phillips, Luca Cardelli
  • ©2007 [PDF] Proc. Computational Methods in Systems Biology, CMSB 2007, Edinburgh, September 2007. LNBI 4695, 184-199, Springer 2007.
• A Process Algebra Master Equation. Luca Cardelli
  • ©2007 [PDF] Fourth International Conference on the Quantitative Evaluation of Systems, QEST 2007, Edinburgh, September 2007. IEEE Publishing, ISBN: 978-0-7695-2883-0, pp 219-224, 2007.
• Compositionality, Stochasticity and Cooperativity in Dynamic Models of Gene Regulation. Ralf Blossey, Luca Cardelli, Andrew Phillips
  • ©2007 [PDF] [PDF] HFSP Journal, 2(1):17–28 February 2008.
  • ©2007 [PDF] Arxiv: q-bio.MN/070216, Feb 9 2007.
  2006
• A Graphical Representation for Biological Processes in the Stochastic Pi-calculus. Andrew Phillips, Luca Cardelli, Giuseppe Castagna
  • ©2006 [PDF] Transactions on Computational Systems Biology VII - Lecture Notes in Computer Science, Vol 4230, Springer 2006, ISBN: 978-3-540-48837-8, pp 123-152. [@Springer]
• A Compositional Approach to the Stochastic Dynamics of Gene Networks. Ralf Blossey, Luca Cardelli, Andrew Phillips
  • ©2006 [PDF] Transactions on Computational Systems Biology IV - Lecture Notes in Computer Science, Vol 3939, Springer 2006, ISBN: 3-540-33245-6, pp 99-122. [@Springer]
  • ©2005 [PDF] CONCUR 2005 Invited Lecture.Lecture Notes in Computer Science, Vol 3653, Springer, 2005
  • ©2005 [PDF] (Aux Material: [PDF]) Early Version.
• A Universality Result for a (Mem)Brane Calculus Based on Mate/Drip Operations. Luca Cardelli, Gheorghe Păun
  • ©2006 [PDF] International Journal of Foundations of Computer Science, 17(1), pp 49-68. World Scientific Publishing Company. 2006. [@WorldScientific]
  • ©2005 Miguel Angel Gutirrez-Naranjo, Gheorghe Păun,Mario J. Prez-Jimnez, Eds.. Cellular Computing (Complexity Aspects) ESF PESC Exploratory Workshop, Sevilla, Jan 31 - Feb 2, 2005. Pages 75-94. Fnix Editora 2005.
  2005
• A Graphical Representation for the Stochastic Pi-calculus. Andrew Phillips, Luca Cardelli
  • ©2005 [PDF] Proceedings of Concurrent Models in Molecular Biology (Bioconcur'05), affiliated with CONCUR'05. 2005.
• Where Membranes Meet Complexes. Luca Cardelli, Sylvain Pradalier
  • ©2005 [PDF] Proceedings of Concurrent Models in Molecular Biology (Bioconcur'05), affiliated with CONCUR'05. 2005.
  • ©2005 [PDF] Draft.
• A Stochastic π-Calculus Models of MHC Class I Antigen Presentation. Leonard Goldstein (with Luca Cardelli and Andrew Phillips).
  • ©2005 [PDF] Computational Biology MPhil Project, Cambridge, August 26 2005.
• Abstract Machines of Systems Biology. Luca Cardelli.
  • ©2007 [PDF] Current Version.
  • ©2007 [PDF] Reprinted in the Bulletin of the EATCS No 93, The Natural Computing Column by Grzegorz Rozenberg, pp 176-204, 2007.
  • ©2005 [PDF] Transactions on Computational Systems Biology. III, LNBI 3737, pp 145-168, Springer 2005. [@Springer]
• Biological Systems as Reactive Systems. (Abstract only) Luca Cardelli.
  • ©2005 [PDF] Theoretical Computer Science: 9th Italian Conference, ICTCS 2005, Siena, Italy, October 12-14, 2005. Proceedings. Editors: Mario Coppo, Elena Lodi, G. Michele Pinna ISBN: 3-540-29106-7. pp 21, 2005.
• Biological Systems as Complex Systems. Luca Cardelli.
  • ©2005 [PDF] Position Paper for IST FET Complex Systems
• Brane Calculi - Interactions of Biological Membranes. Luca Cardelli.
  • ©2005 [PDF] Current Version.
  • ©2005 [PDF] V.Danos, V.Schachter Eds.: Computational Methods in Systems Biology. International Conference CMSB 2004, Paris, France, May 2004, Revised Selected Papers. Lecture Notes in Computer Science, Vol 3082, Springer, 2005. ISBN 3-540-25375-0. pp 257-280.
  • ©2004 Proc. BioConcur'03.
  2004
• A Correct Abstract Machine for the Stochastic Pi-calculus. Andrew Phillips, Luca Cardelli.
  • ©2005 [PDF] Current Version.
  • ©2004 [PDF] Proceedings of Concurrent Models in Molecular Biology (Bioconcur'04), affiliated with CONCUR'04. 2004.
• Process Calculi and Biology. Luca Cardelli.
  • ©2004 [PDF] Position Paper for IST FET.
• Languages for Systems Biology. Luca Cardelli.
  • ©2004 [PDF] Position paper for the Conference on Grand Challenges in Computing Research, Newcastle 29-31 March 2004. Grand Challenges UK, GC1 InVivo<=>InSilico.
• BioAmbients: An Abstraction for Biological Compartments. Aviv Regev, Ekaterina M. Panina, William Silverman, Luca Cardelli, Ehud Shapiro.
  • ©2004 [PDF] Theoretical Computer Science, Special Issue on Computational Methods in Systems Biology. Volume 325, Issue 1 , 28 September 2004, Pages 141-167. Elsevier. Available at ScienceDirect.
    • ReadMe for BioSPI Obesity Example
    • Code for BioSPI Obesity Example
• Bioware Languages. Luca Cardelli.
  • ©2004 [PDF] In: Andrew Herbert, Karen Sparck Jones (Eds.): Computer Systems: Theory, Technology, and Applications - A Tribute to Roger Needham, Monographs in Computer Science. Springer 2004. ISBN 0-387-20170-X. pp 59-65.

Spatial Logics

2006
• Ambient Logic. Luca Cardelli and Andrew D. Gordon.
  • ©2006 [PDF] Mathematical Structures in Computer Science. Accepted for publication, 2006. Not appearing because of formatting dispute with printer.
2005
• Deciding Validity in a Spatial Logic for Trees. Cristiano Calcagno, Luca Cardelli, Andrew D. Gordon. 
  • ©2005 [PDF] Journal of Functional Programming, Vol 15, pp 543-572. Cambridge University Press, 2005.
  • ©2003 [PDF] ACM Workshop on Types in Language Design and Implementation, TLDI'03, New Orleans, January 2003, ACM Press. pp 62-73.
  • ©2002 [PDF] Full Version. Microsoft Tech Report MSRTR2002113.
2004
• A Spatial Logic for Concurrency (Part II). Luis Caires and Luca Cardelli.
  • ©2004 [PS] [PDF] Theoretical Computer Science, 322(3) pp. 517-565, September 2004.
  • ©2002 [PS] [PDF] Lubos Brim, Petr Jancar, Mojmir Kretinsky Antonin Kucera (Eds.). CONCUR 2002 - Concurrency Theory, 13th International Conference, Brno, Czech Republic, August 2002, Proceedings. Lecture Notes in Computer Science 2421, Springer, 2002, ISBN 3-540-44043-7. pp 209-225. [@Springer]
  2003
• A Spatial Logic for Concurrency (Part I). Luis Caires and Luca Cardelli.
  • ©2003 [PS] [PDF] Information and Computation, Vol 186/2 November 2003. pp 194-235.
  • ©2001 [PS] Naoki Kobayashi and Benjamin C. Pierce (Eds.). Theoretical Aspects of Computer Software; 4th International Symposium, TACS 2001, Sendai, Japan, October 2001, Proceedings. Lecture Notes in Computer Science 2215. Springer, 2001. ISBN 3 540 42736 8. pp 1-37. [@Springer]
2002
• A Spatial Logic for Querying Graphs. Luca Cardelli, Philippa Gardner, and Giorgio Ghelli.
  • ©2002 [PS] [PDF] Peter Widmayer, Francisco Triguero, Rafael Morales, Matthew Hennessy, Stephan Eidenbenz, Ricardo Conejo (Eds.). Automata, Languages, and Programming, 29th International Colloquium, ICALP 2002, Malaga, Spain, July 2002, Proceedings. Lecture Notes in Computer Science, Vol 2380, Springer, 2002. ISBN 3-540-43864-5. pp 597-610.
  2001
• Logical Properties of Name Restriction. Luca Cardelli and Andrew D. Gordon.
  • ©2001 [PDF] Samson Abramsky (Ed.). Typed Lambda Calculi and Applications. 5th International Conference, TLCA 2001, Krakow, Poland, May 2001, Proceedings. Lecture Notes in Computer Science, Vol. 2044, Springer, 2001. ISBN 3-540-41960-8. pp 46-60. [@Springer]
  • ©2000 [PDF] Full Version.
2000
• Anytime, Anywhere. Modal Logics for Mobile Ambients. Luca Cardelli and Andrew D. Gordon.
  • ©2000 [PDF] Proceedings of the 27th ACM Symposium on Principles of Programming Languages, 2000. pp 365-377. [US.pdf]

Semistructured Data

2007
• Manipulating Trees with Hidden Labels. Luca Cardelli, Philippa Gardner, and Giorgio Ghelli.
  • ©2007 [PDF] L.Cardelli, M.Fiore, G.Winskel (Eds.) Computation, Meaning end Logic: Articles dedicated to Gordon Plotkin. ENTCS Electronic Notes in Theoretical Computer Science, Vol 172, 2007. pp. 177-201.
  • ©2006 [PDF] L.Cardelli, M.Fiore, G.Winskel (Eds.) Computation, Meaning end Logic: Articles dedicated to Gordon Plotkin. ENTCS Preliminary Proceedings, Edinburgh Sep 9, 2006. pp 129-253.
  • ©2004 [PDF] Full Version. Departmental Technical Report 2004/4, Imperial College London.
  • ©2003 [PDF] Andrew D. Gordon (Ed.) Foundations of Software Science and Computational Structures. 6th International Conference, FOSSACS 2003. Held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003. Warsaw, Poland, April 7-11, 2003. Proceedings. Lecture Notes in Computer Science 2620. Springer, 2003. ISBN 3-540-00897-7. pp 216-232. [@Springer]
2004
• Greedy Regular Expression Matching. Alain Frisch and Luca Cardelli.
  • ©2004 [PDF] Automata, Languages and Programming: 31st International Colloquium, ICALP 2004, Turku, Finland, July 12-16, 2004. Lecture Notes in Computer Science 3142. Springer 2004.ISBN 3-540-22849-7. pp. 618-629.
  • ©2004 [PDF] Plan-X'04 Workshop. (No formal proceedings.) 2004 Microsoft & Ecole Normale Superieure.
• TQL: A Query Language for Semistructured Data Based on the Ambient Logic. Luca Cardelli, Giorgio Ghelli.
  • ©2004 [PDF] Mathematical Structures in Computer Science. Vol 14. Cambridge University Press. 2004. pp 285-327.
  2001
• A Query Language Based on the Ambient Logic. Luca Cardelli, Giorgio Ghelli.
  • ©2001 [PS] [PDF] ESOP'01 Invited Paper. David Sands, Editor: 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. Lecture Notes in Computer Science 2028, Springer, 2001. ISBN 3-540-41862-8. pp. 1-22.
  • ©2001 [PS] Database-Oriented Version: Extended Abstract.
  • ©2001 [PS] Database-Oriented Version: Full Version.
• Describing Semistructured Data. Luca Cardelli.
  • ©2001 [PDF] Leonid Libkin (Column Ed.): SIGMOD Record, Vol 30, No 4, Dec 2001, Database Principles Column. [@ACM.pdf] [US.pdf]
  2000
• Semistructured Computation. Luca Cardelli.
  • ©2000 [PDF] Invited Paper. Richard C. H. Connor, Alberto O. Mendelzon (Eds.): 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. Lecture Notes in Computer Science 1949. Springer, 2000. ISBN 3-540-41481-9. pp. 1-16. [@Springer]

Process Calculi

2003
• Equational Properties of Mobile Ambients. Andrew D. Gordon and Luca Cardelli.
  • ©2003 [PS] [PDF] Mathematical Structures in Computer Science 13(3):371-408, June 2003.
  • ©1999 [PS] [PDF] Extended version. Microsoft Research Technical Report MSR-TR-99-11. 1999. [@Microsoft]
  • ©1999 [PS] [PDF] Wolfgang Thomas, Editor. Foundations of Software Science and Computational Structures, Second International Conference, FOSSACS'99. Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 1999. Proceedings. Lecture Notes in Computer Science, Vol. 1578. Springer, 1999. ISBN 3-540-65719-3. pp 212-226.
  2002
• Types for the Ambient Calculus. Luca Cardelli, Giorgio Ghelli, and Andrew D. Gordon.
  • ©2002 [PS] [PDF] Information and Computation, 177(2), 2002. pp. 160-194.
    (I&C Special issue on IFIP TCS 2000, where "Ambient Groups and Mobility Types" was published.)
  2000
• Mobility and Security. Luca Cardelli.
  • ©2000 [PDF] Lecture notes for Marktoberdorf Summer School 1999. (A summary of several Ambient Calculus papers.) Foundations of Secure Computation, Friedrich L. Bauer and Ralf Steinbrggen (Eds.), NATO Science Series, Proceedings of the NATO Advanced Study Institute on Foundations of Secure Computation, Marktoberdorf, Germany, 27 July - 8 August 1999. IOS Press, 2000. ISBN 1 58603 015 9. pp. 3-37. [US.pdf]
• Ambient Groups and Mobility Types. Luca Cardelli, Giorgio Ghelli, and Andrew D. Gordon.
  • ©2000 [PDF] [PS] Jan van Leeuwen, Osamu Watanabe, Masami Hagiya, Peter D. Mosses, Takayasu Ito (Eds.). Theoretical Computer Science; Exploring New Frontiers in Theoretical Informatics. International Conference IFIP TCS 2000, Sendai, Japan, August 2000, Proceedings. Lecture Notes in Computer Science, Vol. 1872, Springer, 2000. ISBN 3-540-67823-9. pp. 333-347.
• Mobile Ambients. Luca Cardelli and Andrew D. Gordon.
  • Abridged reprint. Formal Methods for Distributed Processing, A Survey of Object-Oriented Approaches, H. Bowman and J. Derrick Editors, Cambridge University Press, 2001. ISBN 0-521-77184-6. pp 198-229.
  • ©2000 [PDF] Theoretical Computer Science, Special Issue on Coordination, D. Le Mtayer Editor. Vol 240/1, June 2000. pp 177-213. [US.pdf]
  • ©1998 [PDF] Foundations of Software Science and Computational Structures, Maurice Nivat (Ed.), Lecture Notes in Computer Science, Vol. 1378, Springer, 1998. pp. 140-155. [@Springer] [US.pdf]
  • ©1998 [PS] Annex.
  • ©1997 [PS] Short summary (HOOTS'97)
  1999
• Wide Area Computation. Luca Cardelli.
  • ©1999 [PDF] ICALP'99 Invited Paper. (Short Version of Abstractions for Mobile Computation.) Jiri Wiedermann, Peter van Emde Boas, and Mogens Nielsen, Editors. Automata, Languagese and Programming, 26th International Colloquium, ICALP'99 Proceedings. Lecture Notes in Computer Science, Vol. 1644, Springer, 1999. ISBN 3-540-66224-3. pp. 10-24. [@Springer] [US.pdf]
• Foundations for Wide-Area Systems. Luca Cardelli.
  • ©1999 FMOODS'99 Tutorial Abstract. Paolo Ciancarini, Alessandro Fantechi and Roberto Gorrieri, Editors. Formal Methods for Open Object-Based Distributed Systems, IFIP TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), February 15-18, 1999, Florence, Italy. Kluwer Academic Publishers, 1999. ISBN 0-7923-8429-6. pp 349-349.
• Mobility Types for Mobile Ambients. Luca Cardelli, Giorgio Ghelli, and Andrew D. Gordon. 
  • ©1999 [PDF] [PS] Extended version. Microsoft Research Technical Report MSR-TR-99-32. 1999. [@Microsoft]
  • ©1999 [PDF] [PS] Jiri Wiedermann, Peter van Emde Boas, and Mogens Nielsen, Editors. Automata, Languagese and Programming, 26th International Colloquium, ICALP'99 Proceedings. Lecture Notes in Computer Science, Vol. 1644, Springer, 1999. ISBN 3-540-66224-3. pp. 230-239. [@Springer]
• Types for Mobile Ambients. Luca Cardelli and Andrew D. Gordon.
  • ©1999 [PDF] Proceedings of the 26th ACM Symposium on Principles of Programming Languages, 1999. pp 79-92. [US.pdf]
  • ©1998 [PDF] Ambient Décor (Abstract). In P.Degano, U.Vaccaro, G.Pirillo (Eds.): Sixth Italian Conference on Theoretical Computer Science, Prato Italy, November 9-11 1998, World Scientific, 1998.
• Abstractions for Mobile Computation. Luca Cardelli.
  • ©1999 [PDF] Jan Vitek and Christian Jensen, Editors. Secure Internet Programming: Security Issues for Mobile and Distributed Objects. Lecture Notes in Computer Science, Vol. 1603, Springer, 1999. ISBN 3-540-66130-1. pp. 51-94. [@Springer] [US.pdf]
  • ©1998 [PS] Microsoft Research Technical Report MSR-TR-98-34. 1998. [@Microsoft]
  1998
• Wide-Area Languages. (Abstract only) Luca Cardelli.
  • ©1998 [PDF] Kurt Rothermel and Fritz Hohl, Editors. Mobile Agents. Second International Workshop, MA '98, Stuttgart, Germany, September 1998, Proceedings. Lecture Notes in Computer Science, Vol. 1477, Springer, 1998. ISBN 3-540-64959-X. pp. 208.
  1982
• Real time agents. Luca Cardelli.
  • ©1982 [PDF] [PDF] Mogens Nielsen, Erik Meineche Schmidt (Eds.): Automata, Languages and Programming, 9th Colloquium, Aarhus, Denmark, July 12-16, 1982, Proceedings. Lecture Notes in Computer Science, Vol. 140, Springer, 1982, ISBN 3-540-11576-5. pp 94-106. [@Springer]
1980
• Analog processes. Luca Cardelli.
  • ©1980 [PDF] P. Dembinski (Ed.): Mathematical Foundations of Computer Science 1980 (MFCS'80), Proceedings of the 9th Symposium, Rydzyna, Poland, September 1-5, 1980. Lecture Notes in Computer Science, Vol. 88, Springer 1980, ISBN 3-540-10027-X. pp 181-193. [@Springer]

Objects

2003
• ECOOP 2003 - Object-Oriented Programming. (Book) Luca Cardelli (Ed.). 17th European Conference, Darmstadt, Germany, July 2003, Proceedings.
  • ©2003 Lecture Notes in Computer Science, Vol. 2743, Springer, 2003. ISBN 3-540-40531-3.
  1999
• Comparing Object Encodings. Kim B. Bruce, Luca Cardelli, and Benjamin C. Pierce.
  • ©1999 [PS] [PDF] Information and Computation.Vol. 155, No. 1/2, Dec 1999, pp. 108-133.
  • ©1997 [PDF] Preliminary version. Martín Abadi, Takayasu Ito (Eds.): Theoretical Aspects of Computer Software, Third International Symposium, TACS '97, Sendai, Japan, September 23-26, 1997, Proceedings. Lecture Notes in Computer Science, Vol. 1281, Springer, 1997, ISBN 3-540-63388-X. pp 415-438. [@Springer]
1996
• Bad engineering properties of object-oriented languages. (Position paper.) Luca Cardelli.
  • ©1996 [PDF] ACM Computing Surveys, 28(4es), Article 150. 1996. [html] [US.pdf] [@ACM]
• A theory of objects. (Book.) [Info] Martín Abadi and Luca Cardelli.
  • Springer, 1996.
• An interpretation of objects and object types. Martín Abadi, Luca Cardelli, Ramesh Viswanathan.
  • ©1996 [PDF] [PS] Conference Record of POPL'96: The 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Papers Presented at the Symposium, St. Petersburg Beach, Florida, 21-24 January 1996. ACM Press, New York, 1996, ISBN 0-89791-769-3. pp 396-409.
• On subtyping and matching. Martín Abadi and Luca Cardelli.
  • ©1996 [PDF] ACM Transactions on Programming Languages and Systems, 18(4):401-423, 1996. [US.pdf]
  • Preliminary version. Walter G. Olthoff (Ed.): ECOOP'95 - Object-Oriented Programming, 9th European Conference, Åarhus, Denmark, August 7-11, 1995, Proceedings. Lecture Notes in Computer Science, Vol. 952, Springer, 1995, ISBN 3-540-60160-0. pp 145-167. [@Springer]
• A theory of primitive objects: Untyped and first-order systems. Martín Abadi and Luca Cardelli.
  • ©1996 [PDF] Information and Computation, 125(2):78-102, March 1996. [US.pdf]
  • Preliminary version. Masami Hagiya, John C. Mitchell (Eds.): Theoretical Aspects of Computer Software, International Conference TACS '94, Sendai, Japan, April 19-22, 1994, Proceedings. Lecture Notes in Computer Science, Vol. 789, Springer, 1994, ISBN 3-540-57887-0. pp 296-320. [@Springer]
  1995
• On binary methods. Kim Bruce, Luca Cardelli, Giuseppe Castagna, The Hopkins Objects Group, Gary T. Leavens, Benjamin Pierce.
  • ©1995 [PS] Theory and Practice of Object Systems, 1(3):221-242, 1995. [US.ps]
• An imperative object calculus. Martín Abadi and Luca Cardelli.
  • ©1995 [PS] Theory and Practice of Object Systems, 1(3):151-166, 1995.
  • Preliminary version. Peter D. Mosses, Mogens Nielsen, Michael I. Schwartzbach: TAPSOFT'95: Theory and Practice of Software Development, 6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22-26, 1995. Lecture Notes in Computer Science, Vol. 915, Springer, 1995, ISBN 3-540-59293-8. pp 471-485. [@Springer]
• An imperative object calculus: Basic typing and soundness. Martín Abadi and Luca Cardelli.
  • ©1995 [PDF] SIPL '95 - Proceedings of the Second ACM SIGPLAN Workshop on State in Programming Languages. Technical Report UIUCDCS-R-95-1900, Department of Computer Science, University of Illinois at Urbana-Champaign, 1995. [US.pdf]
• A theory of primitive objects: Second-order systems. Martín Abadi and Luca Cardelli.
  • ©1995 [PDF] Science of Computer Programming, 25(2-3):81-116. December 1995. [US.pdf]
  • Preliminary version. Donald Sannella (Ed.): Programming Languages and Systems - ESOP'94, 5th European Symposium on Programming, Edinburgh, U.K., April 11-13, 1994, Proceedings. Lecture Notes in Computer Science, Vol. 788, Springer 1994, ISBN 3-540-57880-3. pp 1-25. [@Springer]
  1994
• A semantics of object types. Martín Abadi and Luca Cardelli.
  • ©1994 [PDF] Proceedings, Ninth Annual IEEE Symposium on Logic in Computer Science, Paris, France, July 1994. IEEE Computer Society Press, ISBN 0-8186-6310-3. pp 332-341. [US.pdf]

Types and Semantics

2007
• Computation Meaning and Logic: Articles dedicated to Gordon Plotkin. Luca Cardelli, Marcelo Fiore, Glynn Winskel (Eds.).
  • ©2007 ENTCS Electronic Notes in Theoretical Computer Science, Vol 172, 2007.
  2005
• Secrecy and Group Creation. Luca Cardelli, Giorgio Ghelli, Andrew D. Gordon.
  • ©2005 [PDF] Information and Computation. Volume 196, Issue 2, 29 January 2005, Pages 127-155. [@ScienceDirect]
  • ©2000 [PS] Full Version.
  • ©2000 [PS] Catuscia Palamidessi (Ed.). CONCUR 2000 - Concurrency Theory. 11th International Conference, University Park, PA, USA, August 2000, Proceedings. Lecture Notes in Computer Science, Vol. 1877, Springer, 2000. ISBN 3-540-67897-2. pp. 365-379.
  • ©2002 Abstract of Presentation. Ted Hurley , Mchel Mac an Airchinnigh , Michel Schellekens and Anthony SedaElectronic (Guest Editors). The First Irish Conference on the Mathematical Foundations of Computer Science and Information Technology (MFCSIT2000)
    Cork, Ireland, 20th and 21st July, 2000. Electronic Notes in Theoretical Computer Science, Vol 40. Elsevier Science, 2002. [@Elsevier]
  2004
• Type systems. Luca Cardelli.
  • ©2004 [PDF] Allen B. Tucker (Ed.): Computer Science Handbook, 2nd ed. Chapman & Hall/CRC Press, 2004. Chapter 97.
  • ©1997 [PDF] Allen B. Tucker (Ed.): The Computer Science and Engineering Handbook. CRC Press, 1997, ISBN: 0-8493-2909-4. Chapter 103, pp 2208-2236. [US.pdf]
  • ©1996 [PDF] Summary. ACM Computing Surveys, 28(1):263-264, 1996. [html] [US.pdf] [@ACM]
  1998
• POPL'98: The 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. (Proceedings) Luca Cardelli (Ed.).
  • ©1998 The Association for Computing Machinery, 1998. ACM ISBN 0-89791-979-3.
  1997
• Program fragments, linking, and modularization. Luca Cardelli.
  • ©1997 [PDF] Conference Record of POPL'97: The 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Papers Presented at the Symposium, Paris, France, 15-17 January 1997. ACM Press, New York, 1997, ISBN 0-89791-853-3. pp 266-277. [US.pdf]
  • ©1997 [PDF] SRC Research Report 144, Digital Equipment Corporation Systems Research Center. February 15, 1997.
  1995
• Dynamic typing in polymorphic languages. Martín Abadi, Luca Cardelli, Benjamin C. Pierce, and Didier Rémy.
  •  [Cartoon]
  • ©1995[PDF] [PS] (Same as SRC report) Journal of Functional Programming, 5(1):111-130, January 1995.
  • ©1994[PDF] [PS] SRC Research Report 120, Digital Equipment Corporation Systems Research Center. January 26, 1994.
  • ©1992[PDF] [PS] Preliminary version. Proceedings of the ACM SigPlan Workshop on ML and its Applications, June 1992.
  1994
• Subtyping and parametricity. Gordon D. Plotkin, Martín Abadi, and Luca Cardelli.
  • ©1994 [PS] [PDF] Proceedings, Ninth Annual IEEE Symposium on Logic in Computer Science, Paris, France, July 1994. IEEE Computer Society Press, ISBN 0-8186-6310-3. pp 310-319. [A4.ps]
• Extensible records in a pure calculus of subtyping. Luca Cardelli.
  • ©1994 [PDF] C.A. Gunter and J.C. Mitchell, Editors. Theoretical Aspects of Object-Oriented Programming. MIT Press, 1994. pp 373-425. [US.pdf]
  • ©1992 [PDF] SRC Research Report 81, Digital Equipment Corporation Systems Research Center, January 3, 1992.
• An extension of system F with subtyping. Luca Cardelli, John C. Mitchell, Simone Martini, and Andre Scedrov.
  • [Cartoon]
  • ©1994 [PDF] Information and Computation, 109(1/2):4-56, February 1994. [US.pdf]
  • ©1991 [PDF] Takayasu Ito, Albert R. Meyer (Eds.): Theoretical Aspects of Computer Software, International Conference TACS '91, Sendai, Japan, September 24-27, 1991, Proceedings. Lecture Notes in Computer Science, Vol. 526, Springer, 1991, ISBN 3-540-54415-1. pp 750-770. [@Springer]
  • ©1991,1993 [PDF] SRC Research Report 80, Digital Equipment Corporation Systems Research Center. December 30, 1991. Revised January 1, 1993
  1993
• Formal parametric polymorphism. Martín Abadi, Luca Cardelli, and Pierre-Louis Curien.
  • ©1993 [PDF] Theoretical Computer Science, 121(1-2):9-58: A Collection of Contributions in Honour of Corrado Boehm on the Occasion of his 70th Birthday, December 1993. [US.pdf]
  • ©1993 [PDF] Conference Record of the Twentieth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Charleston, South Carolina, January 1993. pp 157-170.
  • ©1993 [PDF] SRC Research Report 109, Digital Equipment Corporation Systems Research Center. July 15, 1993.
• An implementation of F<:. Luca Cardelli.
  • ©1997 [PDF] 1997 Revised Version.
  • ©1993 [PDF] SRC Research Report 97, Digital Equipment Corporation Systems Research Center, February 23, 1993.
• Subtyping recursive types. Roberto M. Amadio and Luca Cardelli.
  • [Cartoon]
  • ©1993 [PDF] ACM Transactions on Programming Languages and Systems, 15(4):575-631, 1993. [US.pdf]
  • ©1991 [PDF] Conference Record of the Eighteenth Annual ACM Symposium on Principles of Programming Languages, Orlando, Florida, January 1991. pp 104-118.
  • ©1990 [PDF] SRC Research Report 62, Digital Equipment Corporation Systems Research Center. August 14, 1990.
  1991
• A pure calculus of subtyping, and applications (outline). Luca Cardelli.
  • ©1991 [PDF] Paris C. Kanellakis, Joachim W. Schmidt (Eds.): Database Programming Languages: Bulk Types and Persistent Data. 3rd International Workshop, August 27-30, 1991, Nafplion, Greece, Proceedings. Morgan Kaufmann, San Mateo, CA, ISBN 1-55860-242-9. pp 185-187.
• A semantic basis for Quest. Luca Cardelli and Giuseppe Longo.
  • [Cartoon]
  • ©1991 [PDF] Journal of Functional Programming, 1(4):417-458, October 1991. [US.pdf]
  • ©1990 [PDF] Proceedings of ACM Conference on LISP and Functional Programming (1990).
  • ©1990 [PDF] [PDF] SRC Research Report 55, Digital Equipment Corporation Systems Research Center. February 14, 1990.
• Explicit substitutions. Martín Abadi, Luca Cardelli, Pierre-Louis Curien, and Jean-Jacques Lévy.
  • [Cartoon]
  • ©1991 [PDF] [PS] Journal of Functional Programming, 1(4):375-416, October 1991.
  • ©1990 [PDF] SRC Research Report 54, Digital Equipment Corporation Systems Research Center. February 6, 1990.
  • ©1990 [PDF] Conference Record of the Seventeenth Annual ACM Symposium on Principles of Programming Languages, San Francisco, California, January 1990. pp 31-46.
• Dynamic typing in a statically-typed language. Martín Abadi, Luca Cardelli, Benjamin C. Pierce, and Gordon D. Plotkin.
  • [Cartoon]
  • ©1991 [PS] ACM Transactions on Programming Languages and Systems, 13(2):237-268, April 1991.
  • Preliminary version. Conference Record of the Sixteenth Annual ACM Symposium on Principles of Programming Languages, Austin, Texas, January 1989. pp 213-227.
  • ©1989 [PS] SRC Research Report 47, Digital Equipment Corporation Systems Research Center. June 10, 1989.
  1990
• Abstract types and the dot notation. Luca Cardelli and Xavier Leroy.
  • [Cartoon]
  • ©1990 [PDF] Programming Concepts and Methods, IFIP State of the Art Reports. (TC2 Working Conference, Sea of Galilee, Israel, April 2-5 1990.) North Holland, 1990. pp 479-504.
  • ©1990 [PDF] SRC Research Report 56, Digital Equipment Corporation Systems Research Center. March 10, 1990.
• Operations on records. Luca Cardelli and John C. Mitchell.
  • [Cartoon]
  • ©1994 [PDF] Reprint. In Theoretical Aspects of Object-Oriented Programming, MIT Press, 1994. [US.pdf]
  • Mathematical Structures in Computer Science, 1(1):3-48, March 1991.
  • ©1990 [PDF] In Mathematical Foundations of Programming Semantics, 5th International Conference Proceedings,Tulane University, March/April 1989, Lecture Notes in Computer Science, Vol. 442, Springer, 1990.
  • ©1989 [PDF] SRC Research Report 48, Digital Equipment Corporation Systems Research Center. August 25, 1989.
  1988
• Types for data-oriented languages. Luca Cardelli.
  • ©1988 [PDF] [PDF] Joachim W. Schmidt, Stefano Ceri, Michele Missikoff (Eds.): Advances in Database Technology - EDBT'88. Proceedings of the International Conference on Extending Database Technology, Venice, Italy, March 14-18, 1988. Lecture Notes in Computer Science, Vol. 303, Springer, 1988, ISBN 3-540-19074-0 and 0-387-19074-0. pp 1-15. [@Springer] [US.pdf]
• Structural subtyping and the notion of power type. Luca Cardelli.
  • ©1988 [PDF] Conference Record of the Fifteenth Annual ACM Symposium on Principles of Programming Languages, San Diego, California, January 1988. pp 70-79. [US.pdf]
• Phase Distinctions in Type Theory. Luca Cardelli.
  • ©1988 [PDF] Unpublished. Jan 4, 1988. [US.pdf]
• Persistence and Type Abstraction. Luca Cardelli, David B. MacQueen.
  • ©1988 [PDF] Malcolm P. Atkinson, Peter Buneman, Ronald Morrison (Eds.): Data Types and Persistence. Edited Papers from the Proceedings of the First Workshop on Persistent Objects, Appin, Scotland, August 1985. Springer 1988, Topics in Information Systems, ISBN 3-540-18785-5. pp 31-41.
  • ©1985 [PDF] [JPG] Malcolm P. Atkinson, Peter Buneman, Ronald Morrison (Eds.): Persistence and Data Types, Papers for the Appin Workshop. Appin, Scotland, August 1985. University of Galsgow and University of St Andrews, Persistent Programming Research Report 16. 1985. pp 231-240.
• A semantics of multiple inheritance. Luca Cardelli.
  • Reprint. Stanley B. Zdonik and David Maier, Readings in Object Oriented Database Systems, Morgan Kaufmann Publishers Inc. 1990. ISBN 1-55860-000-0. pp 59-83.
  • ©1988 [PDF] Information and Computation, 76(2/3): 138-164, February 1988. [US.pdf]
  • ©1984 [PDF] [PDF] G. Kahn, D.B. MacQueen and G. Plotkin Eds. Semantics of Data Types, International Symposium, Sophia-Antipolis, France, June 1984, Proceedings. Lecture Notes in Computer Science, Vol. 173, Springer-Verlag, 1984, ISBN 3-540-13346-1. pp 51-67. [@Springer]
  • [PDF] Draft: "Computing with Taxonomies".
  1987
• Basic polymorphic typechecking. Luca Cardelli. 
  • ©1987 [PDF] Science of Computer Programming, 8(2): 147-172, 1987. (With Modula-2 code) [US.pdf]
  • Reprint. Polymorphism, The ML/LCF/Hope Newsletter, Vol II, Number 1, January 1985.
  • ©1984 [PDF] Technical Report TR-112, AT&T Bell Laboratories, September 1984. (With ML code)
  • Technical Memorandum TM 11271-840705-07, AT&T Bell Laboratories, July 1984.
  1986
• Typechecking dependent types and subtypes. Luca Cardelli.
  • ©1986 [PDF] [PDF] In Proceedings of the Workshop on Foundations of Logic and Functional Programming, Lecture Notes in Computer Science, Vol. 306, pp 45-57. Springer-Verlag, December 1986. [@Springer]
• A polymorphic lambda-calculus with Type:Type. Luca Cardelli.
  • ©1986 [PDF] SRC Research Report 10, Digital Equipment Corporation Systems Research Center, May 1, 1986. [US.pdf]
  1985
• On understanding types, data abstraction, and polymorphism. Luca Cardelli and Peter Wegner.
  • ©1985 [PDF] Computing Surveys, 17(4):471-522, 1985. [US.pdf]
  1978
• Una teoria dei linguaggi applicativi. Luca Cardelli.
  • ©1978 [PDF] "Tesi di Laurea" Abstract in English, University of Pisa, July 1978.
  • ©1978 [PDF] "Tesi di Laurea", University of Pisa, July 1978.

Language Design and Implementation

2020
• Digital Social Contracts: A Foundation for an Egalitarian and Just Digital Society. Luca Cardelli, Gal Shahaf, Ehud Shapiro, Nimrod Talmon.
  • ©2020 arXiv 2020-05-13.
2004
• Modern Concurrency Abstractions for C#. Nick Benton, Luca Cardelli, Cedric Fournet.
  • ©2004 [PDF] ACM Transactions on Programming Languages and Systems (TOPLAS) 26(5), September 2004. pp.269-804.
  • ©2002 [PDF] Boris Magnusson, Editor: ECOOP 2002 - Object-Oriented Programming, 16th European Conference, Malaga, Spain, June 10-14 2002, Proceedings. Lecture Notes in Computer Science 2374, Springer, 2002. ISBN 3-540-43759-2. pp. 415-440.
  • ©2001 [PS] FOOL9.
  1999
• Principles and a Preliminary Design for ML2000. The ML2000 Working Group.
  • ©1999 [PS] Draft. 1999.
• Internet Programming Languages. Henri E. Bal, Boumediene Belkhouche, and Luca Cardelli, Editors.
  • ©1999 [PDF] Preface and Table of Contents.
  • [Full Articles] Lecture Notes in Computer Science, Vol. 1686, Springer, 1999. ISBN 3-540-66673-7. [@Springer]  
• Service Combinators for Web Computing. Luca Cardelli and Rowan Davies.
  • ©1999[PDF] [PS] IEEE Transactions on Software Engineering, Vol 25, No 3, May-June 1999. pp 309-316.
  • Preliminary version. Proc. of the First Usenix Conference on Domain Specific Languages, Santa Barbara, California, October 15-17, 1997.
  • ©1997 [PDF] SRC Research Report 148, Digital Equipment Corporation Systems Research Center. June 1, 1997.
  1997
• Mobile Ambient Synchronization. Luca Cardelli.
  • ©1997 [PDF] SRC Technical Note 1997-013, Digital Equipment Corporation Systems Research Center. July 1997. [US.pdf]
• Mobile Computation. Luca Cardelli.  
  • ©1997 [PDF] Book Intro. J. Vitek and C. Tschudin Editors. Mobile Object Systems - Towards the Programmable Internet. Lecture Notes in Computer Science, Vol. 1222, Springer, 1997. pp 3-6. [@Springer] [html] [US.pdf]
• Migratory Applications. Krishna Bharat and Luca Cardelli.  
  • ©1997 [PDF] J. Vitek and C. Tschudin Editors. Mobile Object Systems - Towards the Programmable Internet. Lecture Notes in Computer Science, Vol. 1222, Springer, 1997. pp 131-148. [@Springer] [US.pdf]
  • ©1996 [PDF] SRC Research Report 138, Digital Equipment Corporation Systems Research Center. February 15, 1996.
  • Preliminary version. ACM Symposium on User Interface Software and Technology '95, Pittsburgh, PA, November 1995. pp 133-142.
  • ©1995 [JPG] [WMV] Videotape Demo, prepared for User Interface Software and Technology '95.
  1996
• Global computation. (Position paper.) Luca Cardelli.
  • Reprint. ACM Sigplan Notices, 32(1):66-68, 1997.
  • ©1996 [PDF] ACM Computing Surveys, 28(4es), Article 163. 1996. [@ACM] [html] [US.pdf]
  1995
• Distributed applications in a multimedia setting. Krishna Bharat and Luca Cardelli.
  • ©1995 [PDF] Proceedings of the First International Workshop on Hypermedia Design (IWHD'95), Montpellier, France, 1-2 June 1995. pp 185-192. [US.pdf]
• A language with distributed scope. Luca Cardelli.
  • ©1995 [PDF] Computing Systems, 8(1):27-59, January 1995. [US.pdf]
  • ©1995 [PDF] Preliminary version. Conference Record of POPL'95: 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Francisco, California, January 23-25, 1995. ACM Press, New York, 1995, ISBN 0-89791-692-1. pp 286-297.
• Mobile Computation (Position Paper). Luca Cardelli.
  • ©1995 [PDF] Stanford Workshop.
  1994
• Obliq: A language with distributed scope. Luca Cardelli.
  • [Cartoon]
  • ©1994 [PDF] SRC Research Report 122, Digital Equipment Corporation Systems Research Center, June 3, 1994. [US.pdf]
• Extensible syntax with lexical scoping. Luca Cardelli, Florian Matthes, and Martín Abadi.
  • ©1994 [PDF] SRC Research Report 121, Digital Equipment Corporation Systems Research Center, February 21, 1994.
• Extensible grammars for language specialization. Luca Cardelli, Florian Matthes, and Martín Abadi.
  • ©1994 [PDF] Catriel Beeri, Atsushi Ohori, Dennis Shasha(Eds.): 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. Workshops in Computing, Springer 1994, ISBN 3-540-19853-9. pp 11-31.
  1991
• [Modula-3] Language definition. Luca Cardelli, James Donahue, Lucille Glassman, Mick Jordan, Bill Kalsow, and Greg Nelson.
  • Greg Nelson, Ed., System Programming with Modula-3. Prentice Hall, ISBN 0-13-590464-1.1991. Chapter 2, pp 11-66.
  1989
• Modula-3 report (revised). Luca Cardelli, James Donahue, Lucille Glassman, Mick Jordan, Bill Kalsow, and Greg Nelson.
  • ©1989 [PDF] SRC Research Report 52, Digital Equipment Corporation Systems Research Center, November 1, 1989. (This report has been superseded by the Modula-3 book.).
• Typeful programming. Luca Cardelli.
  • [Cartoon]
  • ©1989 [PDF] E. J. Neuhold and M. Paul, Editors. Formal Description of Programming Concepts, IFIP State of the Art Reports Series. Springer-Verlag, February 1989. [US.pdf]
  • ©1989 [PDF] SRC Research Report 45, Digital Equipment Corporation Systems Research Center. May 24, 1989.
• The Modula-3 Type System. Luca Cardelli, James Donahue, Mick Jordan, Bill Kalsow, and Greg Nelson. 
  • ©1989 [PDF] Conference Record of the Sixteenth Annual ACM Symposium on Principles of Programming Languages, Austin, Texas, January 1989. pp 202-212. [US.pdf]
  1988
• Modula-3 report. Luca Cardelli, James Donahue, Lucille Glassman, Mick Jordan, Bill Kalsow, and Greg Nelson.
  • SRC Research Report 31, Digital Equipment Corporation Systems Research Center, August 24, 1988. (This report has been superseded by SRC Research Report 52, and then by the Modula-3 book.).
  1986
• Amber. Luca Cardelli.
  • ©1986 [PDF] [PDF] In Guy Cousineau, Pierre-Louis Curien, and Bernard Robinet, editors, Combinators and Functional Programming Languages, Lecture Notes in Computer Science, Vol. 242, pp 21-70. Springer-Verlag, 1986. [@Springer] [US.pdf]
  • Technical Memorandum TM-11271-841024-10, AT&T Bell Laboratories, September 1984.
• The amber machine. Luca Cardelli.
  • ©1986 [PDF] [PDF] In Guy Cousineau, Pierre-Louis Curien, and Bernard Robinet, editors, Combinators and Functional Programming Languages, Lecture Notes in Computer Science, Vol. 242, pp 21-70. Springer-Verlag, 1986. [@Springer] [US.pdf]
  • Technical Report TR-119, AT&T Bell Laboratories, June 1985.
  • Technical Memorandum TM-11271-840924-10, AT&T Bell Laboratories, September 1984.
  1985
• Squeak: a language for communicating with mice. Luca Cardelli and Rob Pike.
  • ©1985 [PDF] Proc. Twelfth ACM Annual Conference on Computer Graphics and Interactive Techniques (SIGGRAPH), 1985.
• Galileo: a strongly typed, interactive, conceptual language. Antonio Albano, Luca Cardelli, and Renzo Orsini.
  • ©1985 [PDF] ACM Transactions on Database Systems (TODS), 10(2):230-260, 1985.
• An implementation model of rendezvous communication. Luca Cardelli.
  • ©1985 [PDF][PDF] S.D. Brookes, A.W. Roscoe and G. Winskel. Seminar on Concurrency, Carnegie-Mellon University, Pittsburgh, PA, July 1984. Lecture Notes in Computer Science, Vol. 197, Springer-Verlag, 1985, ISBN 3-540-15670-4. pp 449-457. [@Springer] [US.pdf]
  • Technical Memorandum TM-11271-841101-13, AT&T Bell Laboratories, 1984.
  1984
• Compiling a functional language. Luca Cardelli.
  • ©1984 [PDF] Proc. ACM Symposium on Lisp and Functional Programming, 1984. [US.pdf]
  1983
• Stream Input/Output. Luca Cardelli.
  • ©1983 [PDF] Polymorphism, The ML/LCF/Hope Newsletters, Vol I, Number 3, December 1983.
• ML under Unix. Luca Cardelli.
  • ©1982 [PDF] [PDF] [PDF] ML under VMS manual, Edinburgh, 1982.
  • ©1983 [PDF] ML Introduction and Examples. Undated.
  • ©1983 [PDF] Pre-Standard ML under Unix, August 1983.
  • ©1983 [PDF] Pose 0.
  • ©1983 [PDF] Pose 1.
  • ©1983 [PDF] Pose 2.
  • ©1983 [PDF] Pose 3, November 1983. See also: Polymorphism, The ML/LCF/Hope Newsletters, Vol I, Number 3, December 1983.
  • ©1984 [PDF] [PDF] Pose 4, April 1984.
• The Functional Abstract Machine. Luca Cardelli.
  • Reprint. Polymorphism, the ML/LCF/Hope Newsletter, Vol I, Number 1, 1983.
  • ©1983 [PDF] Technical Report TR-107, AT&T Bell Laboratories, April 1983.
  • Technical Memorandum TM-83-11271-1, Bell Laboratories, March 10, 1983.
  1982
• Polymorphism - The ML/LCF/Hope Newsletter. Luca Cardelli, David MacQueen (Eds.)
  • ©1982-1985 I.0 [PDF], I.1 [PDF], I.2 [PDF], I.3 [PDF], II.1 [PDF], II.2 [PDF].
• Two-dimensional syntax for functional languages. Luca Cardelli.
  • ©1982 [PDF] Pierpaolo Degano and Erik Sandewall, editors, Integrated Interactive Computing Systems. Proceedings of the European Conference on Integrated Interactive Computing Systems, ECICS 82, Stresa, Italy, 1-3 September, 1982. North Holland, ISBN 0-444-86595-0, 1983. pp 139-151.
  • ©1982 [PDF] Internal Report CSR-115-82, University of Edinburgh, Department of Computer Science, May 1982.
• An Algebaic Approach to Hardware Description and Verification. Luca Cardelli.
  • ©1982 [PDF] PhD Thesis, University of Edinburgh, Department of Computer Science, April 1, 1982.
1981
• An algebraic approach to VLSI design. Luca Cardelli and Gordon D. Plotkin.
  • ©1981 [PDF] John P. Gray Editor, VLSI 81, Very Large Scale Integration, Proceedings of the first International Conference on Very Large Scale Integration, University of Edinburgh, August 18-21, 1981. Academic Press, ISBN 0-12-296860-3. pp 173-182.
• Sticks&Stones: An Applicative VLSI Design Language. Luca Cardelli.
  • ©1981 [PDF]Internal Report CSR-85-81, University of Edinburgh, Department of Computer Science, July 1981.
1978
• Multiprocessing implementation of a high-level machine language. Luca Cardelli, Gianfranco Prini, and Marco Vanneschi.
  • ©1978 [PDF] Rivista di Informatica, Vol VIII, n. 4, October-December 1978.
1977
• A multiprocessor interpreter for a high-level machine language. Luca Cardelli, Dario Citterico, Maurizio Greco, Gianfranco Prini, and Marco Vanneschi.
  • ©1977 [PDF] Universita' degli studi di Pisa, Istituto di Scienze dell'Informazione, Note scientifiche S-77-10, March 1977.

User Interfaces

1988
• Building user interfaces by direct manipulation. Luca Cardelli.
  • ©1988 [PDF] Proceedings of the ACM SIGGRAPH Symposium on User Interface Software, Banff, Alberta, Canada, October 17-19, 1988. ACM Press, ISBN 0-89791-283-7. pp 152-166.
  • ©1987 [PDF] SRC Research Report 22, Digital Equipment Corporation Systems Research Center, October 2, 1987.
  • ©1987  [JPG] [WMV] Videotape Demo, Digital Equipment Corporation Systems Research Center, July, 1987.
  • ©1987 [PDF] VBT Toolkit.
  1985
• Crabs: the bitmap terror. Luca Cardelli.
  • ©1985 [PDF] Technical Memorandum TM 11271-850701-10, AT&T Bell Laboratories. 1985.
  • [PDF] History and Screen Dumps.
  • Also featured in: A.K.Dewdney. At Bell Labs work is play and terminal diseases are benign. Computer Recreations, Scientific American, Sept. 1985, 18-24.

• Genetic Networks in BioSpi. L.Cardelli (2004) [A4.pdf]
  • Coding genetic gates in Stochastic pi-Calculus.
• A Commitment Relation for the Ambient Calculus. L.Cardelli, Andrew D. Gordon (2000) [A4.pdf]
  • A labeled-transition version of the Ambient Calculus semantics.
• Mobile Ambient Synchronization. L.Cardelli (1997) [US.pdf] [A4.pdf]
  • The Ambit algorithm for shared-memory synchronization.
• Subtyping Recursive Types Algorithm. L.Cardelli (1984-1993) [.txt]
  • The Amber algorithm for subtyping recursive types, simplified and coded in Modula-3.
• Types for the Scott Numerals. M.Abadi, L.Cardelli, G.Plotkin (1993) [US.ps] [US.pdf]
  • Using recursive types and universal quatifiers to type the Scott Numerals.
• Methods in Structures. L.Cardelli (1993) [US.ps] [US.pdf]
  • How to add methods to the Harper-Lillibridge translucent structures.
• The Quest Language and System. L.Cardelli (1991)) [US.ps] [US.pdf]
  • The Quest manual.
• Notes on FOmegaSub. L.Cardelli (1990) [US.ps] [US.pdf]
  • A formalization of a higher-order system with subtyping. It treats PowerKinds, pointwise subtyping of operators, and monotonic and antimonotonic operators. A proof that the pairing operator is monotonic is included.
  • Slides version (1991): [pdf]
  • Reformatted version (1994): [US.ps] [US.pdf]