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

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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
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/20241.380 234 126 58 44 39 98 109 58 25 94 374 121
2024/2025497 497 0 0 0 0 0 0 0 0 0 0 0
Totale 8.498