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

SANTONE, Antonella
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 4.913
EU - Europa 4.681
AS - Asia 487
SA - Sud America 16
AF - Africa 15
OC - Oceania 12
Continente sconosciuto - Info sul continente non disponibili 5
Totale 10.129
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 4.836
IE - Irlanda 2.302
IT - Italia 504
UA - Ucraina 461
DE - Germania 393
FI - Finlandia 341
CN - Cina 307
SE - Svezia 281
AT - Austria 99
CA - Canada 74
BE - Belgio 60
IN - India 57
FR - Francia 51
GR - Grecia 46
GB - Regno Unito 42
SI - Slovenia 30
IR - Iran 19
SG - Singapore 18
JP - Giappone 14
PL - Polonia 14
KR - Corea 13
CH - Svizzera 11
RO - Romania 11
AU - Australia 10
NL - Olanda 10
BR - Brasile 9
TR - Turchia 9
HK - Hong Kong 7
ID - Indonesia 7
MY - Malesia 6
PK - Pakistan 6
ES - Italia 5
CM - Camerun 4
EU - Europa 4
NO - Norvegia 4
PE - Perù 4
RU - Federazione Russa 4
TW - Taiwan 4
BD - Bangladesh 3
DK - Danimarca 3
MX - Messico 3
PT - Portogallo 3
AO - Angola 2
BW - Botswana 2
IL - Israele 2
JO - Giordania 2
LB - Libano 2
MA - Marocco 2
NZ - Nuova Zelanda 2
PH - Filippine 2
SA - Arabia Saudita 2
SD - Sudan 2
VN - Vietnam 2
A2 - ???statistics.table.value.countryCode.A2??? 1
AE - Emirati Arabi Uniti 1
AR - Argentina 1
BG - Bulgaria 1
CL - Cile 1
CO - Colombia 1
CZ - Repubblica Ceca 1
EE - Estonia 1
EG - Egitto 1
HU - Ungheria 1
IQ - Iraq 1
LK - Sri Lanka 1
LT - Lituania 1
LU - Lussemburgo 1
NG - Nigeria 1
QA - Qatar 1
TH - Thailandia 1
ZM - Zambia 1
Totale 10.129
Salva come PNG Salva come JPEG
Città #
Dublin 2.302
Chandler 1.228
Jacksonville 1.063
Helsinki 332
Wilmington 274
Princeton 202
San Mateo 162
Ann Arbor 120
Ashburn 105
Vienna 97
Beijing 65
Dearborn 63
Brussels 59
Ottawa 50
Redwood City 46
Molise 41
New York 39
Baranello 28
Woodbridge 28
Jinan 27
Milan 26
Houston 24
Rome 22
Shenyang 21
Nanjing 20
Tianjin 20
Boardman 18
Redmond 17
Los Angeles 16
Norwalk 15
Zhengzhou 14
Washington 13
Guangzhou 12
Hangzhou 11
Leawood 11
Naples 11
Shanghai 11
Gunzenhausen 10
Mumbai 10
Napoli 10
Borås 9
Falls Church 9
Lappeenranta 9
Mountain View 9
Pune 9
Seattle 9
Falkenstein 8
L'aquila 8
Lanzhou 8
Montoro 8
Morcone 8
Nanchang 8
Paris 8
Taizhou 8
Berlin 7
Changsha 7
Hebei 7
Kunming 7
Ningbo 7
Toronto 7
Xian 7
Bari 6
Campobasso 6
Rumia 6
Trezzo 6
Afragola 5
Draveil 5
Haikou 5
Jakarta 5
Monmouth Junction 5
Rockville 5
Bremen 4
Cambridge 4
Catania 4
Cava 4
Clearwater 4
Colchester 4
Frankfurt am Main 4
Fuzhou 4
Isernia 4
Martinsicuro 4
Padova 4
Pescara 4
Phoenix 4
Pisa 4
Portocannone 4
San Giovanni Rotondo 4
Serra 4
Sydney 4
São Paulo 4
Tokyo 4
West Jordan 4
Andover 3
Augusta 3
Bangalore 3
Benevento 3
Bucharest 3
Central 3
Delhi 3
Denver 3
Totale 6.972
Salva come PNG Salva come JPEG
Nome #
Can machine learning predict soccer match results? 159
Metodo e Sistema di Riconoscimento di un Conducente alla Guida di un Veicolo. 127
Poster: A data life cycle modeling proposal by means of formal methods 95
Wearable Devices for Human Activity Recognition and User Detection 93
Cascade Learning for Mobile Malware Families Detection through Quality and Android Metrics 91
Human Behaviour Characterization for Driving Style Recognition in Vehicle System 89
Model Checking Techniques applied to Satellite Operational Mode Management 85
A blockchain based proposal for protecting healthcare systems through formal methods 84
Talos: No more Ransomware Victims with Formal Methods 83
A Formal Methodology for Notational Analysis and Real-Time Decision Support in Sport Environment 83
Diabetes Mellitus Affected Patients "Classification and Diagnosis through Machine Learning Techniques" 80
Malware and Formal Methods: Rigorous approaches for detecting malicious behaviour 79
Deep learning for image-based mobile malware detection 79
Car Hacking Identification through Fuzzy Logic Algorithms 78
Measuring Mobile Applications Quality and Security in Higher Education 78
Model Checking to Detect the Hummingbad Malware 78
Evaluating model checking for cyber threats code obfuscation identification 77
Spyware detection using temporal logic 76
An ensemble learning approach for brain cancer detection exploiting radiomic features 76
Real-time driver behaviour characterization through rule-based machine learning 71
Machine Learning to Identify Gender via Hair Elements 70
Investigating mobile applications quality in official and third-party marketplaces 70
Formal Methods for Android Banking Malware Analysis and Detection 70
Algebraic Computational Models of OR-Parallel Execution of Prolog”, Acta Informatica 70
Formal Verification of Radio Communication Management in Railway Systems Using Model Checking Technique 68
Formal Methods for Prostate Cancer Gleason Score and Treatment Prediction using Radiomic Biomarkers 68
LEILA: formaL tool for idEntifying mobIle maLicious behAviour 66
A “pay-how-you-drive” car insurance approach through cluster analysis 66
Real-Time SCADA Attack Detection by Means of Formal Methods 66
Neural Networks for Lung Cancer Detection through Radiomic Features 66
Formal modeling for magnetic resonance images tamper mitigation 66
Hourly Global Solar Radiation Reconstruction Applying Machine Learning 66
Explainable Deep Learning for Pulmonary Disease and Coronavirus COVID-19 Detection from X-rays 65
De novo Reconstruction of Gene Regulatory Networks from Time Series, an approach based on Formal Methods 63
Selective Mu-Calculus and Formula-Based Equivalence of Transition Systems 63
Model checking based approach for compliance checking 63
Visualizing the outcome of dynamic analysis of Android malware with VizMal 63
A Model Checking based Proposal for Mobile Colluding Attack Detection 62
Automated Verification of Fault Tolerance Mechanism 61
Selective Mu-Calculus: New Modal Operators for Proving Properties on Reduced Transition Systems 61
Local Model Checking of Java Bytecode 60
k-bisimulation: a new bisimulation for defining the dissimilarity between processes 60
Abstracting models from execution traces for performing formal verification 58
Automatable Integrations for the Reuse of Concurrent Specifications 58
A Notion of Non-Interference for Timed Automata 58
Model Checking Multithreaded Programs by means of reduced models 58
A methodology based on formal methods for thermal ablation area detection 58
Applying formal methods to process innovation 57
Identifying Mobile Repackaged Applications through Formal Methods 57
Twinkle Twinkle Little DroidDream, How I Wonder What You Are? 57
Exploiting model checking for mobile botnet detection 57
Dunuen: A user-friendly formal verification tool 57
A Tableau-based Procedure for Model Checking Programs 56
Formal Methods Meet Mobile Code Obfuscation 56
Identification of Android Malware Families with Model Checking 56
Abstract Reduction in Directed Model Checking CCS Processes 56
BPM perspectives to support ICSs: Exploiting the integration of formal verifications into investment service provision processes 56
Application of Equivalence Checking in a Loan Origination Process in Banking Industry 55
Abstract Interpretation and Model Checking for Checking Secure Information Flow in Concurrent Systems 55
State Space Reduction by Non-Standard Semantics for Deadlock Analysis 55
Cluster Analysis for Driver Aggressiveness Identification 55
Model checking for data anomaly detection 55
Anomaly detection in substation networks 55
A novel approach based on formal methods for clone detection 54
Abstract Interpretation of Trace Semantics for Concurrent Calculi 54
A* for Deadlock Detection in CCS processes 54
Energy consumption metrics for mobile device dynamic malware detection 54
GreASE: a tool for efficient “non-equivalence” checking 53
Logic Based Abstractions of Real-time Systems 53
Download Malware? No, thanks. How Formal Methods can Block Update Attacks 53
Safety Critical Systems Formal Verification Using Execution Traces 53
A Methodology for Real-Time Data Verification exploiting Deep Learning and Model Checking 53
Social Network Polluting Contents Detection through Deep Learning Techniques 53
A User-Friendly Interface to Specify Temporal Properties of Concurrent Systems 52
LORETO: A Tool for Reducing State Explosion in Verification of LOTOS Programs 52
DECAB-LSTM: Deep Contextualized Attentional Bidirectional LSTM for cancer hallmark classification 52
Analysing Wiki Quality using Probabilistic Model Checking 52
Code Reordering Obfuscation Technique Detection by Means of Weak Bisimulation 52
A formula-driven modular attack on state explosion 51
CD-Form: A Clone Detector based on Formal Methods 51
Who's Driving My Car? A machine learning based approach to driver identification, 51
Model checking for malicious family detection and phylogenetic analysis in mobile environment 51
Towards a Logical Semantics for Pure Prolog 51
Heuristic Search + Local Model Checking in Selective mu-Calculus 50
A Notion of Non-Interference for Timed Automata 50
Efficient Model Checking of Properties of a Multimedia Application 50
Ant Colony Optimization for Deadlock Detection in Concurrent Systems 50
Ransomware Inside Out 50
Formula-based Abstractions and Symbolic Execution for Model Checking Programs 50
A Non-Standard Semantics for Generating Reduced Transition Systems 50
Heuristic Search for Equivalence Checking 50
Protected pointers to specify access privileges in distributed systems 50
Radiomic features for prostate cancer grade detection through formal verification 50
Deep learning for heart disease detection through cardiac sounds 50
How Discover a Malware using Model Checking 49
Ransomware Steals your Phone. Formal Methods Rescue it 49
Checking Safety Proprieties through Simulation and Heuristic Search 49
An Eclipse-based Editor to Support LOTOS Newcomers 49
Reusing LOTOS Specifications 49
A Transformation System for Concurrent Processes 49
Totale 6.272
Salva come PNG Salva come JPEG
Categoria #
all - tutte 55.481
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 55.481
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/201933 0 0 0 0 0 0 0 0 0 21 7 5
2019/20201.192 5 4 145 70 150 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/2024956 261 183 50 48 36 128 112 55 26 57 0 0
Totale 10.535