NARDONE, Vittoria
 Distribuzione geografica
Continente #
EU - Europa 2.872
NA - Nord America 2.296
AS - Asia 948
SA - Sud America 207
AF - Africa 136
Continente sconosciuto - Info sul continente non disponibili 5
OC - Oceania 3
Totale 6.467
Nazione #
US - Stati Uniti d'America 2.215
RU - Federazione Russa 1.426
IE - Irlanda 375
SG - Singapore 367
IT - Italia 302
CN - Cina 260
DE - Germania 169
BR - Brasile 165
UA - Ucraina 114
FR - Francia 94
CI - Costa d'Avorio 93
FI - Finlandia 87
SE - Svezia 69
VN - Vietnam 63
IN - India 55
CA - Canada 53
GB - Regno Unito 47
AT - Austria 40
GR - Grecia 37
HK - Hong Kong 35
PL - Polonia 35
JP - Giappone 26
BD - Bangladesh 19
MX - Messico 18
BE - Belgio 15
ID - Indonesia 15
NL - Olanda 13
MY - Malesia 12
SA - Arabia Saudita 12
ZA - Sudafrica 12
IQ - Iraq 11
KR - Corea 11
EC - Ecuador 10
PK - Pakistan 10
AR - Argentina 9
CH - Svizzera 9
CO - Colombia 9
ES - Italia 8
LT - Lituania 8
TR - Turchia 8
RO - Romania 7
IR - Iran 6
AE - Emirati Arabi Uniti 5
JO - Giordania 5
TN - Tunisia 5
PE - Perù 4
PH - Filippine 4
UZ - Uzbekistan 4
AO - Angola 3
AU - Australia 3
CR - Costa Rica 3
EG - Egitto 3
EU - Europa 3
MD - Moldavia 3
OM - Oman 3
PT - Portogallo 3
SI - Slovenia 3
SN - Senegal 3
TT - Trinidad e Tobago 3
VE - Venezuela 3
AM - Armenia 2
BG - Bulgaria 2
BW - Botswana 2
CL - Cile 2
DZ - Algeria 2
ET - Etiopia 2
HU - Ungheria 2
IL - Israele 2
KE - Kenya 2
LB - Libano 2
MA - Marocco 2
NP - Nepal 2
PY - Paraguay 2
UY - Uruguay 2
XK - ???statistics.table.value.countryCode.XK??? 2
ZM - Zambia 2
AL - Albania 1
AZ - Azerbaigian 1
BB - Barbados 1
BH - Bahrain 1
BO - Bolivia 1
DK - Danimarca 1
DO - Repubblica Dominicana 1
HN - Honduras 1
KG - Kirghizistan 1
KZ - Kazakistan 1
LA - Repubblica Popolare Democratica del Laos 1
LV - Lettonia 1
MN - Mongolia 1
MR - Mauritania 1
MW - Malawi 1
NG - Nigeria 1
NI - Nicaragua 1
NO - Norvegia 1
QA - Qatar 1
RW - Ruanda 1
TH - Thailandia 1
TW - Taiwan 1
TZ - Tanzania 1
Totale 6.467
Città #
Moscow 504
Dallas 385
Dublin 374
Jacksonville 255
San Jose 225
Chandler 223
Singapore 180
Ashburn 119
Beijing 94
Abidjan 93
The Dalles 91
Helsinki 76
Wilmington 64
Lauterbourg 47
Frankfurt am Main 40
Vienna 39
San Mateo 38
Princeton 37
Hong Kong 35
Milan 30
New York 30
Los Angeles 28
Boardman 25
Ottawa 22
Ann Arbor 21
Baranello 21
Houston 21
Warsaw 21
Redwood City 19
Tokyo 19
Dearborn 18
Ho Chi Minh City 18
São Paulo 18
Chennai 16
Hanoi 16
Naples 16
Brussels 15
Council Bluffs 15
Orem 15
Munich 14
Santa Clara 14
Molise 13
Montreal 13
Rome 13
Campobasso 12
Hillsboro 12
Redmond 11
Columbus 10
Denver 10
Paris 10
Amsterdam 9
Johannesburg 9
Mexico City 9
San Francisco 9
Zhengzhou 9
Shanghai 8
Toronto 8
Chicago 7
Phoenix 7
Turku 7
Baghdad 6
Belo Horizonte 6
Boston 6
Falkenstein 6
Haiphong 6
Jakarta 6
Jeddah 6
Mumbai 6
Nuremberg 6
Rumia 6
Serra 6
Woodbridge 6
Amman 5
Atlanta 5
Brasília 5
Brooklyn 5
Catania 5
Curitiba 5
Draveil 5
London 5
Manchester 5
Montoro 5
Nanjing 5
Napoli 5
New Delhi 5
Pisa 5
Quito 5
Rio de Janeiro 5
Stockholm 5
Viareggio 5
Ankara 4
Bogotá 4
Casalciprano 4
Charlotte 4
Colchester 4
Hebei 4
Islamabad 4
Jinan 4
Lappeenranta 4
Martinsicuro 4
Totale 3.739
Nome #
Can machine learning predict soccer match results? 275
Metodo e Sistema di Riconoscimento di un Conducente alla Guida di un Veicolo. 240
Evaluating model checking for cyber threats code obfuscation identification 179
An approach leveraging radiomics and model checking for the automatic early diagnosis of adhesive capsulitis 178
Diabetes Mellitus Affected Patients "Classification and Diagnosis through Machine Learning Techniques" 168
Talos: No more Ransomware Victims with Formal Methods 166
Colluding Android Apps Detection via Model Checking 166
An approach leveraging radiomics and model checking for the automatic early diagnosis of adhesive capsulitis 164
Car Hacking Identification through Fuzzy Logic Algorithms 164
Formal Verification of Radio Communication Management in Railway Systems Using Model Checking Technique 161
A “pay-how-you-drive” car insurance approach through cluster analysis 158
Formal Methods Meet Mobile Code Obfuscation 155
Download Malware? No, thanks. How Formal Methods can Block Update Attacks 151
Cluster Analysis for Driver Aggressiveness Identification 151
Model Checking Techniques applied to Satellite Operational Mode Management 146
Exploiting model checking for mobile botnet detection 146
Human Behaviour Characterization for Driving Style Recognition in Vehicle System 144
Model checking based approach for compliance checking 144
Machine Learning to Identify Gender via Hair Elements 143
Model Checking to Detect the Hummingbad Malware 142
Malware and Formal Methods: Rigorous approaches for detecting malicious behaviour 140
Formal methods meet mobile code obfuscation identification of code reordering technique 137
LEILA: formaL tool for idEntifying mobIle maLicious behAviour 134
Context-Awareness Mobile Devices for Traffic Incident. 131
Real-time driver behaviour characterization through rule-based machine learning 129
Driver Identification Through Formal Methods 128
Hey Malware, I can Find You! 115
Identifying Mobile Repackaged Applications through Formal Methods 113
Ransomware Steals your Phone. Formal Methods Rescue it 110
Identification of Android Malware Families with Model Checking 109
Twinkle Twinkle Little DroidDream, How I Wonder What You Are? 109
Safety Critical Systems Formal Verification Using Execution Traces 107
How Discover a Malware using Model Checking 105
Who's Driving My Car? A machine learning based approach to driver identification, 105
An automatic radiomic-based approach for disease localization: A pilot study on COVID-19 104
Ransomware Inside Out 101
"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 98
Detecting Video Game-Specific Bad Smells in Unity Projects 97
Probabilistic Model Checking applied to Spacecraft Reconfiguration 90
Model Checking for Mobile Android Malware Evolution 89
Infer Gene Regulatory Networks from Time Series Data with Probabilistic Model Checking 85
Model checking and machine learning techniques for HummingBad mobile malware detection and mitigation 84
Model Checking to support Action Controls in the Purchasing Process 83
Identifying Insecure Features in Android Applications using Model Checking 82
How do Hugging Face Models Document Datasets, Bias, and Licenses? An Empirical Study 79
Video Game Bad Smells: What They Are and How Developers Perceive Them 77
UnityLint: A Bad Smell Detector for Unity 74
Early prediction of the evolution and prognosis of mild acute pancreatitis through Dual Source-CT and Formal Methods 74
How the Training Procedure Impacts the Performance of Deep Learning-based Vulnerability Patching 71
Spyware Detection using Temporal Logic 70
An Explainable Radiomics-Based Classification Model for Sarcoma Diagnosis 67
Problems and Solutions in Applying Continuous Integration and Delivery to 20 Open-Source Cyber-Physical Systems 54
A method for automatic breast density classification in magnetic resonance imaging 34
A Preliminary Approach to Verify Platoon Behaviour Using Execution Traces and Model Checking 28
Formal Methods for Attack Detection in Autonomous Driving Systems: The FORESEEN Project 19
Severity of Attacks in a Vehicle Platoon by Model-Based Simulation 14
Totale 6.587
Categoria #
all - tutte 27.063
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 27.063


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202192 0 0 0 0 0 0 0 0 0 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/2025834 122 41 103 12 141 8 19 75 86 22 97 108
2025/20263.339 147 248 265 183 914 750 325 99 146 262 0 0
Totale 6.587