Nuzzo, Pierluigi
 Distribuzione geografica
Continente #
EU - Europa 214
AS - Asia 182
NA - Nord America 154
SA - Sud America 23
AF - Africa 15
OC - Oceania 1
Totale 589
Nazione #
US - Stati Uniti d'America 143
RU - Federazione Russa 120
SG - Singapore 103
CN - Cina 30
IT - Italia 30
HK - Hong Kong 22
BR - Brasile 20
FI - Finlandia 16
DE - Germania 15
VN - Vietnam 11
FR - Francia 8
KR - Corea 6
TG - Togo 6
CA - Canada 5
IE - Irlanda 5
ZA - Sudafrica 5
GB - Regno Unito 4
MX - Messico 4
PL - Polonia 4
SE - Svezia 4
UA - Ucraina 4
AR - Argentina 2
BD - Bangladesh 2
BE - Belgio 2
BJ - Benin 2
IN - India 2
NL - Olanda 2
AE - Emirati Arabi Uniti 1
BS - Bahamas 1
CG - Congo 1
EC - Ecuador 1
GU - Guam 1
ID - Indonesia 1
IQ - Iraq 1
KZ - Kazakistan 1
PA - Panama 1
PK - Pakistan 1
RE - Reunion 1
UZ - Uzbekistan 1
Totale 589
Città #
Singapore 47
Moscow 45
Dallas 37
Hong Kong 22
Ashburn 20
Helsinki 12
Beijing 9
Munich 9
The Dalles 9
New York 8
Verona 8
Los Angeles 7
Lomé 6
Denver 5
Dublin 5
Milan 5
Buffalo 4
Ho Chi Minh City 4
Johannesburg 4
Nuremberg 4
São Paulo 4
Seattle 3
Turku 3
Amsterdam 2
Biên Hòa 2
Brooklyn 2
Brussels 2
Columbus 2
Cotonou 2
Haiphong 2
Houston 2
Kyiv 2
Mexico City 2
Montreal 2
Orange 2
Padova 2
Phoenix 2
Poplar 2
Redondo Beach 2
San Francisco 2
Santa Clara 2
Turin 2
Almaty 1
Aparecida de Goiânia 1
Atlanta 1
Bacabal 1
Bexley 1
Boston 1
Brazzaville 1
Bắc Giang 1
Cape Town 1
Cerquilho 1
Chennai 1
Chernivtsi 1
Chicago 1
Cleveland 1
Clifton 1
Corato 1
Duhok 1
Feira de Santana 1
Frankfurt am Main 1
Goiânia 1
Grand Rapids 1
Guarujá 1
Guayaquil 1
Hanoi 1
Helena 1
Jakarta 1
Jiaxing 1
Lajeado 1
Lanzhou 1
Lappeenranta 1
Le Tampon 1
Lomas de Zamora 1
Luís Antônio 1
Mechanicsburg 1
Meda 1
Mumbai 1
Nanjing 1
Naples 1
Nassau 1
Novoshakhtinsk 1
Oliveira 1
Orem 1
Osasco 1
Ottawa 1
Palestina 1
Panama City 1
Paris 1
Passos 1
Piacenza 1
Porto Alegre 1
Rahim Yar Khan 1
Ribeirão Preto 1
Rome 1
Romola 1
Santa Fe 1
Santos 1
Shenzhen 1
Stockholm 1
Totale 376
Nome #
A Contract-Based Requirement Engineering Framework for the Design of Industrial Cyber-Physical Systems 101
Special issue: Formal verification of cyber-physical systems 91
Co-Design of Topology, Scheduling, and Path Planning in Automated Warehouses 88
Design Automation for Cyber-Physical Production Systems: Lessons Learned from the DeFacto Project 86
Constraint-driven nonlinear reachability analysis with automated tuning of tool properties 68
Quantitative Verification and Design Space Exploration under Uncertainty with Parametric Stochastic Contracts 66
Task Assignment, Scheduling, and Motion Planning for Automated Warehouses for Million Product Workloads 64
Efficient Exploration of Cyber-Physical System Architectures Using Contracts and Subgraph Isomorphism 47
Totale 611
Categoria #
all - tutte 2.202
article - articoli 220
book - libri 0
conference - conferenze 1.643
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 339
Totale 4.404


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2022/202318 0 0 0 0 5 5 1 4 0 0 0 3
2023/202441 0 3 9 6 3 3 5 3 2 0 4 3
2024/2025244 10 13 17 38 1 12 8 19 27 17 41 41
2025/2026308 34 17 52 94 111 0 0 0 0 0 0 0
Totale 611