Pierro, Alessandra Di
167  results:
Search for persons X
?
 
?
3

Higher-Order Topological Kernels via Quantum Computation:

, In: 2023 IEEE International Conference on Quantum Computing and Engineering (QCE),
 
?
5

Quantum Machine Learning and Fraud Detection:

, In: Protocols, Strands, and Logic; Lecture Notes in Computer Science,
 
?
7

A Type Theory for Probabilistic $$\lambda $$–calculus:

, In: From Lambda Calculus to Cybersecurity Through Program Analysis; Lecture Notes in Computer Science,
Di Pierro, Alessandra - p. 86-102 , 2020
 
?
 
?
9

Kernel methods in Quantum Machine Learning:

Mengoni, Riccardo ; Di Pierro, Alessandra
Quantum Machine Intelligence.  1 (2019)  3-4 - p. 65-71 , 2019
 
?
 
?
12

Formal Methods for Dynamical Systems 

13th International School on Formal Methods for the Design ...  Lecture Notes in Computer Science ; 7938;SpringerLink, Bücher
 
?
 
?
14

Formal methods for quantitative aspects of programming lang.. 

10th International School on Formal Methods for the Design ...  Lecture notes in computer science ; 6154
 
?
15

Probabilistic timing covert channels: to close or not to cl..:

Di Pierro, Alessandra ; Hankin, Chris ; Wiklicky, Herbert
International Journal of Information Security.  10 (2010)  2 - p. 83-106 , 2010
 
1-15