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

SANTONE, Antonella
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 4.937
NA - Nord America 4.760
AS - Asia 448
SA - Sud America 16
AF - Africa 13
OC - Oceania 9
Continente sconosciuto - Info sul continente non disponibili 5
Totale 10.188
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 4.685
IE - Irlanda 2.645
UA - Ucraina 455
IT - Italia 426
DE - Germania 389
FI - Finlandia 335
CN - Cina 297
SE - Svezia 281
AT - Austria 99
BE - Belgio 80
CA - Canada 72
IN - India 48
FR - Francia 45
GB - Regno Unito 42
GR - Grecia 41
SI - Slovenia 30
IR - Iran 19
PL - Polonia 14
JP - Giappone 13
KR - Corea 13
CH - Svizzera 11
RO - Romania 11
NL - Olanda 10
BR - Brasile 9
TR - Turchia 9
AU - Australia 7
ID - Indonesia 7
MY - Malesia 6
PK - Pakistan 6
ES - Italia 5
HK - Hong Kong 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
BW - Botswana 2
IL - Israele 2
JO - Giordania 2
LB - Libano 2
MA - Marocco 2
NZ - Nuova Zelanda 2
PT - Portogallo 2
SA - Arabia Saudita 2
SD - Sudan 2
SG - Singapore 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
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
PH - Filippine 1
QA - Qatar 1
TH - Thailandia 1
ZM - Zambia 1
Totale 10.188
Salva come PNG Salva come JPEG
Città #
Dublin 2.645
Chandler 1.228
Jacksonville 1.063
Helsinki 329
Wilmington 274
Princeton 202
San Mateo 162
Ann Arbor 120
Vienna 97
Brussels 79
Beijing 65
Dearborn 63
Ottawa 50
Redwood City 46
Molise 41
Woodbridge 28
Jinan 27
Houston 24
Rome 22
Milan 21
Shenyang 21
Nanjing 20
Tianjin 19
Boardman 18
Redmond 17
Ashburn 16
Norwalk 15
Zhengzhou 14
Washington 13
Guangzhou 12
Hangzhou 11
Leawood 11
Gunzenhausen 10
Mumbai 10
Napoli 10
Shanghai 10
Borås 9
Falls Church 9
Mountain View 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
Lappeenranta 6
Naples 6
Rumia 6
Trezzo 6
Draveil 5
Haikou 5
Jakarta 5
Monmouth Junction 5
Rockville 5
Bremen 4
Catania 4
Cava 4
Clearwater 4
Colchester 4
Fuzhou 4
Isernia 4
Los Angeles 4
Martinsicuro 4
Padova 4
Pescara 4
Phoenix 4
Pisa 4
San Giovanni Rotondo 4
Seattle 4
Serra 4
São Paulo 4
Andover 3
Augusta 3
Bangalore 3
Bucharest 3
Central 3
Denver 3
Fisciano 3
Gallarate 3
Hefei 3
Huizen 3
Piedimonte Matese 3
Pontecagnano 3
Pugliano 3
Pune 3
Pusan 3
Sant'antonio Abate 3
Taiyuan 3
Tokyo 3
Totale 7.136
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. 121
Poster: A data life cycle modeling proposal by means of formal methods 98
Cascade Learning for Mobile Malware Families Detection through Quality and Android Metrics 97
Wearable Devices for Human Activity Recognition and User Detection 91
Human Behaviour Characterization for Driving Style Recognition in Vehicle System 87
Model Checking Techniques applied to Satellite Operational Mode Management 86
Talos: No more Ransomware Victims with Formal Methods 85
A Formal Methodology for Notational Analysis and Real-Time Decision Support in Sport Environment 84
Malware and Formal Methods: Rigorous approaches for detecting malicious behaviour 82
A blockchain based proposal for protecting healthcare systems through formal methods 81
Diabetes Mellitus Affected Patients "Classification and Diagnosis through Machine Learning Techniques" 80
Car Hacking Identification through Fuzzy Logic Algorithms 79
Measuring Mobile Applications Quality and Security in Higher Education 79
Model Checking to Detect the Hummingbad Malware 79
Evaluating model checking for cyber threats code obfuscation identification 78
Spyware detection using temporal logic 77
Deep learning for image-based mobile malware detection 75
Real-time driver behaviour characterization through rule-based machine learning 73
An ensemble learning approach for brain cancer detection exploiting radiomic features 73
Machine Learning to Identify Gender via Hair Elements 72
Formal Methods for Android Banking Malware Analysis and Detection 72
Investigating mobile applications quality in official and third-party marketplaces 71
Algebraic Computational Models of OR-Parallel Execution of Prolog”, Acta Informatica 69
A “pay-how-you-drive” car insurance approach through cluster analysis 68
Real-Time SCADA Attack Detection by Means of Formal Methods 68
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 67
Neural Networks for Lung Cancer Detection through Radiomic Features 67
Hourly Global Solar Radiation Reconstruction Applying Machine Learning 67
LEILA: formaL tool for idEntifying mobIle maLicious behAviour 66
Formal modeling for magnetic resonance images tamper mitigation 66
Visualizing the outcome of dynamic analysis of Android malware with VizMal 64
Automated Verification of Fault Tolerance Mechanism 62
De novo Reconstruction of Gene Regulatory Networks from Time Series, an approach based on Formal Methods 62
Explainable Deep Learning for Pulmonary Disease and Coronavirus COVID-19 Detection from X-rays 62
Selective Mu-Calculus: New Modal Operators for Proving Properties on Reduced Transition Systems 61
A Model Checking based Proposal for Mobile Colluding Attack Detection 61
Identifying Mobile Repackaged Applications through Formal Methods 60
Automatable Integrations for the Reuse of Concurrent Specifications 60
Selective Mu-Calculus and Formula-Based Equivalence of Transition Systems 60
Model Checking Multithreaded Programs by means of reduced models 60
BPM perspectives to support ICSs: Exploiting the integration of formal verifications into investment service provision processes 60
Applying formal methods to process innovation 59
k-bisimulation: a new bisimulation for defining the dissimilarity between processes 59
Twinkle Twinkle Little DroidDream, How I Wonder What You Are? 59
A methodology based on formal methods for thermal ablation area detection 59
Abstracting models from execution traces for performing formal verification 58
Abstract Interpretation of Trace Semantics for Concurrent Calculi 58
Formal Methods Meet Mobile Code Obfuscation 58
Model checking based approach for compliance checking 58
Energy consumption metrics for mobile device dynamic malware detection 58
Exploiting model checking for mobile botnet detection 58
A Tableau-based Procedure for Model Checking Programs 57
Local Model Checking of Java Bytecode 57
Abstract Interpretation and Model Checking for Checking Secure Information Flow in Concurrent Systems 57
Model checking for data anomaly detection 57
Dunuen: A user-friendly formal verification tool 57
Abstract Reduction in Directed Model Checking CCS Processes 57
A Notion of Non-Interference for Timed Automata 56
Identification of Android Malware Families with Model Checking 56
Cluster Analysis for Driver Aggressiveness Identification 56
Safety Critical Systems Formal Verification Using Execution Traces 56
LORETO: A Tool for Reducing State Explosion in Verification of LOTOS Programs 55
CD-Form: A Clone Detector based on Formal Methods 55
State Space Reduction by Non-Standard Semantics for Deadlock Analysis 55
Download Malware? No, thanks. How Formal Methods can Block Update Attacks 54
A* for Deadlock Detection in CCS processes 54
Reusing LOTOS Specifications 54
Application of Equivalence Checking in a Loan Origination Process in Banking Industry 54
Anomaly detection in substation networks 54
Social Network Polluting Contents Detection through Deep Learning Techniques 54
GreASE: a tool for efficient “non-equivalence” checking 53
A User-Friendly Interface to Specify Temporal Properties of Concurrent Systems 53
Logic Based Abstractions of Real-time Systems 53
Model checking for malicious family detection and phylogenetic analysis in mobile environment 53
Deep learning for heart disease detection through cardiac sounds 53
Heuristic Search + Local Model Checking in Selective mu-Calculus 52
Efficient Model Checking of Properties of a Multimedia Application 52
Who's Driving My Car? A machine learning based approach to driver identification, 52
A Methodology for Real-Time Data Verification exploiting Deep Learning and Model Checking 52
Towards a Logical Semantics for Pure Prolog 52
Analysing Wiki Quality using Probabilistic Model Checking 52
How Discover a Malware using Model Checking 51
Ransomware Inside Out 51
Efficient Verification of a Multicast Protocol for Mobile Computing 51
Ant Colony Optimization for Deadlock Detection in Concurrent Systems 50
Formula-based Abstractions and Symbolic Execution for Model Checking Programs 50
An Eclipse-based Editor to Support LOTOS Newcomers 50
Checking Secure Information Flow in Concurrent Languages by Abstract Interpretation + Model Checking 50
A Transformation System for Concurrent Processes 50
Protected pointers to specify access privileges in distributed systems 50
DECAB-LSTM: Deep Contextualized Attentional Bidirectional LSTM for cancer hallmark classification 50
Code Reordering Obfuscation Technique Detection by Means of Weak Bisimulation 50
A formula-driven modular attack on state explosion 49
Formula Based Abstractions of Transition Systems for Real-time Model Checking 49
Using Heuristic Search for Finding Deadlocks in Concurrent Systems 49
A Non-Standard Semantics for Generating Reduced Transition Systems 49
Heuristic Search for Equivalence Checking 49
Radiomic features for medical images tamper detection by equivalence checking 49
Totale 6.320
Salva come PNG Salva come JPEG
Categoria #
all - tutte 46.553
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 46.553
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/2019271 0 0 0 0 23 136 36 19 24 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.459 565 163 74 422 196 374 22 262 3.065 108 114 94
2023/2024611 264 195 52 49 51 0 0 0 0 0 0 0
Totale 10.561