Sign in
Giulia Varriano
Publication Activity (10 Years)
Years Active: 2022-2023
Publications (10 Years): 2
Top Topics
Computerized Tomography
Workflow Management Systems
Formal Methods
Provably Correct
Top Venues
Comput. Methods Programs Biomed.
COMPSAC
</>
Publications
</>
Giulia Varriano
,
Valeria Sorgente
,
Francesco Mercaldo
,
Antonella Santone
,
Luca Brunese
Computational cost of CT Radiomics workflow: a case study on COVID-19.
COMPSAC
(2023)
Giulia Varriano
,
Pasquale Guerriero
,
Antonella Santone
,
Francesco Mercaldo
,
Luca Brunese
Explainability of radiomics through formal methods.
Comput. Methods Programs Biomed.
220 (2022)