BERNAGOZZI, STEFANO
 Distribuzione geografica
Continente #
EU - Europa 155
NA - Nord America 49
AS - Asia 43
AF - Africa 2
SA - Sud America 2
OC - Oceania 1
Totale 252
Nazione #
IT - Italia 139
US - Stati Uniti d'America 47
SG - Singapore 20
CN - Cina 16
GB - Regno Unito 4
BR - Brasile 2
CA - Canada 2
DE - Germania 2
FI - Finlandia 2
PL - Polonia 2
VN - Vietnam 2
AU - Australia 1
CY - Cipro 1
CZ - Repubblica Ceca 1
DZ - Algeria 1
FR - Francia 1
HK - Hong Kong 1
HR - Croazia 1
KR - Corea 1
LK - Sri Lanka 1
NL - Olanda 1
PT - Portogallo 1
TW - Taiwan 1
UA - Ucraina 1
ZA - Sudafrica 1
Totale 252
Città #
Genoa 122
Ashburn 27
Vado Ligure 9
Singapore 8
San Jose 5
Beijing 2
Bordighera 2
Frankfurt am Main 2
Helsinki 2
London 2
Los Angeles 2
Atlanta 1
Basingstoke 1
Boston 1
Buffalo 1
Chicago 1
City of London 1
Daegu 1
Eagleville 1
Fort Wayne 1
Ho Chi Minh City 1
Hong Kong 1
Kyiv 1
Lauterbourg 1
Lisbon 1
Miami 1
Montreal 1
Nicosia 1
Oran 1
Orem 1
Piliyandala 1
Pontal do Paraná 1
Porto Alegre 1
Prague 1
Richmond Hill 1
Santa Clara 1
Suzhou 1
Sydney 1
Taipei 1
Thái Bình 1
Warsaw 1
Zagreb 1
Totale 214
Nome #
Learning Linear Temporal Properties for Autonomous Robotic Systems 104
Towards a Verifiable Toolchain for Robotics 60
Model-based Verification and Monitoring for Safe and Responsive Robots 51
Modeling Robot Control Architectures forVerification andMonitoring 43
Totale 258
Categoria #
all - tutte 652
article - articoli 300
book - libri 0
conference - conferenze 352
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 1.304


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2023/202424 0 0 2 4 0 0 0 4 3 0 5 6
2024/202544 2 1 2 1 4 1 5 2 1 3 2 20
2025/2026190 12 8 38 14 24 8 26 10 40 7 3 0
Totale 258