NARDONE, Vittoria
 Distribuzione geografica
Continente #
EU - Europa 1.305
NA - Nord America 1.163
AS - Asia 334
AF - Africa 100
SA - Sud America 23
Continente sconosciuto - Info sul continente non disponibili 3
OC - Oceania 3
Totale 2.931
Nazione #
US - Stati Uniti d'America 1.132
IE - Irlanda 373
IT - Italia 251
SG - Singapore 143
RU - Federazione Russa 129
DE - Germania 112
UA - Ucraina 106
CI - Costa d'Avorio 93
CN - Cina 92
FI - Finlandia 79
SE - Svezia 65
AT - Austria 40
GR - Grecia 37
CA - Canada 29
FR - Francia 27
GB - Regno Unito 23
HK - Hong Kong 21
BR - Brasile 17
BE - Belgio 15
IN - India 10
KR - Corea 10
PL - Polonia 10
CH - Svizzera 9
JP - Giappone 9
MY - Malesia 7
NL - Olanda 7
RO - Romania 7
ID - Indonesia 6
IR - Iran 6
PK - Pakistan 5
PE - Perù 4
AU - Australia 3
EU - Europa 3
IQ - Iraq 3
LT - Lituania 3
SA - Arabia Saudita 3
SI - Slovenia 3
AM - Armenia 2
BD - Bangladesh 2
BW - Botswana 2
ES - Italia 2
HU - Ungheria 2
IL - Israele 2
MX - Messico 2
PH - Filippine 2
TR - Turchia 2
UZ - Uzbekistan 2
VN - Vietnam 2
ZA - Sudafrica 2
BG - Bulgaria 1
CO - Colombia 1
DK - Danimarca 1
EC - Ecuador 1
EG - Egitto 1
JO - Giordania 1
KG - Kirghizistan 1
LV - Lettonia 1
NG - Nigeria 1
NO - Norvegia 1
PT - Portogallo 1
QA - Qatar 1
TH - Thailandia 1
TW - Taiwan 1
ZM - Zambia 1
Totale 2.931
Città #
Dublin 373
Jacksonville 255
Chandler 223
Abidjan 93
Helsinki 75
Wilmington 64
Singapore 53
Vienna 39
San Mateo 38
Princeton 37
Milan 29
Boardman 24
Ottawa 22
Ann Arbor 21
Baranello 21
Hong Kong 21
Redwood City 19
Dallas 18
Dearborn 18
The Dalles 18
Brussels 15
Houston 14
Molise 13
Moscow 12
Beijing 11
Redmond 11
Rome 11
Zhengzhou 9
Ashburn 8
Campobasso 8
Council Bluffs 8
Naples 8
Shanghai 8
Los Angeles 7
Paris 7
Falkenstein 6
Rumia 6
Woodbridge 6
Draveil 5
Montoro 5
Nanjing 5
Napoli 5
New York 5
Casalciprano 4
Catania 4
Colchester 4
Hebei 4
Jakarta 4
Jinan 4
Lappeenranta 4
Martinsicuro 4
Nuremberg 4
San Giovanni Rotondo 4
Serra 4
Taizhou 4
Xian 4
Amsterdam 3
Athens 3
Baghdad 3
Gallarate 3
Guangzhou 3
Gunzenhausen 3
Islamabad 3
Lanzhou 3
Leawood 3
London 3
Marano Vicentino 3
Morcone 3
Mumbai 3
Norwalk 3
Ottaviano 3
Pusan 3
San Nicola la Strada 3
Sant'antonio Abate 3
Seattle 3
Tianjin 3
Toronto 3
Treglio 3
Assago 2
Augusta 2
Brescia 2
Changsha 2
Cuggiono 2
Cypress 2
Dong Ket 2
Enna 2
Fisciano 2
Frankfurt am Main 2
Gaborone 2
Grammichele 2
Hangzhou 2
Huizen 2
Imperia 2
Isernia 2
Itajaí 2
Johannesburg 2
Kunming 2
Lakeville 2
Lima 2
Longueuil 2
Totale 1.816
Nome #
Can machine learning predict soccer match results? 178
Metodo e Sistema di Riconoscimento di un Conducente alla Guida di un Veicolo. 145
Human Behaviour Characterization for Driving Style Recognition in Vehicle System 103
Diabetes Mellitus Affected Patients "Classification and Diagnosis through Machine Learning Techniques" 96
Model Checking Techniques applied to Satellite Operational Mode Management 94
Model checking based approach for compliance checking 93
Car Hacking Identification through Fuzzy Logic Algorithms 92
Malware and Formal Methods: Rigorous approaches for detecting malicious behaviour 91
Talos: No more Ransomware Victims with Formal Methods 91
Evaluating model checking for cyber threats code obfuscation identification 91
Model Checking to Detect the Hummingbad Malware 89
Formal Verification of Radio Communication Management in Railway Systems Using Model Checking Technique 86
Machine Learning to Identify Gender via Hair Elements 81
Real-time driver behaviour characterization through rule-based machine learning 80
Colluding Android Apps Detection via Model Checking 80
A “pay-how-you-drive” car insurance approach through cluster analysis 79
LEILA: formaL tool for idEntifying mobIle maLicious behAviour 78
Exploiting model checking for mobile botnet detection 76
Cluster Analysis for Driver Aggressiveness Identification 71
Formal Methods Meet Mobile Code Obfuscation 69
Identifying Mobile Repackaged Applications through Formal Methods 67
Identification of Android Malware Families with Model Checking 67
Twinkle Twinkle Little DroidDream, How I Wonder What You Are? 66
Download Malware? No, thanks. How Formal Methods can Block Update Attacks 64
Safety Critical Systems Formal Verification Using Execution Traces 60
How Discover a Malware using Model Checking 59
Ransomware Steals your Phone. Formal Methods Rescue it 59
Context-Awareness Mobile Devices for Traffic Incident. 59
Who's Driving My Car? A machine learning based approach to driver identification, 58
Hey Malware, I can Find You! 56
Ransomware Inside Out 56
Probabilistic Model Checking applied to Spacecraft Reconfiguration 54
Model Checking to support Action Controls in the Purchasing Process 48
Model checking and machine learning techniques for HummingBad mobile malware detection and mitigation 46
Model Checking for Mobile Android Malware Evolution 45
Driver Identification Through Formal Methods 43
Infer Gene Regulatory Networks from Time Series Data with Probabilistic Model Checking 41
Identifying Insecure Features in Android Applications using Model Checking 32
Formal methods meet mobile code obfuscation identification of code reordering technique 27
UnityLint: A Bad Smell Detector for Unity 25
An approach leveraging radiomics and model checking for the automatic early diagnosis of adhesive capsulitis 21
Detecting Video Game-Specific Bad Smells in Unity Projects 20
An automatic radiomic-based approach for disease localization: A pilot study on COVID-19 20
"Mirror, Mirror on the Wall, Who is the Fairest One of All?" - Machine Learning versus Model Checking: A Comparison between Two Static Techniques for Malware Family Identification 18
Spyware Detection using Temporal Logic 16
An approach leveraging radiomics and model checking for the automatic early diagnosis of adhesive capsulitis 16
Problems and Solutions in Applying Continuous Integration and Delivery to 20 Open-Source Cyber-Physical Systems 12
How do Hugging Face Models Document Datasets, Bias, and Licenses? An Empirical Study 10
Video Game Bad Smells: What They Are and How Developers Perceive Them 9
How the Training Procedure Impacts the Performance of Deep Learning-based Vulnerability Patching 7
Totale 3.044
Categoria #
all - tutte 17.842
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 17.842


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/202072 0 0 0 0 0 0 0 0 0 0 20 52
2020/2021419 9 44 7 63 55 33 55 13 48 28 53 11
2021/2022266 13 36 5 13 27 13 15 21 33 14 25 51
2022/2023914 104 23 22 75 40 70 3 57 446 22 34 18
2023/2024189 58 20 10 2 3 8 9 4 17 10 27 21
2024/2025630 122 41 103 12 141 8 19 75 86 22 1 0
Totale 3.044