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

MERCALDO, Francesco
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 3.953
NA - Nord America 2.702
AS - Asia 432
AF - Africa 24
OC - Oceania 21
SA - Sud America 18
Continente sconosciuto - Info sul continente non disponibili 4
Totale 7.154
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.637
IE - Irlanda 2.226
IT - Italia 472
FI - Finlandia 352
DE - Germania 217
CN - Cina 210
UA - Ucraina 200
SE - Svezia 167
IN - India 63
BE - Belgio 59
FR - Francia 58
CA - Canada 57
GR - Grecia 47
AT - Austria 40
IR - Iran 33
GB - Regno Unito 27
SG - Singapore 20
JP - Giappone 19
SI - Slovenia 19
HK - Hong Kong 17
AU - Australia 15
CH - Svizzera 13
BR - Brasile 12
PL - Polonia 12
RO - Romania 11
KR - Corea 10
NL - Olanda 10
TR - Turchia 10
ID - Indonesia 8
MX - Messico 8
PK - Pakistan 8
NZ - Nuova Zelanda 6
ES - Italia 5
MA - Marocco 5
MY - Malesia 5
CM - Camerun 4
EU - Europa 4
PE - Perù 4
PH - Filippine 4
RU - Federazione Russa 4
TW - Taiwan 4
CZ - Repubblica Ceca 3
LK - Sri Lanka 3
SZ - Regno dello Swaziland 3
VN - Vietnam 3
AE - Emirati Arabi Uniti 2
AO - Angola 2
BD - Bangladesh 2
BW - Botswana 2
DK - Danimarca 2
DZ - Algeria 2
IL - Israele 2
JO - Giordania 2
LB - Libano 2
NG - Nigeria 2
NO - Norvegia 2
PT - Portogallo 2
SA - Arabia Saudita 2
SD - Sudan 2
AR - Argentina 1
BG - Bulgaria 1
CO - Colombia 1
CY - Cipro 1
EE - Estonia 1
EG - Egitto 1
HU - Ungheria 1
IQ - Iraq 1
LT - Lituania 1
LU - Lussemburgo 1
TH - Thailandia 1
ZM - Zambia 1
Totale 7.154
Salva come PNG Salva come JPEG
Città #
Dublin 2.226
Chandler 758
Jacksonville 386
Helsinki 320
Princeton 117
Wilmington 102
Ann Arbor 94
San Mateo 77
Brussels 58
Dearborn 56
Beijing 44
Ashburn 42
Molise 37
Vienna 36
Ottawa 34
Lappeenranta 32
Redwood City 31
Baranello 28
New York 28
Los Angeles 24
Milan 23
Houston 21
Jinan 17
Redmond 17
Nanjing 16
Rome 14
Tianjin 14
Naples 13
Shiraz 12
Guangzhou 11
Hong Kong 11
Paris 10
Pune 10
Woodbridge 10
Boardman 9
Falls Church 9
Mumbai 9
Napoli 9
Shenyang 9
Borås 8
Leawood 8
Morcone 8
Nanchang 8
Norwalk 8
Shanghai 8
Bari 7
Campobasso 7
Kunming 7
Mountain View 7
Seattle 7
Sydney 7
São Paulo 7
Tokyo 7
Toronto 7
Washington 7
Gunzenhausen 6
Hangzhou 6
Hebei 6
Kochi 6
Lanzhou 6
Marano di Napoli 6
Montoro 6
Rumia 6
Taizhou 6
Trezzo 6
Afragola 5
Draveil 5
Frankfurt am Main 5
Jakarta 5
Zhengzhou 5
Andover 4
Cambridge 4
Catania 4
Cava 4
Colchester 4
Delhi 4
Düsseldorf 4
Falkenstein 4
Hamilton 4
L'aquila 4
Padova 4
Pisa 4
Portocannone 4
San Giovanni Rotondo 4
Serra 4
Xian 4
Berlin 3
Boralesgamuwa South 3
Bremen 3
Bucharest 3
Casablanca 3
Central 3
Changsha 3
Denver 3
Egham 3
Fisciano 3
Fuzhou 3
Gallarate 3
Haikou 3
Hefei 3
Totale 5.083
Salva come PNG Salva come JPEG
Nome #
Can machine learning predict soccer match results? 159
Metodo e Sistema di Riconoscimento di un Conducente alla Guida di un Veicolo. 127
Poster: A data life cycle modeling proposal by means of formal methods 95
Wearable Devices for Human Activity Recognition and User Detection 93
Cascade Learning for Mobile Malware Families Detection through Quality and Android Metrics 91
A blockchain based proposal for protecting healthcare systems through formal methods 84
Talos: No more Ransomware Victims with Formal Methods 83
A Formal Methodology for Notational Analysis and Real-Time Decision Support in Sport Environment 83
Diabetes Mellitus Affected Patients "Classification and Diagnosis through Machine Learning Techniques" 80
Malware and Formal Methods: Rigorous approaches for detecting malicious behaviour 79
Deep learning for image-based mobile malware detection 79
Car Hacking Identification through Fuzzy Logic Algorithms 78
Measuring Mobile Applications Quality and Security in Higher Education 78
Model Checking to Detect the Hummingbad Malware 78
Evaluating model checking for cyber threats code obfuscation identification 77
Spyware detection using temporal logic 76
An ensemble learning approach for brain cancer detection exploiting radiomic features 76
Real-time driver behaviour characterization through rule-based machine learning 71
Machine Learning to Identify Gender via Hair Elements 70
Investigating mobile applications quality in official and third-party marketplaces 70
Formal Methods for Android Banking Malware Analysis and Detection 70
Formal Methods for Prostate Cancer Gleason Score and Treatment Prediction using Radiomic Biomarkers 68
Visualizing the outcome of dynamic analysis of Android malware with VizMal 67
LEILA: formaL tool for idEntifying mobIle maLicious behAviour 66
A “pay-how-you-drive” car insurance approach through cluster analysis 66
Real-Time SCADA Attack Detection by Means of Formal Methods 66
Neural Networks for Lung Cancer Detection through Radiomic Features 66
Formal modeling for magnetic resonance images tamper mitigation 66
Hourly Global Solar Radiation Reconstruction Applying Machine Learning 66
Explainable Deep Learning for Pulmonary Disease and Coronavirus COVID-19 Detection from X-rays 65
Phylogenetic analysis for ransomware detection and classification into families 63
Model checking based approach for compliance checking 63
A Model Checking based Proposal for Mobile Colluding Attack Detection 62
A methodology based on formal methods for thermal ablation area detection 58
Identifying Mobile Repackaged Applications through Formal Methods 57
Twinkle Twinkle Little DroidDream, How I Wonder What You Are? 57
Exploiting model checking for mobile botnet detection 57
Dunuen: A user-friendly formal verification tool 57
Formal Methods Meet Mobile Code Obfuscation 56
Identification of Android Malware Families with Model Checking 56
BPM perspectives to support ICSs: Exploiting the integration of formal verifications into investment service provision processes 56
Cluster Analysis for Driver Aggressiveness Identification 55
Model checking for data anomaly detection 55
Anomaly detection in substation networks 55
Energy consumption metrics for mobile device dynamic malware detection 54
Download Malware? No, thanks. How Formal Methods can Block Update Attacks 53
Safety Critical Systems Formal Verification Using Execution Traces 53
A Methodology for Real-Time Data Verification exploiting Deep Learning and Model Checking 53
Social Network Polluting Contents Detection through Deep Learning Techniques 53
Code Reordering Obfuscation Technique Detection by Means of Weak Bisimulation 53
DECAB-LSTM: Deep Contextualized Attentional Bidirectional LSTM for cancer hallmark classification 52
Who's Driving My Car? A machine learning based approach to driver identification, 51
Model checking for malicious family detection and phylogenetic analysis in mobile environment 51
Ransomware Inside Out 50
Radiomic features for prostate cancer grade detection through formal verification 50
Deep learning for heart disease detection through cardiac sounds 50
How Discover a Malware using Model Checking 49
Ransomware Steals your Phone. Formal Methods Rescue it 49
Radiomic features for medical images tamper detection by equivalence checking 48
D-bridemaid: A distributed framework for collaborative and dynamic analysis of android malware 48
Context-Awareness Mobile Devices for Traffic Incident. 46
Radiomics for gleason score detection through deep learning 46
Automated Intention Mining with Comparatively Fine-tuning BERT 46
Machine learning for coronavirus covid-19 detection from chest x-rays 45
Cognitive computing for big data systems over internet of things for enterprise information systems 45
Exploiting supervised machine learning for driver detection in a real-world environment 45
Prostate gleason score detection and cancer treatment through real-time formal verification 44
Let's gossip: Exploring malware zero-day time windows by social network analysis 44
Dynamic mobile malware detection through system call-based image representation 44
User Authentication through Keystroke Dynamics by means of Model Checking: A Proposal 43
Audio signal processing for Android malware detection and family identification 43
Android run-time permission exploitation user awareness by means of formal methods 43
Hey Malware, I can Find You! 42
Mobile family detection through audio signals classification 42
Android collusion: Detecting malicious applications inter-communication through SharedPreferences 40
SteælErgon: A Framework for Injecting Colluding Malicious Payload in Android Applications 40
2Faces: a new model of malware based on dynamic compiling and reflection 40
Model Checking for Mobile Android Malware Evolution 38
Thermal Ablation Treatment Detection by means of Machine Learning 38
A Semi-Automated Explainability-Driven Approach for Malware Analysis through Deep Learning 38
Model checking and machine learning techniques for HummingBad mobile malware detection and mitigation 37
Accidental sensitive data leaks prevention via formal verification 37
Call graph and model checking for fine-grained android malicious behaviour detection 36
Detecting colluding inter-app communication in mobile environment 36
Malicious Collusion Detection in Mobile Environment by means of Model Checking 36
Automatic PI-RADS assignment by means of formal methods 36
Android collusion detection by means of audio signal analysis with machine learning techniques 36
Colluding Android Apps Detection via Model Checking 36
VisualDroid: Automatic triage and detection of Android repackaged applications 36
Bank credit risk management based on data mining techniques 36
Cross-organizational Process Mining in Cloud Environments 34
CAN-Bus Attack Detection with Deep Learning 34
Machine Learning on Soccer Player Positions 33
Explainability of radiomics through formal methods 33
A novel methodology for head and neck carcinoma treatment stage detection by means of model checking 33
On the Adoption of Radiomics and Formal Methods for COVID-19 Coronavirus Diagnosis 32
Colluding covert channel for malicious information exfiltration in android environment 31
Hide and seek game: A machine learning approach for detecting malicious samples in analysis environment 30
A method for automatic penetration testing and mitigation: A Red Hat approach 30
Effectiveness of Opcode ngrams for Detection of Multi Family Android Malware 29
Totale 5.550
Salva come PNG Salva come JPEG
Categoria #
all - tutte 41.403
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 41.403
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/20198 0 0 0 0 0 0 0 0 0 0 5 3
2019/2020675 3 4 58 61 61 49 143 55 83 38 30 90
2020/2021819 21 69 11 129 98 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/2024896 234 126 58 44 39 98 109 58 25 94 11 0
Totale 7.517