IRIS
MAZZOCCA, NICOLA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 5.234
EU - Europa 3.453
AS - Asia 676
AF - Africa 41
Continente sconosciuto - Info sul continente non disponibili 6
SA - Sud America 5
OC - Oceania 1
Totale 9.416
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 5.107
IT - Italia 1.231
UA - Ucraina 914
CN - Cina 598
DE - Germania 354
FI - Finlandia 336
SE - Svezia 210
IE - Irlanda 187
CA - Canada 127
GB - Regno Unito 110
NL - Olanda 33
CI - Costa d'Avorio 32
FR - Francia 27
TR - Turchia 16
SG - Singapore 14
ID - Indonesia 13
IN - India 11
RU - Federazione Russa 9
ES - Italia 8
JP - Giappone 8
AT - Austria 7
BE - Belgio 7
EU - Europa 6
BG - Bulgaria 5
IR - Iran 5
NG - Nigeria 5
PT - Portogallo 4
AR - Argentina 3
HK - Hong Kong 3
KE - Kenya 3
RO - Romania 3
BR - Brasile 2
DK - Danimarca 2
IL - Israele 2
SA - Arabia Saudita 2
AL - Albania 1
AU - Australia 1
CH - Svizzera 1
CZ - Repubblica Ceca 1
EG - Egitto 1
HR - Croazia 1
HU - Ungheria 1
KR - Corea 1
NO - Norvegia 1
PK - Pakistan 1
TW - Taiwan 1
VN - Vietnam 1
Totale 9.416
Salva come PNG Salva come JPEG
Città #
Chandler 1.099
Jacksonville 928
Millbury 349
Princeton 325
Boston 202
Wilmington 188
Napoli 187
Nanjing 183
Naples 147
Ottawa 115
Ashburn 111
Beijing 99
Kronberg 86
Nanchang 74
Des Moines 72
Shenyang 57
Houston 53
Hebei 45
Norwalk 42
Jiaxing 37
Ann Arbor 36
Boardman 36
Orange 34
Tianjin 32
Changsha 31
Lawrence 27
Rome 26
Woodbridge 26
Amsterdam 22
Milan 18
Salerno 17
Caserta 15
Falls Church 14
Redwood City 14
Cagliari 13
Dublin 11
Helsinki 11
Marcianise 11
New York 11
Seattle 10
Toronto 10
Wuppertal 9
Alvignano 8
Indiana 8
Marigliano 8
Sessa Aurunca 8
Fairfield 7
Tokyo 7
Torino 7
Torre Annunziata 7
Torre Del Greco 7
El Segundo 6
Kunming 6
Pozzuoli 6
Bacoli 5
Cava De' Tirreni 5
Crispano 5
Lyon 5
Pagani 5
Pune 5
Sennori 5
Sofia 5
Valencia 5
Vienna 5
Angri 4
Bologna 4
Bolzano 4
Duncan 4
Fuzhou 4
Hangzhou 4
Honselersdijk 4
La Spezia 4
Lisbon 4
Ostend 4
Quarto 4
San Francisco 4
San Giuseppe Vesuviano 4
Siena 4
Vietri Sul Mare 4
Zhengzhou 4
Afragola 3
Benevento 3
Borgo San Lorenzo 3
Boydton 3
Casalnuovo Di Napoli 3
Changchun 3
Dearborn 3
Florence 3
Ghent 3
Grammichele 3
Hong Kong 3
Jakarta 3
Jinan 3
Marano Di Napoli 3
Misterbianco 3
Nocera Inferiore 3
Nußloch 3
Padova 3
Palermo 3
Portici 3
Totale 5.092
Salva come PNG Salva come JPEG
Nome #
Dynamic state machines for modelling railway control systems 159
Trustworthiness evaluation of multi-sensor situation recognition in transit surveillance scenarios 81
Modeling railway control systems in promela 78
Towards model-driven assessment of clinical processes 72
A Hierarchical distributed shared memory Parallel Branch & Bound Application with Pvm and OpenMP for multiprocessor clusters 63
Dynamic State Machines for Formalizing Railway Control System Specifications 60
TOWARDS AN OBJECT BASED MULTI-FORMALISM MULTI-SOLUTION MODELING APPROACH 58
A Mapping Method for Distributed Heterogeneous Systems 58
Compositional Modeling of Complex Systems: Contact Center Scenarios in OsMoSys 57
An integrated framework for securing semi-structured health records 57
A SAN-Based Modeling Approach to Performance Evaluation of an IMS-Compliant Conferencing Framework 56
A costs based solution for Certifying Authorization 54
An Experience in Railway interlocking Systems Specification and Formal Verification 53
Automatic generation of formal models for diagnosability of DES 53
Automatic generation of optimization problems in water provisioning systems 52
A Hierarchical distributed shared memory Parallel Branch & Bound Application with Pvm and OpenMP for multiprocessor clusters 51
A framework for the Design of Distributed Reconfigurable Embedded Systems 50
A CORBA-based Architecture for Adding Dependability to Legacy Servers 49
A Design Tool for Dependable Video on Demand Applications 49
A Fault Tolerant access to legacy database System using CORBA Technology 48
A model-driven approach for vulnerability evaluation of modern physical protection systems 48
A parallel graph-traversing procedure for multicomputer architectures 47
The OsMoSys/DrawNET Xe: Languages System: A novel infrastructure for MultiFormalism Object-Oriented Modelling 47
Modelling System Reliability Aspects of ERTMS/ETCS by Fault Trees and Bayesian Networks 47
Fuzzy decision fusion and multiformalism modelling in physical security monitoring 47
Multisolution of complex performability models in the OsMoSys/DrawNET framework 46
A method for predictive performance evaluation of distributed programs 46
MAGDA: a software environment for Mobile Agent Distribuited Applications 46
A Simulation Environment for fault-tolerant VoD systems 46
A COTS Based Solution for Certifying Authorization 46
The METRIP Tool 46
Workflow Pattern Analysis in Web Services Orchestration: the BPEL4WS Example 45
An Hybrid approach to Performance Prediction through Integration of Static Analysis and Simulation 45
A simulation Tool for dependability-oriented Design of MultimediaApplications 45
A VLSI architecture for real time processing of one-bit coded SAR signals 45
Model driven design and evaluation of security level in orchestrated cloud services 45
A performance Simulation technique for distribuited programs: application to an SOR iterative solver 44
Semantically driven documents composition in CloSe cloud system 44
A NOVEL UNIFIED ARCHITECTURE FOR PUBLIC-KA NOVEL UNIFIED ARCHITECTURE FOR PUBLIC-KEY CRYPTOGRAPHY 43
A case study of application modeling in heterogeneous computing environments: Cholesky factorization in a NOW 43
A novel time-domain processor for real time SAR operation 43
Evaluation of the On-Line Testing Features of a Fail-Safe Railway Control System 42
Coupling formal methods in a performance modelling technique for heterogeneous supervisioning systems 42
A HIERARCHICAL DISTRIBUTED SHARED MEMORY PARALLEL BRANCH & BOUND APPLICATION WITH PVM AND OPENMP FOR MULTIPROCESSOR CLUSTERS 42
Threat Analysis and Detection in Critical Infrastructure Security 42
A systematic approach to the Petri net based specification of concurrent systems 41
A method for predictive performance of distributed programs 41
Secure Access to Personalized Web Services 41
A multiformalism modular approach to ertms/etcs failure modeling 41
A Systematic Approach to the Petri Net Based Specifications of Concurrent Systems 40
A CORBA-based Architecture for Adding Dependability to Legacy Servers 40
A design Tool for Dependable Video on Demand Applications 40
A Simulation Environment for fault-tolerant Vod system 40
Interaction Patterns Detection in Message Passing Programs to Support Parallel Program Simulation 40
A CASE system for Petri net modelling of CSP-like programs 39
Policy Formalization to combine separate systems into larger connected network of trust 39
OFL: A language for cloud orchestration 39
A Systematic Approach to the Petri Net Based Specifications of Concurrent Systems 38
An Experience in Railway interlocking Systems Specification and Formal Verification 38
A Simulation Tool for Dependability-Oriented Design of Multimedia Applications 38
A Simulated Fault Injection Tool for Dependable VoD Application Design 38
A design Tool for Dependable Video Demand Applications 38
Modeling and logic controller specification of flexible manufacturing systems using behavioral traces and Petri net building blocks 38
A Study on Multiformalism Modelling of Critical Infrastructures 38
Repairable Fault Tree for the Automatic Evaluation of Repair Policies 37
Elliptic curve cryptography engineering 37
A hierarchical approach for designing dependable system 37
Performance modeling, analysis and simulation of scientific applications: a case study 37
Specification and Modeling of Flexible Manufacturing Systems Using Behaviours and Petri Nets Building Blocks 37
A Secure Architecture for Re-Taskable Sensing Systems 37
Multiformalism techniques for critical infrastructure modelling 37
Approccio Semantico per un Trattamento Documentale Massivo in Domini Specialistici 37
A hardware accelerator for data classification within the sensing infrastructure 37
Modeling and control specification of flexible manufacturing system using behavioral traces and petri ets building blocks 36
MAGDA: A Mobile Agent based Grid Architecture 36
A Hierarchical distributedshared memory Parallel Branch & Bound Application with Pvm and OpenMP for multiprocessor clusters 36
A method for predictive performance evaluation of distributed programs 36
Evaluation of Parallel Algorithms on Transputer Networks 36
Automatic Detection of Interaction Patterns for Parallel Program Analysis and Development 36
Experimental Analisys of Distributed System Dependability 36
Towards an Object Based Multi-Formalism Multi-Solution Modeling Approach 36
The OsMoSys/DrawNET Xe! Languages System: A Novel Infrastructure for Multi-Formalism Object-Oriented Modelling 36
Security-aware Deployment Optimization of Cloud-Edge systems in Industrial IoT 36
An OSLC-based environment for system-level functional testing of ERTMS/ETCS controllers 36
A representation of elements in F2m enabling unified field arithmetic for elliptic curve cryptography 35
Integrating Trace Logic and Petri Nets Specifications 35
PREVISIONE E CONTROLLO DELLA RADIOCOPERTURA IN AREE URBANE: UN MODELLO COMPUTAZIONALE PARALLELO 35
A new modelling approach to the safety evaluation of N-modular redundant computer systems in presence of imperfect maintenance 35
A model-driven process for physical protection system design and vulnerability evaluation 35
Paradigms for the parallelization of Branch-and-Bound algorithms 34
FPGA-based Implementation of a serial RSA processor 34
SWN Client-server composition operators in the OsMoSys framework 34
Automatic and Dynamic Composition of Web Services Using Ontologies 34
A transputer-based 'list mode' parallel system for digital radiography with 2D silicon detectors 34
A model driven approach to water resource analysis based on formal methods and model transformation 34
A Systematic Approach to the Petri Net Based Specifications of Concurrent Systems 33
Distributed coordination in optimization algorithms 33
Secure Access to Personalized Web Services 33
Recovery Strategies for Distributed Multimedia Applications 33
Behavior of a Computer Based Interlocking System Under Transient Hardware Faults 33
Totale 4.400
Salva come PNG Salva come JPEG
Categoria #
all - tutte 37.416
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 37.416
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/201948 0 0 0 0 0 0 0 0 0 0 27 21
2019/20201.355 436 12 203 15 201 26 10 12 17 41 133 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.209 403 216 71 260 270 235 18 229 343 36 89 39
2023/2024915 63 222 122 84 64 51 35 184 46 38 6 0
Totale 9.867