Alessandra Di Pierro

Publication Activity (10 Years)

Years Active: 1991-2023
Publications (10 Years): 19

Top Topics

Quantum Computation

Expression Recognition

Machine Learning

Fraud Detection

Top Venues

Quantum Mach. Intell.

Semantics, Logics, and Calculi

Publications

Massimiliano Incudini, Francesco Martini, Alessandra Di Pierro
Higher-Order Topological Kernels via Quantum Computation. QCE (2023)
Massimiliano Incudini, Francesco Martini, Alessandra Di Pierro
Higher-order topological kernels via quantum computation. CoRR (2023)
Massimiliano Incudini, Fabio Tarocco, Riccardo Mengoni, Alessandra Di Pierro, Antonio Mandarino
Computing graph edit distance on quantum devices. Quantum Mach. Intell. 4 (2) (2022)
Massimiliano Incudini, Francesco Martini, Alessandra Di Pierro
Structure Learning of Quantum Embeddings. CoRR (2022)
Massimiliano Incudini, Michele Grossi, Antonio Mandarino, Sofia Vallecorsa, Alessandra Di Pierro, David Windridge
The Quantum Path Kernel: a Generalized Quantum Neural Tangent Kernel for Deep Quantum Machine Learning. CoRR (2022)
Riccardo Mengoni, Massimiliano Incudini, Alessandra Di Pierro
Facial expression recognition on a quantum computer. Quantum Mach. Intell. 3 (1) (2021)
Alessandra Di Pierro, Massimiliano Incudini
Quantum Machine Learning and Fraud Detection. Protocols, Strands, and Logic (2021)
Riccardo Mengoni, Massimiliano Incudini, Alessandra Di Pierro
Facial Expression Recognition on a Quantum Computer. CoRR (2021)
Massimiliano Incudini, Fabio Tarocco, Riccardo Mengoni, Alessandra Di Pierro, Antonio Mandarino
Benchmarking Small-Scale Quantum Devices on Computing Graph Edit Distance. CoRR (2021)
Riccardo Mengoni, Alessandra Di Pierro, Laleh Memarzadeh, Stefano Mancini
Persistent homology analysis of multiqubit entanglement. Quantum Inf. Comput. 20 (5&6) (2020)
Alessandra Di Pierro
A Type Theory for Probabilistic λ-calculus. From Lambda Calculus to Cybersecurity Through Program Analysis (2020)
Riccardo Mengoni, Alessandra Di Pierro, Laleh Memarzadeh, Stefano Mancini
Persistent homology analysis of multiqubit entanglement. CoRR (2019)
Riccardo Mengoni, Alessandra Di Pierro
Kernel methods in Quantum Machine Learning. Quantum Mach. Intell. 1 (3-4) (2019)
Lorenzo Bottarelli, Manuele Bicego, Matteo Denitto, Alessandra Di Pierro, Alessandro Farinelli, Riccardo Mengoni
Biclustering with a quantum annealer. Soft Comput. 22 (18) (2018)
Alessandra Di Pierro, Stefano Mancini, Laleh Memarzadeh, Riccardo Mengoni
Homological analysis of multi-qubit entanglement. CoRR (2018)
Alessandra Di Pierro
A Probabilistic Semantics for the Pure \lambda -Calculus. ICTAC (2017)
Alessandra Di Pierro, Riccardo Mengoni, Rajagopal Nagarajan, David Windridge
Hamming Distance Kernelisation via Topological Quantum Computation. TPNC (2017)
Alessandra Di Pierro, Herbert Wiklicky
Probabilistic Abstract Interpretation: From Trace Semantics to DTMC's and Linear Regression. Semantics, Logics, and Calculi (2016)
Lorenzo Bottarelli, Manuele Bicego, Matteo Denitto, Alessandra Di Pierro, Alessandro Farinelli
A Quantum Annealing Approach to Biclustering. TPNC (2016)
Alessandra Di Pierro, Federica Panarotto
A Calculus of Anyons. WoLLIC (2014)
Alessandra Di Pierro, Herbert Wiklicky
Semantics of Probabilistic Programs: A Weak Limit Approach. APLAS (2013)
Alessandra Di Pierro, Herbert Wiklicky
Probabilistic Analysis of Programs: A Weak Limit Approach. FOPARA (2013)
Alessandra Di Pierro, Herbert Wiklicky
Probabilistic data flow analysis: a linear equational approach. GandALF (2013)
Alessandra Di Pierro, Gethin Norman
Editorial: Quantitative Aspects of Programming Languages. Theor. Comput. Sci. 413 (1) (2012)
Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
Probabilistic timing covert channels: to close or not to close? Int. J. Inf. Sec. 10 (2) (2011)
Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
Probabilistic Semantics and Program Analysis. SFM (2010)
Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
Program Analysis Probably Counts. Comput. J. 53 (6) (2010)
Christel Baier, Alessandra Di Pierro
Preface. Electron. Notes Theor. Comput. Sci. 253 (3) (2009)
Alessandro Aldini, Alessandra Di Pierro
Estimating the maximum information leakage. Int. J. Inf. Sec. 7 (3) (2008)
Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
Quantifying Timing Leaks and Cost Optimisation CoRR (2008)
Alessandra Di Pierro, Pascal Sotin, Herbert Wiklicky
Relational Analysis and Precision via Probabilistic Abstract Interpretation. Electron. Notes Theor. Comput. Sci. 220 (3) (2008)
Alessandra Di Pierro, Herbert Wiklicky
Semantic Abstraction and Quantum Computation. Electron. Notes Theor. Comput. Sci. 210 (2008)
Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
Quantifying Timing Leaks and Cost Optimisation. ICICS (2008)
Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
A Systematic Approach to Probabilistic Pointer Analysis. APLAS (2007)
Alessandra Di Pierro, Chris Hankin, Igor Siveroni, Herbert Wiklicky
Tempus fugit: How to plug it. J. Log. Algebraic Methods Program. 72 (2) (2007)
Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
On Probabilistic Techniques for Data Flow Analysis. Electron. Notes Theor. Comput. Sci. 190 (3) (2007)
Alessandra Di Pierro, Herbert Wiklicky
Preface: Quantitative aspects of programming languages. Theor. Comput. Sci. 382 (1) (2007)
Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
On Reversible Combinatory Logic. Electron. Notes Theor. Comput. Sci. 135 (3) (2006)
Alessandra Di Pierro, Herbert Wiklicky
Operator Algebras and the Operational Semantics of Probabilistic Languages. Electron. Notes Theor. Comput. Sci. 161 (2006)
Alessandra Di Pierro, Herbert Wiklicky
Preface. Electron. Notes Theor. Comput. Sci. 164 (3) (2006)
Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
Abstract Interpretation for Worst and Average Case Analysis. Program Analysis and Compilation (2006)
Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
Reversible combinatory logic. Math. Struct. Comput. Sci. 16 (4) (2006)
Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
On a Probabilistic Chemical Abstract Machine and the Expressiveness of Linda Languages. FMCO (2005)
Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
Continuous-Time Probabilistic KLAIM. Electron. Notes Theor. Comput. Sci. 128 (5) (2005)
Antonio Cerone, Alessandra Di Pierro
Preface. Electron. Notes Theor. Comput. Sci. 112 (2005)
Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
Measuring the confinement of probabilistic systems. Theor. Comput. Sci. 340 (1) (2005)
Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
Probabilistic /lambda-calculus and Quantitative Program Analysis. J. Log. Comput. 15 (2) (2005)
Alessandro Aldini, Alessandra Di Pierro
On Quantitative Analysis of Probabilistic Protocols. Electron. Notes Theor. Comput. Sci. 112 (2005)
Antonio Cerone, Alessandra Di Pierro
Preface. Theor. Comput. Sci. 346 (1) (2005)
Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
Quantitative static analysis of distributed systems. J. Funct. Program. 15 (5) (2005)
Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
Probabilistic KLAIM. COORDINATION (2004)
Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
Probabilistic Linda-Based Coordination Languages. FMCO (2004)
Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
Approximate Non-interference. J. Comput. Secur. 12 (1) (2004)
Alessandro Aldini, Alessandra Di Pierro
A Quantitative Approach to Noninterference for Probabilistic Systems. Electron. Notes Theor. Comput. Sci. 99 (2004)
Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
Quantitative Relations and Approximate Process Equivalences. CONCUR (2003)
Thom W. Frühwirth, Alessandra Di Pierro, Herbert Wiklicky
Probabilistic Constraint Handling Rules. Electron. Notes Theor. Comput. Sci. 76 (2002)
Alessandra Di Pierro, Herbert Wiklicky
Probabilistic Abstract Interpretation and Statistical Testing. PAPM-PROBMIV (2002)
Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
Approximate Non-Interference. CSFW (2002)
Alessandro Aldini, Mario Bravetti, Alessandra Di Pierro, Roberto Gorrieri, Chris Hankin, Herbert Wiklicky
Two Formal Approaches for Approximating Noninterference Properties. FOSAD (2002)
Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
Analysing Approximate Confinement under Uniform Attacks. SAS (2002)
Alessandra Di Pierro, Herbert Wiklicky
Quantum constraint programming. APPIA-GULP-PRODE (2001)
Alessandra Di Pierro, Herbert Wiklicky
Preface. Electron. Notes Theor. Comput. Sci. 59 (3) (2001)
Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
Probabilistic confinement in a declarative framework. APPIA-GULP-PRODE 48 (2001)
Antonio Brogi, Alessandra Di Pierro, Herbert Wiklicky
Linear Embedding for a Quantitative Comparison of Language Expressiveness. Electron. Notes Theor. Comput. Sci. 59 (3) (2001)
Alessandra Di Pierro, Herbert Wiklicky
Concurrent constraint programming: towards probabilistic abstract interpretation. PPDP (2000)
Alessandra Di Pierro, Herbert Wiklicky
Measuring the Precision of Abstract Interpretations. LOPSTR (LNCS 2042: Selected Papers) (2000)
Alessandra Di Pierro, Herbert Wiklicky
Linear Structures for Concurrency in Probabilistic Programming Languages. Electron. Notes Theor. Comput. Sci. 40 (2000)
Alessandra Di Pierro, Herbert Wiklicky
On the precision of abstract interpretations. LOPSTR (2000)
Alessandra Di Pierro, Herbert Wiklicky
Quantitative Observables and Averages in Probabilistic Constraint Programming. New Trends in Constraints (1999)
Alessandra Di Pierro, Herbert Wiklicky
A Banach Space Based Semantics for Probabilistic Concurrent Constraint Programming. CATS (1998)
Alessandra Di Pierro, Herbert Wiklicky
An Operational Semantics for Probabilistic Concurrent Constraint Programming. ICCL (1998)
Alessandra Di Pierro, Herbert Wiklicky
Probabilistic Concurrent Constraint Programming: Towards a Fully Abstract Model. MFCS (1998)
Nicos Angelopoulos, Alessandra Di Pierro, Herbert Wiklicky
Implementing Randomised Algorithms in Constraint Logic Programming. IJCSLP (1998)
Alessandra Di Pierro, Herbert Wiklicky
A Markov Model for Probabilistic Concurrent Constraint Programming. APPIA-GULP-PRODE (1998)
Alessandra Di Pierro, Herbert Wiklicky
On Probabilistic CCP. APPIA-GULP-PRODE (1997)
Frank S. de Boer, Alessandra Di Pierro, Catuscia Palamidessi
An Algebraic Perspective of Constraint Logic Programming. J. Log. Comput. 7 (1) (1997)
Alessandra Di Pierro, Wlodzimierz Drabent
On Negation As Instantiation. ALP (1996)
Alessandra Di Pierro, Wlodzimierz Drabent
On Quantified Negatives Queries. APPIA-GULP-PRODE (1996)
Alessandra Di Pierro, Maurizio Martelli, Catuscia Palamidessi
Negation as Instantiation Inf. Comput. 120 (2) (1995)
Frank S. de Boer, Alessandra Di Pierro, Catuscia Palamidessi
Nondeterminism and Infinite Computations in Constraint Programming. Theor. Comput. Sci. 151 (1) (1995)
Alessandra Di Pierro, Catuscia Palamidessi
A Logical Denotational Semantics for Constraint Logic Programming. ESOP (1994)
Alessandra Di Pierro
Amalgamating NAF with NAI. GULP (1993)
Alessandra Di Pierro, Maurizio Martelli, Catuscia Palamidessi
Negation as Instantitation: A New Rule for the Treatment of Negation in Logic Programming. ICLP (1991)