| Static analysis of quantum programs N Assolini, A Di Pierro, I Mastroeni International Static Analysis Symposium, 1-25, 2024 | 2 | 2024 |
| Abstracting entanglement N Assolini, A Di Pierro, I Mastroeni Proceedings of the 10th ACM SIGPLAN International Workshop on Numerical and …, 2024 | 1 | 2024 |
| A Static Analysis of Entanglement N Assolini, A Di Pierro, I Mastroeni International Conference on Verification, Model Checking, and Abstract …, 2025 | | 2025 |
| Text Analytics Can Predict Contract Fairness, Transparency and Applicability. N Assolini, A Baronchelli, M Cristani, L Pasetto, F Olivieri, R Ricciuti, ... WEBIST, 316-323, 2021 | | 2021 |
Alessandra Di PierroAssociate professor of Computer Science, University of Verona確認したメール アドレス: univr.it