IRIS
MAZZOCCA, NICOLA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
AS - Asia 12.156
NA - Nord America 11.792
EU - Europa 8.786
SA - Sud America 1.623
AF - Africa 246
OC - Oceania 16
Continente sconosciuto - Info sul continente non disponibili 10
Totale 34.629
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 11.347
SG - Singapore 5.897
RU - Federazione Russa 3.459
CN - Cina 2.067
VN - Vietnam 2.030
IT - Italia 1.872
BR - Brasile 1.327
UA - Ucraina 939
HK - Hong Kong 906
DE - Germania 621
FR - Francia 484
FI - Finlandia 451
CA - Canada 266
SE - Svezia 236
GB - Regno Unito 215
JP - Giappone 208
IE - Irlanda 194
BD - Bangladesh 181
IN - India 164
AR - Argentina 110
MX - Messico 88
IQ - Iraq 84
ID - Indonesia 79
KR - Corea 75
PH - Filippine 68
NL - Olanda 67
TH - Thailandia 63
TR - Turchia 59
PL - Polonia 53
ES - Italia 52
PK - Pakistan 49
ZA - Sudafrica 45
EC - Ecuador 42
CI - Costa d'Avorio 34
CO - Colombia 33
CL - Cile 32
AT - Austria 31
MA - Marocco 27
UZ - Uzbekistan 27
MY - Malesia 26
VE - Venezuela 25
PY - Paraguay 23
EG - Egitto 21
KE - Kenya 20
TW - Taiwan 20
AE - Emirati Arabi Uniti 18
JO - Giordania 18
SA - Arabia Saudita 16
BE - Belgio 15
JM - Giamaica 14
PE - Perù 14
RO - Romania 14
AZ - Azerbaigian 13
TN - Tunisia 13
UY - Uruguay 13
CZ - Repubblica Ceca 12
IR - Iran 12
AU - Australia 11
CR - Costa Rica 11
ET - Etiopia 11
LB - Libano 11
NP - Nepal 11
BG - Bulgaria 10
LT - Lituania 10
PT - Portogallo 9
DZ - Algeria 8
NG - Nigeria 8
HN - Honduras 7
IL - Israele 7
KZ - Kazakistan 7
TT - Trinidad e Tobago 7
BB - Barbados 6
DO - Repubblica Dominicana 6
EU - Europa 6
GR - Grecia 6
MU - Mauritius 6
AO - Angola 5
GA - Gabon 5
GT - Guatemala 5
KG - Kirghizistan 5
NI - Nicaragua 5
BA - Bosnia-Erzegovina 4
BH - Bahrain 4
BJ - Benin 4
DK - Danimarca 4
HU - Ungheria 4
MQ - Martinica 4
OM - Oman 4
PR - Porto Rico 4
PS - Palestinian Territory 4
SV - El Salvador 4
AL - Albania 3
BS - Bahamas 3
BZ - Belize 3
CH - Svizzera 3
CU - Cuba 3
CY - Cipro 3
GE - Georgia 3
ML - Mali 3
MW - Malawi 3
Totale 34.539
Salva come PNG Salva come JPEG
Città #
Singapore 2.784
San Jose 1.669
Chandler 1.095
Jacksonville 933
Hong Kong 876
Moscow 872
Santa Clara 621
Ashburn 588
Ho Chi Minh City 571
Beijing 517
The Dalles 482
Hanoi 474
Naples 367
Millbury 349
Lauterbourg 329
Princeton 324
Hefei 264
Los Angeles 257
Boston 219
Wilmington 192
Napoli 187
Nanjing 184
Tokyo 183
Buffalo 179
Council Bluffs 124
Ottawa 119
São Paulo 115
New York 109
Munich 100
Da Nang 97
Dallas 97
Redondo Beach 87
Houston 86
Kronberg 86
Helsinki 84
Haiphong 83
Des Moines 77
Nanchang 76
Frankfurt am Main 70
Rome 66
Chicago 62
Shenyang 58
Orem 56
Boardman 53
Seoul 52
Montreal 51
Hebei 45
Milan 44
Seattle 44
Norwalk 43
Warsaw 43
Atlanta 41
Toronto 41
Amsterdam 39
Brooklyn 39
Changsha 39
Falkenstein 38
Jiaxing 38
Ann Arbor 36
Mexico City 36
Rio de Janeiro 36
Tianjin 36
Belo Horizonte 35
Biên Hòa 35
Orange 34
Turku 34
North Charleston 33
Bangkok 32
Chennai 32
San Francisco 30
Caserta 28
Denver 28
London 28
Nuremberg 28
Hải Dương 27
Jakarta 27
Lawrence 27
Woodbridge 27
Baghdad 26
Phoenix 26
Stockholm 26
Brasília 23
Tashkent 23
Curitiba 21
Johannesburg 21
Memphis 21
Salerno 21
Bắc Giang 20
Dhaka 20
Hangzhou 19
Ninh Bình 19
Quito 19
Ankara 18
Charlotte 18
Crispano 18
Manchester 18
Cagliari 17
Dublin 17
Guarulhos 17
Vienna 17
Totale 17.892
Salva come PNG Salva come JPEG
Nome #
Elliptic Curve Cryptography Engineering 356
Dynamic state machines for modelling railway control systems 257
Machine Learning for public transportation demand prediction: A Systematic Literature Review 203
Towards model-driven assessment of clinical processes 183
Evaluating the Hazardous Failure Rate of majority voting computer architectures by means of Bayesian Network models 175
Modeling railway control systems in promela 171
An FPGA-based performance analysis of the unrolling, tiling, and pipelining of the AES algorithm 154
Towards a hybrid mesoscopic-microscopic railway simulation model 152
Dynamic State Machines for Formalizing Railway Control System Specifications 151
A model-driven process for physical protection system design and vulnerability evaluation 150
A costs based solution for Certifying Authorization 149
Approccio Semantico per un Trattamento Documentale Massivo in Domini Specialistici 149
A model-driven approach for vulnerability evaluation of modern physical protection systems 149
Evaluating virtualization for fog monitoring of real-time applications in mixed-criticality systems 148
A Process Mining-based unsupervised Anomaly Detection technique for the Industrial Internet of Things 147
Trustworthiness evaluation of multi-sensor situation recognition in transit surveillance scenarios 147
A NOVEL UNIFIED ARCHITECTURE FOR PUBLIC-KA NOVEL UNIFIED ARCHITECTURE FOR PUBLIC-KEY CRYPTOGRAPHY 143
Coupling formal methods in a performance modelling technique for heterogeneous supervisioning systems 141
Mobility Data Analytics with KNOT: The KNime mObility Toolkit 140
Analysis and comparison of security protocols in wireless sensor networks 139
A SAN-Based Modeling Approach to Performance Evaluation of an IMS-Compliant Conferencing Framework 139
A multiformalism modular approach to ertms/etcs failure modeling 138
Digital Twins in Healthcare: an architectural proposal and its application in a social distancing case study 137
An integrated framework for securing semi-structured health records 137
A COTS Based Solution for Certifying Authorization 136
Elliptic curve cryptography engineering 134
A Systematic Approach to the Petri Net Based Specifications of Concurrent Systems 133
Vulnerability modeling and analysis for critical infrastructure protection applications 133
Model driven design and evaluation of security level in orchestrated cloud services 133
A visual-based toolkit to support mobility data analytics 132
TOWARDS AN OBJECT BASED MULTI-FORMALISM MULTI-SOLUTION MODELING APPROACH 132
Secure Access to Personalized Web Services 132
Vulnerability analysis and modeling for critical infrastructure protection 131
FPGA approximate logic synthesis through catalog-based AIG-rewriting technique 130
Design Space Exploration Tools 129
A hardware accelerator for data classification within the sensing infrastructure 129
Automatic generation of optimization problems in water provisioning systems 128
The OsMoSys/DrawNET Xe! Languages System: A Novel Infrastructure for Multi-Formalism Object-Oriented Modelling 128
Semantically driven documents composition in CloSe cloud system 128
A novel time-domain processor for real time SAR operation 127
Digital Twins for Anomaly Detection in the Industrial Internet of Things: Conceptual Architecture and Proof-of-Concept 126
Automatic generation of context-aware web services compositions 126
Fuzzy decision fusion and multiformalism modelling in physical security monitoring 125
A Proposal for FPGA-Accelerated Deep Learning Ensembles in MPSoC Platforms Applied to Malware Detection 124
A Catalog-based AIG-Rewriting Approach to the Design of Approximate Components 124
Design of policy-based security mechanisms in a distributed Web Services Architecture 124
An OSLC-based environment for system-level functional testing of ERTMS/ETCS controllers 124
A framework for the Design of Distributed Reconfigurable Embedded Systems 123
Workflow Pattern Analysis in Web Services Orchestration: the BPEL4WS Example 122
An Integrated Environment for Application-Dependent Testing of FPGA Device 122
An interoperable testing environment for ERTMS/ETCS control systems 121
Secure Access to Personalized Web Services 120
Multiformalism techniques for critical infrastructure modelling 119
On the adoption of FPGA for protecting cyber physical infrastructures 119
On the adoption of Physically Unclonable Functions to secure IIoT devices 119
Improving the dependability of distributed surveillance systems using diverse redundant detectors 119
The OsMoSys/DrawNET Xe: Languages System: A novel infrastructure for MultiFormalism Object-Oriented Modelling 118
Policy Formalization to combine separate systems into larger connected network of trust 118
A Secure Architecture for Re-Taskable Sensing Systems 118
Testing 90 nm microcontroller SRAM PUF quality 118
Bus Passenger Load Prediction: Challenges from an Industrial Experience 118
PREVISIONE E CONTROLLO DELLA RADIOCOPERTURA IN AREE URBANE: UN MODELLO COMPUTAZIONALE PARALLELO 117
A transputer-based 'list mode' parallel system for digital radiography with 2D silicon detectors 117
Efficient reed-muller implementation for fuzzy extractor schemes 117
Vehicular Crowdsensing with High-Mileage Vehicles: Investigating Spatiotemporal Coverage Dynamics in Historical Cities with Complex Urban Road Networks 116
Evolving Justice Sector: An Innovative Proposal for Introducing AI-Based Techniques in Court Offices 116
Smart Ecosystems and Digital Twins: an architectural perspective and a FIWARE-based solution 116
On-line integration and reasoning of multi-sensor data to enhance infrastructure surveillance 116
A simulation framework for supporting design and real-time decisional phases in railway systems 116
A Mapping Method for Distributed Heterogeneous Systems 116
A model driven approach to water resource analysis based on formal methods and model transformation 116
Multisolution of complex performability models in the OsMoSys/DrawNET framework 115
Towards an Object Based Multi-Formalism Multi-Solution Modeling Approach 115
An integrated approach for availability and QoS evaluation In railway systems 115
Developing secure cloud applications 115
OFL: A language for cloud orchestration 115
A parallel graph-traversing procedure for multicomputer architectures 114
An Experience in Railway interlocking Systems Specification and Formal Verification 113
CloSe: A cloud SaaS for semantic document composition 113
Outperforming Image Segmentation by Exploiting Approximate K-Means Algorithms 113
Security-aware Deployment Optimization of Cloud-Edge systems in Industrial IoT 113
An Hybrid approach to Performance Prediction through Integration of Static Analysis and Simulation 112
A Hierarchical distributed shared memory Parallel Branch & Bound Application with Pvm and OpenMP for multiprocessor clusters 111
Formal Specification of Concurrent Systems: a Structured Approach 111
Automatic Detection of Interaction Patterns for Parallel Program Analysis and Development 111
Interaction Patterns Detection in Message Passing Programs to Support Parallel Program Simulation 111
Enabling the usage of UML in the verification of railway systems: The DAM-rail approach 111
Correlation of digital evidences in forensic investigation through semantic technologies 111
Virtualization Over Multiprocessor Systems-on-Chip: An Enabling Paradigm for the Industrial Internet of Things 110
Compositional Modeling of Complex Systems: Contact Center Scenarios in OsMoSys 110
Homeland Security 110
Optimisation of security system design by quantitative risk assessment and genetic algorithms 110
Corso di Master universitario di II livello in Innovazione ICT: progettazione e gestione di servizi di nuova generazione e cloud computing 110
A VLSI architecture for real time processing of one-bit coded SAR signals 109
A Design Tool for Dependable Video on Demand Applications 109
Automatic Analysis of Control Flow inWeb Services Composition Processes 109
Security Design and Evaluation in a VoIP Secure Infrastructure: A Policy Based Methodology 109
Dual-Field Arithmetic Core for High-Performance Cryptographic Operations 109
An integrated lifetime and network quality model of large WSNs. 109
Model-driven estimation of distributed vulnerability in complex railway networks 109
Totale 12.992
Salva come PNG Salva come JPEG
Categoria #
all - tutte 115.189
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 115.189
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/20221.764 30 15 31 19 30 56 29 64 224 95 394 777
2022/20232.200 402 214 71 260 269 233 18 228 341 36 89 39
2023/20241.328 63 220 122 85 64 51 35 184 46 38 307 113
2024/20258.437 492 633 41 78 308 380 804 549 832 685 2.838 797
2025/202616.010 1.831 1.091 1.624 1.357 2.712 819 1.841 1.070 2.029 921 377 338
2026/2027422 422 0 0 0 0 0 0 0 0 0 0 0
Totale 35.140