How a Blockchain Approach Can Improve Data Reliability in the COVID-19 Pandemic P Cozzini, F Agosta, G Dolcetti, G Righi ACS Medicinal Chemistry Letters 13 (4), 517-519, 2022 | 5 | 2022 |
Speeding up static analysis with the split operator V Arceri, G Dolcetti, E Zaffanella Proceedings of the 12th ACM SIGPLAN International Workshop on the State Of …, 2023 | 3 | 2023 |
A Computational Workflow to Predict Biological Target Mutations: The Spike Glycoprotein Case Study P Cozzini, F Agosta, G Dolcetti, A Dal Palù Molecules 28 (20), 7082, 2023 | 1 | 2023 |
Unconstrained Variable Oracles for Faster Numeric Static Analyses V Arceri, G Dolcetti, E Zaffanella International Static Analysis Symposium, 65-83, 2023 | | 2023 |