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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/20221.121 0 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/202618.920 649 1.308 2.847 1.457 4.303 3.508 1.669 624 638 1.430 297 190
2026/2027762 305 457 0 0 0 0 0 0 0 0 0 0
Totale 35.354