Alfonso Reginelli

Publication Activity (10 Years)

Years Active: 2019-2022
Publications (10 Years): 10

Top Topics

Medical Imaging

Formal Verification

Top Venues

Comput. Methods Programs Biomed.

Artif. Intell. Medicine

Publications

Luca Brunese, Francesco Mercaldo, Alfonso Reginelli, Antonella Santone
A novel methodology for head and neck carcinoma treatment stage detection by means of model checking. Artif. Intell. Medicine 127 (2022)
Luca Brunese, Francesco Mercaldo, Alfonso Reginelli, Antonella Santone
Explainable Deep Learning for Pulmonary Disease and Coronavirus COVID-19 Detection from X-rays. Comput. Methods Programs Biomed. 196 (2020)
Luca Brunese, Francesco Mercaldo, Alfonso Reginelli, Antonella Santone
Lung Cancer Detection and Characterisation through Genomic and Radiomic Biomarkers. IJCNN (2020)
Luca Brunese, Francesco Mercaldo, Alfonso Reginelli, Antonella Santone
Radiomics for Gleason Score Detection through Deep Learning. Sensors 20 (18) (2020)
Luca Brunese, Francesco Mercaldo, Alfonso Reginelli, Antonella Santone
An ensemble learning approach for brain cancer detection exploiting radiomic features. Comput. Methods Programs Biomed. 185 (2020)
Luca Brunese, Francesco Mercaldo, Alfonso Reginelli, Antonella Santone
A Blockchain Based Proposal for Protecting Healthcare Systems through Formal Methods. KES (2019)
Luca Brunese, Francesco Mercaldo, Alfonso Reginelli, Antonella Santone
Formal Modeling for Magnetic Resonance Images Tamper Mitigation. KES (2019)
Luca Brunese, Francesco Mercaldo, Alfonso Reginelli, Antonella Santone
Neural Networks for Lung Cancer Detection through Radiomic Features. IJCNN (2019)
Luca Brunese, Francesco Mercaldo, Alfonso Reginelli, Antonella Santone
Radiomic Features for Medical Images Tamper Detection by Equivalence Checking. KES (2019)
Luca Brunese, Francesco Mercaldo, Alfonso Reginelli, Antonella Santone
Prostate Gleason Score Detection and Cancer Treatment Through Real-Time Formal Verification. IEEE Access 7 (2019)