IRIS
MAZZOCCA, NICOLA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
AS - Asia 8.964
NA - Nord America 8.254
EU - Europa 7.903
SA - Sud America 1.493
AF - Africa 194
Continente sconosciuto - Info sul continente non disponibili 10
OC - Oceania 10
Totale 26.828
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 7.931
SG - Singapore 5.361
RU - Federazione Russa 3.403
CN - Cina 1.723
IT - Italia 1.622
BR - Brasile 1.248
UA - Ucraina 936
HK - Hong Kong 770
DE - Germania 561
VN - Vietnam 539
FI - Finlandia 440
SE - Svezia 233
CA - Canada 197
GB - Regno Unito 192
IE - Irlanda 180
AR - Argentina 96
IN - India 83
BD - Bangladesh 79
FR - Francia 75
MX - Messico 69
NL - Olanda 56
ID - Indonesia 55
KR - Corea 50
TR - Turchia 48
IQ - Iraq 47
PL - Polonia 46
ES - Italia 40
EC - Ecuador 39
ZA - Sudafrica 38
CI - Costa d'Avorio 33
AT - Austria 30
JP - Giappone 26
PK - Pakistan 26
CL - Cile 23
UZ - Uzbekistan 23
CO - Colombia 21
MA - Marocco 21
PY - Paraguay 21
VE - Venezuela 21
KE - Kenya 14
MY - Malesia 14
AE - Emirati Arabi Uniti 13
BE - Belgio 13
EG - Egitto 13
IR - Iran 12
SA - Arabia Saudita 12
UY - Uruguay 12
CZ - Repubblica Ceca 11
AZ - Azerbaigian 10
BG - Bulgaria 10
JO - Giordania 10
LT - Lituania 9
RO - Romania 9
PE - Perù 8
TH - Thailandia 8
NG - Nigeria 7
PH - Filippine 7
PT - Portogallo 7
CR - Costa Rica 6
EU - Europa 6
MU - Mauritius 6
NP - Nepal 6
TN - Tunisia 6
AU - Australia 5
DO - Repubblica Dominicana 5
HN - Honduras 5
IL - Israele 5
JM - Giamaica 5
LB - Libano 5
NI - Nicaragua 5
TT - Trinidad e Tobago 5
AO - Angola 4
BJ - Benin 4
DK - Danimarca 4
DZ - Algeria 4
GA - Gabon 4
KG - Kirghizistan 4
BA - Bosnia-Erzegovina 3
BB - Barbados 3
BH - Bahrain 3
BS - Bahamas 3
CH - Svizzera 3
CU - Cuba 3
CY - Cipro 3
ET - Etiopia 3
GR - Grecia 3
KZ - Kazakistan 3
ML - Mali 3
MQ - Martinica 3
MW - Malawi 3
NA - Namibia 3
PA - Panama 3
SK - Slovacchia (Repubblica Slovacca) 3
SO - Somalia 3
SV - El Salvador 3
SY - Repubblica araba siriana 3
TL - Timor Orientale 3
XK - ???statistics.table.value.countryCode.XK??? 3
YT - Mayotte 3
ZM - Zambia 3
Totale 26.764
Salva come PNG Salva come JPEG
Città #
Singapore 2.480
Chandler 1.077
Jacksonville 931
Moscow 857
Hong Kong 766
Santa Clara 592
Beijing 489
Millbury 345
Ashburn 341
Princeton 319
Naples 302
Hefei 262
Los Angeles 226
Boston 212
Wilmington 188
Napoli 187
Nanjing 181
Ho Chi Minh City 179
Buffalo 166
Hanoi 126
The Dalles 117
Ottawa 113
São Paulo 107
Munich 98
Kronberg 86
Redondo Beach 84
Helsinki 80
Des Moines 75
Houston 75
Nanchang 74
Dallas 69
New York 68
Shenyang 58
Rome 54
Seoul 50
Boardman 45
Hebei 45
Norwalk 42
Seattle 41
Chicago 39
Montreal 39
Falkenstein 38
Changsha 37
Jiaxing 37
Ann Arbor 36
Warsaw 36
Tianjin 34
Turku 34
Belo Horizonte 33
Frankfurt am Main 33
Mexico City 33
Orange 33
Rio de Janeiro 33
Amsterdam 32
Milan 29
Brooklyn 28
Caserta 27
Da Nang 27
Lawrence 27
London 27
Woodbridge 27
Council Bluffs 25
Orem 25
Toronto 25
Haiphong 24
Stockholm 24
Brasília 22
Tokyo 22
Biên Hòa 21
Chennai 21
Denver 21
San Francisco 21
Nuremberg 20
Salerno 20
Tashkent 20
Atlanta 19
Curitiba 19
Johannesburg 19
Dhaka 18
Jakarta 18
Quito 17
Poplar 16
Vienna 16
Cagliari 15
Campinas 15
Charlotte 15
Elk Grove Village 15
Guarulhos 15
North Charleston 15
Phoenix 14
Porto Alegre 14
Redwood City 14
Ankara 13
Asunción 13
Baghdad 13
Falls Church 13
Hangzhou 13
Ninh Bình 13
Zhengzhou 13
Marcianise 12
Totale 13.014
Salva come PNG Salva come JPEG
Nome #
Dynamic state machines for modelling railway control systems 229
Machine Learning for public transportation demand prediction: A Systematic Literature Review 154
Towards model-driven assessment of clinical processes 148
Modeling railway control systems in promela 142
Trustworthiness evaluation of multi-sensor situation recognition in transit surveillance scenarios 133
A costs based solution for Certifying Authorization 127
Dynamic State Machines for Formalizing Railway Control System Specifications 126
Approccio Semantico per un Trattamento Documentale Massivo in Domini Specialistici 123
Analysis and comparison of security protocols in wireless sensor networks 117
A model-driven approach for vulnerability evaluation of modern physical protection systems 117
Design Space Exploration Tools 116
A NOVEL UNIFIED ARCHITECTURE FOR PUBLIC-KA NOVEL UNIFIED ARCHITECTURE FOR PUBLIC-KEY CRYPTOGRAPHY 116
A SAN-Based Modeling Approach to Performance Evaluation of an IMS-Compliant Conferencing Framework 115
TOWARDS AN OBJECT BASED MULTI-FORMALISM MULTI-SOLUTION MODELING APPROACH 114
Towards a hybrid mesoscopic-microscopic railway simulation model 113
FPGA approximate logic synthesis through catalog-based AIG-rewriting technique 112
Mobility Data Analytics with KNOT: The KNime mObility Toolkit 112
Secure Access to Personalized Web Services 112
Coupling formal methods in a performance modelling technique for heterogeneous supervisioning systems 112
Evaluating the Hazardous Failure Rate of majority voting computer architectures by means of Bayesian Network models 112
Vulnerability modeling and analysis for critical infrastructure protection applications 110
A COTS Based Solution for Certifying Authorization 109
An integrated framework for securing semi-structured health records 109
Semantically driven documents composition in CloSe cloud system 108
A model-driven process for physical protection system design and vulnerability evaluation 108
A Systematic Approach to the Petri Net Based Specifications of Concurrent Systems 107
A Proposal for FPGA-Accelerated Deep Learning Ensembles in MPSoC Platforms Applied to Malware Detection 106
Automatic generation of optimization problems in water provisioning systems 106
Workflow Pattern Analysis in Web Services Orchestration: the BPEL4WS Example 106
Model driven design and evaluation of security level in orchestrated cloud services 106
A visual-based toolkit to support mobility data analytics 105
Evaluating virtualization for fog monitoring of real-time applications in mixed-criticality systems 104
A Catalog-based AIG-Rewriting Approach to the Design of Approximate Components 104
Elliptic curve cryptography engineering 104
A multiformalism modular approach to ertms/etcs failure modeling 104
Fuzzy decision fusion and multiformalism modelling in physical security monitoring 104
Digital Twins for Anomaly Detection in the Industrial Internet of Things: Conceptual Architecture and Proof-of-Concept 103
The OsMoSys/DrawNET Xe: Languages System: A novel infrastructure for MultiFormalism Object-Oriented Modelling 103
Automatic generation of context-aware web services compositions 103
On-line integration and reasoning of multi-sensor data to enhance infrastructure surveillance 103
A novel time-domain processor for real time SAR operation 102
A Secure Architecture for Re-Taskable Sensing Systems 102
A transputer-based 'list mode' parallel system for digital radiography with 2D silicon detectors 102
A Mapping Method for Distributed Heterogeneous Systems 102
On the adoption of FPGA for protecting cyber physical infrastructures 102
On the adoption of Physically Unclonable Functions to secure IIoT devices 102
Vehicular Crowdsensing with High-Mileage Vehicles: Investigating Spatiotemporal Coverage Dynamics in Historical Cities with Complex Urban Road Networks 101
Digital Twins in Healthcare: an architectural proposal and its application in a social distancing case study 101
Multisolution of complex performability models in the OsMoSys/DrawNET framework 101
A framework for the Design of Distributed Reconfigurable Embedded Systems 101
The OsMoSys/DrawNET Xe! Languages System: A Novel Infrastructure for Multi-Formalism Object-Oriented Modelling 100
A model driven approach to water resource analysis based on formal methods and model transformation 100
A hardware accelerator for data classification within the sensing infrastructure 100
A Hierarchical distributed shared memory Parallel Branch & Bound Application with Pvm and OpenMP for multiprocessor clusters 99
PREVISIONE E CONTROLLO DELLA RADIOCOPERTURA IN AREE URBANE: UN MODELLO COMPUTAZIONALE PARALLELO 99
Testing 90 nm microcontroller SRAM PUF quality 99
Outperforming Image Segmentation by Exploiting Approximate K-Means Algorithms 99
Secure Access to Personalized Web Services 97
An Integrated Environment for Application-Dependent Testing of FPGA Device 97
Bus Passenger Load Prediction: Challenges from an Industrial Experience 97
Virtualization Over Multiprocessor Systems-on-Chip: An Enabling Paradigm for the Industrial Internet of Things 96
A VLSI architecture for real time processing of one-bit coded SAR signals 96
A simulation framework for supporting design and real-time decisional phases in railway systems 96
Developing secure cloud applications 96
OFL: A language for cloud orchestration 96
Evolving Justice Sector: An Innovative Proposal for Introducing AI-Based Techniques in Court Offices 95
An Hybrid approach to Performance Prediction through Integration of Static Analysis and Simulation 95
Securing a Tiered Re-Taskable Sensing System 95
An OSLC-based environment for system-level functional testing of ERTMS/ETCS controllers 95
Efficient reed-muller implementation for fuzzy extractor schemes 95
Compositional Modeling of Complex Systems: Contact Center Scenarios in OsMoSys 94
A parallel graph-traversing procedure for multicomputer architectures 94
An Experience in Railway interlocking Systems Specification and Formal Verification 94
Towards an Object Based Multi-Formalism Multi-Solution Modeling Approach 94
Design of policy-based security mechanisms in a distributed Web Services Architecture 94
Correlation of digital evidences in forensic investigation through semantic technologies 94
Security-aware Deployment Optimization of Cloud-Edge systems in Industrial IoT 94
Interaction Patterns Detection in Message Passing Programs to Support Parallel Program Simulation 93
Vulnerability analysis and modeling for critical infrastructure protection 93
Policy Formalization to combine separate systems into larger connected network of trust 91
Model Analysis of a Distributed Monitoring System Using a Multi-formalism Approach 90
Repairable Fault Tree for the Automatic Evaluation of Repair Policies 89
Security Design and Evaluation in a VoIP Secure Infrastructure: A Policy Based Methodology 89
An integrated approach for availability and QoS evaluation In railway systems 89
An integrated lifetime and network quality model of large WSNs. 89
Un Algoritmo Branch-and-Bound Parallelo per Sistemi Multicomputer 88
A Design Tool for Dependable Video on Demand Applications 88
Modeling and logic controller specification of flexible manufacturing systems using behavioral traces and Petri net building blocks 88
Model-driven estimation of distributed vulnerability in complex railway networks 88
Improving the dependability of distributed surveillance systems using diverse redundant detectors 88
Evaluation of the On-Line Testing Features of a Fail-Safe Railway Control System 87
Homeland Security 87
Smart Ecosystems and Digital Twins: an architectural perspective and a FIWARE-based solution 86
A CORBA-based Architecture for Adding Dependability to Legacy Servers 86
A Semantic-based Document Processing Framework: A Security Perspective 86
Design space exploration for high-level synthesis of multi-threaded applications 86
A Formal Model for Autonomous Planning in High Performance Systems 86
An interoperable testing environment for ERTMS/ETCS control systems 86
Formal Specification of Concurrent Systems: a Structured Approach 85
Automatic Detection of Interaction Patterns for Parallel Program Analysis and Development 85
Totale 10.301
Salva come PNG Salva come JPEG
Categoria #
all - tutte 91.087
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 91.087
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021967 0 0 0 0 0 238 213 24 224 47 210 11
2021/20221.737 30 15 31 18 29 56 29 63 216 93 393 764
2022/20232.165 397 214 71 260 259 232 18 219 333 36 87 39
2023/20241.316 62 217 120 84 64 51 35 183 46 38 303 113
2024/20258.319 480 620 41 78 304 374 791 542 826 680 2.800 783
2025/20268.855 1.805 1.078 1.600 1.338 2.663 371 0 0 0 0 0 0
Totale 27.332