{"id":"https://openalex.org/W2998454305","doi":"https://doi.org/10.1109/access.2019.2961754","title":"Prostate Gleason Score Detection and Cancer Treatment Through Real-Time Formal Verification","display_name":"Prostate Gleason Score Detection and Cancer Treatment Through Real-Time Formal Verification","publication_year":2019,"publication_date":"2019-01-01","ids":{"openalex":"https://openalex.org/W2998454305","doi":"https://doi.org/10.1109/access.2019.2961754","mag":"2998454305"},"language":"en","primary_location":{"id":"doi:10.1109/access.2019.2961754","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2019.2961754","pdf_url":"https://ieeexplore.ieee.org/ielx7/6287639/8600701/08939396.pdf","source":{"id":"https://openalex.org/S2485537415","display_name":"IEEE Access","issn_l":"2169-3536","issn":["2169-3536"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Access","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://ieeexplore.ieee.org/ielx7/6287639/8600701/08939396.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5028155924","display_name":"Luca Brunese","orcid":"https://orcid.org/0000-0002-4666-0544"},"institutions":[{"id":"https://openalex.org/I129627893","display_name":"University of Molise","ror":"https://ror.org/04z08z627","country_code":"IT","type":"education","lineage":["https://openalex.org/I129627893"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Luca Brunese","raw_affiliation_strings":["Department of Medicine and Health Sciences \u201cVincenzo Tiberio,\u201d, University of Molise, Campobasso, Italy","Department of Medicine and Health Sciences \"Vincenzo Tiberio,\", University of Molise, Campobasso, Italy"],"raw_orcid":"https://orcid.org/0000-0002-4666-0544","affiliations":[{"raw_affiliation_string":"Department of Medicine and Health Sciences \u201cVincenzo Tiberio,\u201d, University of Molise, Campobasso, Italy","institution_ids":["https://openalex.org/I129627893"]},{"raw_affiliation_string":"Department of Medicine and Health Sciences \"Vincenzo Tiberio,\", University of Molise, Campobasso, Italy","institution_ids":["https://openalex.org/I129627893"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5023695406","display_name":"Francesco Mercaldo","orcid":"https://orcid.org/0000-0002-9425-1657"},"institutions":[{"id":"https://openalex.org/I4210130157","display_name":"Institute of Informatics and Telematics","ror":"https://ror.org/02gdcn153","country_code":"IT","type":"facility","lineage":["https://openalex.org/I4210130157","https://openalex.org/I4210155236"]},{"id":"https://openalex.org/I4210155236","display_name":"National Research Council","ror":"https://ror.org/04zaypm56","country_code":"IT","type":"nonprofit","lineage":["https://openalex.org/I4210155236"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Francesco Mercaldo","raw_affiliation_strings":["National Research Council of Italy (CNR), Institute for Informatics and Telematics, Pisa, Italy"],"raw_orcid":"https://orcid.org/0000-0002-9425-1657","affiliations":[{"raw_affiliation_string":"National Research Council of Italy (CNR), Institute for Informatics and Telematics, Pisa, Italy","institution_ids":["https://openalex.org/I4210130157","https://openalex.org/I4210155236"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5033961805","display_name":"Alfonso Reginelli","orcid":"https://orcid.org/0000-0003-4809-6235"},"institutions":[{"id":"https://openalex.org/I197809005","display_name":"University of Campania \"Luigi Vanvitelli\"","ror":"https://ror.org/02kqnpp86","country_code":"IT","type":"education","lineage":["https://openalex.org/I197809005"]},{"id":"https://openalex.org/I4210126337","display_name":"University of Campania \"Luigi Vanvitelli\"","ror":null,"country_code":"IT","type":null,"lineage":["https://openalex.org/I4210126337"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Alfonso Reginelli","raw_affiliation_strings":["Department of Precision Medicine, University of Campania \u201cLuigi Vanvitelli,\u201d, Napoli, Italy","Department of Precision Medicine, University of Campania \"Luigi Vanvitelli,\", Napoli, Italy"],"raw_orcid":"https://orcid.org/0000-0003-4809-6235","affiliations":[{"raw_affiliation_string":"Department of Precision Medicine, University of Campania \u201cLuigi Vanvitelli,\u201d, Napoli, Italy","institution_ids":["https://openalex.org/I4210126337"]},{"raw_affiliation_string":"Department of Precision Medicine, University of Campania \"Luigi Vanvitelli,\", Napoli, Italy","institution_ids":["https://openalex.org/I197809005"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5004599844","display_name":"Antonella Santone","orcid":"https://orcid.org/0000-0002-2634-4456"},"institutions":[{"id":"https://openalex.org/I129627893","display_name":"University of Molise","ror":"https://ror.org/04z08z627","country_code":"IT","type":"education","lineage":["https://openalex.org/I129627893"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Antonella Santone","raw_affiliation_strings":["Department of Bioscience and Territory, University of Molise, Pesche, Italy"],"raw_orcid":"https://orcid.org/0000-0002-2634-4456","affiliations":[{"raw_affiliation_string":"Department of Bioscience and Territory, University of Molise, Pesche, Italy","institution_ids":["https://openalex.org/I129627893"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":1850,"currency":"USD","value_usd":1850},"apc_paid":{"value":1850,"currency":"USD","value_usd":1850},"fwci":2.6315,"has_fulltext":true,"cited_by_count":32,"citation_normalized_percentile":{"value":0.9089095,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":95,"max":99},"biblio":{"volume":"7","issue":null,"first_page":"186236","last_page":"186246"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10543","display_name":"Prostate Cancer Treatment and Research","score":0.9976999759674072,"subfield":{"id":"https://openalex.org/subfields/2740","display_name":"Pulmonary and Respiratory Medicine"},"field":{"id":"https://openalex.org/fields/27","display_name":"Medicine"},"domain":{"id":"https://openalex.org/domains/4","display_name":"Health Sciences"}},"topics":[{"id":"https://openalex.org/T10543","display_name":"Prostate Cancer Treatment and Research","score":0.9976999759674072,"subfield":{"id":"https://openalex.org/subfields/2740","display_name":"Pulmonary and Respiratory Medicine"},"field":{"id":"https://openalex.org/fields/27","display_name":"Medicine"},"domain":{"id":"https://openalex.org/domains/4","display_name":"Health Sciences"}},{"id":"https://openalex.org/T12422","display_name":"Radiomics and Machine Learning in Medical Imaging","score":0.9936000108718872,"subfield":{"id":"https://openalex.org/subfields/2741","display_name":"Radiology, Nuclear Medicine and Imaging"},"field":{"id":"https://openalex.org/fields/27","display_name":"Medicine"},"domain":{"id":"https://openalex.org/domains/4","display_name":"Health Sciences"}},{"id":"https://openalex.org/T11235","display_name":"Statistical Methods in Clinical Trials","score":0.9879000186920166,"subfield":{"id":"https://openalex.org/subfields/2613","display_name":"Statistics and Probability"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/prostate-cancer","display_name":"Prostate cancer","score":0.861854076385498},{"id":"https://openalex.org/keywords/magnetic-resonance-imaging","display_name":"Magnetic resonance imaging","score":0.6164425611495972},{"id":"https://openalex.org/keywords/medicine","display_name":"Medicine","score":0.5505207777023315},{"id":"https://openalex.org/keywords/prostate","display_name":"Prostate","score":0.5088732242584229},{"id":"https://openalex.org/keywords/cancer","display_name":"Cancer","score":0.4889279901981354},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.4867989718914032},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3476712107658386},{"id":"https://openalex.org/keywords/radiology","display_name":"Radiology","score":0.26799577474594116},{"id":"https://openalex.org/keywords/internal-medicine","display_name":"Internal medicine","score":0.17679813504219055}],"concepts":[{"id":"https://openalex.org/C2780192828","wikidata":"https://www.wikidata.org/wiki/Q181257","display_name":"Prostate cancer","level":3,"score":0.861854076385498},{"id":"https://openalex.org/C143409427","wikidata":"https://www.wikidata.org/wiki/Q161238","display_name":"Magnetic resonance imaging","level":2,"score":0.6164425611495972},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.5505207777023315},{"id":"https://openalex.org/C2776235491","wikidata":"https://www.wikidata.org/wiki/Q9625","display_name":"Prostate","level":3,"score":0.5088732242584229},{"id":"https://openalex.org/C121608353","wikidata":"https://www.wikidata.org/wiki/Q12078","display_name":"Cancer","level":2,"score":0.4889279901981354},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4867989718914032},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3476712107658386},{"id":"https://openalex.org/C126838900","wikidata":"https://www.wikidata.org/wiki/Q77604","display_name":"Radiology","level":1,"score":0.26799577474594116},{"id":"https://openalex.org/C126322002","wikidata":"https://www.wikidata.org/wiki/Q11180","display_name":"Internal medicine","level":1,"score":0.17679813504219055}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1109/access.2019.2961754","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2019.2961754","pdf_url":"https://ieeexplore.ieee.org/ielx7/6287639/8600701/08939396.pdf","source":{"id":"https://openalex.org/S2485537415","display_name":"IEEE Access","issn_l":"2169-3536","issn":["2169-3536"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Access","raw_type":"journal-article"},{"id":"pmh:oai:zenodo.org:46508","is_oa":true,"landing_page_url":"https://www.openaccessrepository.it/record/46508","pdf_url":"https://zenodo.org/record/46508","source":{"id":"https://openalex.org/S4306402478","display_name":"INFM-OAR (INFN Catania)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4210116497","host_organization_name":"Istituto Nazionale di Fisica Nucleare, Sezione di Catania","host_organization_lineage":["https://openalex.org/I4210116497"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:oai:doaj.org/article:c562723599ee4ec382647d7750de5853","is_oa":true,"landing_page_url":"https://doaj.org/article/c562723599ee4ec382647d7750de5853","pdf_url":null,"source":{"id":"https://openalex.org/S4306401280","display_name":"DOAJ (DOAJ: Directory of Open Access Journals)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"IEEE Access, Vol 7, Pp 186236-186246 (2019)","raw_type":"article"}],"best_oa_location":{"id":"doi:10.1109/access.2019.2961754","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2019.2961754","pdf_url":"https://ieeexplore.ieee.org/ielx7/6287639/8600701/08939396.pdf","source":{"id":"https://openalex.org/S2485537415","display_name":"IEEE Access","issn_l":"2169-3536","issn":["2169-3536"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Access","raw_type":"journal-article"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/3","display_name":"Good health and well-being","score":0.8299999833106995}],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2998454305.pdf","grobid_xml":"https://content.openalex.org/works/W2998454305.grobid-xml"},"referenced_works_count":39,"referenced_works":["https://openalex.org/W48715220","https://openalex.org/W1678889691","https://openalex.org/W1771067798","https://openalex.org/W1962072139","https://openalex.org/W2000947342","https://openalex.org/W2020439157","https://openalex.org/W2042425111","https://openalex.org/W2072461160","https://openalex.org/W2101508170","https://openalex.org/W2117189826","https://openalex.org/W2132499268","https://openalex.org/W2153770341","https://openalex.org/W2305673534","https://openalex.org/W2604451932","https://openalex.org/W2760508920","https://openalex.org/W2773413394","https://openalex.org/W2796067693","https://openalex.org/W2800904025","https://openalex.org/W2805314109","https://openalex.org/W2883015590","https://openalex.org/W2887494772","https://openalex.org/W2889358404","https://openalex.org/W2895529058","https://openalex.org/W2896058456","https://openalex.org/W2900219583","https://openalex.org/W2903064535","https://openalex.org/W2906683586","https://openalex.org/W2907371159","https://openalex.org/W2913621133","https://openalex.org/W2914472860","https://openalex.org/W2914485697","https://openalex.org/W2922007359","https://openalex.org/W2922121762","https://openalex.org/W2923501617","https://openalex.org/W2970581089","https://openalex.org/W4229829651","https://openalex.org/W6601992809","https://openalex.org/W6697912075","https://openalex.org/W6767444964"],"related_works":["https://openalex.org/W299695548","https://openalex.org/W3171449477","https://openalex.org/W2384122898","https://openalex.org/W209797606","https://openalex.org/W151774199","https://openalex.org/W4281885123","https://openalex.org/W2088520467","https://openalex.org/W2075763133","https://openalex.org/W2376423713","https://openalex.org/W1583600832"],"abstract_inverted_index":{"Currently,":[0],"there":[1],"are":[2,153],"3.1":[3],"million":[4],"American":[5],"men":[6],"affected":[7],"by":[8],"prostate":[9,23,45,84],"cancer.":[10],"Early":[11],"detection":[12],"represents":[13],"the":[14,25,30,36,43,51,79,83,106,133,137,148,151,160,163,177],"only":[15],"way":[16],"to":[17,42,54,77,173,188,194],"safe":[18],"lives.":[19],"To":[20,61],"evaluate":[21],"a":[22,74,92,117,141,167,170,185,191],"cancer,":[24],"most":[26],"widespread":[27],"rank":[28],"is":[29,109],"so-called":[31],"Gleason":[32,49,80,134,181],"score,":[33,50],"based":[34],"on":[35,155],"microscopic":[37],"cancer":[38,46,85],"appearance.":[39],"Once":[40],"assigned":[41],"diagnosed":[44],"its":[47],"relative":[48,138],"correct":[52],"therapy":[53,86],"be":[55,58],"adopted":[56],"must":[57],"promptly":[59],"defined.":[60],"support":[62],"pathologists":[63],"and":[64,82,130,136,169,184,190],"radiologists":[65],"in":[66,69,180,196],"timely":[67],"diagnosis,":[68],"this":[70,104],"paper":[71],"we":[72,131],"propose":[73],"method":[75,108,165],"aimed":[76],"infer":[78],"score":[81,135,182],"exploiting":[87,140],"formal":[88],"methods.":[89],"We":[90,119],"consider":[91],"set":[93,142],"of":[94,124,143,162],"radiomic":[95],"features":[96],"directly":[97],"obtained":[98],"from":[99],"magnetic":[100,121],"resonance":[101,122],"images.":[102],"For":[103],"reason":[105],"proposed":[107,164],"non":[110],"invasive,":[111],"since":[112],"it":[113],"does":[114],"not":[115],"require":[116],"biopsy.":[118],"model":[120],"images":[123],"patients":[125],"as":[126],"timed":[127],"automata":[128],"networks":[129],"assign":[132],"treatment,":[139],"temporal":[144],"logic":[145],"properties.":[146],"In":[147],"experimental":[149],"analysis,":[150],"properties":[152],"verified":[154],"36":[156],"different":[157],"patients,":[158],"confirming":[159],"effectiveness":[161],"with":[166],"sensitivity":[168,186],"specificity":[171,192],"equal":[172,187,193],"1":[174,195],"for":[175],"all":[176],"evaluated":[178],"cases":[179],"inference,":[183],"0.94":[189],"treatment":[197],"prediction.":[198]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":4},{"year":2023,"cited_by_count":10},{"year":2022,"cited_by_count":4},{"year":2021,"cited_by_count":6},{"year":2020,"cited_by_count":5}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}