Alessandra Di Pierro

Orcid: 0000-0003-4173-7941

Affiliations:
  • University of Verona, Italy
  • University of Pisa, Italy (former)


According to our database1, Alessandra Di Pierro authored at least 75 papers between 1991 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Higher-Order Topological Kernels via Quantum Computation.
Proceedings of the IEEE International Conference on Quantum Computing and Engineering, 2023

2022
Computing graph edit distance on quantum devices.
Quantum Mach. Intell., 2022

The Quantum Path Kernel: a Generalized Quantum Neural Tangent Kernel for Deep Quantum Machine Learning.
CoRR, 2022

Structure Learning of Quantum Embeddings.
CoRR, 2022

2021
Facial expression recognition on a quantum computer.
Quantum Mach. Intell., 2021

Benchmarking Small-Scale Quantum Devices on Computing Graph Edit Distance.
CoRR, 2021

Quantum Machine Learning and Fraud Detection.
Proceedings of the Protocols, Strands, and Logic, 2021

2020
Persistent homology analysis of multiqubit entanglement.
Quantum Inf. Comput., 2020

A Type Theory for Probabilistic λ-calculus.
Proceedings of the From Lambda Calculus to Cybersecurity Through Program Analysis, 2020

2019
Kernel methods in Quantum Machine Learning.
Quantum Mach. Intell., 2019

2018
Biclustering with a quantum annealer.
Soft Comput., 2018

Homological analysis of multi-qubit entanglement.
CoRR, 2018

2017
Hamming Distance Kernelisation via Topological Quantum Computation.
Proceedings of the Theory and Practice of Natural Computing - 6th International Conference, 2017

A Probabilistic Semantics for the Pure \lambda -Calculus.
Proceedings of the Theoretical Aspects of Computing - ICTAC 2017, 2017

2016
A Quantum Annealing Approach to Biclustering.
Proceedings of the Theory and Practice of Natural Computing - 5th International Conference, 2016

Probabilistic Abstract Interpretation: From Trace Semantics to DTMC's and Linear Regression.
Proceedings of the Semantics, Logics, and Calculi, 2016

2014
A Calculus of Anyons.
Proceedings of the Logic, Language, Information, and Computation, 2014

2013
Probabilistic data flow analysis: a linear equational approach.
Proceedings of the Proceedings Fourth International Symposium on Games, 2013

Probabilistic Analysis of Programs: A Weak Limit Approach.
Proceedings of the Foundational and Practical Aspects of Resource Analysis, 2013

Semantics of Probabilistic Programs: A Weak Limit Approach.
Proceedings of the Programming Languages and Systems - 11th Asian Symposium, 2013

2012
Editorial: Quantitative Aspects of Programming Languages.
Theor. Comput. Sci., 2012

2011
Probabilistic timing covert channels: to close or not to close?
Int. J. Inf. Sec., 2011

2010
Program Analysis Probably Counts.
Comput. J., 2010

Probabilistic Semantics and Program Analysis.
Proceedings of the Formal Methods for Quantitative Aspects of Programming Languages, 2010

2009
Preface.
Proceedings of Seventh Workshop on Quantitative Aspects of Programming Languages, 2009

2008
Estimating the maximum information leakage.
Int. J. Inf. Sec., 2008

Relational Analysis and Precision via Probabilistic Abstract Interpretation.
Proceedings of the Sixth Workshop on Quantitative Aspects of Programming Languages, 2008

Quantifying Timing Leaks and Cost Optimisation.
Proceedings of the Information and Communications Security, 10th International Conference, 2008

2007
Preface: Quantitative aspects of programming languages.
Theor. Comput. Sci., 2007

Tempus fugit: How to plug it.
J. Log. Algebraic Methods Program., 2007

On Probabilistic Techniques for Data Flow Analysis.
Proceedings of the Fifth Workshop on Quantitative Aspects of Programming Languages, 2007

A Systematic Approach to Probabilistic Pointer Analysis.
Proceedings of the Programming Languages and Systems, 5th Asian Symposium, 2007

2006
Semantic Abstraction and Quantum Computation.
Proceedings of the 4th International Workshop on Quantum Programming Languages, 2006

Abstract Interpretation for Worst and Average Case Analysis.
Proceedings of the Program Analysis and Compilation, 2006

2005
Measuring the confinement of probabilistic systems.
Theor. Comput. Sci., 2005

Preface.
Theor. Comput. Sci., 2005

Probabilistic /lambda-calculus and Quantitative Program Analysis.
J. Log. Comput., 2005

Quantitative static analysis of distributed systems.
J. Funct. Program., 2005

On Reversible Combinatory Logic.
Proceedings of the First International Workshop on Developments in Computational Models, 2005

On a Probabilistic Chemical Abstract Machine and the Expressiveness of Linda Languages.
Proceedings of the Formal Methods for Components and Objects, 4th International Symposium, 2005

2004
Approximate Non-interference.
J. Comput. Secur., 2004

Operator Algebras and the Operational Semantics of Probabilistic Languages.
Proceedings of the Third Irish Conference on the Mathematical Foundations of Computer Science and Information Technology, 2004

Continuous-Time Probabilistic KLAIM.
Proceedings of the 2nd International Workshop on Security Issues in Coordination Models, 2004

On Quantitative Analysis of Probabilistic Protocols.
Proceedings of the Second Workshop on Quantitative Aspects of Programming Languages, 2004

Probabilistic Linda-Based Coordination Languages.
Proceedings of the Formal Methods for Components and Objects, 2004

Probabilistic KLAIM.
Proceedings of the Coordination Models and Languages, 6th International Conference, 2004

2003
A Quantitative Approach to Noninterference for Probabilistic Systems.
Proceedings of the Formal Methods for Security and Time: Proceedings of the MEFISTO Project 2003, 2003

Quantitative Relations and Approximate Process Equivalences.
Proceedings of the CONCUR 2003, 2003

2002
Probabilistic Constraint Handling Rules.
Proceedings of the 11th International Workshop on Functional and (Constraint) Logic Programming, 2002

Analysing Approximate Confinement under Uniform Attacks.
Proceedings of the Static Analysis, 9th International Symposium, 2002

Probabilistic Abstract Interpretation and Statistical Testing.
Proceedings of the Process Algebra and Probabilistic Methods, 2002

Two Formal Approaches for Approximating Noninterference Properties.
Proceedings of the Foundations of Security Analysis and Design II, 2002

2001
Preface.
Proceedings of the Workshop on Quantitative Aspects of Programming Laguages, 2001

Linear Embedding for a Quantitative Comparison of Language Expressiveness.
Proceedings of the Workshop on Quantitative Aspects of Programming Laguages, 2001

Probabilistic confinement in a declarative framework.
Proceedings of the Declarative Programming, 2001

Quantum constraint programming.
Proceedings of the APPIA-GULP-PRODE 2001: Joint Conference on Declarative Programming, 2001

2000
Linear Structures for Concurrency in Probabilistic Programming Languages.
Proceedings of the First Irish Conference on the Mathematical Foundations of Computer Science and Information Technology, 2000

Concurrent constraint programming: towards probabilistic abstract interpretation.
Proceedings of the 2nd international ACM SIGPLAN conference on on Principles and practice of declarative programming, 2000

Measuring the Precision of Abstract Interpretations.
Proceedings of the Logic Based Program Synthesis and Transformation, 2000

On the precision of abstract interpretations.
Proceedings of the Extended Abstracts of the 10th International Workshop on Logic-based Program Synthesis and Transformation, 2000

1999
Quantitative Observables and Averages in Probabilistic Constraint Programming.
Proceedings of the New Trends in Contraints, 1999

1998
Probabilistic Concurrent Constraint Programming: Towards a Fully Abstract Model.
Proceedings of the Mathematical Foundations of Computer Science 1998, 1998

Implementing Randomised Algorithms in Constraint Logic Programming.
Proceedings of the 1998 Joint International Conference and Symposium on Logic Programming, 1998

An Operational Semantics for Probabilistic Concurrent Constraint Programming.
Proceedings of the 1998 International Conference on Computer Languages, 1998

A Banach Space Based Semantics for Probabilistic Concurrent Constraint Programming.
Proceedings of Computing: The Fourth Australasian Theory Symposium (CATS'98), 1998

A Markov Model for Probabilistic Concurrent Constraint Programming.
Proceedings of the 1998 Joint Conference on Declarative Programming, 1998

1997
An Algebraic Perspective of Constraint Logic Programming.
J. Log. Comput., 1997

On Probabilistic CCP.
Proceedings of the 1997 Joint Conf. on Declarative Programming, 1997

1996
On Negation As Instantiation.
Proceedings of the Algebraic and Logic Programming, 5th International Conference, 1996

On Quantified Negatives Queries.
Proceedings of the 1996 Joint Conf. on Declarative Programming, 1996

1995
Negation as Instantiation
Inf. Comput., August, 1995

Nondeterminism and Infinite Computations in Constraint Programming.
Theor. Comput. Sci., 1995

1994
A Logical Denotational Semantics for Constraint Logic Programming.
Proceedings of the Programming Languages and Systems, 1994

1993
Amalgamating NAF with NAI.
Proceedings of the 8th Italian Conference on Logic Programming, 1993

1991
Negation as Instantitation: A New Rule for the Treatment of Negation in Logic Programming.
Proceedings of the Logic Programming, 1991


  Loading...