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

SANTONE, Antonella
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 13.545
NA - Nord America 13.453
AS - Asia 4.389
SA - Sud America 1.334
AF - Africa 790
OC - Oceania 20
Continente sconosciuto - Info sul continente non disponibili 7
Totale 33.538
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 13.071
RU - Federazione Russa 6.639
IE - Irlanda 2.312
SG - Singapore 1.834
IT - Italia 1.321
BR - Brasile 1.035
CN - Cina 991
DE - Germania 717
CI - Costa d'Avorio 581
UA - Ucraina 490
FI - Finlandia 455
FR - Francia 405
VN - Vietnam 352
SE - Svezia 328
IN - India 258
CA - Canada 222
GB - Regno Unito 219
HK - Hong Kong 217
AT - Austria 125
PL - Polonia 121
AR - Argentina 114
MX - Messico 107
BD - Bangladesh 81
BE - Belgio 77
IQ - Iraq 75
JP - Giappone 71
TR - Turchia 67
NL - Olanda 66
ZA - Sudafrica 64
GR - Grecia 58
ID - Indonesia 53
EC - Ecuador 52
PK - Pakistan 52
ES - Italia 46
CO - Colombia 41
LT - Lituania 35
MY - Malesia 35
MA - Marocco 33
VE - Venezuela 33
JO - Giordania 32
SI - Slovenia 31
SA - Arabia Saudita 30
AE - Emirati Arabi Uniti 25
PH - Filippine 24
TN - Tunisia 24
EG - Egitto 21
KR - Corea 21
IR - Iran 20
NP - Nepal 17
IL - Israele 16
UZ - Uzbekistan 16
AU - Australia 15
RO - Romania 15
CL - Cile 14
PE - Perù 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
LB - Libano 10
PT - Portogallo 10
PS - Palestinian Territory 9
UY - Uruguay 9
KG - Kirghizistan 8
TH - Thailandia 8
TT - Trinidad e Tobago 8
AL - Albania 7
DO - Repubblica Dominicana 7
ET - Etiopia 7
KZ - Kazakistan 7
AM - Armenia 6
AO - Angola 6
HU - Ungheria 6
LV - Lettonia 6
NG - Nigeria 6
NO - Norvegia 6
PA - Panama 6
QA - Qatar 6
BY - Bielorussia 5
HN - Honduras 5
LK - Sri Lanka 5
SN - Senegal 5
BG - Bulgaria 4
CM - Camerun 4
DK - Danimarca 4
EU - Europa 4
JM - Giamaica 4
NI - Nicaragua 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 33.486
Salva come PNG Salva come JPEG
Città #
Dallas 3.755
Dublin 2.311
Moscow 2.213
San Jose 1.360
Chandler 1.228
Jacksonville 1.065
Singapore 885
Ashburn 793
Abidjan 581
The Dalles 426
Helsinki 375
Beijing 354
Baranello 343
Wilmington 274
Lauterbourg 258
Hong Kong 209
Princeton 203
Frankfurt am Main 188
Los Angeles 179
New York 177
San Mateo 162
São Paulo 132
Ho Chi Minh City 126
Ann Arbor 120
Vienna 112
Milan 97
Warsaw 92
Hanoi 87
Orem 80
Brussels 75
Montreal 75
Boardman 74
Santa Clara 74
Rome 71
Columbus 70
Ottawa 66
Campobasso 65
Chennai 63
Dearborn 63
Munich 62
Tokyo 61
Lappeenranta 53
Naples 53
Council Bluffs 51
Denver 49
Houston 49
Stockholm 47
Redwood City 46
Atlanta 45
Amsterdam 41
Hillsboro 41
Molise 41
Falkenstein 39
London 39
Mexico City 38
Rio de Janeiro 38
Brooklyn 37
Johannesburg 36
Baghdad 35
Chicago 35
Boston 34
Manchester 34
Phoenix 32
Toronto 32
Ankara 30
San Francisco 30
Amman 29
Jinan 29
Mumbai 29
Poplar 29
Woodbridge 29
Turku 25
Curitiba 24
New Delhi 24
Guayaquil 22
Shanghai 22
Nanjing 21
Paris 21
Shenyang 21
Nuremberg 20
Seattle 20
Tianjin 20
Haiphong 19
Querétaro 18
Brasília 17
Redmond 17
Belo Horizonte 16
Zhengzhou 16
Guangzhou 15
Norwalk 15
Porto Alegre 15
Washington 15
Jakarta 14
Jeddah 14
Tashkent 14
Bogotá 13
Dhaka 13
Hangzhou 13
Osasco 13
Turin 13
Totale 20.664
Salva come PNG Salva come JPEG
Nome #
A blockchain based proposal for protecting healthcare systems through formal methods 284
A methodology based on formal methods for thermal ablation area detection 282
Can machine learning predict soccer match results? 275
2Faces: a new model of malware based on dynamic compiling and reflection 252
A Formal Methodology for Notational Analysis and Real-Time Decision Support in Sport Environment 242
Metodo e Sistema di Riconoscimento di un Conducente alla Guida di un Veicolo. 240
Computational cost of CT Radiomics workflow: A case study on COVID-19 223
Exploring Bioimage Synthesis and Detection via Generative Adversarial Networks: A Multi-Faceted Case Study 221
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 204
A method for automatic penetration testing and mitigation: A Red Hat approach 199
A Proposal for Trustworthy Artificial Intelligence 198
A Neural Network-Based Method for Respiratory Sound Analysis and Lung Disease Detection 197
A Model Checking based Proposal for Mobile Colluding Attack Detection 197
Poster: A data life cycle modeling proposal by means of formal methods 197
Damage Detection and Localisation using UAV/Drone with Object Detection 192
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
Android run-time permission exploitation user awareness by means of formal methods 181
Evaluating model checking for cyber threats code obfuscation identification 179
An approach leveraging radiomics and model checking for the automatic early diagnosis of adhesive capsulitis 179
A formula-driven modular attack on state explosion 178
Radiomic features for prostate cancer grade detection through formal verification 178
Dunuen: A user-friendly formal verification tool 171
A novel methodology for head and neck carcinoma treatment stage detection by means of model checking 171
A Method for Intrusion Detection in Smart Grid 168
Diabetes Mellitus Affected Patients "Classification and Diagnosis through Machine Learning Techniques" 168
Talos: No more Ransomware Victims with Formal Methods 166
Colluding Android Apps Detection via Model Checking 166
Car Hacking Identification through Fuzzy Logic Algorithms 165
An approach leveraging radiomics and model checking for the automatic early diagnosis of adhesive capsulitis 164
A Method for Retina Segmentation by Means of U-Net Network 164
A Local Approach for Temporal Model Checking of Java Bytecode 163
Radiomics and 256-slice-dual-energy CT in the automated diagnosis of mild acute pancreatitis: the innovation of formal methods and high-resolution CT 162
Formal Verification of Radio Communication Management in Railway Systems Using Model Checking Technique 161
Explainable retinal disease classification and localization through Convolutional Neural Networks 158
Explainability of Model Checking for Mobile Malicious Behavior Between Collaborative Apps Detection and Localisation 158
A “pay-how-you-drive” car insurance approach through cluster analysis 158
Android collusion: Detecting malicious applications inter-communication through SharedPreferences 158
VisualDroid: Automatic triage and detection of Android repackaged applications 158
Measuring Mobile Applications Quality and Security in Higher Education 157
Explainable Deep Learning for Breast Cancer Classification and Localization 157
A Method for Road Accident Prevention in Smart Cities based on Deep Reinforcement Learning 156
Dynamic mobile malware detection through system call-based image representation 156
Mobile family detection through audio signals classification 156
Formal Methods Meet Mobile Code Obfuscation 155
Android collusion detection by means of audio signal analysis with machine learning techniques 155
Exploiting supervised machine learning for driver detection in a real-world environment 155
Malicious Collusion Detection in Mobile Environment by means of Model Checking 153
A method for skin lesion detection and localization by means of Deep Learning and reliable prediction explainability 152
Download Malware? No, thanks. How Formal Methods can Block Update Attacks 151
Cluster Analysis for Driver Aggressiveness Identification 151
Detecting colluding inter-app communication in mobile environment 151
Early diagnosis of liver metastases from colorectal cancer through CT radiomics and formal methods: A pilot study 149
Explainability of radiomics through formal methods 148
Early diagnosis of liver metastases from colorectal cancer through CT radiomics and formal methods: A pilot study 147
Model Checking Techniques applied to Satellite Operational Mode Management 146
Exploiting model checking for mobile botnet detection 146
On the Adoption of Radiomics and Formal Methods for COVID-19 Coronavirus Diagnosis 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
Hourly Global Solar Radiation Reconstruction Applying Machine Learning 145
Human Behaviour Characterization for Driving Style Recognition in Vehicle System 144
Model checking based approach for compliance checking 144
A Model Checking-based Approach to Malicious Family Detection in iOS Environment 143
Machine Learning to Identify Gender via Hair Elements 143
A Driver Detection Method by Means of Explainable Deep Learning 142
Model Checking to Detect the Hummingbad Malware 142
Deep learning for image-based mobile malware detection 142
Machine Learning on Soccer Player Positions 141
Formal modeling for magnetic resonance images tamper mitigation 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
A Semi-Automated Explainability-Driven Approach for Malware Analysis through Deep Learning 140
Model checking for data anomaly detection 139
MR_NET: A Method for Breast Cancer Detection and Localization from Histological Images Through Explainable Convolutional Neural Networks 137
A Fuzzy Deep Learning Network for Dynamic Mobile Malware Detection 137
Visualizing the outcome of dynamic analysis of Android malware with VizMal 137
Formal methods meet mobile code obfuscation identification of code reordering technique 137
Energy consumption metrics for mobile device dynamic malware detection 137
SteælErgon: A Framework for Injecting Colluding Malicious Payload in Android Applications 137
Increasing differential diagnosis between lipoma and liposarcoma through radiomics: A narrative review 134
LEILA: formaL tool for idEntifying mobIle maLicious behAviour 134
Explainable Deep Learning for Pulmonary Disease and Coronavirus COVID-19 Detection from X-rays 133
A Method for Ocular Disease Diagnosis through Visual Prediction Explainability 131
Context-Awareness Mobile Devices for Traffic Incident. 131
Real-time driver behaviour characterization through rule-based machine learning 129
Algebraic Computational Models of OR-Parallel Execution of Prolog”, Acta Informatica 128
DECAB-LSTM: Deep Contextualized Attentional Bidirectional LSTM for cancer hallmark classification 128
Driver Identification Through Formal Methods 128
Investigating mobile applications quality in official and third-party marketplaces 127
CGAM: An end-to-end causality graph attention Mamba network for esophageal pathology grading 126
StegWare: A Novel Malware Model Exploiting Payload Steganography and Dynamic Compilation 126
Selective Mu-Calculus: New Modal Operators for Proving Properties on Reduced Transition Systems 126
Formal Methods for Prostate Cancer Gleason Score and Treatment Prediction using Radiomic Biomarkers 126
Social Network Polluting Contents Detection through Deep Learning Techniques 126
Colluding covert channel for malicious information exfiltration in android environment 126
Totale 16.215
Salva come PNG Salva come JPEG
Categoria #
all - tutte 144.276
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 144.276
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021282 0 0 0 0 0 0 0 0 0 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/202618.328 649 1.308 2.847 1.457 4.303 3.508 1.669 624 638 1.325 0 0
Totale 34.000