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.733
NA - Nord America 11.419
AS - Asia 4.412
SA - Sud America 1.695
AF - Africa 708
OC - Oceania 30
Continente sconosciuto - Info sul continente non disponibili 8
Totale 31.005
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 11.037
RU - Federazione Russa 6.614
IE - Irlanda 2.236
SG - Singapore 1.723
BR - Brasile 1.309
IT - Italia 1.243
CN - Cina 898
DE - Germania 545
VN - Vietnam 523
CI - Costa d'Avorio 486
FI - Finlandia 433
FR - Francia 403
IN - India 261
HK - Hong Kong 250
UA - Ucraina 228
SE - Svezia 214
GB - Regno Unito 205
CA - Canada 202
AR - Argentina 147
PL - Polonia 127
MX - Messico 118
BD - Bangladesh 89
JP - Giappone 79
EC - Ecuador 78
BE - Belgio 77
IQ - Iraq 75
ZA - Sudafrica 74
AT - Austria 71
ID - Indonesia 68
NL - Olanda 68
TR - Turchia 58
ES - Italia 55
GR - Grecia 54
PK - Pakistan 53
CO - Colombia 50
MA - Marocco 39
VE - Venezuela 37
IR - Iran 35
LT - Lituania 34
SA - Arabia Saudita 32
KR - Corea 28
MY - Malesia 27
PH - Filippine 27
JO - Giordania 25
EG - Egitto 22
SI - Slovenia 20
AE - Emirati Arabi Uniti 19
AU - Australia 19
PY - Paraguay 19
CL - Cile 18
PE - Perù 18
RO - Romania 18
CH - Svizzera 17
UZ - Uzbekistan 16
IL - Israele 15
NP - Nepal 15
TN - Tunisia 15
DZ - Algeria 13
DO - Repubblica Dominicana 12
KE - Kenya 12
PT - Portogallo 11
AZ - Azerbaigian 10
CR - Costa Rica 10
OM - Oman 10
UY - Uruguay 10
LB - Libano 9
BO - Bolivia 8
NZ - Nuova Zelanda 8
PA - Panama 8
AL - Albania 7
ET - Etiopia 7
LV - Lettonia 7
PS - Palestinian Territory 7
RS - Serbia 7
TH - Thailandia 7
TT - Trinidad e Tobago 7
AM - Armenia 6
HN - Honduras 6
KG - Kirghizistan 6
LK - Sri Lanka 6
TW - Taiwan 6
AO - Angola 5
CZ - Repubblica Ceca 5
KZ - Kazakistan 5
NG - Nigeria 5
NI - Nicaragua 5
NO - Norvegia 5
QA - Qatar 5
BY - Bielorussia 4
CM - Camerun 4
CY - Cipro 4
EU - Europa 4
HR - Croazia 4
HU - Ungheria 4
JM - Giamaica 4
SV - El Salvador 4
XK - ???statistics.table.value.countryCode.XK??? 4
ZM - Zambia 4
BG - Bulgaria 3
BH - Bahrain 3
Totale 30.947
Salva come PNG Salva come JPEG
Città #
Dallas 3.788
Dublin 2.235
Moscow 2.208
San Jose 1.360
Chandler 758
Ashburn 757
Singapore 754
Abidjan 486
The Dalles 461
Jacksonville 387
Helsinki 361
Baranello 343
Beijing 324
Lauterbourg 241
Hong Kong 239
Los Angeles 206
Frankfurt am Main 191
Ho Chi Minh City 183
New York 169
São Paulo 163
Hanoi 118
Princeton 117
Wilmington 102
Warsaw 100
Milan 99
Ann Arbor 94
San Mateo 77
Columbus 76
Brussels 75
Santa Clara 73
Montreal 71
Boardman 67
Orem 67
Tokyo 65
Munich 62
Campobasso 61
Rome 61
Chennai 58
Dearborn 56
Denver 55
Lappeenranta 54
Hillsboro 53
Vienna 52
Houston 50
Ottawa 50
Rio de Janeiro 50
Johannesburg 49
Amsterdam 46
Stockholm 46
Atlanta 45
Naples 45
London 44
Council Bluffs 41
Phoenix 41
Falkenstein 39
Baghdad 38
Manchester 38
Molise 37
Brooklyn 36
Mexico City 35
Toronto 35
Boston 34
Chicago 32
Redwood City 31
San Francisco 30
Curitiba 29
Guayaquil 29
Haiphong 29
Poplar 29
Mumbai 26
Paris 25
Ankara 23
Querétaro 23
Brasília 22
Quito 22
Belo Horizonte 21
New Delhi 21
Porto Alegre 21
Amman 20
Jinan 19
Jakarta 18
Dhaka 17
Nanjing 17
Redmond 17
Charlotte 16
Seattle 16
Shanghai 16
Turku 16
Biên Hòa 15
Casablanca 15
Nuremberg 15
Campinas 14
Tashkent 14
Tianjin 14
Caracas 13
Da Nang 13
Guangzhou 13
Jeddah 13
Kochi 13
Lahore 13
Totale 18.876
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
Android run-time permission exploitation user awareness by means of formal methods 181
Evaluating model checking for cyber threats code obfuscation identification 179
Radiomic features for prostate cancer grade detection through formal verification 178
A framework for supporting ransomware detection and prevention based on hybrid analysis 176
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
A machine learning approach for game bot detection through behavioural features 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
A Method for Retina Segmentation by Means of U-Net Network 164
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
A fuzzy-based process mining approach for dynamic malware detection 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
Cluster Analysis for Driver Aggressiveness Identification 152
Download Malware? No, thanks. How Formal Methods can Block Update Attacks 151
Detecting colluding inter-app communication in mobile environment 151
A Machine-Learning-Based Framework for Supporting Malware Detection and Analysis 150
Explainability of radiomics through formal methods 148
A deep-learning-based framework for supporting analysis and detection of attacks on CAN buses 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
Hourly Global Solar Radiation Reconstruction Applying Machine Learning 145
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 Case Study of Automating User Experience-Oriented Performance Testing on Smartphones 140
A Semi-Automated Explainability-Driven Approach for Malware Analysis through Deep Learning 140
Model checking for data anomaly detection 139
Phylogenetic analysis for ransomware detection and classification into families 138
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
A constraint-driven approach for dynamic malware detection 137
Energy consumption metrics for mobile device dynamic malware detection 137
SteælErgon: A Framework for Injecting Colluding Malicious Payload in Android Applications 137
A machine-learning framework for supporting intelligent web-phishing detection and analysis 135
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
Effectiveness of Opcode ngrams for Detection of Multi Family Android Malware 131
Real-time driver behaviour characterization through rule-based machine learning 129
A Classifier of Malicious Android Applications 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
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
Audio signal processing for Android malware detection and family identification 125
Toward the Adoption of Explainable Pre-Trained Large Language Models for Classifying Human-Written and AI-Generated Sentences 123
Formal Methods for Android Banking Malware Analysis and Detection 123
Dynamic malware detection and phylogeny analysis using process mining 122
Totale 16.006
Salva come PNG Salva come JPEG
Categoria #
all - tutte 125.963
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 125.963
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021172 0 0 0 0 0 0 0 0 0 48 102 22
2021/2022741 25 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.002 623 1.379 3.127 1.938 4.305 3.482 1.779 552 622 1.195 0 0
Totale 31.408