| 2025 | VMCAI | A Static Analysis of Entanglement. | Nicola Assolini, Alessandra Di Pierro, Isabella Mastroeni |
| 2024 | SAS | Static Analysis of Quantum Programs. | Nicola Assolini, Alessandra Di Pierro, Isabella Mastroeni |
| 2023 | QCE | Higher-Order Topological Kernels via Quantum Computation. | Massimiliano Incudini, Francesco Martini, Alessandra Di Pierro |
| 2017 | ICTAC | A Probabilistic Semantics for the Pure \lambda -Calculus. | Alessandra Di Pierro |
| 2014 | WoLLIC | A Calculus of Anyons. | Alessandra Di Pierro, Federica Panarotto |
| 2013 | APLAS | Semantics of Probabilistic Programs: A Weak Limit Approach. | Alessandra Di Pierro, Herbert Wiklicky |
| 2008 | ICICS | Quantifying Timing Leaks and Cost Optimisation. | Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky |
| 2007 | APLAS | A Systematic Approach to Probabilistic Pointer Analysis. | Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky |
| 2004 | Coordination | Probabilistic KLAIM. | Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky |
| 2003 | CONCUR | Quantitative Relations and Approximate Process Equivalences. | Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky |
| 2002 | SAS | Analysing Approximate Confinement under Uniform Attacks. | Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky |
| 2000 | LOPSTR | On the precision of abstract interpretations. | Alessandra Di Pierro, Herbert Wiklicky |
| 2000 | LOPSTR | Measuring the Precision of Abstract Interpretations. | Alessandra Di Pierro, Herbert Wiklicky |
| 2000 | PPDP | Concurrent constraint programming: towards probabilistic abstract interpretation. | Alessandra Di Pierro, Herbert Wiklicky |
| 1998 | ICLP | Implementing Randomised Algorithms in Constraint Logic Programming. | Nicos Angelopoulos, Alessandra Di Pierro, Herbert Wiklicky |
| 1998 | MFCS | Probabilistic Concurrent Constraint Programming: Towards a Fully Abstract Model. | Alessandra Di Pierro, Herbert Wiklicky |
| 1994 | ESOP | A Logical Denotational Semantics for Constraint Logic Programming. | Alessandra Di Pierro, Catuscia Palamidessi |
| 1991 | ICLP | Negation as Instantitation: A New Rule for the Treatment of Negation in Logic Programming. | Alessandra Di Pierro, Maurizio Martelli, Catuscia Palamidessi |