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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020293 0 0 0 0 38 25 71 19 54 14 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/2025396 122 41 103 12 118 0 0 0 0 0 0 0
Totale 2.810