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.775
NA - Nord America 11.727
AS - Asia 4.556
SA - Sud America 1.697
AF - Africa 708
OC - Oceania 30
Continente sconosciuto - Info sul continente non disponibili 8
Totale 31.501
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 11.320
RU - Federazione Russa 6.614
IE - Irlanda 2.236
SG - Singapore 1.781
BR - Brasile 1.309
IT - Italia 1.273
CN - Cina 947
DE - Germania 546
VN - Vietnam 525
CI - Costa d'Avorio 486
FI - Finlandia 433
FR - Francia 403
IN - India 261
HK - Hong Kong 256
UA - Ucraina 228
CA - Canada 214
SE - Svezia 214
GB - Regno Unito 206
AR - Argentina 147
PL - Polonia 127
MX - Messico 120
BD - Bangladesh 111
JP - Giappone 80
EC - Ecuador 79
BE - Belgio 78
IQ - Iraq 75
ZA - Sudafrica 74
AT - Austria 71
NL - Olanda 71
ID - Indonesia 68
ES - Italia 59
TR - Turchia 58
GR - Grecia 54
PK - Pakistan 54
CO - Colombia 50
MA - Marocco 39
VE - Venezuela 37
IR - Iran 36
LT - Lituania 34
SA - Arabia Saudita 32
KR - Corea 30
MY - Malesia 28
PH - Filippine 27
JO - Giordania 25
EG - Egitto 22
AE - Emirati Arabi Uniti 20
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
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
JM - Giamaica 8
NZ - Nuova Zelanda 8
PA - Panama 8
TT - Trinidad e Tobago 8
AL - Albania 7
ET - Etiopia 7
HN - Honduras 7
LV - Lettonia 7
PS - Palestinian Territory 7
RS - Serbia 7
TH - Thailandia 7
AM - Armenia 6
CZ - Repubblica Ceca 6
KG - Kirghizistan 6
LK - Sri Lanka 6
NI - Nicaragua 6
SV - El Salvador 6
TW - Taiwan 6
AO - Angola 5
KZ - Kazakistan 5
NG - Nigeria 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
XK - ???statistics.table.value.countryCode.XK??? 4
ZM - Zambia 4
BG - Bulgaria 3
BH - Bahrain 3
Totale 31.441
Salva come PNG Salva come JPEG
Città #
Dallas 3.795
Dublin 2.235
Moscow 2.208
San Jose 1.424
Ashburn 775
Singapore 763
Chandler 758
Abidjan 486
The Dalles 461
Jacksonville 389
Helsinki 361
Baranello 343
Beijing 338
Hong Kong 245
Lauterbourg 241
Los Angeles 211
Frankfurt am Main 191
Ho Chi Minh City 183
New York 180
São Paulo 163
Hanoi 119
Princeton 117
Wilmington 102
Warsaw 100
Milan 99
Santa Clara 96
Ann Arbor 94
San Mateo 77
Brussels 76
Columbus 76
Montreal 72
Orem 69
Boardman 67
Tokyo 66
Campobasso 65
Rome 64
Munich 62
Chennai 58
Denver 57
Dearborn 56
Lappeenranta 54
Hillsboro 53
Houston 52
Vienna 52
Ottawa 50
Rio de Janeiro 50
Johannesburg 49
Atlanta 48
Council Bluffs 48
Amsterdam 46
Naples 46
Stockholm 46
London 44
Phoenix 43
Falkenstein 39
Baghdad 38
Brooklyn 38
Manchester 38
Toronto 38
Mexico City 37
Molise 37
Boston 35
Chicago 34
Redwood City 31
San Francisco 30
Curitiba 29
Guayaquil 29
Haiphong 29
Poplar 29
Mumbai 26
Paris 25
Ankara 23
Querétaro 23
Quito 23
Brasília 22
Belo Horizonte 21
New Delhi 21
Porto Alegre 21
Amman 20
Jinan 19
Charlotte 18
Jakarta 18
Shanghai 18
Dhaka 17
Nanjing 17
Redmond 17
Seattle 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 19.080
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? 280
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
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
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 framework for supporting ransomware detection and prevention based on hybrid analysis 180
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
A machine learning approach for game bot detection through behavioural features 170
Talos: No more Ransomware Victims with Formal Methods 169
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
Car Hacking Identification through Fuzzy Logic Algorithms 165
Explainability of Model Checking for Mobile Malicious Behavior Between Collaborative Apps Detection and Localisation 163
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
A fuzzy-based process mining approach for dynamic malware detection 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
A Machine-Learning-Based Framework for Supporting Malware Detection and Analysis 152
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
A deep-learning-based framework for supporting analysis and detection of attacks on CAN buses 148
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
Hourly Global Solar Radiation Reconstruction Applying Machine Learning 146
A Method for Robust and Explainable Image-Based Network Traffic Classification with Deep Learning 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
A Case Study of Automating User Experience-Oriented Performance Testing on Smartphones 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
Phylogenetic analysis for ransomware detection and classification into families 138
A Fuzzy Deep Learning Network for Dynamic Mobile Malware Detection 138
Formal methods meet mobile code obfuscation identification of code reordering technique 138
A constraint-driven approach for dynamic malware detection 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
A machine-learning framework for supporting intelligent web-phishing detection and analysis 136
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
Effectiveness of Opcode ngrams for Detection of Multi Family Android Malware 131
Driver Identification Through Formal Methods 131
A Classifier of Malicious Android Applications 130
Real-time driver behaviour characterization through rule-based machine learning 129
StegWare: A Novel Malware Model Exploiting Payload Steganography and Dynamic Compilation 128
Real-Time SCADA Attack Detection by Means of Formal Methods 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
Audio signal processing for Android malware detection and family identification 127
Colluding covert channel for malicious information exfiltration in android environment 127
Social Network Polluting Contents Detection through Deep Learning Techniques 126
Toward the Adoption of Explainable Pre-Trained Large Language Models for Classifying Human-Written and AI-Generated Sentences 125
Dynamic malware detection and phylogeny analysis using process mining 124
Totale 16.179
Salva come PNG Salva come JPEG
Categoria #
all - tutte 132.272
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 132.272
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202122 0 0 0 0 0 0 0 0 0 0 0 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.499 623 1.379 3.127 1.938 4.305 3.482 1.779 552 622 1.303 303 86
Totale 31.905