| 2024 | ISoLA | Language Equivalence from Nondeterministic to Weighted Automata - and Back. | Michele Boreale, Luisa Collodi |
| 2024 | VMCAI | Guaranteed Inference for Probabilistic Programs: A Parallelisable, Small-Step Operational Approach. | Michele Boreale, Luisa Collodi |
| 2023 | VMCAI | Bayesian Parameter Estimation with Guarantees via Interval Analysis and Simulation. | Michele Boreale, Luisa Collodi |
| 2021 | CONCUR | Algebra and Coalgebra of Stream Products. | Michele Boreale, Daniele Gorla |
| 2019 | MFCS | On the Coalgebra of Partial Differential Equations. | Michele Boreale |
| 2018 | SOFSEM | Complete Algorithms for Algebraic Strongest Postconditions and Weakest Preconditions in Polynomial ODE'S. | Michele Boreale |
| 2017 | FOSSACS | Algebra, Coalgebra, and Minimization in Polynomial Differential Equations. | Michele Boreale |
| 2015 | ICALP | Analysis of Probabilistic Systems via Generating Functions and Pad Approximation. | Michele Boreale |
| 2014 | FORTE | Quantitative Information Flow under Generic Leakage Functions and Adaptive Adversaries. | Michele Boreale, Francesca Pampaloni |
| 2013 | SOFSEM | Asymptotic Risk Analysis for Trust and Reputation Systems. | Michele Boreale, Alessandro Celestini |
| 2011 | ESORICS | Quantitative Information Flow, with a View. | Michele Boreale, Francesca Pampaloni, Michela Paolini |
| 2011 | FORTE | Linear-Time and May-Testing in a Probabilistic Reactive Setting. | Lucia Acciai, Michele Boreale, Rocco De Nicola |
| 2011 | FOSSACS | Asymptotic Information Leakage under One-Try Attacks. | Michele Boreale, Francesca Pampaloni, Michela Paolini |
| 2010 | Coordination | Behavioural Contracts with Request-Response Operations. | Lucia Acciai, Michele Boreale, Gianluigi Zavattaro |
| 2010 | FOSSACS | On the Relationship between Spatial Logics and Behavioral Simulations. | Lucia Acciai, Michele Boreale, Gianluigi Zavattaro |
| 2009 | CONCUR | Weighted Bisimulation in Linear Algebraic Form. | Michele Boreale |
| 2009 | ICALP | Deciding Safety Properties in Infinite-State Pi-Calculus via Behavioural Types. | Lucia Acciai, Michele Boreale |
| 2008 | CONCUR | Spatial and Behavioral Types in the Pi-Calculus. | Lucia Acciai, Michele Boreale |
| 2007 | ESOP | A Concurrent Calculus with Atomic Transactions. | Lucia Acciai, Michele Boreale, Silvano Dal-Zilio |
| 2006 | FDTC | Attacking Right-to-Left Modular Exponentiation with Timely Random Faults. | Michele Boreale |
| 2006 | ICALP | Quantifying Information Leakage in Process Calculi. | Michele Boreale |
| 2004 | APLAS | D-Fusion: A Distinctive Fusion Calculus. | Michele Boreale, Maria Grazia Buscemi, Ugo Montanari |
| 2003 | MFCS | Symbolic Analysis of Crypto-Protocols Based on Modular Exponentiation. | Michele Boreale, Maria Grazia Buscemi |
| 2003 | MFCS | Denotational Testing Semantics in Coinductive Form. | Michele Boreale, Fabio Gadducci |
| 2002 | CONCUR | A Framework for the Analysis of Security Protocols. | Michele Boreale, Maria Grazia Buscemi |
| 2002 | FOSSACS | On Compositional Reasoning in the Spi-calculus. | Michele Boreale, Daniele Gorla |
| 2002 | SAC | Experimenting with STA, a tool for automatic analysis of security protocols. | Michele Boreale, Maria Grazia Buscemi |
| 2001 | ICALP | Symbolic Trace Analysis of Cryptographic Protocols. | Michele Boreale |
| 2000 | FORTE | Process Algebraic Analysis of Cryptographic Protocols. | Michele Boreale, Rocco De Nicola, Rosario Pugliese |
| 1999 | FOSSACS | A Theory of "May" Testing for Asynchronous Languages. | Michele Boreale, Rocco De Nicola, Rosario Pugliese |
| 1999 | LICS | Proof Techniques for Cryptographic Processes. | Michele Boreale, Rocco De Nicola, Rosario Pugliese |
| 1998 | FOSSACS | Asynchronous Observations of Processes. | Michele Boreale, Rocco De Nicola, Rosario Pugliese |
| 1998 | LICS | Bisimulation in Name-Passing Calculi without Matching. | Michele Boreale, Davide Sangiorgi |
| 1997 | ICALP | Basic Observables for Processes. | Michele Boreale, Rocco De Nicola, Rosario Pugliese |
| 1996 | CONCUR | On the Expressiveness of Internal Mobility in Name-Passing Calculi. | Michele Boreale |
| 1996 | MFCS | Bisimilarity Problems Requiring Exponential Time. | Michele Boreale, Luca Trevisan |
| 1995 | STACS | A Fully Abstract Semantics for Causality in the Pi-Calculus. | Michele Boreale, Davide Sangiorgi |
| 1994 | CONCUR | A Symbolic Semantics for the pi-calculus (Extended Abstract). | Michele Boreale, Rocco De Nicola |
| 1992 | CONCUR | Testing Equivalence for Mobile Processes (Extended Abstract). | Michele Boreale, Rocco De Nicola |