IRIS
MAZZOCCA, NICOLA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 6.828
NA - Nord America 6.678
AS - Asia 3.553
SA - Sud America 634
AF - Africa 73
Continente sconosciuto - Info sul continente non disponibili 6
OC - Oceania 1
Totale 17.773
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 6.508
RU - Federazione Russa 2.767
SG - Singapore 1.994
IT - Italia 1.480
UA - Ucraina 925
HK - Hong Kong 692
CN - Cina 650
BR - Brasile 577
DE - Germania 480
FI - Finlandia 432
SE - Svezia 215
IE - Irlanda 187
CA - Canada 147
GB - Regno Unito 132
FR - Francia 56
NL - Olanda 47
TR - Turchia 34
CI - Costa d'Avorio 32
IN - India 31
BD - Bangladesh 26
AT - Austria 22
ES - Italia 21
KR - Corea 19
AR - Argentina 16
ID - Indonesia 16
IQ - Iraq 16
MX - Messico 15
BE - Belgio 12
PK - Pakistan 12
CO - Colombia 10
JP - Giappone 10
KE - Kenya 10
MA - Marocco 10
PL - Polonia 10
ZA - Sudafrica 10
BG - Bulgaria 9
PY - Paraguay 9
UZ - Uzbekistan 8
CZ - Repubblica Ceca 7
EC - Ecuador 7
EU - Europa 6
JO - Giordania 6
PT - Portogallo 6
RO - Romania 6
VE - Venezuela 6
VN - Vietnam 6
AE - Emirati Arabi Uniti 5
IR - Iran 5
NG - Nigeria 5
UY - Uruguay 5
CL - Cile 4
JM - Giamaica 4
MY - Malesia 4
SA - Arabia Saudita 4
AZ - Azerbaigian 3
NP - Nepal 3
AL - Albania 2
CH - Svizzera 2
DK - Danimarca 2
EG - Egitto 2
IL - Israele 2
LT - Lituania 2
NO - Norvegia 2
PH - Filippine 2
AU - Australia 1
CG - Congo 1
CR - Costa Rica 1
ET - Etiopia 1
GE - Georgia 1
HN - Honduras 1
HR - Croazia 1
HU - Ungheria 1
KG - Kirghizistan 1
KH - Cambogia 1
LB - Libano 1
RS - Serbia 1
SK - Slovacchia (Repubblica Slovacca) 1
SN - Senegal 1
SV - El Salvador 1
TN - Tunisia 1
TT - Trinidad e Tobago 1
TW - Taiwan 1
Totale 17.773
Salva come PNG Salva come JPEG
Città #
Singapore 1.269
Chandler 1.094
Jacksonville 929
Moscow 772
Hong Kong 689
Santa Clara 578
Millbury 349
Princeton 324
Naples 256
Boston 208
Wilmington 188
Napoli 187
Nanjing 183
Ashburn 134
Ottawa 117
Beijing 100
Kronberg 86
Helsinki 81
Des Moines 74
Nanchang 74
Houston 59
Shenyang 57
São Paulo 46
Hebei 45
Rome 43
Boardman 42
Norwalk 42
Falkenstein 38
Hefei 37
Jiaxing 37
Munich 37
Ann Arbor 36
Seattle 35
Orange 34
The Dalles 34
Tianjin 32
Changsha 31
Amsterdam 27
Caserta 27
Lawrence 27
Woodbridge 27
Milan 24
Turku 24
New York 23
Belo Horizonte 21
Toronto 21
Salerno 19
Seoul 19
Frankfurt am Main 16
Los Angeles 16
Nuremberg 16
Cagliari 15
Dallas 15
Falls Church 14
Redwood City 14
Rio de Janeiro 14
San Francisco 14
Brooklyn 12
Marcianise 12
Vienna 12
Dublin 11
Brasília 10
Charlotte 9
Chicago 9
Dhaka 9
London 9
Sofia 9
Wuppertal 9
Alvignano 8
Fairfield 8
Fortaleza 8
Indiana 8
Marigliano 8
Sessa Aurunca 8
Tashkent 8
Tokyo 8
Guarulhos 7
Nairobi 7
Torino 7
Torre Annunziata 7
Torre Del Greco 7
Warsaw 7
Afragola 6
Asunción 6
Campinas 6
Curitiba 6
El Segundo 6
Goiânia 6
Juiz de Fora 6
Kunming 6
North Bergen 6
Paris 6
Pozzuoli 6
Sant'Antimo 6
Stockholm 6
Valencia 6
Zhengzhou 6
Arezzo 5
Bacoli 5
Bologna 5
Totale 9.092
Salva come PNG Salva come JPEG
Nome #
Dynamic state machines for modelling railway control systems 191
Towards model-driven assessment of clinical processes 113
Modeling railway control systems in promela 110
Trustworthiness evaluation of multi-sensor situation recognition in transit surveillance scenarios 109
Dynamic State Machines for Formalizing Railway Control System Specifications 94
A costs based solution for Certifying Authorization 87
A SAN-Based Modeling Approach to Performance Evaluation of an IMS-Compliant Conferencing Framework 84
A Hierarchical distributed shared memory Parallel Branch & Bound Application with Pvm and OpenMP for multiprocessor clusters 82
A model-driven approach for vulnerability evaluation of modern physical protection systems 82
An Experience in Railway interlocking Systems Specification and Formal Verification 80
The OsMoSys/DrawNET Xe: Languages System: A novel infrastructure for MultiFormalism Object-Oriented Modelling 80
TOWARDS AN OBJECT BASED MULTI-FORMALISM MULTI-SOLUTION MODELING APPROACH 78
Workflow Pattern Analysis in Web Services Orchestration: the BPEL4WS Example 78
A framework for the Design of Distributed Reconfigurable Embedded Systems 78
A model-driven process for physical protection system design and vulnerability evaluation 78
Coupling formal methods in a performance modelling technique for heterogeneous supervisioning systems 77
Approccio Semantico per un Trattamento Documentale Massivo in Domini Specialistici 77
Semantically driven documents composition in CloSe cloud system 77
An integrated framework for securing semi-structured health records 76
Machine Learning for public transportation demand prediction: A Systematic Literature Review 75
Automatic generation of optimization problems in water provisioning systems 75
Compositional Modeling of Complex Systems: Contact Center Scenarios in OsMoSys 75
Interaction Patterns Detection in Message Passing Programs to Support Parallel Program Simulation 75
A Systematic Approach to the Petri Net Based Specifications of Concurrent Systems 74
Analysis and comparison of security protocols in wireless sensor networks 74
A Mapping Method for Distributed Heterogeneous Systems 74
A multiformalism modular approach to ertms/etcs failure modeling 74
Model driven design and evaluation of security level in orchestrated cloud services 74
Multisolution of complex performability models in the OsMoSys/DrawNET framework 73
A NOVEL UNIFIED ARCHITECTURE FOR PUBLIC-KA NOVEL UNIFIED ARCHITECTURE FOR PUBLIC-KEY CRYPTOGRAPHY 73
A parallel graph-traversing procedure for multicomputer architectures 73
Secure Access to Personalized Web Services 73
A COTS Based Solution for Certifying Authorization 73
Fuzzy decision fusion and multiformalism modelling in physical security monitoring 73
On the adoption of Physically Unclonable Functions to secure IIoT devices 73
The OsMoSys/DrawNET Xe! Languages System: A Novel Infrastructure for Multi-Formalism Object-Oriented Modelling 72
An Hybrid approach to Performance Prediction through Integration of Static Analysis and Simulation 71
A Secure Architecture for Re-Taskable Sensing Systems 71
On the adoption of FPGA for protecting cyber physical infrastructures 71
Modelling System Reliability Aspects of ERTMS/ETCS by Fault Trees and Bayesian Networks 70
OFL: A language for cloud orchestration 70
A hardware accelerator for data classification within the sensing infrastructure 69
Security-aware Deployment Optimization of Cloud-Edge systems in Industrial IoT 69
A CORBA-based Architecture for Adding Dependability to Legacy Servers 68
Modeling and logic controller specification of flexible manufacturing systems using behavioral traces and Petri net building blocks 68
Automatic generation of context-aware web services compositions 68
Design Space Exploration Tools 67
Towards a hybrid mesoscopic-microscopic railway simulation model 67
Multiformalism techniques for critical infrastructure modelling 67
Outperforming Image Segmentation by Exploiting Approximate K-Means Algorithms 67
A VLSI architecture for real time processing of one-bit coded SAR signals 66
A transputer-based 'list mode' parallel system for digital radiography with 2D silicon detectors 66
A model driven approach to water resource analysis based on formal methods and model transformation 66
Testing 90 nm microcontroller SRAM PUF quality 66
Virtualization Over Multiprocessor Systems-on-Chip: An Enabling Paradigm for the Industrial Internet of Things 65
A Fault Tolerant access to legacy database System using CORBA Technology 65
A Design Tool for Dependable Video on Demand Applications 65
PREVISIONE E CONTROLLO DELLA RADIOCOPERTURA IN AREE URBANE: UN MODELLO COMPUTAZIONALE PARALLELO 65
The METRIP Tool 65
A novel time-domain processor for real time SAR operation 64
Towards an Object Based Multi-Formalism Multi-Solution Modeling Approach 64
Automatic generation of formal models for diagnosability of DES 64
An OSLC-based environment for system-level functional testing of ERTMS/ETCS controllers 64
Bus Passenger Load Prediction: Challenges from an Industrial Experience 64
A Hierarchical distributed shared memory Parallel Branch & Bound Application with Pvm and OpenMP for multiprocessor clusters 63
A method for predictive performance of distributed programs 63
MAGDA: a software environment for Mobile Agent Distribuited Applications 63
A performance Simulation technique for distribuited programs: application to an SOR iterative solver 63
Threat Analysis and Detection in Critical Infrastructure Security 63
Model Analysis of a Distributed Monitoring System Using a Multi-formalism Approach 62
Un Algoritmo Branch-and-Bound Parallelo per Sistemi Multicomputer 62
Paradigms for the parallelization of Branch-and-Bound algorithms 62
A hierarchical approach for designing dependable system 62
A CORBA-based Architecture for Adding Dependability to Legacy Servers 61
A simulation Tool for dependability-oriented Design of MultimediaApplications 61
A Simulation Environment for fault-tolerant VoD systems 61
Correlation of digital evidences in forensic investigation through semantic technologies 61
A visual-based toolkit to support mobility data analytics 60
A method for predictive performance evaluation of distributed programs 60
Design space exploration for high-level synthesis of multi-threaded applications 60
Vulnerability modeling and analysis for critical infrastructure protection applications 60
Developing secure cloud applications 60
Improving the dependability of distributed surveillance systems using diverse redundant detectors 60
A CASE system for Petri net modelling of CSP-like programs 59
Secure Access to Personalized Web Services 59
ASP-based optimized mapping in a simulink-to-MPSoC design flow 59
Model-based water quality assurance in ground and surface provisioning systems 59
A Catalog-based AIG-Rewriting Approach to the Design of Approximate Components 58
Repairable Fault Tree for the Automatic Evaluation of Repair Policies 58
A systematic approach to the Petri net based specification of concurrent systems 58
Specification and Modeling of Flexible Manufacturing Systems Using Behaviours and Petri Nets Building Blocks 58
A Formal Model for Autonomous Planning in High Performance Systems 58
Efficient reed-muller implementation for fuzzy extractor schemes 58
The modelling process and Petri Nets: reasoning on different approaches 57
A Simulation Tool for Dependability-Oriented Design of Multimedia Applications 57
A design Tool for Dependable Video on Demand Applications 57
Automatic Analysis of Control Flow inWeb Services Composition Processes 57
A simulation framework for supporting design and real-time decisional phases in railway systems 57
Modeling and control specification of flexible manufacturing system using behavioral traces and petri ets building blocks 56
A case study of application modeling in heterogeneous computing environments: Cholesky factorization in a NOW 56
Totale 7.004
Salva come PNG Salva come JPEG
Categoria #
all - tutte 72.483
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 72.483
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020249 0 0 0 0 0 0 0 0 0 0 0 249
2020/20211.887 35 211 185 259 230 238 213 24 224 47 210 11
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.001 492 633 41 78 308 380 804 549 832 685 2.838 361
Totale 18.272