NARDONE, Vittoria
 Distribuzione geografica
Continente #
EU - Europa 3.036
NA - Nord America 2.906
AS - Asia 997
SA - Sud America 224
AF - Africa 136
Continente sconosciuto - Info sul continente non disponibili 126
OC - Oceania 3
Totale 7.428
Nazione #
US - Stati Uniti d'America 2.780
RU - Federazione Russa 1.426
IT - Italia 447
SG - Singapore 382
IE - Irlanda 375
CN - Cina 272
BR - Brasile 171
DE - Germania 170
UA - Ucraina 115
FR - Francia 95
CI - Costa d'Avorio 93
FI - Finlandia 87
CA - Canada 77
SE - Svezia 70
VN - Vietnam 63
IN - India 55
GB - Regno Unito 51
AT - Austria 40
HK - Hong Kong 39
GR - Grecia 38
PL - Polonia 35
JP - Giappone 26
BD - Bangladesh 25
MX - Messico 22
ID - Indonesia 18
NL - Olanda 16
BE - Belgio 15
SA - Arabia Saudita 15
AR - Argentina 14
ES - Italia 14
MY - Malesia 13
CO - Colombia 12
ZA - Sudafrica 12
EC - Ecuador 11
IQ - Iraq 11
KR - Corea 11
PK - Pakistan 10
CH - Svizzera 9
TR - Turchia 9
LT - Lituania 8
RO - Romania 7
AE - Emirati Arabi Uniti 6
CR - Costa Rica 6
IR - Iran 6
HN - Honduras 5
JO - Giordania 5
NI - Nicaragua 5
TN - Tunisia 5
PE - Perù 4
PH - Filippine 4
TT - Trinidad e Tobago 4
UZ - Uzbekistan 4
VE - Venezuela 4
AM - Armenia 3
AO - Angola 3
AU - Australia 3
BG - Bulgaria 3
EG - Egitto 3
EU - Europa 3
JM - Giamaica 3
MD - Moldavia 3
OM - Oman 3
PT - Portogallo 3
SI - Slovenia 3
SN - Senegal 3
TH - Thailandia 3
UY - Uruguay 3
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
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
GD - Grenada 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
NO - Norvegia 1
QA - Qatar 1
RW - Ruanda 1
SV - El Salvador 1
Totale 7.305
Città #
Moscow 504
Dallas 389
Dublin 374
San Jose 292
Jacksonville 256
Chandler 223
Ashburn 193
Singapore 182
Beijing 103
Abidjan 93
The Dalles 91
Helsinki 76
Council Bluffs 67
Wilmington 64
Milan 58
Lauterbourg 47
Staranzano 45
Frankfurt am Main 40
Vienna 40
Hong Kong 39
Princeton 39
Phoenix 38
San Mateo 38
Santa Clara 36
New York 34
Los Angeles 32
Houston 30
Boardman 25
Ottawa 22
Ann Arbor 21
Baranello 21
Warsaw 21
Naples 20
Rome 20
Redwood City 19
Tokyo 19
Dearborn 18
Ho Chi Minh City 18
São Paulo 18
Chennai 16
Hanoi 16
Apopka 15
Brussels 15
Orem 15
Campobasso 14
Montreal 14
Munich 14
Denver 13
Molise 13
Hillsboro 12
Redmond 11
Charlestown 10
Columbus 10
Mexico City 10
Miano 10
Paris 10
Toronto 10
Amsterdam 9
Johannesburg 9
San Francisco 9
Zhengzhou 9
Atlanta 8
Brasília 8
Chicago 8
Jeddah 8
Seattle 8
Shanghai 8
Boston 7
Turku 7
Baghdad 6
Belo Horizonte 6
Bogotá 6
Falkenstein 6
Haiphong 6
Jakarta 6
London 6
Mumbai 6
Nuremberg 6
Quito 6
Rumia 6
Serra 6
Stockholm 6
Viareggio 6
Woodbridge 6
Amman 5
Brooklyn 5
Buffalo 5
Catania 5
Charlotte 5
Curitiba 5
Draveil 5
Grover Beach 5
Janesville 5
Managua 5
Manchester 5
Montoro 5
Nanjing 5
Napoli 5
New Delhi 5
Newark 5
Totale 4.161
Nome #
Can machine learning predict soccer match results? 299
Metodo e Sistema di Riconoscimento di un Conducente alla Guida di un Veicolo. 254
An approach leveraging radiomics and model checking for the automatic early diagnosis of adhesive capsulitis 206
Evaluating model checking for cyber threats code obfuscation identification 189
An approach leveraging radiomics and model checking for the automatic early diagnosis of adhesive capsulitis 183
Diabetes Mellitus Affected Patients "Classification and Diagnosis through Machine Learning Techniques" 182
Talos: No more Ransomware Victims with Formal Methods 181
Car Hacking Identification through Fuzzy Logic Algorithms 178
Colluding Android Apps Detection via Model Checking 177
Formal Verification of Radio Communication Management in Railway Systems Using Model Checking Technique 175
A “pay-how-you-drive” car insurance approach through cluster analysis 173
Formal Methods Meet Mobile Code Obfuscation 167
Download Malware? No, thanks. How Formal Methods can Block Update Attacks 166
Cluster Analysis for Driver Aggressiveness Identification 165
Model Checking Techniques applied to Satellite Operational Mode Management 163
Model checking based approach for compliance checking 157
Exploiting model checking for mobile botnet detection 157
Model Checking to Detect the Hummingbad Malware 156
Human Behaviour Characterization for Driving Style Recognition in Vehicle System 155
Machine Learning to Identify Gender via Hair Elements 155
LEILA: formaL tool for idEntifying mobIle maLicious behAviour 151
Malware and Formal Methods: Rigorous approaches for detecting malicious behaviour 150
Formal methods meet mobile code obfuscation identification of code reordering technique 150
Context-Awareness Mobile Devices for Traffic Incident. 144
Real-time driver behaviour characterization through rule-based machine learning 144
Driver Identification Through Formal Methods 140
Ransomware Steals your Phone. Formal Methods Rescue it 130
Identifying Mobile Repackaged Applications through Formal Methods 125
Hey Malware, I can Find You! 124
An automatic radiomic-based approach for disease localization: A pilot study on COVID-19 121
Twinkle Twinkle Little DroidDream, How I Wonder What You Are? 121
Safety Critical Systems Formal Verification Using Execution Traces 120
Identification of Android Malware Families with Model Checking 119
How Discover a Malware using Model Checking 117
Who's Driving My Car? A machine learning based approach to driver identification, 116
Ransomware Inside Out 114
"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 113
Detecting Video Game-Specific Bad Smells in Unity Projects 107
Model Checking for Mobile Android Malware Evolution 104
Video Game Bad Smells: What They Are and How Developers Perceive Them 101
Probabilistic Model Checking applied to Spacecraft Reconfiguration 101
Early prediction of the evolution and prognosis of mild acute pancreatitis through Dual Source-CT and Formal Methods 97
How do Hugging Face Models Document Datasets, Bias, and Licenses? An Empirical Study 96
Model checking and machine learning techniques for HummingBad mobile malware detection and mitigation 96
Infer Gene Regulatory Networks from Time Series Data with Probabilistic Model Checking 96
Model Checking to support Action Controls in the Purchasing Process 94
Identifying Insecure Features in Android Applications using Model Checking 90
How the Training Procedure Impacts the Performance of Deep Learning-based Vulnerability Patching 86
Spyware Detection using Temporal Logic 86
UnityLint: A Bad Smell Detector for Unity 84
An Explainable Radiomics-Based Classification Model for Sarcoma Diagnosis 84
A method for automatic breast density classification in magnetic resonance imaging 67
Problems and Solutions in Applying Continuous Integration and Delivery to 20 Open-Source Cyber-Physical Systems 64
A Preliminary Approach to Verify Platoon Behaviour Using Execution Traces and Model Checking 53
Formal Methods for Attack Detection in Autonomous Driving Systems: The FORESEEN Project 36
Severity of Attacks in a Vehicle Platoon by Model-Based Simulation 28
Model Checking-Based Radiomics for Diagnosis and Prognosis of Oral Cavity Tumors: A Two-Tier Approach 21
Totale 7.428
Categoria #
all - tutte 32.153
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 32.153


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022212 0 0 0 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.450 147 248 265 183 914 750 325 99 146 289 52 32
2026/2027730 59 91 309 271 0 0 0 0 0 0 0 0
Totale 7.428