CINECA IRIS Institutional Research Information System

PALMIERI, MAURIZIO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 2.569
AS - Asia 1.460
EU - Europa 1.079
SA - Sud America 282
AF - Africa 163
OC - Oceania 8
Continente sconosciuto - Info sul continente non disponibili 2
Totale 5.563
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.507
IT - Italia 466
SG - Singapore 425
CN - Cina 364
HK - Hong Kong 256
BR - Brasile 231
VN - Vietnam 143
SE - Svezia 139
DE - Germania 89
BG - Bulgaria 60
CI - Costa d'Avorio 56
GB - Regno Unito 54
FR - Francia 51
IN - India 46
EE - Estonia 41
JP - Giappone 40
FI - Finlandia 38
CA - Canada 35
TR - Turchia 30
KR - Corea 29
SN - Senegal 27
NL - Olanda 24
RU - Federazione Russa 23
NG - Nigeria 21
AR - Argentina 18
BD - Bangladesh 17
IQ - Iraq 17
PK - Pakistan 17
MA - Marocco 16
RO - Romania 16
MX - Messico 14
ZA - Sudafrica 14
PL - Polonia 13
ES - Italia 11
PH - Filippine 10
UA - Ucraina 10
ID - Indonesia 9
UZ - Uzbekistan 9
PE - Perù 8
SA - Arabia Saudita 8
TN - Tunisia 8
AT - Austria 7
PT - Portogallo 7
TW - Taiwan 7
UY - Uruguay 7
AU - Australia 6
AZ - Azerbaigian 6
GR - Grecia 6
KE - Kenya 6
AE - Emirati Arabi Uniti 5
CO - Colombia 5
ET - Etiopia 5
KZ - Kazakistan 5
CH - Svizzera 4
EC - Ecuador 4
JO - Giordania 4
CR - Costa Rica 3
EG - Egitto 3
IE - Irlanda 3
JM - Giamaica 3
NP - Nepal 3
VE - Venezuela 3
CL - Cile 2
CZ - Repubblica Ceca 2
DK - Danimarca 2
IR - Iran 2
LT - Lituania 2
LU - Lussemburgo 2
NZ - Nuova Zelanda 2
OM - Oman 2
PS - Palestinian Territory 2
PY - Paraguay 2
SK - Slovacchia (Repubblica Slovacca) 2
AL - Albania 1
BB - Barbados 1
BE - Belgio 1
BF - Burkina Faso 1
BH - Bahrain 1
BJ - Benin 1
BO - Bolivia 1
BY - Bielorussia 1
CG - Congo 1
CM - Camerun 1
DO - Repubblica Dominicana 1
DZ - Algeria 1
EU - Europa 1
GA - Gabon 1
GY - Guiana 1
HN - Honduras 1
IL - Israele 1
KG - Kirghizistan 1
KN - Saint Kitts e Nevis 1
LB - Libano 1
LV - Lettonia 1
MD - Moldavia 1
ME - Montenegro 1
NI - Nicaragua 1
NO - Norvegia 1
PA - Panama 1
TT - Trinidad e Tobago 1
Totale 5.561
Salva come PNG Salva come JPEG
Città #
Dallas 706
Hong Kong 249
Singapore 230
Ashburn 204
Santa Clara 194
San Jose 164
Fairfield 125
Woodbridge 104
Shanghai 85
Boardman 83
Chandler 78
Beijing 62
Serra 61
New York 60
Seattle 60
Sofia 60
Abidjan 56
Milan 55
Cambridge 54
Houston 47
Los Angeles 44
Wilmington 43
Hefei 41
Munich 40
Tallinn 39
Ho Chi Minh City 36
Pisa 35
Tokyo 33
Florence 31
Princeton 31
San Vincenzo 29
Hanoi 28
Dakar 27
Seoul 27
Rome 24
Lagos 21
Lauterbourg 21
Lawrence 21
London 20
Ann Arbor 19
Helsinki 19
Council Bluffs 18
Ogden 18
São Paulo 18
Medford 15
Istanbul 14
Redwood City 14
Turku 14
Viareggio 14
Da Nang 12
Warsaw 12
Buffalo 11
Cluj-napoca 11
Ottawa 11
Redondo Beach 11
Casablanca 10
Chicago 10
Des Moines 10
Frankfurt am Main 10
Rio de Janeiro 10
Atlanta 9
Dong Ket 9
Las Vegas 9
Lucca 9
Orem 9
Tashkent 9
Amsterdam 8
Baghdad 8
Bientina 8
Curitiba 8
Falkenstein 8
Nuremberg 8
Denver 7
Haiphong 7
Johannesburg 7
Nanjing 7
Pune 7
San Diego 7
Baltimore 6
Boulder 6
Brooklyn 6
Guarulhos 6
Montevideo 6
Montreal 6
Parma 6
The Dalles 6
Toronto 6
Tunis 6
Addis Ababa 5
Ankara 5
Baku 5
Belo Horizonte 5
Brasília 5
Karlsruhe 5
Kyiv 5
Paris 5
Portsmouth 5
San Francisco 5
Taipei 5
Wuhan 5
Totale 3.873
Salva come PNG Salva come JPEG
Nome #
Co-simulated digital twin on the network edge: A vehicle platoon 630
Formalization and co-simulation of attacks on cyber-physical systems 212
Open-source as an enabling approach for the introduction of artificial intelligence in healthcare 209
Improving network formation in IEEE 802.15.4e DSME 209
Verifying Data Secure Flow in AUTOSAR Models by Static Analysis 194
ROS/Gazebo Based Simulation of Co-operative UAVs 192
Modeling and simulation of attacks on cyber-physical systems 189
A smart, multi-configuration, and low-cost system for water turbidity monitoring 179
Analysis of security attacks in wireless sensor networks: From UPPAAL to Castalia 175
Verifying data secure flow in AUTOSAR models 167
A framework for FMI-based co-simulation of human–machine interfaces 153
Finding Beauty in Mobile EEG When Visiting Art Exhibitions 141
A framework for formal analysis and simulative evaluation of security attacks in wireless sensor networks 129
Integrated Simulation and Formal Verification of a Simple Autonomous Vehicle 126
Block-Based Models and Theorem Proving in Model-Based Development 115
A prototyping process for medical devices and systems 115
Towards Formal Verification of Neural Networks in Cyber-Physical Systems 114
Demo: An On-line Supervisor for the Line Follower Robot 114
Cross-level Co-simulation and Verification of an Automatic Transmission Control on Embedded Processor 114
Co-simulation and Formal Verification of Co-operative Drone Control With Logic-Based Specifications 112
Training Neural Networks in Cyber-Physical Systems using Design Space Exploration and Co-Simulation 112
Formal verification and co-simulation in the design of a synchronous motor control algorithm 111
Attacks detection in Cyber-Physical Systems with Neural Networks: A case study 110
Co-simulation of bio-inspired multi-agent algorithms 109
A Workflow for Designing an On-line Supervisor for Cyber-Physical Systems: a Case Study 107
Co-simulation of a Model Predictive Control System for Automotive Applications 105
Recognizing Special Art Pieces Through EEG: A Journey in Neuroaesthetics Classification 103
Demo: Co-simulation of UAVs with INTO-CPS and PVSio-web 103
A flexible framework for FMI-based co-simulation of human-centred cyber-physical systems 98
null 96
Co-simulated Digital Twin on the Network Edge: the case of platooning 95
null 95
Cross-level Co-simulation and Verification of an Automatic Transmission Control on Embedded Processor 87
Towards Stochastic FMI Co-Simulations: Implementation of an FMU for a Stochastic Activity Networks Simulator 83
Co-simulation of semi-autonomous systems: The line follower robot case study 83
Do-it-Yourself FMU Generation 80
Design and Validation of Cyber-Physical Systems Through Co-Simulation: The Voronoi Tessellation Use Case 76
null 76
null 71
null 69
Verification and synthesis of co-simulation algorithms subject to algebraic loops and adaptive steps 61
null 48
Detecting and Locating Stress in Urban Settings with ChillIn 42
Verification of Co-simulation Algorithms Subject to Algebraic Loops and Adaptive Steps 36
A Model-Based Approach for Analysis of Data-Alteration Attacks in Co-operative Vehicles 33
Data Augmentation for Neuroaesthetics Analysis 27
Automatic Generation of Functional Mock-Up Units from Formal Specifications 25
Towards Reuse of Synchronization Algorithms in Co-simulation Frameworks 22
null 11
Totale 5.763
Salva come PNG Salva come JPEG
Categoria #
all - tutte 15.546
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 15.546
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202151 0 0 0 0 0 0 0 0 0 0 23 28
2021/2022268 3 22 7 16 54 36 14 9 15 8 25 59
2022/2023375 43 43 39 9 37 39 12 14 106 1 25 7
2023/2024462 28 32 72 17 53 67 27 11 16 17 65 57
2024/20251.414 10 49 29 95 130 136 124 96 83 136 197 329
2025/20262.388 88 192 767 222 215 135 261 103 177 212 16 0
Totale 5.763