PALMIERI, MAURIZIO
 Distribuzione geografica
Continente #
NA - Nord America 2.978
AS - Asia 1.471
EU - Europa 1.149
SA - Sud America 289
Continente sconosciuto - Info sul continente non disponibili 203
AF - Africa 164
OC - Oceania 8
Totale 6.262
Nazione #
US - Stati Uniti d'America 2.899
IT - Italia 513
SG - Singapore 431
CN - Cina 366
HK - Hong Kong 257
BR - Brasile 237
SE - Svezia 155
VN - Vietnam 143
DE - Germania 92
BG - Bulgaria 60
CI - Costa d'Avorio 56
GB - Regno Unito 54
FR - Francia 51
IN - India 46
CA - Canada 44
EE - Estonia 41
JP - Giappone 40
FI - Finlandia 38
TR - Turchia 30
KR - Corea 29
SN - Senegal 27
NL - Olanda 24
RU - Federazione Russa 23
NG - Nigeria 21
AR - Argentina 18
BD - Bangladesh 18
IQ - Iraq 17
PK - Pakistan 17
MA - Marocco 16
RO - Romania 16
MX - Messico 15
ZA - Sudafrica 14
ES - Italia 13
PL - Polonia 13
PH - Filippine 10
UA - Ucraina 10
ID - Indonesia 9
UZ - Uzbekistan 9
GR - Grecia 8
PE - Perù 8
SA - Arabia Saudita 8
TN - Tunisia 8
AT - Austria 7
CR - Costa Rica 7
KE - Kenya 7
PT - Portogallo 7
TW - Taiwan 7
UY - Uruguay 7
AU - Australia 6
AZ - Azerbaigian 6
AE - Emirati Arabi Uniti 5
CO - Colombia 5
ET - Etiopia 5
JM - Giamaica 5
KZ - Kazakistan 5
CH - Svizzera 4
EC - Ecuador 4
JO - Giordania 4
VE - Venezuela 4
EG - Egitto 3
IE - Irlanda 3
NP - Nepal 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
TT - Trinidad e Tobago 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
CW - ???statistics.table.value.countryCode.CW??? 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
Totale 6.058
Città #
Dallas 713
Hong Kong 250
Ashburn 244
Singapore 234
Santa Clara 207
San Jose 199
Fairfield 125
Woodbridge 104
Boardman 85
Shanghai 85
Chandler 78
Beijing 64
Milan 64
New York 62
Seattle 61
Serra 61
Sofia 60
Abidjan 56
Cambridge 54
Los Angeles 50
Houston 48
Wilmington 43
Hefei 41
Munich 40
Tallinn 39
Pisa 38
Ho Chi Minh City 36
Tokyo 33
Florence 32
Council Bluffs 31
Princeton 31
San Vincenzo 29
Hanoi 28
Rome 28
Dakar 27
Seoul 27
Lagos 21
Lauterbourg 21
Lawrence 21
São Paulo 21
London 20
Ann Arbor 19
Helsinki 19
Ogden 18
Medford 15
Atlanta 14
Istanbul 14
Redwood City 14
Turku 14
Viareggio 14
Buffalo 13
Chicago 12
Da Nang 12
Las Vegas 12
Warsaw 12
Cluj-napoca 11
Ottawa 11
Redondo Beach 11
Casablanca 10
Des Moines 10
Frankfurt am Main 10
Orem 10
Phoenix 10
Rio de Janeiro 10
Toronto 10
Dong Ket 9
Lucca 9
Tashkent 9
Amsterdam 8
Baghdad 8
Bientina 8
Curitiba 8
Falkenstein 8
Montreal 8
Nuremberg 8
San Francisco 8
Brooklyn 7
Denver 7
Haiphong 7
Johannesburg 7
Nanjing 7
Pune 7
San Diego 7
San Giuliano Terme 7
The Dalles 7
Baltimore 6
Boulder 6
Guarulhos 6
Montevideo 6
Parma 6
San José 6
Tunis 6
Addis Ababa 5
Ankara 5
Baku 5
Belo Horizonte 5
Brasília 5
Columbus 5
Karlsruhe 5
Kyiv 5
Totale 4.052
Nome #
Co-simulated digital twin on the network edge: A vehicle platoon 636
Formalization and co-simulation of attacks on cyber-physical systems 399
Open-source as an enabling approach for the introduction of artificial intelligence in healthcare 228
Improving network formation in IEEE 802.15.4e DSME 214
ROS/Gazebo Based Simulation of Co-operative UAVs 210
Verifying Data Secure Flow in AUTOSAR Models by Static Analysis 196
Modeling and simulation of attacks on cyber-physical systems 193
A smart, multi-configuration, and low-cost system for water turbidity monitoring 186
Analysis of security attacks in wireless sensor networks: From UPPAAL to Castalia 179
Verifying data secure flow in AUTOSAR models 172
Finding Beauty in Mobile EEG When Visiting Art Exhibitions 160
A framework for FMI-based co-simulation of human–machine interfaces 156
A framework for formal analysis and simulative evaluation of security attacks in wireless sensor networks 138
Integrated Simulation and Formal Verification of a Simple Autonomous Vehicle 136
Attacks detection in Cyber-Physical Systems with Neural Networks: A case study 135
Towards Formal Verification of Neural Networks in Cyber-Physical Systems 131
Cross-level Co-simulation and Verification of an Automatic Transmission Control on Embedded Processor 126
A prototyping process for medical devices and systems 123
Recognizing Special Art Pieces Through EEG: A Journey in Neuroaesthetics Classification 120
Block-Based Models and Theorem Proving in Model-Based Development 120
Demo: An On-line Supervisor for the Line Follower Robot 117
Training Neural Networks in Cyber-Physical Systems using Design Space Exploration and Co-Simulation 117
Co-simulation of bio-inspired multi-agent algorithms 115
Co-simulation and Formal Verification of Co-operative Drone Control With Logic-Based Specifications 115
Formal verification and co-simulation in the design of a synchronous motor control algorithm 114
A Workflow for Designing an On-line Supervisor for Cyber-Physical Systems: a Case Study 111
Co-simulation of a Model Predictive Control System for Automotive Applications 108
Demo: Co-simulation of UAVs with INTO-CPS and PVSio-web 107
A flexible framework for FMI-based co-simulation of human-centred cyber-physical systems 106
Co-simulated Digital Twin on the Network Edge: the case of platooning 97
null 96
null 95
Cross-level Co-simulation and Verification of an Automatic Transmission Control on Embedded Processor 91
Co-simulation of semi-autonomous systems: The line follower robot case study 88
Towards Stochastic FMI Co-Simulations: Implementation of an FMU for a Stochastic Activity Networks Simulator 87
Do-it-Yourself FMU Generation 86
Design and Validation of Cyber-Physical Systems Through Co-Simulation: The Voronoi Tessellation Use Case 79
null 76
null 71
null 69
Verification and synthesis of co-simulation algorithms subject to algebraic loops and adaptive steps 64
Data Augmentation for Neuroaesthetics Analysis 51
A Model-Based Approach for Analysis of Data-Alteration Attacks in Co-operative Vehicles 49
null 48
Detecting and Locating Stress in Urban Settings with ChillIn 46
Verification of Co-simulation Algorithms Subject to Algebraic Loops and Adaptive Steps 38
Automatic Generation of Functional Mock-Up Units from Formal Specifications 26
Towards Reuse of Synchronization Algorithms in Co-simulation Frameworks 26
null 11
Totale 6.262
Categoria #
all - tutte 17.357
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 17.357


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022265 0 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.556 88 192 767 222 215 135 261 103 177 212 99 85
2026/2027331 94 237 0 0 0 0 0 0 0 0 0 0
Totale 6.262