Negation as Instantitation: A New Rule for the Treatment of Negation in Logic Programming. - Alessandra Di Pierro; Maurizio Martelli; Catuscia Palamidessi (ICLP, 1991)

Amalgamating NAF with NAI. - Alessandra Di Pierro (GULP, 1993)

A Logical Denotational Semantics for Constraint Logic Programming. - Alessandra Di Pierro; Catuscia Palamidessi (ESOP, 1994)

Nondeterminism and Infinite Computations in Constraint Programming. - Frank S. de Boer; Alessandra Di Pierro; Catuscia Palamidessi (Theor. Comput. Sci., 1995)

Negation as Instantiation - Alessandra Di Pierro; Maurizio Martelli; Catuscia Palamidessi (Inf. Comput., 1995)

On Quantified Negatives Queries. - Alessandra Di Pierro; Wlodzimierz Drabent (APPIA-GULP-PRODE, 1996)

On Negation As Instantiation. - Alessandra Di Pierro; Wlodzimierz Drabent (ALP, 1996)

On Probabilistic CCP. - Alessandra Di Pierro; Herbert Wiklicky (APPIA-GULP-PRODE, 1997)

An Algebraic Perspective of Constraint Logic Programming. - Frank S. de Boer; Alessandra Di Pierro; Catuscia Palamidessi (J. Log. Comput., 1997)

A Markov Model for Probabilistic Concurrent Constraint Programming. - Alessandra Di Pierro; Herbert Wiklicky (APPIA-GULP-PRODE, 1998)

A Banach Space Based Semantics for Probabilistic Concurrent Constraint Programming. - Alessandra Di Pierro; Herbert Wiklicky (CATS, 1998)

An Operational Semantics for Probabilistic Concurrent Constraint Programming. - Alessandra Di Pierro; Herbert Wiklicky (ICCL, 1998)

Implementing Randomised Algorithms in Constraint Logic Programming. - Nicos Angelopoulos; Alessandra Di Pierro; Herbert Wiklicky (IJCSLP, 1998)

Probabilistic Concurrent Constraint Programming: Towards a Fully Abstract Model. - Alessandra Di Pierro; Herbert Wiklicky (MFCS, 1998)

Quantitative Observables and Averages in Probabilistic Constraint Programming. - Alessandra Di Pierro; Herbert Wiklicky (New Trends in Constraints, 1999)

On the precision of abstract interpretations. - Alessandra Di Pierro; Herbert Wiklicky (LOPSTR, 2000)

Measuring the Precision of Abstract Interpretations. - Alessandra Di Pierro; Herbert Wiklicky (LOPSTR (LNCS 2042: Selected Papers), 2000)

Concurrent constraint programming: towards probabilistic abstract interpretation. - Alessandra Di Pierro; Herbert Wiklicky (PPDP, 2000)

Linear Structures for Concurrency in Probabilistic Programming Languages. - Alessandra Di Pierro; Herbert Wiklicky (MFCSIT, 2000)

Quantum constraint programming. - Alessandra Di Pierro; Herbert Wiklicky (APPIA-GULP-PRODE, 2001)

Probabilistic confinement in a declarative framework. - Alessandra Di Pierro; Chris Hankin; Herbert Wiklicky (APPIA-GULP-PRODE, 2001)

Linear Embedding for a Quantitative Comparison of Language Expressiveness. - Antonio Brogi; Alessandra Di Pierro; Herbert Wiklicky (QAPL, 2001)

Preface. - Alessandra Di Pierro; Herbert Wiklicky (QAPL, 2001)

Two Formal Approaches for Approximating Noninterference Properties. - Alessandro Aldini; Mario Bravetti; Alessandra Di Pierro; Roberto Gorrieri; Chris Hankin; Herbert Wiklicky (FOSAD, 2002)

Probabilistic Abstract Interpretation and Statistical Testing. - Alessandra Di Pierro; Herbert Wiklicky (PAPM-PROBMIV, 2002)

Analysing Approximate Confinement under Uniform Attacks. - Alessandra Di Pierro; Chris Hankin; Herbert Wiklicky (SAS, 2002)

Probabilistic Constraint Handling Rules. - Thom W. Frühwirth; Alessandra Di Pierro; Herbert Wiklicky (WFLP, 2002)

Quantitative Relations and Approximate Process Equivalences. - Alessandra Di Pierro; Chris Hankin; Herbert Wiklicky (CONCUR, 2003)

A Quantitative Approach to Noninterference for Probabilistic Systems. - Alessandro Aldini; Alessandra Di Pierro (MEFISTO, 2003)

Probabilistic KLAIM. - Alessandra Di Pierro; Chris Hankin; Herbert Wiklicky (COORDINATION, 2004)

Probabilistic Linda-Based Coordination Languages. - Alessandra Di Pierro; Chris Hankin; Herbert Wiklicky (FMCO, 2004)

On Quantitative Analysis of Probabilistic Protocols. - Alessandro Aldini; Alessandra Di Pierro (QAPL, 2004)

Continuous-Time Probabilistic KLAIM. - Alessandra Di Pierro; Chris Hankin; Herbert Wiklicky (SecCo, 2004)

Operator Algebras and the Operational Semantics of Probabilistic Languages. - Alessandra Di Pierro; Herbert Wiklicky (MFCSIT, 2004)

Approximate Non-interference. - Alessandra Di Pierro; Chris Hankin; Herbert Wiklicky (J. Comput. Secur., 2004)

On a Probabilistic Chemical Abstract Machine and the Expressiveness of Linda Languages. - Alessandra Di Pierro; Chris Hankin; Herbert Wiklicky (FMCO, 2005)

On Reversible Combinatory Logic. - Alessandra Di Pierro; Chris Hankin; Herbert Wiklicky (DCM@ICALP, 2005)

Quantitative static analysis of distributed systems. - Alessandra Di Pierro; Chris Hankin; Herbert Wiklicky (J. Funct. Program., 2005)

Probabilistic /lambda-calculus and Quantitative Program Analysis. - Alessandra Di Pierro; Chris Hankin; Herbert Wiklicky (J. Log. Comput., 2005)

Preface. - Antonio Cerone; Alessandra Di Pierro (Theor. Comput. Sci., 2005)

Measuring the confinement of probabilistic systems. - Alessandra Di Pierro; Chris Hankin; Herbert Wiklicky (Theor. Comput. Sci., 2005)

Abstract Interpretation for Worst and Average Case Analysis. - Alessandra Di Pierro; Chris Hankin; Herbert Wiklicky (Program Analysis and Compilation, 2006)

Semantic Abstraction and Quantum Computation. - Alessandra Di Pierro; Herbert Wiklicky (QPL, 2006)

A Systematic Approach to Probabilistic Pointer Analysis. - Alessandra Di Pierro; Chris Hankin; Herbert Wiklicky (APLAS, 2007)

On Probabilistic Techniques for Data Flow Analysis. - Alessandra Di Pierro; Chris Hankin; Herbert Wiklicky (QAPL, 2007)

Tempus fugit: How to plug it. - Alessandra Di Pierro; Chris Hankin; Igor Siveroni; Herbert Wiklicky (J. Log. Algebraic Methods Program., 2007)

Preface: Quantitative aspects of programming languages. - Alessandra Di Pierro; Herbert Wiklicky (Theor. Comput. Sci., 2007)

Quantifying Timing Leaks and Cost Optimisation. - Alessandra Di Pierro; Chris Hankin; Herbert Wiklicky (ICICS, 2008)

Relational Analysis and Precision via Probabilistic Abstract Interpretation. - Alessandra Di Pierro; Pascal Sotin; Herbert Wiklicky (QAPL, 2008)

Estimating the maximum information leakage. - Alessandro Aldini; Alessandra Di Pierro (Int. J. Inf. Sec., 2008)

Preface. - Christel Baier; Alessandra Di Pierro (QAPL, 2009)

Probabilistic Semantics and Program Analysis. - Alessandra Di Pierro; Chris Hankin; Herbert Wiklicky (SFM, 2010)

Program Analysis Probably Counts. - Alessandra Di Pierro; Chris Hankin; Herbert Wiklicky (Comput. J., 2010)

Probabilistic timing covert channels: to close or not to close? - Alessandra Di Pierro; Chris Hankin; Herbert Wiklicky (Int. J. Inf. Sec., 2011)

Editorial: Quantitative Aspects of Programming Languages. - Alessandra Di Pierro; Gethin Norman (Theor. Comput. Sci., 2012)

Semantics of Probabilistic Programs: A Weak Limit Approach. - Alessandra Di Pierro; Herbert Wiklicky (APLAS, 2013)

Probabilistic Analysis of Programs: A Weak Limit Approach. - Alessandra Di Pierro; Herbert Wiklicky (FOPARA, 2013)

Probabilistic data flow analysis: a linear equational approach. - Alessandra Di Pierro; Herbert Wiklicky (GandALF, 2013)

A Calculus of Anyons. - Alessandra Di Pierro; Federica Panarotto (WoLLIC, 2014)

Probabilistic Abstract Interpretation: From Trace Semantics to DTMC's and Linear Regression. - Alessandra Di Pierro; Herbert Wiklicky (Semantics, Logics, and Calculi, 2016)

A Quantum Annealing Approach to Biclustering. - Lorenzo Bottarelli; Manuele Bicego; Matteo Denitto; Alessandra Di Pierro; Alessandro Farinelli (TPNC, 2016)

A Probabilistic Semantics for the Pure lambda -Calculus. - Alessandra Di Pierro (ICTAC, 2017)

Hamming Distance Kernelisation via Topological Quantum Computation. - Alessandra Di Pierro; Riccardo Mengoni; Rajagopal Nagarajan; David Windridge (TPNC, 2017)

Homological analysis of multi-qubit entanglement. - Alessandra Di Pierro; Stefano Mancini; Laleh Memarzadeh; Riccardo Mengoni (CoRR, 2018)

Biclustering with a quantum annealer. - Lorenzo Bottarelli; Manuele Bicego; Matteo Denitto; Alessandra Di Pierro; Alessandro Farinelli; Riccardo Mengoni (Soft Comput., 2018)

Kernel methods in Quantum Machine Learning. - Riccardo Mengoni; Alessandra Di Pierro (Quantum Mach. Intell., 2019)

A Type Theory for Probabilistic λ-calculus. - Alessandra Di Pierro (From Lambda Calculus to Cybersecurity Through Program Analysis, 2020)

Persistent homology analysis of multiqubit entanglement. - Riccardo Mengoni; Alessandra Di Pierro; Laleh Memarzadeh; Stefano Mancini (Quantum Inf. Comput., 2020)

Quantum Machine Learning and Fraud Detection. - Alessandra Di Pierro; Massimiliano Incudini (Protocols, Strands, and Logic, 2021)

Benchmarking Small-Scale Quantum Devices on Computing Graph Edit Distance. - Massimiliano Incudini; Fabio Tarocco; Riccardo Mengoni; Alessandra Di Pierro; Antonio Mandarino (CoRR, 2021)

Facial expression recognition on a quantum computer. - Riccardo Mengoni; Massimiliano Incudini; Alessandra Di Pierro (Quantum Mach. Intell., 2021)

Structure Learning of Quantum Embeddings. - Massimiliano Incudini; Francesco Martini; Alessandra Di Pierro (CoRR, 2022)

The Quantum Path Kernel: a Generalized Quantum Neural Tangent Kernel for Deep Quantum Machine Learning. - Massimiliano Incudini; Michele Grossi; Antonio Mandarino; Sofia Vallecorsa; Alessandra Di Pierro; David Windridge (CoRR, 2022)

Computing graph edit distance on quantum devices. - Massimiliano Incudini; Fabio Tarocco; Riccardo Mengoni; Alessandra Di Pierro; Antonio Mandarino (Quantum Mach. Intell., 2022)

Higher-Order Topological Kernels via Quantum Computation. - Massimiliano Incudini; Francesco Martini; Alessandra Di Pierro (QCE, 2023)

Abstracting Entanglement. - Nicola Assolini; Alessandra Di Pierro; Isabella Mastroeni (NSAD@SAS, 2024)

Static Analysis of Quantum Programs. - Nicola Assolini; Alessandra Di Pierro; Isabella Mastroeni (SAS, 2024)

A Static Analysis of Entanglement. - Nicola Assolini; Alessandra Di Pierro; Isabella Mastroeni (VMCAI (2), 2025)

A Denotational Semantics for Quantum Loops. - Nicola Assolini; Alessandra Di Pierro (CoRR, 2025)

Formal Verification of Variational Quantum Circuits. - Nicola Assolini; Luca Marzari; Isabella Mastroeni; Alessandra Di Pierro (CoRR, 2025)