Alessandra Di Pierro

Francesco Martini

Proceedings of the IEEE International Conference on Quantum Computing and Engineering, 2023

2022

Computing graph edit distance on quantum devices.

[BibT_eX]

[DOI]

Quantum Mach. Intell., 2022

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

[BibT_eX]

[DOI]

CoRR, 2022

Structure Learning of Quantum Embeddings.

[BibT_eX]

[DOI]

Francesco Martini

CoRR, 2022

2021

Facial expression recognition on a quantum computer.

[BibT_eX]

[DOI]

Riccardo Mengoni

Quantum Mach. Intell., 2021

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

[BibT_eX]

[DOI]

CoRR, 2021

Quantum Machine Learning and Fraud Detection.

[BibT_eX]

[DOI]

Proceedings of the Protocols, Strands, and Logic, 2021

2020

Persistent homology analysis of multiqubit entanglement.

[BibT_eX]

[DOI]

Quantum Inf. Comput., 2020

A Type Theory for Probabilistic λ-calculus.

[BibT_eX]

[DOI]

Proceedings of the From Lambda Calculus to Cybersecurity Through Program Analysis, 2020

2019

Kernel methods in Quantum Machine Learning.

[BibT_eX]

[DOI]

Riccardo Mengoni

Quantum Mach. Intell., 2019

2018

Biclustering with a quantum annealer.

[BibT_eX]

[DOI]

Soft Comput., 2018

Homological analysis of multi-qubit entanglement.

[BibT_eX]

[DOI]

CoRR, 2018

2017

Hamming Distance Kernelisation via Topological Quantum Computation.

[BibT_eX]

[DOI]

Proceedings of the Theory and Practice of Natural Computing - 6th International Conference, 2017

A Probabilistic Semantics for the Pure \lambda -Calculus.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Computing - ICTAC 2017, 2017

2016

A Quantum Annealing Approach to Biclustering.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Semantics, Logics, and Calculi, 2016

2014

A Calculus of Anyons.

[BibT_eX]

[DOI]

Federica Panarotto

Proceedings of the Logic, Language, Information, and Computation, 2014

2013

Probabilistic data flow analysis: a linear equational approach.

[BibT_eX]

[DOI]

Proceedings of the Proceedings Fourth International Symposium on Games, 2013

Probabilistic Analysis of Programs: A Weak Limit Approach.

[BibT_eX]

[DOI]

Proceedings of the Foundational and Practical Aspects of Resource Analysis, 2013

Semantics of Probabilistic Programs: A Weak Limit Approach.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems - 11th Asian Symposium, 2013

2012

Editorial: Quantitative Aspects of Programming Languages.

[BibT_eX]

[DOI]

Gethin Norman

Theor. Comput. Sci., 2012

2011

Probabilistic timing covert channels: to close or not to close?

[BibT_eX]

[DOI]

Int. J. Inf. Sec., 2011

2010

Program Analysis Probably Counts.

[BibT_eX]

[DOI]

Comput. J., 2010

Probabilistic Semantics and Program Analysis.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Quantitative Aspects of Programming Languages, 2010

2009

Preface.

[BibT_eX]

[DOI]

Christel Baier

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

2008

Estimating the maximum information leakage.

[BibT_eX]

[DOI]

Alessandro Aldini

Int. J. Inf. Sec., 2008

Relational Analysis and Precision via Probabilistic Abstract Interpretation.

[BibT_eX]

[DOI]

Pascal Sotin

Proceedings of the Sixth Workshop on Quantitative Aspects of Programming Languages, 2008

Quantifying Timing Leaks and Cost Optimisation.

[BibT_eX]

[DOI]

Proceedings of the Information and Communications Security, 10th International Conference, 2008

2007

Preface: Quantitative aspects of programming languages.

[BibT_eX]

Theor. Comput. Sci., 2007

Tempus fugit: How to plug it.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2007

On Probabilistic Techniques for Data Flow Analysis.

[BibT_eX]

[DOI]

Proceedings of the Fifth Workshop on Quantitative Aspects of Programming Languages, 2007

A Systematic Approach to Probabilistic Pointer Analysis.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems, 5th Asian Symposium, 2007

2006

Semantic Abstraction and Quantum Computation.

[BibT_eX]

[DOI]

Proceedings of the 4th International Workshop on Quantum Programming Languages, 2006

Preface.

[BibT_eX]

[DOI]

Proceedings of the 4th International Workshop on Quantitative Aspects of Programming Languages, 2006

Abstract Interpretation for Worst and Average Case Analysis.

[BibT_eX]

[DOI]

Proceedings of the Program Analysis and Compilation, 2006

2005

Measuring the confinement of probabilistic systems.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2005

Probabilistic /lambda-calculus and Quantitative Program Analysis.

[BibT_eX]

[DOI]

J. Log. Comput., 2005

Quantitative static analysis of distributed systems.

[BibT_eX]

[DOI]

J. Funct. Program., 2005

On Reversible Combinatory Logic.

[BibT_eX]

[DOI]

Proceedings of the First International Workshop on Developments in Computational Models, 2005

On a Probabilistic Chemical Abstract Machine and the Expressiveness of Linda Languages.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Components and Objects, 4th International Symposium, 2005

2004

Approximate Non-interference.

[BibT_eX]

[DOI]

J. Comput. Secur., 2004

Operator Algebras and the Operational Semantics of Probabilistic Languages.

[BibT_eX]

[DOI]

Proceedings of the Third Irish Conference on the Mathematical Foundations of Computer Science and Information Technology, 2004

Continuous-Time Probabilistic KLAIM.

[BibT_eX]

[DOI]

Proceedings of the 2nd International Workshop on Security Issues in Coordination Models, 2004

Preface.

[BibT_eX]

[DOI]

Antonio Cerone

Proceedings of the Second Workshop on Quantitative Aspects of Programming Languages, 2004

On Quantitative Analysis of Probabilistic Protocols.

[BibT_eX]

[DOI]

Alessandro Aldini

Proceedings of the Second Workshop on Quantitative Aspects of Programming Languages, 2004

Probabilistic Linda-Based Coordination Languages.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Components and Objects, 2004

Probabilistic KLAIM.

[BibT_eX]

[DOI]

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

2003

A Quantitative Approach to Noninterference for Probabilistic Systems.

[BibT_eX]

[DOI]

Alessandro Aldini

Proceedings of the Formal Methods for Security and Time: Proceedings of the MEFISTO Project 2003, 2003

Quantitative Relations and Approximate Process Equivalences.

[BibT_eX]

[DOI]

Proceedings of the CONCUR 2003, 2003

2002

Probabilistic Constraint Handling Rules.

[BibT_eX]

[DOI]

Thom W. Frühwirth

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

Analysing Approximate Confinement under Uniform Attacks.

[BibT_eX]

[DOI]

Proceedings of the Static Analysis, 9th International Symposium, 2002

Probabilistic Abstract Interpretation and Statistical Testing.

[BibT_eX]

[DOI]

Proceedings of the Process Algebra and Probabilistic Methods, 2002

Two Formal Approaches for Approximating Noninterference Properties.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Security Analysis and Design II, 2002

2001

Linear Embedding for a Quantitative Comparison of Language Expressiveness.

[BibT_eX]

[DOI]

Antonio Brogi

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

Probabilistic confinement in a declarative framework.

[BibT_eX]

[DOI]

Proceedings of the Declarative Programming, 2001

Quantum constraint programming.

[BibT_eX]

[DOI]

Proceedings of the APPIA-GULP-PRODE 2001: Joint Conference on Declarative Programming, 2001

2000

Linear Structures for Concurrency in Probabilistic Programming Languages.

[BibT_eX]

[DOI]

Proceedings of the First Irish Conference on the Mathematical Foundations of Computer Science and Information Technology, 2000

Concurrent constraint programming: towards probabilistic abstract interpretation.

[BibT_eX]

[DOI]

Proceedings of the 2nd international ACM SIGPLAN conference on on Principles and practice of declarative programming, 2000

Measuring the Precision of Abstract Interpretations.

[BibT_eX]

[DOI]

Proceedings of the Logic Based Program Synthesis and Transformation, 2000

On the precision of abstract interpretations.

[BibT_eX]

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.

[BibT_eX]

[DOI]

Proceedings of the New Trends in Contraints, 1999

1998

Probabilistic Concurrent Constraint Programming: Towards a Fully Abstract Model.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Foundations of Computer Science 1998, 1998

Implementing Randomised Algorithms in Constraint Logic Programming.

[BibT_eX]

Nicos Angelopoulos

Proceedings of the 1998 Joint International Conference and Symposium on Logic Programming, 1998

An Operational Semantics for Probabilistic Concurrent Constraint Programming.

[BibT_eX]

[DOI]

Proceedings of the 1998 International Conference on Computer Languages, 1998

A Banach Space Based Semantics for Probabilistic Concurrent Constraint Programming.

[BibT_eX]

Proceedings of Computing: The Fourth Australasian Theory Symposium (CATS'98), 1998

A Markov Model for Probabilistic Concurrent Constraint Programming.

[BibT_eX]

Proceedings of the 1998 Joint Conference on Declarative Programming, 1998

1997

An Algebraic Perspective of Constraint Logic Programming.

[BibT_eX]

[DOI]

Frank S. de Boer

J. Log. Comput., 1997

On Probabilistic CCP.

[BibT_eX]

Proceedings of the 1997 Joint Conf. on Declarative Programming, 1997

1996

On Negation As Instantiation.

[BibT_eX]

[DOI]

Wlodzimierz Drabent

Proceedings of the Algebraic and Logic Programming, 5th International Conference, 1996

On Quantified Negatives Queries.

[BibT_eX]

Wlodzimierz Drabent

Proceedings of the 1996 Joint Conf. on Declarative Programming, 1996

1995

Negation as Instantiation

[BibT_eX]

[DOI]

Maurizio Martelli

Inf. Comput., August, 1995

Nondeterminism and Infinite Computations in Constraint Programming.

[BibT_eX]

[DOI]

Frank S. de Boer

Theor. Comput. Sci., 1995

1994

A Logical Denotational Semantics for Constraint Logic Programming.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems, 1994

1993

Amalgamating NAF with NAI.

[BibT_eX]

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.

[BibT_eX]

Maurizio Martelli