IRIS  Catalogo Istituzionale della Ricerca dell'Università degli Studi del Molise

NARDONE, Vittoria
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 2.892
NA - Nord America 2.356
AS - Asia 973
SA - Sud America 208
AF - Africa 136
Continente sconosciuto - Info sul continente non disponibili 5
OC - Oceania 3
Totale 6.573
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.273
RU - Federazione Russa 1.426
SG - Singapore 380
IE - Irlanda 375
IT - Italia 315
CN - Cina 266
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
CA - Canada 55
IN - India 55
GB - Regno Unito 47
AT - Austria 40
GR - Grecia 38
HK - Hong Kong 36
PL - Polonia 35
JP - Giappone 26
BD - Bangladesh 23
MX - Messico 18
BE - Belgio 15
ID - Indonesia 15
NL - Olanda 15
ES - Italia 12
MY - Malesia 12
SA - Arabia Saudita 12
ZA - Sudafrica 12
EC - Ecuador 11
IQ - Iraq 11
KR - Corea 11
PK - Pakistan 10
AR - Argentina 9
CH - Svizzera 9
CO - Colombia 9
LT - Lituania 8
TR - Turchia 8
RO - Romania 7
AE - Emirati Arabi Uniti 6
IR - Iran 6
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.573
Salva come PNG Salva come JPEG
Città #
Moscow 504
Dallas 386
Dublin 374
Jacksonville 255
San Jose 239
Chandler 223
Singapore 181
Ashburn 129
Beijing 97
Abidjan 93
The Dalles 91
Helsinki 76
Wilmington 64
Lauterbourg 47
Frankfurt am Main 40
Vienna 39
San Mateo 38
Princeton 37
Hong Kong 36
New York 32
Los Angeles 30
Milan 30
Boardman 25
Ottawa 22
Santa Clara 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
Rome 16
Brussels 15
Council Bluffs 15
Orem 15
Munich 14
Molise 13
Montreal 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
Quito 6
Rumia 6
Serra 6
Viareggio 6
Woodbridge 6
Amman 5
Atlanta 5
Brasília 5
Brooklyn 5
Catania 5
Charlotte 5
Curitiba 5
Draveil 5
London 5
Manchester 5
Montoro 5
Nanjing 5
Napoli 5
New Delhi 5
Pisa 5
Rio de Janeiro 5
Stockholm 5
Ankara 4
Bogotá 4
Casalciprano 4
Colchester 4
Hebei 4
Islamabad 4
Jinan 4
Lappeenranta 4
Majadahonda 4
Totale 3.787
Salva come PNG Salva come JPEG
Nome #
Can machine learning predict soccer match results? 281
Metodo e Sistema di Riconoscimento di un Conducente alla Guida di un Veicolo. 245
An approach leveraging radiomics and model checking for the automatic early diagnosis of adhesive capsulitis 190
Evaluating model checking for cyber threats code obfuscation identification 179
Talos: No more Ransomware Victims with Formal Methods 169
Diabetes Mellitus Affected Patients "Classification and Diagnosis through Machine Learning Techniques" 168
Colluding Android Apps Detection via Model Checking 168
An approach leveraging radiomics and model checking for the automatic early diagnosis of adhesive capsulitis 165
Car Hacking Identification through Fuzzy Logic Algorithms 165
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 159
Formal Methods Meet Mobile Code Obfuscation 156
Download Malware? No, thanks. How Formal Methods can Block Update Attacks 152
Cluster Analysis for Driver Aggressiveness Identification 152
Exploiting model checking for mobile botnet detection 148
Model Checking Techniques applied to Satellite Operational Mode Management 146
Human Behaviour Characterization for Driving Style Recognition in Vehicle System 145
Machine Learning to Identify Gender via Hair Elements 145
Model checking based approach for compliance checking 145
Model Checking to Detect the Hummingbad Malware 143
Malware and Formal Methods: Rigorous approaches for detecting malicious behaviour 140
Formal methods meet mobile code obfuscation identification of code reordering technique 138
LEILA: formaL tool for idEntifying mobIle maLicious behAviour 136
Context-Awareness Mobile Devices for Traffic Incident. 133
Driver Identification Through Formal Methods 131
Real-time driver behaviour characterization through rule-based machine learning 129
Identifying Mobile Repackaged Applications through Formal Methods 116
Hey Malware, I can Find You! 116
Ransomware Steals your Phone. Formal Methods Rescue it 112
Twinkle Twinkle Little DroidDream, How I Wonder What You Are? 110
Identification of Android Malware Families with Model Checking 109
An automatic radiomic-based approach for disease localization: A pilot study on COVID-19 108
Safety Critical Systems Formal Verification Using Execution Traces 108
How Discover a Malware using Model Checking 106
Who's Driving My Car? A machine learning based approach to driver identification, 105
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 99
Detecting Video Game-Specific Bad Smells in Unity Projects 97
Model Checking for Mobile Android Malware Evolution 92
Probabilistic Model Checking applied to Spacecraft Reconfiguration 91
Infer Gene Regulatory Networks from Time Series Data with Probabilistic Model Checking 86
Model checking and machine learning techniques for HummingBad mobile malware detection and mitigation 85
Video Game Bad Smells: What They Are and How Developers Perceive Them 84
Model Checking to support Action Controls in the Purchasing Process 84
Identifying Insecure Features in Android Applications using Model Checking 83
How do Hugging Face Models Document Datasets, Bias, and Licenses? An Empirical Study 79
Early prediction of the evolution and prognosis of mild acute pancreatitis through Dual Source-CT and Formal Methods 76
UnityLint: A Bad Smell Detector for Unity 74
How the Training Procedure Impacts the Performance of Deep Learning-based Vulnerability Patching 74
Spyware Detection using Temporal Logic 71
An Explainable Radiomics-Based Classification Model for Sarcoma Diagnosis 69
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 39
A Preliminary Approach to Verify Platoon Behaviour Using Execution Traces and Model Checking 34
Severity of Attacks in a Vehicle Platoon by Model-Based Simulation 21
Formal Methods for Attack Detection in Autonomous Driving Systems: The FORESEEN Project 21
Totale 6.693
Salva come PNG Salva come JPEG
Categoria #
all - tutte 28.397
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 28.397
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202111 0 0 0 0 0 0 0 0 0 0 0 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.445 147 248 265 183 914 750 325 99 146 289 52 27
Totale 6.693