| 2025 | ATVA | Evaluation, Reduction, and Approximation of Dynamical Systems and Networks with ERODE. | Luca Cardelli, Giuseppe Squillace, Mirco Tribastone, Max Tschaikowski, Andrea Vandin |
| 2020 | AISTATS | Adversarial Robustness Guarantees for Classification with Gaussian Processes. | Arno Blaas, Andrea Patane, Luca Laurenti, Luca Cardelli, Marta Kwiatkowska, Stephen J. Roberts |
| 2020 | ICRA | Uncertainty Quantification with Statistical Guarantees in End-to-End Autonomous Driving Control. | Rhiannon Michelmore, Matthew Wicker, Luca Laurenti, Luca Cardelli, Yarin Gal, Marta Kwiatkowska |
| 2019 | AAAI | Robustness Guarantees for Bayesian Inference with Gaussian Processes. | Luca Cardelli, Marta Kwiatkowska, Luca Laurenti, Andrea Patane |
| 2019 | IJCAI | Statistical Guarantees for the Robustness of Bayesian Neural Networks. | Luca Cardelli, Marta Kwiatkowska, Luca Laurenti, Nicola Paoletti, Andrea Patane, Matthew Wicker |
| 2017 | CAV | Syntax-Guided Optimal Synthesis for Chemical Reaction Networks. | Luca Cardelli, Milan Ceska, Martin Frnzle, Marta Z. Kwiatkowska, Luca Laurenti, Nicola Paoletti, Max Whitby |
| 2017 | TACAS | ERODE: A Tool for the Evaluation and Reduction of Ordinary Differential Equations. | Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin |
| 2016 | DNA | Programming Discrete Distributions with Chemical Reaction Networks. | Luca Cardelli, Marta Kwiatkowska, Luca Laurenti |
| 2016 | DNA | Chemical Reaction Network Designs for Asynchronous Logic Circuits. | Luca Cardelli, Marta Kwiatkowska, Max Whitby |
| 2016 | LICS | Comparing Chemical Reaction Networks: A Categorical and Algorithmic Perspective. | Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin |
| 2016 | POPL | Symbolic computation of differential equivalences. | Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin |
| 2016 | TACAS | Efficient Syntax-Driven Lumping of Differential Equations. | Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin |
| 2015 | CONCUR | Forward and Backward Bisimulations for Chemical Reaction Networks. | Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin |
| 2015 | DNA | Automated Design and Verification of Localized DNA Computation Circuits. | Michael A. Boemo, Andrew J. Turberfield, Luca Cardelli |
| 2013 | ICTAC | Stochastic Pi-calculus Revisited. | Luca Cardelli, Radu Mardare |
| 2011 | CSL | Continuous Markovian Logic - From Complete Axiomatization to the Metric Space of Formulas. | Luca Cardelli, Kim G. Larsen, Radu Mardare |
| 2011 | ICALP | Modular Markovian Logic. | Luca Cardelli, Kim G. Larsen, Radu Mardare |
| 2010 | CiE | Processes in Space. | Luca Cardelli, Philippa Gardner |
| 2010 | UC | Algebras and Languages for Molecular Programming. | Luca Cardelli |
| 2009 | DNA | Strand Algebras for DNA Computing. | Luca Cardelli |
| 2008 | CONCUR | Termination Problems in Chemical Kinetics. | Gianluigi Zavattaro, Luca Cardelli |
| 2008 | CSL | Molecules as Automata. | Luca Cardelli |
| 2007 | ECOOP | An Accidental Simula User. | Luca Cardelli |
| 2005 | CONCUR | A Compositional Approach to the Stochastic Dynamics of Gene Networks. | Luca Cardelli |
| 2005 | ICSE | Transitions in programming models: 2. | Luca Cardelli |
| 2004 | ICALP | Greedy Regular Expression Matching. | Alain Frisch, Luca Cardelli |
| 2003 | FOSSACS | Manipulating Trees with Hidden Labels. | Luca Cardelli, Philippa Gardner, Giorgio Ghelli |
| 2002 | CONCUR | A Spatial Logic for Concurrency (Part II). | Lus Caires, Luca Cardelli |
| 2002 | ECOOP | Modern Concurrency Abstractions for C | Nick Benton, Luca Cardelli, Cdric Fournet |
| 2002 | ICALP | A Spatial Logic for Querying Graphs. | Luca Cardelli, Philippa Gardner, Giorgio Ghelli |
| 2001 | ESOP | A Query Language Based on the Ambient Logic. | Luca Cardelli, Giorgio Ghelli |
| 2001 | ICDT | Logics for Mobility. | Luca Cardelli |
| 2000 | CONCUR | Secrecy and Group Creation. | Luca Cardelli, Giorgio Ghelli, Andrew D. Gordon |
| 2000 | POPL | Anytime, Anywhere: Modal Logics for Mobile Ambients. | Luca Cardelli, Andrew D. Gordon |
| 1999 | FOSSACS | Equational Properties of Mobile Ambients. | Andrew D. Gordon, Luca Cardelli |
| 1999 | ICALP | Wide Area Computation. | Luca Cardelli |
| 1999 | ICALP | Mobility Types for Mobile Ambients. | Luca Cardelli, Andrew D. Gordon, Giorgio Ghelli |
| 1999 | POPL | Types for Mobile Ambients. | Luca Cardelli, Andrew D. Gordon |
| 1998 | FOSSACS | Mobile Ambients. | Luca Cardelli, Andrew D. Gordon |
| 1997 | POPL | Program Fragments, Linking, and Modularization. | Luca Cardelli |
| 1996 | POPL | An Interpretation of Objects and Object Types. | Martn Abadi, Luca Cardelli, Ramesh Viswanathan |
| 1995 | ECOOP | On Subtyping and Matching. | Martn Abadi, Luca Cardelli |
| 1995 | POPL | A Language with Distributed Scope. | Luca Cardelli |
| 1995 | UIST | Migratory Applications. | Krishna Bharat, Luca Cardelli |
| 1994 | ESOP | A Theory of Primitive Objects - Scond-Order Systems. | Martn Abadi, Luca Cardelli |
| 1994 | LICS | A Semantics of Object Types | Martn Abadi, Luca Cardelli |
| 1994 | LICS | Subtyping and Parametricity | Gordon D. Plotkin, Martn Abadi, Luca Cardelli |
| 1993 | POPL | Formal Parametric Polymorphism. | Martn Abadi, Luca Cardelli, Pierre-Louis Curien |
| 1991 | POPL | Subtyping Recursive Types. | Roberto M. Amadio, Luca Cardelli |
| 1990 | POPL | Explicit Substitutions. | Martn Abadi, Luca Cardelli, Pierre-Louis Curien, Jean-Jacques Lvy |
| 1989 | MFPS | Operations on Records. | Luca Cardelli, John C. Mitchell |
| 1989 | POPL | Dynamic Typing in a Statically-Typed Language. | Martn Abadi, Luca Cardelli, Benjamin C. Pierce, Gordon D. Plotkin |
| 1989 | POPL | The Modula-3 Type System. | Luca Cardelli, James E. Donahue, Mick J. Jordan, Bill Kalsow, Greg Nelson |
| 1988 | EDBT | Types for Data-Oriented Languages. | Luca Cardelli |
| 1988 | POPL | Structural Subtyping and the Notion of Power Type. | Luca Cardelli |
| 1988 | UIST | Building User Interfaces by Direct Manipulation. | Luca Cardelli |
| 1985 | SIGGRAPH | Squeak: a language for communicating with mice. | Luca Cardelli, Rob Pike |
| 1984 | CONCUR | An Implementation Model of Rendezvous Communication. | Luca Cardelli |
| 1982 | ICALP | Real Time Agents. | Luca Cardelli |
| 1980 | MFCS | Analog Processes. | Luca Cardelli |