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

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