Alessandra Di Pierro

Citata da

	Tutte	Dal 2019
Citazioni	1444	274
Indice H	20	8
i10-index	36	7

120

19941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202320247 3 5 6 24 6 27 23 22 40 86 83 89 91 68 70 107 55 41 78 38 42 61 34 22 30 42 43 45 59 54

Accesso pubblico

Visualizza tutto

4 articoli

0 articoli

Disponibili

Non disponibili

In base ai mandati di finanziamento

Coautori

Herbert WiklickyReader in Computer ScienceEmail verificata su doc.ic.ac.uk
Chris HankinProfessor of Computing Science, Imperial College LondonEmail verificata su imperial.ac.uk
Riccardo MengoniQuantum Algorithm Researcher at Welinq, PhD in Quantum Machine Learning at University of VeronaEmail verificata su welinq.fr
Alessandro AldiniAssociate Professor in Computer Science, University of UrbinoEmail verificata su uniurb.it
Catuscia PalamidessiInriaEmail verificata su lix.polytechnique.fr
Massimiliano IncudiniPhd Student at University of VeronaEmail verificata su univr.it
Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.Email verificata su cwi.nl
Thom FrühwirthProfessor of Computer Science, University of UlmEmail verificata su uni-ulm.de
David WindridgeProfessor of Data Science & Machine Learning, Head of AI/ML Group, Middlesex University, LondonEmail verificata su mdx.ac.uk
Antonio MandarinoICTQT - University of GdanskEmail verificata su ug.edu.pl
Stefano ManciniProfessor of Theoretical Physics and Mathematical Methods for PhysicsEmail verificata su unicam.it
Francesco MartiniResearcher, University of VeronaEmail verificata su univr.it
Maurizio MartelliUniversity of GenovaEmail verificata su unige.it
Alessandro FarinelliFull professor of Computer Science, University of VeronaEmail verificata su univr.it
Manuele BicegoUniversità di Verona (Italy)Email verificata su univr.it
Lorenzo BottarelliUniversity of VeronaEmail verificata su univr.it
Matteo DenittoPh.D. in Computer ScienceEmail verificata su univr.it
Marco BernardoUniversity of UrbinoEmail verificata su uniurb.it
Laleh MemarzadehDepartment of Physics, Sharif University of TechnologyEmail verificata su sharif.ir
Mario BravettiUniversity of BolognaEmail verificata su cs.unibo.it

Segui

Alessandra Di Pierro

Associate professor of Computer Science, University of Verona

Email verificata su univr.it - Home page

Program analysis Quantum Computation


Titolo Ordina per citazioni Ordina per anno Ordina per titolo	Citata da Citata da	Anno
Approximate non-interference A Di Pierro, C Hankin, H Wiklicky Journal of Computer Security 12 (1), 37-81, 2004	199	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	69	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	53	2019
Measuring the confinement of probabilistic systems A Di Pierro, C Hankin, H Wiklicky Theoretical Computer Science 340 (1), 3-56, 2005	50	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	41	2002
Probabilistic klaim A Di Pierro, C Hankin, H Wiklicky International Conference on Coordination Languages and Models, 119-134, 2004	36	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	33	2004
Reversible combinatory logic A Di Pierro, C Hankin, H Wiklicky Mathematical Structures in Computer Science 16 (4), 621-637, 2006	31	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	24	1998
A quantitative approach to noninterference for probabilistic systems A Aldini, A Di Pierro Electronic Notes in Theoretical Computer Science 99, 155-182, 2004	23	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

Il sistema al momento non può eseguire l'operazione. Riprova più tardi.

Articoli 1–20

Citazioni per anno

Citazioni duplicate

Citazioni unite

Aggiungi coautoriCoautori

Segui

Citata da

Coautori