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

SANTONE, Antonella
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 16.580
EU - Europa 14.405
AS - Asia 4.680
SA - Sud America 1.412
AF - Africa 799
Continente sconosciuto - Info sul continente non disponibili 476
OC - Oceania 21
Totale 38.373
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 16.045
RU - Federazione Russa 6.639
IE - Irlanda 2.314
IT - Italia 2.106
SG - Singapore 1.911
CN - Cina 1.078
BR - Brasile 1.061
DE - Germania 719
CI - Costa d'Avorio 581
UA - Ucraina 491
FI - Finlandia 455
FR - Francia 411
VN - Vietnam 361
SE - Svezia 329
CA - Canada 286
IN - India 258
GB - Regno Unito 242
HK - Hong Kong 236
AT - Austria 125
AR - Argentina 124
MX - Messico 121
PL - Polonia 121
BD - Bangladesh 118
BE - Belgio 78
IQ - Iraq 76
JP - Giappone 76
NL - Olanda 73
TR - Turchia 70
EC - Ecuador 65
ID - Indonesia 64
ZA - Sudafrica 64
CO - Colombia 60
GR - Grecia 59
PK - Pakistan 58
ES - Italia 57
MY - Malesia 40
VE - Venezuela 38
SA - Arabia Saudita 36
LT - Lituania 35
JO - Giordania 33
MA - Marocco 33
SI - Slovenia 31
PH - Filippine 29
AE - Emirati Arabi Uniti 27
KR - Corea 24
TN - Tunisia 24
EG - Egitto 21
IR - Iran 21
RO - Romania 21
CR - Costa Rica 20
JM - Giamaica 20
NP - Nepal 17
AU - Australia 16
IL - Israele 16
TT - Trinidad e Tobago 16
UZ - Uzbekistan 16
CH - Svizzera 15
CL - Cile 15
PE - Perù 15
HN - Honduras 14
NI - Nicaragua 13
OM - Oman 13
PY - Paraguay 12
AZ - Azerbaigian 11
BO - Bolivia 11
KE - Kenya 11
LB - Libano 11
PS - Palestinian Territory 11
PT - Portogallo 11
TH - Thailandia 11
DZ - Algeria 10
KZ - Kazakistan 10
UY - Uruguay 10
DO - Repubblica Dominicana 8
GT - Guatemala 8
KG - Kirghizistan 8
AL - Albania 7
AM - Armenia 7
EE - Estonia 7
ET - Etiopia 7
LK - Sri Lanka 7
SV - El Salvador 7
AO - Angola 6
HU - Ungheria 6
LV - Lettonia 6
NG - Nigeria 6
NO - Norvegia 6
PA - Panama 6
QA - Qatar 6
SC - Seychelles 6
BG - Bulgaria 5
BY - Bielorussia 5
DK - Danimarca 5
SN - Senegal 5
BB - Barbados 4
CM - Camerun 4
CZ - Repubblica Ceca 4
EU - Europa 4
MD - Moldavia 4
RS - Serbia 4
Totale 37.828
Salva come PNG Salva come JPEG
Città #
Dallas 3.772
Dublin 2.312
Moscow 2.213
San Jose 1.738
Chandler 1.228
Ashburn 1.216
Jacksonville 1.067
Singapore 899
Abidjan 581
The Dalles 427
Beijing 388
Helsinki 375
Baranello 343
Council Bluffs 340
Staranzano 293
Milan 280
Wilmington 276
Lauterbourg 258
Hong Kong 224
Princeton 223
New York 205
Los Angeles 200
Frankfurt am Main 188
Santa Clara 166
San Mateo 162
São Paulo 134
Ho Chi Minh City 129
Ann Arbor 120
Vienna 113
Phoenix 109
Warsaw 92
Rome 89
Hanoi 87
Apopka 86
Orem 82
Montreal 80
Brussels 76
Boardman 74
Columbus 73
Campobasso 72
Naples 71
Ottawa 67
Tokyo 66
Houston 64
Chennai 63
Dearborn 63
Munich 62
Charlestown 58
Denver 57
Atlanta 56
Miano 54
Chicago 53
Lappeenranta 53
Plymouth Meeting 51
Stockholm 48
Seattle 47
Redwood City 46
Brooklyn 44
Mexico City 44
Toronto 44
London 43
Amsterdam 41
Boston 41
Hillsboro 41
Molise 41
Falkenstein 39
Rio de Janeiro 38
Baghdad 36
Johannesburg 36
Grover Beach 35
Manchester 34
San Francisco 32
Ankara 30
Janesville 30
Woodbridge 30
Amman 29
Jinan 29
Mumbai 29
Poplar 29
Shanghai 27
Curitiba 26
Newark 25
Turku 25
Guayaquil 24
New Delhi 24
Nanjing 23
Brasília 21
Paris 21
Shenyang 21
Washington 21
Bogotá 20
Nuremberg 20
Tianjin 20
Haiphong 19
Turin 19
Charlotte 18
Querétaro 18
Quito 18
Belo Horizonte 17
Redmond 17
Totale 23.008
Salva come PNG Salva come JPEG
Nome #
Can machine learning predict soccer match results? 299
A blockchain based proposal for protecting healthcare systems through formal methods 298
A methodology based on formal methods for thermal ablation area detection 297
2Faces: a new model of malware based on dynamic compiling and reflection 263
A Formal Methodology for Notational Analysis and Real-Time Decision Support in Sport Environment 258
Metodo e Sistema di Riconoscimento di un Conducente alla Guida di un Veicolo. 253
Towards Explainable Quantum Machine Learning for Mobile Malware Detection and Classification † 247
Exploring Bioimage Synthesis and Detection via Generative Adversarial Networks: A Multi-Faceted Case Study 241
Computational cost of CT Radiomics workflow: A case study on COVID-19 239
A Methodology for Real-Time Data Verification exploiting Deep Learning and Model Checking 227
Cascade Learning for Mobile Malware Families Detection through Quality and Android Metrics 219
A Neural Network-Based Method for Respiratory Sound Analysis and Lung Disease Detection 217
A method for automatic penetration testing and mitigation: A Red Hat approach 216
A Proposal for Trustworthy Artificial Intelligence 214
A Model Checking based Proposal for Mobile Colluding Attack Detection 213
Poster: A data life cycle modeling proposal by means of formal methods 213
Damage Detection and Localisation using UAV/Drone with Object Detection 207
An approach leveraging radiomics and model checking for the automatic early diagnosis of adhesive capsulitis 206
Benchmarking YOLO Models for Automatic Reading in Smart Metering Systems: A Performance Comparison Analysis 199
Wearable Devices for Human Activity Recognition and User Detection 199
Radiomics and 256-slice-dual-energy CT in the automated diagnosis of mild acute pancreatitis: the innovation of formal methods and high-resolution CT 197
Accidental sensitive data leaks prevention via formal verification 196
Radiomic features for prostate cancer grade detection through formal verification 193
A formula driven incremental construction of web service compositions 192
Dunuen: A user-friendly formal verification tool 192
Android run-time permission exploitation user awareness by means of formal methods 191
Evaluating model checking for cyber threats code obfuscation identification 189
A formula-driven modular attack on state explosion 188
A Method for Intrusion Detection in Smart Grid 183
An approach leveraging radiomics and model checking for the automatic early diagnosis of adhesive capsulitis 182
A novel methodology for head and neck carcinoma treatment stage detection by means of model checking 182
A Method for Retina Segmentation by Means of U-Net Network 181
Diabetes Mellitus Affected Patients "Classification and Diagnosis through Machine Learning Techniques" 181
Talos: No more Ransomware Victims with Formal Methods 180
Explainable Deep Learning for Breast Cancer Classification and Localization 180
Explainable retinal disease classification and localization through Convolutional Neural Networks 179
Car Hacking Identification through Fuzzy Logic Algorithms 178
Colluding Android Apps Detection via Model Checking 177
Explainability of Model Checking for Mobile Malicious Behavior Between Collaborative Apps Detection and Localisation 175
Formal Verification of Radio Communication Management in Railway Systems Using Model Checking Technique 175
A method for skin lesion detection and localization by means of Deep Learning and reliable prediction explainability 173
A Local Approach for Temporal Model Checking of Java Bytecode 173
A “pay-how-you-drive” car insurance approach through cluster analysis 173
Dynamic mobile malware detection through system call-based image representation 172
A Method for Road Accident Prevention in Smart Cities based on Deep Reinforcement Learning 171
Android collusion detection by means of audio signal analysis with machine learning techniques 170
Android collusion: Detecting malicious applications inter-communication through SharedPreferences 169
Detecting colluding inter-app communication in mobile environment 168
VisualDroid: Automatic triage and detection of Android repackaged applications 168
Early diagnosis of liver metastases from colorectal cancer through CT radiomics and formal methods: A pilot study 167
Formal Methods Meet Mobile Code Obfuscation 167
Malicious Collusion Detection in Mobile Environment by means of Model Checking 167
Exploiting supervised machine learning for driver detection in a real-world environment 167
Measuring Mobile Applications Quality and Security in Higher Education 166
Mobile family detection through audio signals classification 166
Download Malware? No, thanks. How Formal Methods can Block Update Attacks 165
Cluster Analysis for Driver Aggressiveness Identification 165
A Method for Robust and Explainable Image-Based Network Traffic Classification with Deep Learning 164
Early diagnosis of liver metastases from colorectal cancer through CT radiomics and formal methods: A pilot study 163
Model Checking Techniques applied to Satellite Operational Mode Management 162
Explainability of radiomics through formal methods 160
On the Adoption of Radiomics and Formal Methods for COVID-19 Coronavirus Diagnosis 158
Model checking based approach for compliance checking 157
Exploiting model checking for mobile botnet detection 157
Hourly Global Solar Radiation Reconstruction Applying Machine Learning 157
Deep learning for image-based mobile malware detection 157
MR_NET: A Method for Breast Cancer Detection and Localization from Histological Images Through Explainable Convolutional Neural Networks 155
Machine Learning on Soccer Player Positions 155
Machine Learning to Identify Gender via Hair Elements 155
A Driver Detection Method by Means of Explainable Deep Learning 154
Human Behaviour Characterization for Driving Style Recognition in Vehicle System 154
Model Checking to Detect the Hummingbad Malware 154
Visualizing the outcome of dynamic analysis of Android malware with VizMal 153
Model checking for data anomaly detection 153
Code Reordering Obfuscation Technique Detection by Means of Weak Bisimulation 153
A Semi-Automated Explainability-Driven Approach for Malware Analysis through Deep Learning 153
Increasing differential diagnosis between lipoma and liposarcoma through radiomics: A narrative review 152
A Non-Standard Semantics for Generating Reduced Transition Systems 152
A Method for Ocular Disease Diagnosis through Visual Prediction Explainability 151
A Model Checking-based Approach to Malicious Family Detection in iOS Environment 151
Formal modeling for magnetic resonance images tamper mitigation 151
StegWare: A Novel Malware Model Exploiting Payload Steganography and Dynamic Compilation 150
Malware and Formal Methods: Rigorous approaches for detecting malicious behaviour 150
LEILA: formaL tool for idEntifying mobIle maLicious behAviour 150
Spyware detection using temporal logic 150
SteælErgon: A Framework for Injecting Colluding Malicious Payload in Android Applications 150
A Fuzzy Deep Learning Network for Dynamic Mobile Malware Detection 149
Explainable Deep Learning for Pulmonary Disease and Coronavirus COVID-19 Detection from X-rays 149
Formal methods meet mobile code obfuscation identification of code reordering technique 149
Algebraic Computational Models of OR-Parallel Execution of Prolog”, Acta Informatica 149
Energy consumption metrics for mobile device dynamic malware detection 145
Context-Awareness Mobile Devices for Traffic Incident. 144
Real-time driver behaviour characterization through rule-based machine learning 144
DECAB-LSTM: Deep Contextualized Attentional Bidirectional LSTM for cancer hallmark classification 142
CGAM: An end-to-end causality graph attention Mamba network for esophageal pathology grading 141
Real-Time SCADA Attack Detection by Means of Formal Methods 141
Driver Identification Through Formal Methods 140
Audio signal processing for Android malware detection and family identification 140
Investigating mobile applications quality in official and third-party marketplaces 139
Toward the Adoption of Explainable Pre-Trained Large Language Models for Classifying Human-Written and AI-Generated Sentences 138
Totale 17.774
Salva come PNG Salva come JPEG
Categoria #
all - tutte 168.037
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 168.037
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022951 0 0 0 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/202618.920 649 1.308 2.847 1.457 4.303 3.508 1.669 624 638 1.430 297 190
2026/20273.781 305 491 1.483 1.502 0 0 0 0 0 0 0 0
Totale 38.373