Search for persons
X
?
2023 IEEE International Conference on Quantum Computing and Engineering (QCE) ,
3
Higher-Order Topological Kernels via Quantum Computation:
, In:
?
Protocols, Strands, and Logic; Lecture Notes in Computer Science ,
5
Quantum Machine Learning and Fraud Detection:
, In:
?
From Lambda Calculus to Cybersecurity Through Program Analysis; Lecture Notes in Computer Science ,
7
A Type Theory for Probabilistic $$\lambda $$–calculus:
, In:
?
8
From Lambda Calculus to Cybersecurity Through Program Analy..
Theoretical Computer Science and General Issues, 12065
?
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