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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202131 0 0 0 0 0 0 0 0 0 0 0 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/202618.894 649 1.308 2.847 1.457 4.303 3.508 1.669 624 638 1.430 297 164
Totale 34.566