NARDONE, Vittoria
 Distribuzione geografica
Continente #
EU - Europa 2.907
NA - Nord America 2.452
AS - Asia 983
SA - Sud America 211
AF - Africa 136
Continente sconosciuto - Info sul continente non disponibili 126
OC - Oceania 3
Totale 6.818
Nazione #
US - Stati Uniti d'America 2.359
RU - Federazione Russa 1.426
SG - Singapore 382
IE - Irlanda 375
IT - Italia 325
CN - Cina 269
DE - Germania 169
BR - Brasile 166
UA - Ucraina 115
FR - Francia 95
CI - Costa d'Avorio 93
FI - Finlandia 87
SE - Svezia 69
VN - Vietnam 63
CA - Canada 58
IN - India 55
GB - Regno Unito 48
AT - Austria 40
GR - Grecia 38
HK - Hong Kong 38
PL - Polonia 35
JP - Giappone 26
BD - Bangladesh 25
MX - Messico 19
NL - Olanda 16
BE - Belgio 15
ID - Indonesia 15
ES - Italia 12
MY - Malesia 12
SA - Arabia Saudita 12
ZA - Sudafrica 12
EC - Ecuador 11
IQ - Iraq 11
KR - Corea 11
AR - Argentina 10
CO - Colombia 10
PK - Pakistan 10
CH - Svizzera 9
LT - Lituania 8
TR - Turchia 8
RO - Romania 7
AE - Emirati Arabi Uniti 6
IR - Iran 6
JO - Giordania 5
TN - Tunisia 5
CR - Costa Rica 4
PE - Perù 4
PH - Filippine 4
UZ - Uzbekistan 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
TT - Trinidad e Tobago 3
VE - Venezuela 3
BW - Botswana 2
CL - Cile 2
DZ - Algeria 2
ET - Etiopia 2
HN - Honduras 2
HU - Ungheria 2
IL - Israele 2
KE - Kenya 2
LB - Libano 2
MA - Marocco 2
NI - Nicaragua 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
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
TH - Thailandia 1
TW - Taiwan 1
TZ - Tanzania 1
Totale 6.697
Città #
Moscow 504
Dallas 386
Dublin 374
Jacksonville 256
San Jose 244
Chandler 223
Singapore 182
Ashburn 130
Beijing 100
Abidjan 93
The Dalles 91
Helsinki 76
Wilmington 64
Council Bluffs 51
Lauterbourg 47
Frankfurt am Main 40
Vienna 39
Hong Kong 38
San Mateo 38
Princeton 37
Milan 33
New York 32
Santa Clara 31
Los Angeles 30
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
Rome 18
São Paulo 18
Chennai 16
Hanoi 16
Naples 16
Brussels 15
Orem 15
Campobasso 14
Munich 14
Molise 13
Montreal 13
Hillsboro 12
Phoenix 12
Redmond 11
Columbus 10
Denver 10
Mexico City 10
Paris 10
Amsterdam 9
Johannesburg 9
San Francisco 9
Zhengzhou 9
Shanghai 8
Toronto 8
Chicago 7
Turku 7
Atlanta 6
Baghdad 6
Belo Horizonte 6
Boston 6
Falkenstein 6
Haiphong 6
Jakarta 6
Jeddah 6
London 6
Mumbai 6
Nuremberg 6
Quito 6
Rumia 6
Serra 6
Viareggio 6
Woodbridge 6
Amman 5
Bogotá 5
Brasília 5
Brooklyn 5
Catania 5
Charlotte 5
Curitiba 5
Draveil 5
Manchester 5
Montoro 5
Nanjing 5
Napoli 5
New Delhi 5
Pisa 5
Rio de Janeiro 5
Stockholm 5
Ankara 4
Casalciprano 4
Colchester 4
Hebei 4
Islamabad 4
Jinan 4
Lappeenranta 4
Majadahonda 4
Totale 3.861
Nome #
Can machine learning predict soccer match results? 284
Metodo e Sistema di Riconoscimento di un Conducente alla Guida di un Veicolo. 247
An approach leveraging radiomics and model checking for the automatic early diagnosis of adhesive capsulitis 191
Evaluating model checking for cyber threats code obfuscation identification 180
Talos: No more Ransomware Victims with Formal Methods 172
Diabetes Mellitus Affected Patients "Classification and Diagnosis through Machine Learning Techniques" 169
Colluding Android Apps Detection via Model Checking 169
Car Hacking Identification through Fuzzy Logic Algorithms 167
An approach leveraging radiomics and model checking for the automatic early diagnosis of adhesive capsulitis 166
Formal Verification of Radio Communication Management in Railway Systems Using Model Checking Technique 165
A “pay-how-you-drive” car insurance approach through cluster analysis 163
Formal Methods Meet Mobile Code Obfuscation 158
Cluster Analysis for Driver Aggressiveness Identification 156
Download Malware? No, thanks. How Formal Methods can Block Update Attacks 155
Model Checking Techniques applied to Satellite Operational Mode Management 148
Exploiting model checking for mobile botnet detection 148
Model checking based approach for compliance checking 147
Human Behaviour Characterization for Driving Style Recognition in Vehicle System 146
Machine Learning to Identify Gender via Hair Elements 146
Model Checking to Detect the Hummingbad Malware 145
Malware and Formal Methods: Rigorous approaches for detecting malicious behaviour 142
Formal methods meet mobile code obfuscation identification of code reordering technique 141
LEILA: formaL tool for idEntifying mobIle maLicious behAviour 140
Context-Awareness Mobile Devices for Traffic Incident. 135
Real-time driver behaviour characterization through rule-based machine learning 133
Driver Identification Through Formal Methods 132
Identifying Mobile Repackaged Applications through Formal Methods 117
Hey Malware, I can Find You! 116
Ransomware Steals your Phone. Formal Methods Rescue it 115
Twinkle Twinkle Little DroidDream, How I Wonder What You Are? 112
An automatic radiomic-based approach for disease localization: A pilot study on COVID-19 110
Identification of Android Malware Families with Model Checking 110
Safety Critical Systems Formal Verification Using Execution Traces 109
How Discover a Malware using Model Checking 108
Who's Driving My Car? A machine learning based approach to driver identification, 105
Ransomware Inside Out 103
"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 100
Detecting Video Game-Specific Bad Smells in Unity Projects 98
Model Checking for Mobile Android Malware Evolution 94
Probabilistic Model Checking applied to Spacecraft Reconfiguration 92
Infer Gene Regulatory Networks from Time Series Data with Probabilistic Model Checking 88
Model checking and machine learning techniques for HummingBad mobile malware detection and mitigation 87
Video Game Bad Smells: What They Are and How Developers Perceive Them 86
Identifying Insecure Features in Android Applications using Model Checking 85
Model Checking to support Action Controls in the Purchasing Process 85
Early prediction of the evolution and prognosis of mild acute pancreatitis through Dual Source-CT and Formal Methods 81
How do Hugging Face Models Document Datasets, Bias, and Licenses? An Empirical Study 81
How the Training Procedure Impacts the Performance of Deep Learning-based Vulnerability Patching 76
Spyware Detection using Temporal Logic 76
UnityLint: A Bad Smell Detector for Unity 75
An Explainable Radiomics-Based Classification Model for Sarcoma Diagnosis 72
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 49
A Preliminary Approach to Verify Platoon Behaviour Using Execution Traces and Model Checking 38
Formal Methods for Attack Detection in Autonomous Driving Systems: The FORESEEN Project 23
Severity of Attacks in a Vehicle Platoon by Model-Based Simulation 22
Model Checking-Based Radiomics for Diagnosis and Prognosis of Oral Cavity Tumors: A Two-Tier Approach 6
Totale 6.818
Categoria #
all - tutte 29.857
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 29.857


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