IRIS  Catalogo Istituzionale della Ricerca dell'Università degli Studi del Molise

SANTONE, Antonella
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 12.451
NA - Nord America 11.254
AS - Asia 3.216
SA - Sud America 1.082
AF - Africa 709
OC - Oceania 18
Continente sconosciuto - Info sul continente non disponibili 5
Totale 28.735
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 10.909
RU - Federazione Russa 6.287
IE - Irlanda 2.309
SG - Singapore 1.356
IT - Italia 1.192
BR - Brasile 911
CN - Cina 768
CI - Costa d'Avorio 581
DE - Germania 534
UA - Ucraina 484
FI - Finlandia 451
SE - Svezia 325
VN - Vietnam 286
CA - Canada 215
GB - Regno Unito 186
HK - Hong Kong 181
IN - India 159
AT - Austria 125
PL - Polonia 98
MX - Messico 93
FR - Francia 92
BE - Belgio 76
AR - Argentina 65
GR - Grecia 57
JP - Giappone 52
NL - Olanda 51
ZA - Sudafrica 49
IQ - Iraq 45
TR - Turchia 43
BD - Bangladesh 42
ES - Italia 39
EC - Ecuador 36
ID - Indonesia 35
LT - Lituania 35
SI - Slovenia 30
PK - Pakistan 27
JO - Giordania 26
IR - Iran 20
MA - Marocco 20
MY - Malesia 20
CO - Colombia 18
AE - Emirati Arabi Uniti 17
SA - Arabia Saudita 17
VE - Venezuela 14
AU - Australia 13
EG - Egitto 13
KR - Corea 13
CH - Svizzera 12
IL - Israele 12
RO - Romania 12
PE - Perù 11
UZ - Uzbekistan 11
TN - Tunisia 10
AZ - Azerbaigian 9
PH - Filippine 9
CL - Cile 8
KE - Kenya 8
NP - Nepal 8
PY - Paraguay 8
KG - Kirghizistan 7
OM - Oman 7
PT - Portogallo 7
AM - Armenia 6
AO - Angola 6
CR - Costa Rica 6
LV - Lettonia 6
NO - Norvegia 6
TT - Trinidad e Tobago 6
UY - Uruguay 6
BO - Bolivia 5
LB - Libano 5
LK - Sri Lanka 5
QA - Qatar 5
BY - Bielorussia 4
CM - Camerun 4
DK - Danimarca 4
DO - Repubblica Dominicana 4
EU - Europa 4
HU - Ungheria 4
NI - Nicaragua 4
PA - Panama 4
PS - Palestinian Territory 4
TH - Thailandia 4
TW - Taiwan 4
AL - Albania 3
BB - Barbados 3
BG - Bulgaria 3
DZ - Algeria 3
GE - Georgia 3
HN - Honduras 3
HR - Croazia 3
JM - Giamaica 3
NG - Nigeria 3
NZ - Nuova Zelanda 3
RS - Serbia 3
SK - Slovacchia (Repubblica Slovacca) 3
BW - Botswana 2
CZ - Repubblica Ceca 2
EE - Estonia 2
GD - Grenada 2
Totale 28.704
Salva come PNG Salva come JPEG
Città #
Dallas 3.747
Dublin 2.308
Moscow 2.061
Chandler 1.228
Jacksonville 1.065
Singapore 698
Abidjan 581
Ashburn 491
Helsinki 372
Beijing 345
Baranello 343
Wilmington 274
The Dalles 238
Princeton 203
Hong Kong 173
Los Angeles 171
New York 163
San Mateo 162
Ann Arbor 120
São Paulo 120
Vienna 112
Ho Chi Minh City 110
Milan 89
Brussels 74
Warsaw 74
Boardman 73
Montreal 73
Columbus 70
Hanoi 70
Ottawa 65
Rome 64
Dearborn 63
Munich 62
Campobasso 58
Santa Clara 54
Lappeenranta 53
Denver 48
Houston 48
Redwood City 46
Stockholm 45
Tokyo 42
Atlanta 41
Molise 41
Chennai 39
Falkenstein 39
London 36
Naples 36
Brooklyn 35
Mexico City 35
Rio de Janeiro 35
Boston 33
Chicago 33
Orem 33
Johannesburg 32
Amsterdam 31
Frankfurt am Main 31
Toronto 30
Jinan 29
Phoenix 29
Woodbridge 29
Poplar 28
Council Bluffs 27
San Francisco 27
Amman 25
Ankara 25
Turku 25
Manchester 24
Mumbai 23
Nanjing 21
Shenyang 21
Curitiba 20
Tianjin 20
Shanghai 19
Baghdad 18
Querétaro 18
Seattle 18
Guayaquil 17
Redmond 17
New Delhi 16
Brasília 15
Guangzhou 15
Norwalk 15
Paris 15
Washington 15
Zhengzhou 15
Haiphong 14
San Jose 14
Hangzhou 13
Belo Horizonte 12
Charlotte 12
Nuremberg 12
Osasco 12
Porto Alegre 12
Jakarta 11
Leawood 11
Campinas 10
Cicciano 10
Gunzenhausen 10
Napoli 10
Pune 10
Totale 17.575
Salva come PNG Salva come JPEG
Nome #
A blockchain based proposal for protecting healthcare systems through formal methods 254
Can machine learning predict soccer match results? 250
A methodology based on formal methods for thermal ablation area detection 250
2Faces: a new model of malware based on dynamic compiling and reflection 223
A Formal Methodology for Notational Analysis and Real-Time Decision Support in Sport Environment 214
Metodo e Sistema di Riconoscimento di un Conducente alla Guida di un Veicolo. 210
Computational cost of CT Radiomics workflow: A case study on COVID-19 207
Exploring Bioimage Synthesis and Detection via Generative Adversarial Networks: A Multi-Faceted Case Study 198
A Proposal for Trustworthy Artificial Intelligence 187
Cascade Learning for Mobile Malware Families Detection through Quality and Android Metrics 184
A Methodology for Real-Time Data Verification exploiting Deep Learning and Model Checking 184
A Model Checking based Proposal for Mobile Colluding Attack Detection 177
A Neural Network-Based Method for Respiratory Sound Analysis and Lung Disease Detection 175
Poster: A data life cycle modeling proposal by means of formal methods 171
A method for automatic penetration testing and mitigation: A Red Hat approach 171
Damage Detection and Localisation using UAV/Drone with Object Detection 169
Wearable Devices for Human Activity Recognition and User Detection 168
Benchmarking YOLO Models for Automatic Reading in Smart Metering Systems: A Performance Comparison Analysis 167
Accidental sensitive data leaks prevention via formal verification 164
A formula-driven modular attack on state explosion 162
Radiomic features for prostate cancer grade detection through formal verification 159
Diabetes Mellitus Affected Patients "Classification and Diagnosis through Machine Learning Techniques" 155
Evaluating model checking for cyber threats code obfuscation identification 154
Colluding Android Apps Detection via Model Checking 153
A novel methodology for head and neck carcinoma treatment stage detection by means of model checking 153
Dunuen: A user-friendly formal verification tool 152
A formula driven incremental construction of web service compositions 151
Talos: No more Ransomware Victims with Formal Methods 149
Car Hacking Identification through Fuzzy Logic Algorithms 148
Formal Verification of Radio Communication Management in Railway Systems Using Model Checking Technique 148
Android run-time permission exploitation user awareness by means of formal methods 148
A Local Approach for Temporal Model Checking of Java Bytecode 147
Exploiting supervised machine learning for driver detection in a real-world environment 145
VisualDroid: Automatic triage and detection of Android repackaged applications 145
An approach leveraging radiomics and model checking for the automatic early diagnosis of adhesive capsulitis 144
A “pay-how-you-drive” car insurance approach through cluster analysis 144
Measuring Mobile Applications Quality and Security in Higher Education 144
An approach leveraging radiomics and model checking for the automatic early diagnosis of adhesive capsulitis 144
Explainable retinal disease classification and localization through Convolutional Neural Networks 140
Android collusion detection by means of audio signal analysis with machine learning techniques 140
Mobile family detection through audio signals classification 140
A Method for Retina Segmentation by Means of U-Net Network 139
Radiomics and 256-slice-dual-energy CT in the automated diagnosis of mild acute pancreatitis: the innovation of formal methods and high-resolution CT 138
Explainable Deep Learning for Breast Cancer Classification and Localization 138
Dynamic mobile malware detection through system call-based image representation 137
A Non-Standard Semantics for Generating Reduced Transition Systems 136
Human Behaviour Characterization for Driving Style Recognition in Vehicle System 136
A Method for Intrusion Detection in Smart Grid 135
Model Checking Techniques applied to Satellite Operational Mode Management 135
Android collusion: Detecting malicious applications inter-communication through SharedPreferences 135
Malicious Collusion Detection in Mobile Environment by means of Model Checking 135
Formal Methods Meet Mobile Code Obfuscation 134
Explainability of Model Checking for Mobile Malicious Behavior Between Collaborative Apps Detection and Localisation 133
Download Malware? No, thanks. How Formal Methods can Block Update Attacks 133
Cluster Analysis for Driver Aggressiveness Identification 133
Model checking based approach for compliance checking 133
Detecting colluding inter-app communication in mobile environment 133
Exploiting model checking for mobile botnet detection 132
Code Reordering Obfuscation Technique Detection by Means of Weak Bisimulation 130
A Method for Road Accident Prevention in Smart Cities based on Deep Reinforcement Learning 129
Machine Learning to Identify Gender via Hair Elements 129
Hourly Global Solar Radiation Reconstruction Applying Machine Learning 129
A Semi-Automated Explainability-Driven Approach for Malware Analysis through Deep Learning 129
A Model Checking-based Approach to Malicious Family Detection in iOS Environment 128
Machine Learning on Soccer Player Positions 128
Explainability of radiomics through formal methods 126
Model Checking to Detect the Hummingbad Malware 126
A method for skin lesion detection and localization by means of Deep Learning and reliable prediction explainability 125
Early diagnosis of liver metastases from colorectal cancer through CT radiomics and formal methods: A pilot study 125
Malware and Formal Methods: Rigorous approaches for detecting malicious behaviour 125
Deep learning for image-based mobile malware detection 124
LEILA: formaL tool for idEntifying mobIle maLicious behAviour 123
Spyware detection using temporal logic 123
Model checking for data anomaly detection 123
A Method for Robust and Explainable Image-Based Network Traffic Classification with Deep Learning 122
MR_NET: A Method for Breast Cancer Detection and Localization from Histological Images Through Explainable Convolutional Neural Networks 122
On the Adoption of Radiomics and Formal Methods for COVID-19 Coronavirus Diagnosis 122
SteælErgon: A Framework for Injecting Colluding Malicious Payload in Android Applications 122
A Driver Detection Method by Means of Explainable Deep Learning 121
Formal methods meet mobile code obfuscation identification of code reordering technique 121
Formal modeling for magnetic resonance images tamper mitigation 121
Early diagnosis of liver metastases from colorectal cancer through CT radiomics and formal methods: A pilot study 119
Algebraic Computational Models of OR-Parallel Execution of Prolog”, Acta Informatica 118
CGAM: An end-to-end causality graph attention Mamba network for esophageal pathology grading 117
Context-Awareness Mobile Devices for Traffic Incident. 117
Real-time driver behaviour characterization through rule-based machine learning 117
Visualizing the outcome of dynamic analysis of Android malware with VizMal 116
Explainable Deep Learning for Pulmonary Disease and Coronavirus COVID-19 Detection from X-rays 116
DECAB-LSTM: Deep Contextualized Attentional Bidirectional LSTM for cancer hallmark classification 116
Social Network Polluting Contents Detection through Deep Learning Techniques 116
Formal Methods for Prostate Cancer Gleason Score and Treatment Prediction using Radiomic Biomarkers 115
Colluding covert channel for malicious information exfiltration in android environment 114
A Fuzzy Deep Learning Network for Dynamic Mobile Malware Detection 113
Formal Methods for Android Banking Malware Analysis and Detection 113
Investigating mobile applications quality in official and third-party marketplaces 112
Selective Mu-Calculus: New Modal Operators for Proving Properties on Reduced Transition Systems 111
Model checking for malicious family detection and phylogenetic analysis in mobile environment 111
Increasing differential diagnosis between lipoma and liposarcoma through radiomics: A narrative review 109
Selective Mu-Calculus and Formula-Based Equivalence of Transition Systems 108
Energy consumption metrics for mobile device dynamic malware detection 108
Totale 14.322
Salva come PNG Salva come JPEG
Categoria #
all - tutte 134.887
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 134.887
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021799 0 0 0 0 0 97 200 37 183 56 195 31
2021/20221.151 30 160 10 41 92 68 50 108 173 125 68 226
2022/20235.088 565 163 74 422 196 374 19 261 2.705 108 112 89
2023/20241.453 261 183 50 48 36 128 113 55 26 78 356 119
2024/20254.640 733 233 482 86 680 79 205 385 431 103 533 690
2025/202613.517 649 1.308 2.847 1.457 4.303 2.953 0 0 0 0 0 0
Totale 29.189