Alessandra Di Pierro

96 papers A 1B 7C 6Misc 1Journal 30Unranked 43

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	A Denotational Semantics for Quantum Loops. CoRR Nicola Assolini, Alessandra Di Pierro
2025	—	`conf`	A Static Analysis of Entanglement. VMCAI (2) Nicola Assolini, Alessandra Di Pierro, Isabella Mastroeni
2025	J	`jnl`	Formal Verification of Variational Quantum Circuits. CoRR Nicola Assolini, Luca Marzari, Isabella Mastroeni, Alessandra Di Pierro
2024	—	`conf`	Abstracting Entanglement. NSAD@SAS Nicola Assolini, Alessandra Di Pierro, Isabella Mastroeni
2024	B	`conf`	Static Analysis of Quantum Programs. SAS Nicola Assolini, Alessandra Di Pierro, Isabella Mastroeni
2023	Misc	`conf`	Higher-Order Topological Kernels via Quantum Computation. QCE Massimiliano Incudini, Francesco Martini, Alessandra Di Pierro
2023	J	`jnl`	Higher-order topological kernels via quantum computation. CoRR Massimiliano Incudini, Francesco Martini, Alessandra Di Pierro
2022	J	`jnl`	Computing graph edit distance on quantum devices. Quantum Mach. Intell. Massimiliano Incudini, Fabio Tarocco, Riccardo Mengoni, Alessandra Di Pierro, Antonio Mandarino
2022	J	`jnl`	Structure Learning of Quantum Embeddings. CoRR Massimiliano Incudini, Francesco Martini, Alessandra Di Pierro
2022	J	`jnl`	The Quantum Path Kernel: a Generalized Quantum Neural Tangent Kernel for Deep Quantum Machine Learning. CoRR Massimiliano Incudini, Michele Grossi, Antonio Mandarino, Sofia Vallecorsa, Alessandra Di Pierro, David Windridge
2021	J	`jnl`	Benchmarking Small-Scale Quantum Devices on Computing Graph Edit Distance. CoRR Massimiliano Incudini, Fabio Tarocco, Riccardo Mengoni, Alessandra Di Pierro, Antonio Mandarino
2021	J	`jnl`	Facial Expression Recognition on a Quantum Computer. CoRR Riccardo Mengoni, Massimiliano Incudini, Alessandra Di Pierro
2021	J	`jnl`	Facial expression recognition on a quantum computer. Quantum Mach. Intell. Riccardo Mengoni, Massimiliano Incudini, Alessandra Di Pierro
2021	—	`conf`	Quantum Machine Learning and Fraud Detection. Protocols, Strands, and Logic Alessandra Di Pierro, Massimiliano Incudini
2020	—	`conf`	A Type Theory for Probabilistic λ-calculus. From Lambda Calculus to Cybersecurity Through Program Analysis Alessandra Di Pierro
2020	—	`ed.`	From Lambda Calculus to Cybersecurity Through Program Analysis - Essays Dedicated to Chris Hankin on the Occasion of His Retirement From Lambda Calculus to Cybersecurity Through Program Analysis Alessandra Di Pierro, Pasquale Malacaria, Rajagopal Nagarajan
2020	J	`jnl`	Persistent homology analysis of multiqubit entanglement. Quantum Inf. Comput. Riccardo Mengoni, Alessandra Di Pierro, Laleh Memarzadeh, Stefano Mancini
2019	J	`jnl`	Kernel methods in Quantum Machine Learning. Quantum Mach. Intell. Riccardo Mengoni, Alessandra Di Pierro
2019	J	`jnl`	Persistent homology analysis of multiqubit entanglement. CoRR Riccardo Mengoni, Alessandra Di Pierro, Laleh Memarzadeh, Stefano Mancini
2018	J	`jnl`	Biclustering with a quantum annealer. Soft Comput. Lorenzo Bottarelli, Manuele Bicego, Matteo Denitto, Alessandra Di Pierro, Alessandro Farinelli, Riccardo Mengoni
2018	J	`jnl`	Homological analysis of multi-qubit entanglement. CoRR Alessandra Di Pierro, Stefano Mancini, Laleh Memarzadeh, Riccardo Mengoni
2017	C	`conf`	A Probabilistic Semantics for the Pure \lambda -Calculus. ICTAC Alessandra Di Pierro
2017	—	`conf`	Hamming Distance Kernelisation via Topological Quantum Computation. TPNC Alessandra Di Pierro, Riccardo Mengoni, Rajagopal Nagarajan, David Windridge
2016	—	`conf`	A Quantum Annealing Approach to Biclustering. TPNC Lorenzo Bottarelli, Manuele Bicego, Matteo Denitto, Alessandra Di Pierro, Alessandro Farinelli
2016	—	`conf`	Probabilistic Abstract Interpretation: From Trace Semantics to DTMC's and Linear Regression. Semantics, Logics, and Calculi Alessandra Di Pierro, Herbert Wiklicky
2014	C	`conf`	A Calculus of Anyons. WoLLIC Alessandra Di Pierro, Federica Panarotto
2013	—	`ed.`	Formal Methods for Dynamical Systems - 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures SFM Marco Bernardo, Erik P. de Vink, Alessandra Di Pierro, Herbert Wiklicky
2013	—	`conf`	Probabilistic Analysis of Programs: A Weak Limit Approach. FOPARA Alessandra Di Pierro, Herbert Wiklicky
2013	—	`conf`	Probabilistic data flow analysis: a linear equational approach. GandALF Alessandra Di Pierro, Herbert Wiklicky
2013	B	`conf`	Semantics of Probabilistic Programs: A Weak Limit Approach. APLAS Alessandra Di Pierro, Herbert Wiklicky
2012	J	`jnl`	Editorial: Quantitative Aspects of Programming Languages. Theor. Comput. Sci. Alessandra Di Pierro, Gethin Norman
2011	J	`jnl`	Probabilistic timing covert channels: to close or not to close? Int. J. Inf. Sec. Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
2010	—	`ed.`	Formal Methods for Quantitative Aspects of Programming Languages, 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures SFM Alessandro Aldini, Marco Bernardo, Alessandra Di Pierro, Herbert Wiklicky
2010	—	`conf`	Probabilistic Semantics and Program Analysis. SFM Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
2010	—	`ed.`	Proceedings Eighth Workshop on Quantitative Aspects of Programming Languages, QAPL 2010, Paphos, Cyprus, 27-28th March 2010. QAPL Alessandra Di Pierro, Gethin Norman
2010	J	`jnl`	Program Analysis Probably Counts. Comput. J. Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
2009	—	`conf`	Preface. QAPL Christel Baier, Alessandra Di Pierro
2009	—	`ed.`	Proceedings of Seventh Workshop on Quantitative Aspects of Programming Languages, QAPL 2009, York, UK, March 28-29, 2009 QAPL Christel Baier, Alessandra Di Pierro
2008	J	`jnl`	Estimating the maximum information leakage. Int. J. Inf. Sec. Alessandro Aldini, Alessandra Di Pierro
2008	J	`jnl`	Quantifying Timing Leaks and Cost Optimisation CoRR Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
2008	C	`conf`	Quantifying Timing Leaks and Cost Optimisation. ICICS Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
2008	—	`conf`	Relational Analysis and Precision via Probabilistic Abstract Interpretation. QAPL Alessandra Di Pierro, Pascal Sotin, Herbert Wiklicky
2007	B	`conf`	A Systematic Approach to Probabilistic Pointer Analysis. APLAS Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
2007	—	`conf`	On Probabilistic Techniques for Data Flow Analysis. QAPL Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
2007	J	`jnl`	Preface: Quantitative aspects of programming languages. Theor. Comput. Sci. Alessandra Di Pierro, Herbert Wiklicky
2007	J	`jnl`	Tempus fugit: How to plug it. J. Log. Algebraic Methods Program. Alessandra Di Pierro, Chris Hankin, Igor Siveroni, Herbert Wiklicky
2006	—	`conf`	Abstract Interpretation for Worst and Average Case Analysis. Program Analysis and Compilation Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
2006	—	`conf`	Preface. QAPL Alessandra Di Pierro, Herbert Wiklicky
2006	—	`ed.`	Proceedings of the 4th International Workshop on Quantitative Aspects of Programming Languages, QAPL 2006, Vienna, Austria, April 1-2, 2006 QAPL Alessandra Di Pierro, Herbert Wiklicky
2006	J	`jnl`	Reversible combinatory logic. Math. Struct. Comput. Sci. Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
2006	—	`conf`	Semantic Abstraction and Quantum Computation. QPL Alessandra Di Pierro, Herbert Wiklicky
2005	J	`jnl`	Measuring the confinement of probabilistic systems. Theor. Comput. Sci. Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
2005	—	`conf`	On Reversible Combinatory Logic. DCM@ICALP Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
2005	—	`conf`	On a Probabilistic Chemical Abstract Machine and the Expressiveness of Linda Languages. FMCO Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
2005	J	`jnl`	Preface. Theor. Comput. Sci. Antonio Cerone, Alessandra Di Pierro
2005	J	`jnl`	Probabilistic /lambda-calculus and Quantitative Program Analysis. J. Log. Comput. Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
2005	—	`ed.`	Proceedings of the Second Workshop on Quantitative Aspects of Programming Languages, QAPL 2004, Barcelona, Spain, March 27-28, 2004 QAPL Antonio Cerone, Alessandra Di Pierro
2005	J	`jnl`	Quantitative static analysis of distributed systems. J. Funct. Program. Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
2004	J	`jnl`	Approximate Non-interference. J. Comput. Secur. Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
2004	—	`conf`	Continuous-Time Probabilistic KLAIM. SecCo Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
2004	—	`conf`	On Quantitative Analysis of Probabilistic Protocols. QAPL Alessandro Aldini, Alessandra Di Pierro
2004	—	`conf`	Operator Algebras and the Operational Semantics of Probabilistic Languages. MFCSIT Alessandra Di Pierro, Herbert Wiklicky
2004	—	`conf`	Preface. QAPL Antonio Cerone, Alessandra Di Pierro
2004	C	`conf`	Probabilistic KLAIM. COORDINATION Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
2004	—	`conf`	Probabilistic Linda-Based Coordination Languages. FMCO Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
2003	—	`conf`	A Quantitative Approach to Noninterference for Probabilistic Systems. MEFISTO Alessandro Aldini, Alessandra Di Pierro
2003	B	`conf`	Quantitative Relations and Approximate Process Equivalences. CONCUR Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
2002	B	`conf`	Analysing Approximate Confinement under Uniform Attacks. SAS Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
2002	—	`conf`	Approximate Non-Interference. CSFW Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
2002	—	`conf`	Probabilistic Abstract Interpretation and Statistical Testing. PAPM-PROBMIV Alessandra Di Pierro, Herbert Wiklicky
2002	—	`conf`	Probabilistic Constraint Handling Rules. WFLP Thom W. Frühwirth, Alessandra Di Pierro, Herbert Wiklicky
2002	—	`conf`	Two Formal Approaches for Approximating Noninterference Properties. FOSAD Alessandro Aldini, Mario Bravetti, Alessandra Di Pierro, Roberto Gorrieri, Chris Hankin, Herbert Wiklicky
2002	—	`ed.`	Workshop on Quantitative Aspects of Programming Laguages, QAPL 2001, Satellite Event of PLI 2001, Firenze, Italy, September 7, 2001 QAPL Alessandra Di Pierro, Herbert Wiklicky
2001	—	`conf`	Linear Embedding for a Quantitative Comparison of Language Expressiveness. QAPL Antonio Brogi, Alessandra Di Pierro, Herbert Wiklicky
2001	—	`conf`	Preface. QAPL Alessandra Di Pierro, Herbert Wiklicky
2001	—	`conf`	Probabilistic confinement in a declarative framework. APPIA-GULP-PRODE Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
2001	—	`conf`	Quantum constraint programming. APPIA-GULP-PRODE Alessandra Di Pierro, Herbert Wiklicky
2000	C	`conf`	Concurrent constraint programming: towards probabilistic abstract interpretation. PPDP Alessandra Di Pierro, Herbert Wiklicky
2000	—	`conf`	Linear Structures for Concurrency in Probabilistic Programming Languages. MFCSIT Alessandra Di Pierro, Herbert Wiklicky
2000	—	`conf`	Measuring the Precision of Abstract Interpretations. LOPSTR (LNCS 2042: Selected Papers) Alessandra Di Pierro, Herbert Wiklicky
2000	C	`conf`	On the precision of abstract interpretations. LOPSTR Alessandra Di Pierro, Herbert Wiklicky
1999	—	`conf`	Quantitative Observables and Averages in Probabilistic Constraint Programming. New Trends in Constraints Alessandra Di Pierro, Herbert Wiklicky
1998	—	`conf`	A Banach Space Based Semantics for Probabilistic Concurrent Constraint Programming. CATS Alessandra Di Pierro, Herbert Wiklicky
1998	—	`conf`	A Markov Model for Probabilistic Concurrent Constraint Programming. APPIA-GULP-PRODE Alessandra Di Pierro, Herbert Wiklicky
1998	—	`conf`	An Operational Semantics for Probabilistic Concurrent Constraint Programming. ICCL Alessandra Di Pierro, Herbert Wiklicky
1998	—	`conf`	Implementing Randomised Algorithms in Constraint Logic Programming. IJCSLP Nicos Angelopoulos, Alessandra Di Pierro, Herbert Wiklicky
1998	B	`conf`	Probabilistic Concurrent Constraint Programming: Towards a Fully Abstract Model. MFCS Alessandra Di Pierro, Herbert Wiklicky
1997	J	`jnl`	An Algebraic Perspective of Constraint Logic Programming. J. Log. Comput. Frank S. de Boer, Alessandra Di Pierro, Catuscia Palamidessi
1997	—	`conf`	On Probabilistic CCP. APPIA-GULP-PRODE Alessandra Di Pierro, Herbert Wiklicky
1996	—	`conf`	On Negation As Instantiation. ALP Alessandra Di Pierro, Wlodzimierz Drabent
1996	—	`conf`	On Quantified Negatives Queries. APPIA-GULP-PRODE Alessandra Di Pierro, Wlodzimierz Drabent
1995	J	`jnl`	Negation as Instantiation Inf. Comput. Alessandra Di Pierro, Maurizio Martelli, Catuscia Palamidessi
1995	J	`jnl`	Nondeterminism and Infinite Computations in Constraint Programming. Theor. Comput. Sci. Frank S. de Boer, Alessandra Di Pierro, Catuscia Palamidessi
1994	A	`conf`	A Logical Denotational Semantics for Constraint Logic Programming. ESOP Alessandra Di Pierro, Catuscia Palamidessi
1993	—	`conf`	Amalgamating NAF with NAI. GULP Alessandra Di Pierro
1991	B	`conf`	Negation as Instantitation: A New Rule for the Treatment of Negation in Logic Programming. ICLP Alessandra Di Pierro, Maurizio Martelli, Catuscia Palamidessi