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

SANTONE, Antonella
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 5.882
NA - Nord America 5.328
AS - Asia 985
AF - Africa 602
SA - Sud America 53
OC - Oceania 14
Continente sconosciuto - Info sul continente non disponibili 5
Totale 12.869
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 5.231
IE - Irlanda 2.306
IT - Italia 941
CI - Costa d'Avorio 580
RU - Federazione Russa 577
UA - Ucraina 461
DE - Germania 409
FI - Finlandia 400
SG - Singapore 378
CN - Cina 371
SE - Svezia 284
AT - Austria 103
CA - Canada 92
BE - Belgio 72
FR - Francia 65
IN - India 62
GR - Grecia 56
GB - Regno Unito 55
BR - Brasile 32
SI - Slovenia 30
NL - Olanda 22
PL - Polonia 22
IR - Iran 20
JP - Giappone 19
MY - Malesia 15
KR - Corea 13
CH - Svizzera 12
LT - Lituania 12
PK - Pakistan 12
RO - Romania 12
AU - Australia 11
TR - Turchia 11
HK - Hong Kong 9
PE - Perù 8
ID - Indonesia 7
KG - Kirghizistan 6
LV - Lettonia 6
NO - Norvegia 6
AM - Armenia 5
BD - Bangladesh 5
ES - Italia 5
IL - Israele 5
LK - Sri Lanka 5
PT - Portogallo 5
AR - Argentina 4
CM - Camerun 4
DK - Danimarca 4
EC - Ecuador 4
EU - Europa 4
HU - Ungheria 4
IQ - Iraq 4
JO - Giordania 4
PH - Filippine 4
TW - Taiwan 4
AE - Emirati Arabi Uniti 3
AZ - Azerbaigian 3
EG - Egitto 3
MA - Marocco 3
MX - Messico 3
NZ - Nuova Zelanda 3
QA - Qatar 3
SA - Arabia Saudita 3
TH - Thailandia 3
VN - Vietnam 3
AO - Angola 2
BG - Bulgaria 2
BW - Botswana 2
CL - Cile 2
CO - Colombia 2
CZ - Repubblica Ceca 2
EE - Estonia 2
KE - Kenya 2
LB - Libano 2
LU - Lussemburgo 2
NP - Nepal 2
SD - Sudan 2
SK - Slovacchia (Repubblica Slovacca) 2
UZ - Uzbekistan 2
A2 - ???statistics.table.value.countryCode.A2??? 1
AL - Albania 1
CY - Cipro 1
HR - Croazia 1
IS - Islanda 1
JM - Giamaica 1
KZ - Kazakistan 1
NG - Nigeria 1
PA - Panama 1
TN - Tunisia 1
VE - Venezuela 1
ZA - Sudafrica 1
ZM - Zambia 1
Totale 12.869
Salva come PNG Salva come JPEG
Città #
Dublin 2.306
Chandler 1.228
Jacksonville 1.063
Abidjan 580
Helsinki 348
Baranello 343
Wilmington 274
Singapore 222
Princeton 202
San Mateo 162
Ashburn 121
Ann Arbor 120
Vienna 101
Dallas 81
Brussels 71
Beijing 69
Moscow 68
Boardman 65
Dearborn 63
Ottawa 60
Lappeenranta 52
Redwood City 46
Campobasso 44
Molise 41
Los Angeles 40
New York 40
Milan 32
Jinan 29
Rome 28
Woodbridge 28
Houston 24
Nanjing 21
Naples 21
Shenyang 21
Tianjin 20
Redmond 17
Norwalk 15
Washington 15
Guangzhou 14
Zhengzhou 14
Frankfurt am Main 13
Shanghai 13
Toronto 12
Amsterdam 11
Hangzhou 11
Leawood 11
Mumbai 11
Santa Clara 11
Gunzenhausen 10
Napoli 10
Borås 9
Falkenstein 9
Falls Church 9
Mountain View 9
Paris 9
Pune 9
Seattle 9
Seriate 9
Tokyo 9
Berlin 8
Changsha 8
Islamabad 8
L'aquila 8
Lanzhou 8
Montoro 8
Morcone 8
Nanchang 8
Taizhou 8
Bari 7
Hebei 7
Kunming 7
London 7
Ningbo 7
Xian 7
Bishkek 6
Chengdu 6
Lima 6
Melíki 6
Newark 6
Riga 6
Rumia 6
São Paulo 6
Trezzo 6
Afragola 5
Draveil 5
Haikou 5
Jakarta 5
Monmouth Junction 5
Ottaviano 5
Phoenix 5
Rockville 5
Stockholm 5
Yerevan 5
Amman 4
Bremen 4
Cambridge 4
Casalciprano 4
Catania 4
Cava 4
Clearwater 4
Totale 8.549
Salva come PNG Salva come JPEG
Nome #
Can machine learning predict soccer match results? 176
Metodo e Sistema di Riconoscimento di un Conducente alla Guida di un Veicolo. 140
Poster: A data life cycle modeling proposal by means of formal methods 108
Cascade Learning for Mobile Malware Families Detection through Quality and Android Metrics 107
Wearable Devices for Human Activity Recognition and User Detection 106
A Formal Methodology for Notational Analysis and Real-Time Decision Support in Sport Environment 98
Human Behaviour Characterization for Driving Style Recognition in Vehicle System 97
A blockchain based proposal for protecting healthcare systems through formal methods 95
2Faces: a new model of malware based on dynamic compiling and reflection 93
Model Checking Techniques applied to Satellite Operational Mode Management 92
Diabetes Mellitus Affected Patients "Classification and Diagnosis through Machine Learning Techniques" 91
Talos: No more Ransomware Victims with Formal Methods 90
Radiomic features for prostate cancer grade detection through formal verification 90
Car Hacking Identification through Fuzzy Logic Algorithms 88
Malware and Formal Methods: Rigorous approaches for detecting malicious behaviour 88
null 88
Evaluating model checking for cyber threats code obfuscation identification 86
Measuring Mobile Applications Quality and Security in Higher Education 86
Spyware detection using temporal logic 86
Model Checking to Detect the Hummingbad Malware 84
Deep learning for image-based mobile malware detection 84
Accidental sensitive data leaks prevention via formal verification 82
Formal Verification of Radio Communication Management in Railway Systems Using Model Checking Technique 80
Android run-time permission exploitation user awareness by means of formal methods 80
Machine Learning to Identify Gender via Hair Elements 79
Visualizing the outcome of dynamic analysis of Android malware with VizMal 79
Hourly Global Solar Radiation Reconstruction Applying Machine Learning 79
Real-time driver behaviour characterization through rule-based machine learning 78
Investigating mobile applications quality in official and third-party marketplaces 78
A “pay-how-you-drive” car insurance approach through cluster analysis 77
Algebraic Computational Models of OR-Parallel Execution of Prolog”, Acta Informatica 77
Dynamic mobile malware detection through system call-based image representation 76
Formal Methods for Prostate Cancer Gleason Score and Treatment Prediction using Radiomic Biomarkers 75
Formal Methods for Android Banking Malware Analysis and Detection 75
Android collusion: Detecting malicious applications inter-communication through SharedPreferences 75
LEILA: formaL tool for idEntifying mobIle maLicious behAviour 74
Explainable Deep Learning for Pulmonary Disease and Coronavirus COVID-19 Detection from X-rays 74
A Model Checking based Proposal for Mobile Colluding Attack Detection 74
Colluding Android Apps Detection via Model Checking 74
Real-Time SCADA Attack Detection by Means of Formal Methods 73
Formal modeling for magnetic resonance images tamper mitigation 73
A methodology based on formal methods for thermal ablation area detection 73
Neural Networks for Lung Cancer Detection through Radiomic Features 72
Exploiting supervised machine learning for driver detection in a real-world environment 72
VisualDroid: Automatic triage and detection of Android repackaged applications 72
De novo Reconstruction of Gene Regulatory Networks from Time Series, an approach based on Formal Methods 71
Model checking based approach for compliance checking 71
Detecting colluding inter-app communication in mobile environment 71
Malicious Collusion Detection in Mobile Environment by means of Model Checking 71
Selective Mu-Calculus and Formula-Based Equivalence of Transition Systems 70
Dunuen: A user-friendly formal verification tool 70
A Notion of Non-Interference for Timed Automata 69
k-bisimulation: a new bisimulation for defining the dissimilarity between processes 69
Automated Verification of Fault Tolerance Mechanism 68
Selective Mu-Calculus: New Modal Operators for Proving Properties on Reduced Transition Systems 68
Energy consumption metrics for mobile device dynamic malware detection 68
Exploiting model checking for mobile botnet detection 68
A method for automatic penetration testing and mitigation: A Red Hat approach 68
Local Model Checking of Java Bytecode 67
Mobile family detection through audio signals classification 67
A Methodology for Real-Time Data Verification exploiting Deep Learning and Model Checking 66
Model checking for data anomaly detection 66
Automatable Integrations for the Reuse of Concurrent Specifications 65
Cluster Analysis for Driver Aggressiveness Identification 65
Applying formal methods to process innovation 64
Identifying Mobile Repackaged Applications through Formal Methods 64
A Tableau-based Procedure for Model Checking Programs 64
Formal Methods Meet Mobile Code Obfuscation 64
Identification of Android Malware Families with Model Checking 64
Model Checking Multithreaded Programs by means of reduced models 64
Anomaly detection in substation networks 64
Abstracting models from execution traces for performing formal verification 63
Abstract Interpretation of Trace Semantics for Concurrent Calculi 63
State Space Reduction by Non-Standard Semantics for Deadlock Analysis 63
Twinkle Twinkle Little DroidDream, How I Wonder What You Are? 63
Abstract Reduction in Directed Model Checking CCS Processes 63
A Semi-Automated Explainability-Driven Approach for Malware Analysis through Deep Learning 63
Download Malware? No, thanks. How Formal Methods can Block Update Attacks 62
BPM perspectives to support ICSs: Exploiting the integration of formal verifications into investment service provision processes 62
SteælErgon: A Framework for Injecting Colluding Malicious Payload in Android Applications 62
Android collusion detection by means of audio signal analysis with machine learning techniques 62
A formula-driven modular attack on state explosion 61
LORETO: A Tool for Reducing State Explosion in Verification of LOTOS Programs 61
A* for Deadlock Detection in CCS processes 61
Abstract Interpretation and Model Checking for Checking Secure Information Flow in Concurrent Systems 61
Code Reordering Obfuscation Technique Detection by Means of Weak Bisimulation 61
GreASE: a tool for efficient “non-equivalence” checking 60
Logic Based Abstractions of Real-time Systems 60
Application of Equivalence Checking in a Loan Origination Process in Banking Industry 60
A Non-Standard Semantics for Generating Reduced Transition Systems 60
Machine Learning on Soccer Player Positions 59
A novel approach based on formal methods for clone detection 59
Safety Critical Systems Formal Verification Using Execution Traces 59
Model checking for malicious family detection and phylogenetic analysis in mobile environment 59
CD-Form: A Clone Detector based on Formal Methods 58
Towards a Logical Semantics for Pure Prolog 58
Social Network Polluting Contents Detection through Deep Learning Techniques 58
A User-Friendly Interface to Specify Temporal Properties of Concurrent Systems 57
Heuristic Search + Local Model Checking in Selective mu-Calculus 57
A Notion of Non-Interference for Timed Automata 57
Totale 7.392
Salva come PNG Salva come JPEG
Categoria #
all - tutte 81.055
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 81.055
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020818 0 0 0 0 0 53 236 57 189 66 33 184
2020/20211.469 37 156 11 262 204 97 200 37 183 56 195 31
2021/20221.151 30 160 10 41 92 68 50 108 173 125 68 226
2022/20235.088 565 163 74 422 196 374 19 261 2.705 108 112 89
2023/20241.449 261 183 50 48 36 128 112 55 26 78 354 118
2024/20252.266 733 233 482 86 679 53 0 0 0 0 0 0
Totale 13.294