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

MERCALDO, Francesco
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 12.821
NA - Nord America 12.044
AS - Asia 4.615
SA - Sud America 1.708
AF - Africa 711
Continente sconosciuto - Info sul continente non disponibili 412
OC - Oceania 30
Totale 32.341
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 11.614
RU - Federazione Russa 6.614
IE - Irlanda 2.237
SG - Singapore 1.788
BR - Brasile 1.314
IT - Italia 1.305
CN - Cina 975
DE - Germania 546
VN - Vietnam 525
CI - Costa d'Avorio 486
FI - Finlandia 433
FR - Francia 404
HK - Hong Kong 268
IN - India 261
UA - Ucraina 229
CA - Canada 225
SE - Svezia 214
GB - Regno Unito 209
AR - Argentina 149
PL - Polonia 127
MX - Messico 121
BD - Bangladesh 117
JP - Giappone 80
EC - Ecuador 79
BE - Belgio 78
IQ - Iraq 76
NL - Olanda 74
ZA - Sudafrica 74
AT - Austria 71
ID - Indonesia 69
ES - Italia 61
TR - Turchia 58
GR - Grecia 54
PK - Pakistan 54
CO - Colombia 53
MA - Marocco 39
VE - Venezuela 38
IR - Iran 36
LT - Lituania 34
SA - Arabia Saudita 32
KR - Corea 30
MY - Malesia 29
PH - Filippine 27
JO - Giordania 26
EG - Egitto 22
AE - Emirati Arabi Uniti 21
SI - Slovenia 20
AU - Australia 19
PE - Perù 19
PY - Paraguay 19
CH - Svizzera 18
CL - Cile 18
RO - Romania 18
UZ - Uzbekistan 16
IL - Israele 15
NP - Nepal 15
TN - Tunisia 15
DO - Repubblica Dominicana 13
DZ - Algeria 13
KE - Kenya 12
CR - Costa Rica 11
PT - Portogallo 11
AZ - Azerbaigian 10
JM - Giamaica 10
OM - Oman 10
UY - Uruguay 10
LB - Libano 9
TT - Trinidad e Tobago 9
BO - Bolivia 8
HN - Honduras 8
NZ - Nuova Zelanda 8
PA - Panama 8
AL - Albania 7
AM - Armenia 7
ET - Etiopia 7
LV - Lettonia 7
NI - Nicaragua 7
PS - Palestinian Territory 7
RS - Serbia 7
TH - Thailandia 7
CZ - Repubblica Ceca 6
KG - Kirghizistan 6
LK - Sri Lanka 6
SV - El Salvador 6
TW - Taiwan 6
AO - Angola 5
KZ - Kazakistan 5
NG - Nigeria 5
NO - Norvegia 5
QA - Qatar 5
BG - Bulgaria 4
BY - Bielorussia 4
CM - Camerun 4
CY - Cipro 4
EU - Europa 4
HR - Croazia 4
HU - Ungheria 4
MD - Moldavia 4
XK - ???statistics.table.value.countryCode.XK??? 4
ZM - Zambia 4
Totale 31.869
Salva come PNG Salva come JPEG
Città #
Dallas 3.797
Dublin 2.236
Moscow 2.208
San Jose 1.434
Ashburn 785
Singapore 766
Chandler 758
Abidjan 486
The Dalles 462
Jacksonville 390
Helsinki 361
Beijing 351
Baranello 343
Hong Kong 252
Lauterbourg 241
Los Angeles 214
Frankfurt am Main 191
Ho Chi Minh City 183
New York 181
São Paulo 164
Santa Clara 130
Hanoi 119
Princeton 118
Milan 105
Wilmington 102
Warsaw 100
Ann Arbor 94
Columbus 78
San Mateo 77
Brussels 76
Montreal 72
Orem 69
Boardman 67
Campobasso 67
Rome 67
Tokyo 66
Munich 62
Chennai 58
Denver 57
Dearborn 56
Houston 54
Lappeenranta 54
Hillsboro 53
Vienna 52
Ottawa 51
Council Bluffs 50
Rio de Janeiro 50
Atlanta 49
Johannesburg 49
Naples 47
Amsterdam 46
London 46
Stockholm 46
Phoenix 45
Baghdad 39
Falkenstein 39
Toronto 39
Brooklyn 38
Manchester 38
Mexico City 38
Chicago 37
Molise 37
Boston 36
Redwood City 31
Curitiba 30
San Francisco 30
Guayaquil 29
Haiphong 29
Poplar 29
Mumbai 26
Paris 25
Ankara 23
Querétaro 23
Quito 23
Belo Horizonte 22
Brasília 22
New Delhi 21
Porto Alegre 21
Amman 20
Jinan 19
Shanghai 19
Charlotte 18
Jakarta 18
Dhaka 17
Nanjing 17
Redmond 17
Seattle 17
Turku 16
Biên Hòa 15
Casablanca 15
Nuremberg 15
Campinas 14
Tashkent 14
Tianjin 14
Cairo 13
Caracas 13
Da Nang 13
Guangzhou 13
Jeddah 13
Kochi 13
Totale 19.203
Salva come PNG Salva come JPEG
Nome #
A blockchain based proposal for protecting healthcare systems through formal methods 286
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 253
Metodo e Sistema di Riconoscimento di un Conducente alla Guida di un Veicolo. 247
A Formal Methodology for Notational Analysis and Real-Time Decision Support in Sport Environment 244
Towards Explainable Quantum Machine Learning for Mobile Malware Detection and Classification † 235
Exploring Bioimage Synthesis and Detection via Generative Adversarial Networks: A Multi-Faceted Case Study 229
Computational cost of CT Radiomics workflow: A case study on COVID-19 225
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 206
A Neural Network-Based Method for Respiratory Sound Analysis and Lung Disease Detection 205
Poster: A data life cycle modeling proposal by means of formal methods 204
A method for automatic penetration testing and mitigation: A Red Hat approach 204
A Proposal for Trustworthy Artificial Intelligence 200
A Model Checking based Proposal for Mobile Colluding Attack Detection 199
Damage Detection and Localisation using UAV/Drone with Object Detection 195
Benchmarking YOLO Models for Automatic Reading in Smart Metering Systems: A Performance Comparison Analysis 188
Wearable Devices for Human Activity Recognition and User Detection 187
Accidental sensitive data leaks prevention via formal verification 187
A framework for supporting ransomware detection and prevention based on hybrid analysis 184
Radiomic features for prostate cancer grade detection through formal verification 183
Android run-time permission exploitation user awareness by means of formal methods 182
Evaluating model checking for cyber threats code obfuscation identification 179
Dunuen: A user-friendly formal verification tool 179
A Method for Intrusion Detection in Smart Grid 172
Talos: No more Ransomware Victims with Formal Methods 171
A novel methodology for head and neck carcinoma treatment stage detection by means of model checking 171
A Method for Retina Segmentation by Means of U-Net Network 170
A machine learning approach for game bot detection through behavioural features 170
Diabetes Mellitus Affected Patients "Classification and Diagnosis through Machine Learning Techniques" 169
Colluding Android Apps Detection via Model Checking 168
Explainability of Model Checking for Mobile Malicious Behavior Between Collaborative Apps Detection and Localisation 166
Car Hacking Identification through Fuzzy Logic Algorithms 166
A “pay-how-you-drive” car insurance approach through cluster analysis 162
Explainable Deep Learning for Breast Cancer Classification and Localization 162
Dynamic mobile malware detection through system call-based image representation 161
VisualDroid: Automatic triage and detection of Android repackaged applications 160
Explainable retinal disease classification and localization through Convolutional Neural Networks 159
Android collusion: Detecting malicious applications inter-communication through SharedPreferences 159
Mobile family detection through audio signals classification 159
Android collusion detection by means of audio signal analysis with machine learning techniques 158
A method for skin lesion detection and localization by means of Deep Learning and reliable prediction explainability 157
Measuring Mobile Applications Quality and Security in Higher Education 157
A Method for Road Accident Prevention in Smart Cities based on Deep Reinforcement Learning 156
Formal Methods Meet Mobile Code Obfuscation 156
A fuzzy-based process mining approach for dynamic malware detection 156
Detecting colluding inter-app communication in mobile environment 156
Malicious Collusion Detection in Mobile Environment by means of Model Checking 156
Exploiting supervised machine learning for driver detection in a real-world environment 156
Download Malware? No, thanks. How Formal Methods can Block Update Attacks 154
Cluster Analysis for Driver Aggressiveness Identification 154
A Machine-Learning-Based Framework for Supporting Malware Detection and Analysis 152
Explainability of radiomics through formal methods 152
On the Adoption of Radiomics and Formal Methods for COVID-19 Coronavirus Diagnosis 150
Deep learning for image-based mobile malware detection 149
A deep-learning-based framework for supporting analysis and detection of attacks on CAN buses 148
Exploiting model checking for mobile botnet detection 148
Model checking based approach for compliance checking 147
Hourly Global Solar Radiation Reconstruction Applying Machine Learning 147
A Method for Robust and Explainable Image-Based Network Traffic Classification with Deep Learning 146
Machine Learning to Identify Gender via Hair Elements 146
MR_NET: A Method for Breast Cancer Detection and Localization from Histological Images Through Explainable Convolutional Neural Networks 144
Model Checking to Detect the Hummingbad Malware 144
Model checking for data anomaly detection 144
A Model Checking-based Approach to Malicious Family Detection in iOS Environment 143
A Driver Detection Method by Means of Explainable Deep Learning 142
Phylogenetic analysis for ransomware detection and classification into families 142
Machine Learning on Soccer Player Positions 142
A Case Study of Automating User Experience-Oriented Performance Testing on Smartphones 142
Formal modeling for magnetic resonance images tamper mitigation 142
A Semi-Automated Explainability-Driven Approach for Malware Analysis through Deep Learning 142
Malware and Formal Methods: Rigorous approaches for detecting malicious behaviour 141
Visualizing the outcome of dynamic analysis of Android malware with VizMal 141
Code Reordering Obfuscation Technique Detection by Means of Weak Bisimulation 141
LEILA: formaL tool for idEntifying mobIle maLicious behAviour 140
Spyware detection using temporal logic 140
Explainable Deep Learning for Pulmonary Disease and Coronavirus COVID-19 Detection from X-rays 140
Formal methods meet mobile code obfuscation identification of code reordering technique 140
SteælErgon: A Framework for Injecting Colluding Malicious Payload in Android Applications 140
A constraint-driven approach for dynamic malware detection 139
A Fuzzy Deep Learning Network for Dynamic Mobile Malware Detection 138
Energy consumption metrics for mobile device dynamic malware detection 138
A machine-learning framework for supporting intelligent web-phishing detection and analysis 137
A Method for Ocular Disease Diagnosis through Visual Prediction Explainability 135
Context-Awareness Mobile Devices for Traffic Incident. 134
StegWare: A Novel Malware Model Exploiting Payload Steganography and Dynamic Compilation 133
Effectiveness of Opcode ngrams for Detection of Multi Family Android Malware 133
Real-time driver behaviour characterization through rule-based machine learning 132
Driver Identification Through Formal Methods 131
A Classifier of Malicious Android Applications 130
CGAM: An end-to-end causality graph attention Mamba network for esophageal pathology grading 129
Real-Time SCADA Attack Detection by Means of Formal Methods 129
DECAB-LSTM: Deep Contextualized Attentional Bidirectional LSTM for cancer hallmark classification 129
Colluding covert channel for malicious information exfiltration in android environment 129
Formal Methods for Prostate Cancer Gleason Score and Treatment Prediction using Radiomic Biomarkers 128
Audio signal processing for Android malware detection and family identification 128
Investigating mobile applications quality in official and third-party marketplaces 127
Toward the Adoption of Explainable Pre-Trained Large Language Models for Classifying Human-Written and AI-Generated Sentences 126
Dynamic malware detection and phylogeny analysis using process mining 126
Totale 16.411
Salva come PNG Salva come JPEG
Categoria #
all - tutte 137.839
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 137.839
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022716 0 76 10 32 40 48 44 53 93 114 62 144
2022/20234.142 360 136 72 230 142 206 17 254 2.435 138 88 64
2023/20241.380 234 126 58 44 39 98 109 58 25 94 374 121
2024/20254.405 680 207 351 78 695 86 222 392 453 123 509 609
2025/202619.591 623 1.379 3.127 1.938 4.305 3.482 1.779 552 622 1.303 303 178
2026/2027344 280 64 0 0 0 0 0 0 0 0 0 0
Totale 32.341