{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,4]],"date-time":"2026-06-04T06:16:32Z","timestamp":1780553792547,"version":"3.54.1"},"reference-count":33,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[2024,9,1]],"date-time":"2024-09-01T00:00:00Z","timestamp":1725148800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2024,9,1]],"date-time":"2024-09-01T00:00:00Z","timestamp":1725148800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"},{"start":{"date-parts":[[2024,9,1]],"date-time":"2024-09-01T00:00:00Z","timestamp":1725148800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-017"},{"start":{"date-parts":[[2024,9,1]],"date-time":"2024-09-01T00:00:00Z","timestamp":1725148800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"},{"start":{"date-parts":[[2024,9,1]],"date-time":"2024-09-01T00:00:00Z","timestamp":1725148800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-012"},{"start":{"date-parts":[[2024,9,1]],"date-time":"2024-09-01T00:00:00Z","timestamp":1725148800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2024,9,1]],"date-time":"2024-09-01T00:00:00Z","timestamp":1725148800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-004"}],"content-domain":{"domain":["clinicalkey.fr","clinicalkey.jp","clinicalkey.es","clinicalkey.com.au","clinicalkey.com","elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Computerized Medical Imaging and Graphics"],"published-print":{"date-parts":[[2024,9]]},"DOI":"10.1016\/j.compmedimag.2024.102411","type":"journal-article","created":{"date-parts":[[2024,6,12]],"date-time":"2024-06-12T20:57:55Z","timestamp":1718225875000},"page":"102411","update-policy":"https:\/\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":3,"special_numbering":"C","title":["An automatic radiomic-based approach for disease localization: A pilot study on COVID-19"],"prefix":"10.1016","volume":"116","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-2489-6158","authenticated-orcid":false,"given":"Giulia","family":"Varriano","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Vittoria","family":"Nardone","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Simona","family":"Correra","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Francesco","family":"Mercaldo","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Antonella","family":"Santone","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"78","reference":[{"key":"10.1016\/j.compmedimag.2024.102411_b1","series-title":"Pyradiomics. Computational radiomics system to decode the radiographic phenotype. Cancer research","author":"Anon","year":"2017"},{"key":"10.1016\/j.compmedimag.2024.102411_b2","doi-asserted-by":"crossref","DOI":"10.1016\/j.compbiomed.2022.105244","article-title":"COVID-19 diagnosis using state-of-the-art CNN architecture features and Bayesian optimization","volume":"142","author":"Aslan","year":"2022","journal-title":"Comput. Biol. Med."},{"key":"10.1016\/j.compmedimag.2024.102411_b3","doi-asserted-by":"crossref","DOI":"10.1016\/j.cmpb.2020.105608","article-title":"Explainable deep learning for pulmonary disease and coronavirus COVID-19 detection from X-rays","volume":"196","author":"Brunese","year":"2020","journal-title":"Comput. Methods Programs Biomed."},{"issue":"4","key":"10.1016\/j.compmedimag.2024.102411_b4","doi-asserted-by":"crossref","first-page":"626","DOI":"10.1145\/242223.242257","article-title":"Formal methods: State of the art and future directions","volume":"28","author":"Clarke","year":"1996","journal-title":"ACM Comput. Surv."},{"key":"10.1016\/j.compmedimag.2024.102411_b5","series-title":"Model Checking","author":"Clarke","year":"2018"},{"key":"10.1016\/j.compmedimag.2024.102411_b6","series-title":"International Conference on Computer Aided Verification","first-page":"24","article-title":"The concurrency workbench","author":"Cleaveland","year":"1989"},{"key":"10.1016\/j.compmedimag.2024.102411_b7","first-page":"2349","article-title":"Orange: Data mining toolbox in Python","volume":"14","author":"Dem\u0161ar","year":"2013","journal-title":"J. Mach. Learn. Res."},{"issue":"10","key":"10.1016\/j.compmedimag.2024.102411_b8","doi-asserted-by":"crossref","first-page":"1573","DOI":"10.3390\/electronics11101573","article-title":"A semi-unsupervised segmentation methodology based on texture recognition for radiomics: A preliminary study on brain tumours","volume":"11","author":"Donelli","year":"2022","journal-title":"Electronics"},{"key":"10.1016\/j.compmedimag.2024.102411_b9","doi-asserted-by":"crossref","first-page":"185","DOI":"10.1090\/dimacs\/031\/06","article-title":"Model checking and the Mu-calculus","volume":"31","author":"Emerson","year":"1996","journal-title":"Descr. Complex. Finite Model."},{"issue":"10","key":"10.1016\/j.compmedimag.2024.102411_b10","doi-asserted-by":"crossref","DOI":"10.3390\/jpm11100993","article-title":"Artificial intelligence and COVID-19 using chest CT scan and chest X-ray images: Machine learning and deep learning approaches for diagnosis and treatment","volume":"11","author":"Fusco","year":"2021","journal-title":"J. Pers. Med."},{"issue":"2","key":"10.1016\/j.compmedimag.2024.102411_b11","doi-asserted-by":"crossref","first-page":"563","DOI":"10.1148\/radiol.2015151169","article-title":"Radiomics: images are more than pictures, they are data","volume":"278","author":"Gillies","year":"2016","journal-title":"Radiology"},{"issue":"5","key":"10.1016\/j.compmedimag.2024.102411_b12","first-page":"93","article-title":"A survey of methods for explaining black box models","volume":"51","author":"Guidotti","year":"2018","journal-title":"ACM Comput. Surv."},{"key":"10.1016\/j.compmedimag.2024.102411_b13","series-title":"Image augmentation: Segmentation maps and masks","author":"Jung","year":"2020"},{"key":"10.1016\/j.compmedimag.2024.102411_b14","series-title":"Model-Based Testing of Reactive Systems","first-page":"615","article-title":"Labelled transition systems","author":"Katoen","year":"2005"},{"issue":"4","key":"10.1016\/j.compmedimag.2024.102411_b15","doi-asserted-by":"crossref","first-page":"920","DOI":"10.1007\/s003300101100","article-title":"Introduction to the DICOM standard","volume":"12","author":"Mildenberger","year":"2002","journal-title":"Eur. Radiol."},{"key":"10.1016\/j.compmedimag.2024.102411_b16","series-title":"A calculus of communicating systems","author":"Milner","year":"1980"},{"key":"10.1016\/j.compmedimag.2024.102411_b17","doi-asserted-by":"crossref","DOI":"10.1016\/j.nmni.2020.100678","article-title":"All about COVID-19 in brief","volume":"35","author":"Naserghandi","year":"2020","journal-title":"New Microbes New Infect."},{"key":"10.1016\/j.compmedimag.2024.102411_b18","series-title":"WHO COVID-19 case definition","author":"Organization","year":"2020"},{"key":"10.1016\/j.compmedimag.2024.102411_b19","series-title":"Image of COVID-19 is public, taken from \u201dCase courtesy of Bahman Rasuli, Radiopaedia.org, rID: 74560\u201d","author":"Rasuli","year":"2024"},{"issue":"1","key":"10.1016\/j.compmedimag.2024.102411_b20","doi-asserted-by":"crossref","first-page":"31","DOI":"10.3390\/jcm11010031","article-title":"Early diagnosis of liver metastases from colorectal cancer through CT radiomics and formal methods: A pilot study","volume":"11","author":"Rocca","year":"2021","journal-title":"J. Clin. Med."},{"key":"10.1016\/j.compmedimag.2024.102411_b21","doi-asserted-by":"crossref","DOI":"10.1016\/j.ebiom.2020.102963","article-title":"Optimal co-clinical radiomics: Sensitivity of radiomic features to tumour volume, image noise and resolution in co-clinical T1-weighted and T2-weighted magnetic resonance imaging","volume":"59","author":"Roy","year":"2020","journal-title":"EBioMedicine"},{"issue":"2","key":"10.1016\/j.compmedimag.2024.102411_b22","doi-asserted-by":"crossref","first-page":"293","DOI":"10.3390\/diagnostics11020293","article-title":"On the adoption of radiomics and formal methods for covid-19 coronavirus diagnosis","volume":"11","author":"Santone","year":"2021","journal-title":"Diagnostics"},{"key":"10.1016\/j.compmedimag.2024.102411_b23","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/j.cmpb.2018.05.017","article-title":"Radiomics based detection and characterization of suspicious lesions on full field digital mammograms","volume":"163","author":"Sapate","year":"2018","journal-title":"Comput. Methods Programs Biomed."},{"key":"10.1016\/j.compmedimag.2024.102411_b24","series-title":"Biostatistics for radiologists: planning, performing, and writing a radiologic study","first-page":"125","article-title":"Reproducibility: intraobserver and interobserver variability","author":"Sardanelli","year":"2009"},{"issue":"4","key":"10.1016\/j.compmedimag.2024.102411_b25","doi-asserted-by":"crossref","first-page":"246","DOI":"10.1016\/j.pulmoe.2020.04.011","article-title":"Covid-19: round and oval areas of ground-glass opacity","volume":"26","author":"Schmitt","year":"2020","journal-title":"Pulmonology"},{"key":"10.1016\/j.compmedimag.2024.102411_b26","series-title":"Concurrency: Theory, Language, and Architecture","first-page":"2","article-title":"An introduction to modal and temporal logics for CCS","author":"Stirling","year":"1989"},{"issue":"5","key":"10.1016\/j.compmedimag.2024.102411_b27","doi-asserted-by":"crossref","first-page":"453","DOI":"10.1080\/14737159.2020.1757437","article-title":"Real-time RT-PCR in COVID-19 detection: issues affecting the results","volume":"20","author":"Tahamtan","year":"2020","journal-title":"Expert Rev. Mol. Diagn."},{"issue":"3","key":"10.1016\/j.compmedimag.2024.102411_b28","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1016\/j.artmed.2005.10.006","article-title":"Improving medical protocols by formal methods","volume":"36","author":"Ten Teije","year":"2006","journal-title":"Artif. Intell. Med."},{"key":"10.1016\/j.compmedimag.2024.102411_b29","doi-asserted-by":"crossref","first-page":"1061","DOI":"10.1007\/s00405-008-0594-z","article-title":"Analysis of manual segmentation in paranasal CT images","volume":"265","author":"Tingelhoff","year":"2008","journal-title":"Eur. Arch. Otrhinolaryngol."},{"issue":"1","key":"10.1016\/j.compmedimag.2024.102411_b30","first-page":"1","article-title":"Radiomics in medical imaging\u2014\u201chow-to\u201d guide and critical reflection","volume":"11","author":"Van Timmeren","year":"2020","journal-title":"Insights Imag."},{"issue":"8","key":"10.1016\/j.compmedimag.2024.102411_b31","doi-asserted-by":"crossref","first-page":"1804","DOI":"10.3390\/v2081803","article-title":"Coronavirus genomics and bioinformatics analysis","volume":"2","author":"Woo","year":"2010","journal-title":"Viruses"},{"key":"10.1016\/j.compmedimag.2024.102411_b32","article-title":"Radiomic features of multi-ROI and multi-phase MRI for the prediction of microvascular invasion in solitary hepatocellular carcinoma","volume":"11","author":"Yang","year":"2021","journal-title":"Front. Oncol."},{"issue":"2","key":"10.1016\/j.compmedimag.2024.102411_b33","doi-asserted-by":"crossref","first-page":"328","DOI":"10.1148\/radiol.2020191145","article-title":"The image biomarker standardization initiative: standardized quantitative radiomics for high-throughput image-based phenotyping","volume":"295","author":"Zwanenburg","year":"2020","journal-title":"Radiology"}],"container-title":["Computerized Medical Imaging and Graphics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0895611124000880?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0895611124000880?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2024,10,6]],"date-time":"2024-10-06T20:24:16Z","timestamp":1728246256000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0895611124000880"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,9]]},"references-count":33,"alternative-id":["S0895611124000880"],"URL":"https:\/\/doi.org\/10.1016\/j.compmedimag.2024.102411","relation":{},"ISSN":["0895-6111"],"issn-type":[{"value":"0895-6111","type":"print"}],"subject":[],"published":{"date-parts":[[2024,9]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"An automatic radiomic-based approach for disease localization: A pilot study on COVID-19","name":"articletitle","label":"Article Title"},{"value":"Computerized Medical Imaging and Graphics","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/j.compmedimag.2024.102411","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"article","name":"content_type","label":"Content Type"},{"value":"\u00a9 2024 Elsevier Ltd. All rights are reserved, including those for text and data mining, AI training, and similar technologies.","name":"copyright","label":"Copyright"}],"article-number":"102411"}}