Alessandra Di Pierro

Cited by

	All	Since 2019
Citations	1418	238
h-index	20	7
i10-index	35	6

120

19941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202320247 3 5 6 24 7 31 24 23 39 87 84 89 91 72 69 107 56 41 78 38 42 61 34 22 30 43 40 45 59 21

Public access

View all

4 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Herbert WiklickyReader in Computer ScienceVerified email at doc.ic.ac.uk
Chris HankinProfessor of Computing Science, Imperial College LondonVerified email at imperial.ac.uk
Riccardo MengoniQuantum Computing Specialist at Cineca, PhD in Quantum Machine Learning at University of VeronaVerified email at cineca.it
Alessandro AldiniAssociate Professor in Computer Science, University of UrbinoVerified email at uniurb.it
Catuscia PalamidessiInriaVerified email at lix.polytechnique.fr
Massimiliano IncudiniPhd Student at University of VeronaVerified email at univr.it
Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.Verified email at cwi.nl
Thom FrühwirthProfessor of Computer Science, University of UlmVerified email at uni-ulm.de
Stefano ManciniProfessor of Theoretical Physics and Mathematical Methods for PhysicsVerified email at unicam.it
David WindridgeProfessor of Data Science & Machine Learning, Head of AI/ML Group, Middlesex University, LondonVerified email at mdx.ac.uk
Antonio MandarinoICTQT - University of GdanskVerified email at ug.edu.pl
Maurizio MartelliUniversity of GenovaVerified email at unige.it
Francesco MartiniResearcher, University of VeronaVerified email at univr.it
Alessandro FarinelliFull professor of Computer Science, University of VeronaVerified email at univr.it
Manuele BicegoUniversità di Verona (Italy)Verified email at univr.it
Lorenzo BottarelliUniversity of VeronaVerified email at univr.it
Matteo DenittoPh.D. in Computer ScienceVerified email at univr.it
Marco BernardoUniversity of UrbinoVerified email at uniurb.it
Sofia VallecorsaCERNVerified email at cern.ch
Laleh MemarzadehDepartment of Physics, Sharif University of TechnologyVerified email at sharif.ir

Alessandra Di Pierro

Associate professor of Computer Science, University of Verona

Verified email at univr.it - Homepage

Program analysis Quantum Computation


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Approximate non-interference A Di Pierro, C Hankin, H Wiklicky Journal of Computer Security 12 (1), 37-81, 2004	198	2004
Nondeterminism and infinite computations in constraint programming FS de Boer, A Di Pierro, C Palamidessi Theoretical Computer Science 151 (1), 37-78, 1995	92	1995
Probabilistic λ-calculus and quantitative program analysis A Di Pierro, C Hankin, H Wiklicky Journal of Logic and Computation 15 (2), 159-179, 2005	70	2005
Concurrent constraint programming: towards probabilistic abstract interpretation A Di Pierro, H Wiklicky PPDP 10, 351268.351284, 2000	68	2000
Quantitative relations and approximate process equivalences A Di Pierro, C Hankin, H Wiklicky International Conference on Concurrency Theory, 508-522, 2003	61	2003
An operational semantics for probabilistic concurrent constraint programming A Di Pierro, H Wiklicky Proceedings of the 1998 International Conference on Computer Languages (Cat …, 1998	58	1998
Kernel methods in quantum machine learning R Mengoni, A Di Pierro Quantum Machine Intelligence 1 (3), 65-71, 2019	49	2019
Measuring the confinement of probabilistic systems A Di Pierro, C Hankin, H Wiklicky Theoretical Computer Science 340 (1), 3-56, 2005	49	2005
Measuring the precision of abstract interpretations KK Lau, A Di Pierro, H Wiklicky Logic Based Program Synthesis and Transformation: 10th International …, 2001	48	2001
Probabilistic constraint handling rules T Frühwirth, A Di Pierro, H Wiklicky Electronic Notes in Theoretical Computer Science 76, 115-130, 2002	43	2002
Probabilistic klaim A Di Pierro, C Hankin, H Wiklicky International Conference on Coordination Languages and Models, 119-134, 2004	35	2004
Estimating the maximum information leakage A Aldini, A Di Pierro International Journal of Information Security 7, 219-242, 2008	34	2008
Two formal approaches for approximating noninterference properties A Aldini, M Bravetti, A Di Pierro, R Gorrieri, C Hankin, H Wiklicky Foundations of Security Analysis and Design II: FOSAD 2001/2002 Tutorial …, 2004	32	2004
Reversible combinatory logic A Di Pierro, C Hankin, H Wiklicky Mathematical Structures in Computer Science 16 (4), 621-637, 2006	30	2006
Quantifying timing leaks and cost optimisation A Di Pierro, C Hankin, H Wiklicky Information and Communications Security: 10th International Conference …, 2008	25	2008
Quantitative static analysis of distributed systems A Di Pierro, C Hankin, H Wiklicky Journal of Functional Programming 15 (5), 703-749, 2005	25	2005
Probabilistic concurrent constraint programming: Towards a fully abstract model A Di Pierro, H Wiklicky Mathematical Foundations of Computer Science 1998: 23rd International …, 1998	25	1998
A quantitative approach to noninterference for probabilistic systems A Aldini, A Di Pierro Electronic Notes in Theoretical Computer Science 99, 155-182, 2004	21	2004
Continuous-time probabilistic KLAIM A Di Pierro, C Hankin, H Wiklicky Electronic Notes in Theoretical Computer Science 128 (5), 27-38, 2005	20	2005
Quantitative observables and averages in probabilistic constraint programming AD Pierro, H Wiklicky New Trends in Constraints: Joint ERCIM/Compulog NetWorkshop Paphos, Cyprus …, 2000	20	2000

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors