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

MERCALDO, Francesco
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 11.647
NA - Nord America 9.218
AS - Asia 3.263
SA - Sud America 1.465
AF - Africa 639
OC - Oceania 26
Continente sconosciuto - Info sul continente non disponibili 6
Totale 26.264
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 8.878
RU - Federazione Russa 6.240
IE - Irlanda 2.233
SG - Singapore 1.232
BR - Brasile 1.198
IT - Italia 1.139
CN - Cina 655
CI - Costa d'Avorio 486
VN - Vietnam 465
FI - Finlandia 431
DE - Germania 362
HK - Hong Kong 220
UA - Ucraina 219
SE - Svezia 211
CA - Canada 192
GB - Regno Unito 183
IN - India 176
MX - Messico 106
FR - Francia 101
AR - Argentina 99
PL - Polonia 94
BE - Belgio 76
AT - Austria 71
JP - Giappone 67
EC - Ecuador 65
ZA - Sudafrica 62
BD - Bangladesh 55
GR - Grecia 53
NL - Olanda 53
ID - Indonesia 52
ES - Italia 47
IQ - Iraq 46
TR - Turchia 36
IR - Iran 35
LT - Lituania 34
PK - Pakistan 31
CO - Colombia 30
MA - Marocco 25
KR - Corea 20
VE - Venezuela 20
JO - Giordania 19
SI - Slovenia 19
AU - Australia 16
EG - Egitto 16
MY - Malesia 16
AE - Emirati Arabi Uniti 14
CH - Svizzera 14
PE - Perù 14
PY - Paraguay 14
RO - Romania 14
SA - Arabia Saudita 14
CL - Cile 13
IL - Israele 13
PH - Filippine 12
UZ - Uzbekistan 11
KE - Kenya 10
AZ - Azerbaigian 9
DO - Repubblica Dominicana 9
PT - Portogallo 9
TN - Tunisia 8
UY - Uruguay 8
LV - Lettonia 7
NZ - Nuova Zelanda 7
CR - Costa Rica 6
LK - Sri Lanka 6
NP - Nepal 6
OM - Oman 6
AM - Armenia 5
AO - Angola 5
DZ - Algeria 5
KG - Kirghizistan 5
NO - Norvegia 5
TT - Trinidad e Tobago 5
CM - Camerun 4
CY - Cipro 4
CZ - Repubblica Ceca 4
EU - Europa 4
HN - Honduras 4
HR - Croazia 4
JM - Giamaica 4
LB - Libano 4
NG - Nigeria 4
NI - Nicaragua 4
PA - Panama 4
PS - Palestinian Territory 4
QA - Qatar 4
RS - Serbia 4
TH - Thailandia 4
TW - Taiwan 4
BO - Bolivia 3
HU - Ungheria 3
SZ - Regno dello Swaziland 3
AL - Albania 2
BG - Bulgaria 2
BH - Bahrain 2
BW - Botswana 2
BY - Bielorussia 2
DK - Danimarca 2
GD - Grenada 2
KZ - Kazakistan 2
Totale 26.227
Salva come PNG Salva come JPEG
Città #
Dallas 3.779
Dublin 2.232
Moscow 2.061
Chandler 758
Singapore 587
Abidjan 486
Ashburn 454
Jacksonville 387
Helsinki 360
Baranello 343
Beijing 311
The Dalles 272
Hong Kong 209
Los Angeles 198
Ho Chi Minh City 165
New York 155
São Paulo 154
Princeton 117
Hanoi 104
Wilmington 102
Ann Arbor 94
Milan 92
San Mateo 77
Columbus 76
Brussels 74
Warsaw 72
Montreal 68
Boardman 66
Munich 61
Campobasso 58
Dearborn 56
Rome 55
Santa Clara 55
Denver 54
Lappeenranta 54
Tokyo 53
Vienna 52
Houston 50
Ottawa 50
Johannesburg 46
Rio de Janeiro 45
Chennai 44
Stockholm 44
Atlanta 41
London 40
Falkenstein 39
Phoenix 38
Molise 37
Amsterdam 36
Brooklyn 35
Frankfurt am Main 35
Boston 33
Orem 33
Mexico City 32
Toronto 32
Chicago 31
Redwood City 31
Manchester 29
Naples 28
Poplar 28
Guayaquil 27
San Francisco 27
Curitiba 25
Haiphong 25
Baghdad 24
Council Bluffs 23
Mumbai 23
Querétaro 23
Brasília 21
Ankara 20
Jinan 19
Belo Horizonte 18
Porto Alegre 18
San Jose 18
Amman 17
Nanjing 17
Paris 17
Redmond 17
Charlotte 16
New Delhi 16
Turku 16
Quito 15
Seattle 15
Biên Hòa 14
Tianjin 14
Guangzhou 13
Kochi 13
Osasco 13
Ribeirão Preto 13
Campinas 12
Jakarta 12
Manaus 12
Nuremberg 12
Shanghai 12
Shiraz 12
Thái Bình 12
Dhaka 11
Hải Dương 11
Pune 11
Woodbridge 11
Totale 15.873
Salva come PNG Salva come JPEG
Nome #
A blockchain based proposal for protecting healthcare systems through formal methods 254
Can machine learning predict soccer match results? 250
A methodology based on formal methods for thermal ablation area detection 250
2Faces: a new model of malware based on dynamic compiling and reflection 223
A Formal Methodology for Notational Analysis and Real-Time Decision Support in Sport Environment 214
Metodo e Sistema di Riconoscimento di un Conducente alla Guida di un Veicolo. 210
Computational cost of CT Radiomics workflow: A case study on COVID-19 207
Exploring Bioimage Synthesis and Detection via Generative Adversarial Networks: A Multi-Faceted Case Study 198
A Proposal for Trustworthy Artificial Intelligence 187
Cascade Learning for Mobile Malware Families Detection through Quality and Android Metrics 184
A Methodology for Real-Time Data Verification exploiting Deep Learning and Model Checking 184
A Model Checking based Proposal for Mobile Colluding Attack Detection 177
A Neural Network-Based Method for Respiratory Sound Analysis and Lung Disease Detection 175
Poster: A data life cycle modeling proposal by means of formal methods 171
A method for automatic penetration testing and mitigation: A Red Hat approach 171
Damage Detection and Localisation using UAV/Drone with Object Detection 169
Wearable Devices for Human Activity Recognition and User Detection 168
Benchmarking YOLO Models for Automatic Reading in Smart Metering Systems: A Performance Comparison Analysis 167
Accidental sensitive data leaks prevention via formal verification 164
Radiomic features for prostate cancer grade detection through formal verification 159
Diabetes Mellitus Affected Patients "Classification and Diagnosis through Machine Learning Techniques" 155
Evaluating model checking for cyber threats code obfuscation identification 154
Colluding Android Apps Detection via Model Checking 153
A novel methodology for head and neck carcinoma treatment stage detection by means of model checking 153
Dunuen: A user-friendly formal verification tool 152
Talos: No more Ransomware Victims with Formal Methods 149
Car Hacking Identification through Fuzzy Logic Algorithms 148
Android run-time permission exploitation user awareness by means of formal methods 148
Exploiting supervised machine learning for driver detection in a real-world environment 145
VisualDroid: Automatic triage and detection of Android repackaged applications 145
A “pay-how-you-drive” car insurance approach through cluster analysis 144
Measuring Mobile Applications Quality and Security in Higher Education 144
Explainable retinal disease classification and localization through Convolutional Neural Networks 140
Android collusion detection by means of audio signal analysis with machine learning techniques 140
Mobile family detection through audio signals classification 140
A Method for Retina Segmentation by Means of U-Net Network 139
A framework for supporting ransomware detection and prevention based on hybrid analysis 138
Explainable Deep Learning for Breast Cancer Classification and Localization 138
Dynamic mobile malware detection through system call-based image representation 137
A Method for Intrusion Detection in Smart Grid 135
A fuzzy-based process mining approach for dynamic malware detection 135
Android collusion: Detecting malicious applications inter-communication through SharedPreferences 135
Malicious Collusion Detection in Mobile Environment by means of Model Checking 135
Formal Methods Meet Mobile Code Obfuscation 134
Explainability of Model Checking for Mobile Malicious Behavior Between Collaborative Apps Detection and Localisation 133
Download Malware? No, thanks. How Formal Methods can Block Update Attacks 133
Cluster Analysis for Driver Aggressiveness Identification 133
Model checking based approach for compliance checking 133
Detecting colluding inter-app communication in mobile environment 133
Exploiting model checking for mobile botnet detection 132
A machine learning approach for game bot detection through behavioural features 131
Code Reordering Obfuscation Technique Detection by Means of Weak Bisimulation 130
A Method for Road Accident Prevention in Smart Cities based on Deep Reinforcement Learning 129
Machine Learning to Identify Gender via Hair Elements 129
Hourly Global Solar Radiation Reconstruction Applying Machine Learning 129
A Semi-Automated Explainability-Driven Approach for Malware Analysis through Deep Learning 129
A Machine-Learning-Based Framework for Supporting Malware Detection and Analysis 128
A Model Checking-based Approach to Malicious Family Detection in iOS Environment 128
Machine Learning on Soccer Player Positions 128
Explainability of radiomics through formal methods 126
Model Checking to Detect the Hummingbad Malware 126
A method for skin lesion detection and localization by means of Deep Learning and reliable prediction explainability 125
Malware and Formal Methods: Rigorous approaches for detecting malicious behaviour 125
Spyware detection using temporal logic 124
Deep learning for image-based mobile malware detection 124
LEILA: formaL tool for idEntifying mobIle maLicious behAviour 123
Model checking for data anomaly detection 123
A Method for Robust and Explainable Image-Based Network Traffic Classification with Deep Learning 122
MR_NET: A Method for Breast Cancer Detection and Localization from Histological Images Through Explainable Convolutional Neural Networks 122
On the Adoption of Radiomics and Formal Methods for COVID-19 Coronavirus Diagnosis 122
SteælErgon: A Framework for Injecting Colluding Malicious Payload in Android Applications 122
A Driver Detection Method by Means of Explainable Deep Learning 121
Formal methods meet mobile code obfuscation identification of code reordering technique 121
Formal modeling for magnetic resonance images tamper mitigation 121
Phylogenetic analysis for ransomware detection and classification into families 120
A Case Study of Automating User Experience-Oriented Performance Testing on Smartphones 119
CGAM: An end-to-end causality graph attention Mamba network for esophageal pathology grading 117
Context-Awareness Mobile Devices for Traffic Incident. 117
Real-time driver behaviour characterization through rule-based machine learning 117
A constraint-driven approach for dynamic malware detection 117
DECAB-LSTM: Deep Contextualized Attentional Bidirectional LSTM for cancer hallmark classification 117
A deep-learning-based framework for supporting analysis and detection of attacks on CAN buses 116
Visualizing the outcome of dynamic analysis of Android malware with VizMal 116
Explainable Deep Learning for Pulmonary Disease and Coronavirus COVID-19 Detection from X-rays 116
Effectiveness of Opcode ngrams for Detection of Multi Family Android Malware 116
Social Network Polluting Contents Detection through Deep Learning Techniques 116
A machine-learning framework for supporting intelligent web-phishing detection and analysis 115
Formal Methods for Prostate Cancer Gleason Score and Treatment Prediction using Radiomic Biomarkers 115
Colluding covert channel for malicious information exfiltration in android environment 114
A Fuzzy Deep Learning Network for Dynamic Mobile Malware Detection 113
Formal Methods for Android Banking Malware Analysis and Detection 113
Investigating mobile applications quality in official and third-party marketplaces 112
Model checking for malicious family detection and phylogenetic analysis in mobile environment 111
A Classifier of Malicious Android Applications 110
An exploratory study on the evolution of Android malware quality 108
Energy consumption metrics for mobile device dynamic malware detection 108
Driver Identification Through Formal Methods 107
Dynamic malware detection and phylogeny analysis using process mining 106
A Method for Ocular Disease Diagnosis through Visual Prediction Explainability 106
User Authentication through Keystroke Dynamics by means of Model Checking: A Proposal 106
Totale 14.071
Salva come PNG Salva come JPEG
Categoria #
all - tutte 116.826
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 116.826
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021491 0 0 0 0 0 82 109 31 97 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/202614.257 623 1.379 3.127 1.938 4.305 2.885 0 0 0 0 0 0
Totale 26.663