GHIORZI, ENRICO
 Distribuzione geografica
Continente #
EU - Europa 312
AS - Asia 93
NA - Nord America 60
SA - Sud America 4
AF - Africa 2
OC - Oceania 1
Totale 472
Nazione #
IT - Italia 290
US - Stati Uniti d'America 58
SG - Singapore 39
CN - Cina 33
VN - Vietnam 8
HK - Hong Kong 7
DE - Germania 4
GB - Regno Unito 4
BR - Brasile 3
FI - Finlandia 3
CA - Canada 2
FR - Francia 2
PL - Polonia 2
AU - Australia 1
CY - Cipro 1
CZ - Repubblica Ceca 1
DZ - Algeria 1
EC - Ecuador 1
HR - Croazia 1
IQ - Iraq 1
JP - Giappone 1
KR - Corea 1
LK - Sri Lanka 1
NL - Olanda 1
PT - Portogallo 1
RS - Serbia 1
SE - Svezia 1
TW - Taiwan 1
UA - Ucraina 1
ZA - Sudafrica 1
Totale 472
Città #
Genoa 239
Vado Ligure 43
Ashburn 27
Singapore 13
Hong Kong 7
San Jose 7
Beijing 4
Frankfurt am Main 4
Ho Chi Minh City 4
Los Angeles 3
Bordighera 2
Hanoi 2
Helsinki 2
Lauterbourg 2
London 2
Santa Clara 2
Atlanta 1
Baghdad 1
Basingstoke 1
Belgrade 1
Boston 1
Buffalo 1
Cheyenne 1
Chicago 1
City of London 1
Clearfield 1
Daegu 1
Eagleville 1
Fort Wayne 1
Guayaquil 1
Kyiv 1
La Crescent 1
Lappeenranta 1
Lisbon 1
Long Beach 1
Miami 1
Montreal 1
New York 1
Nicosia 1
Oran 1
Orem 1
Piliyandala 1
Pontal do Paraná 1
Porto Alegre 1
Prague 1
Richmond Hill 1
St Louis 1
Stockholm 1
Suzhou 1
Sydney 1
Taipei 1
Thái Bình 1
Tokyo 1
Valparaíso de Goiás 1
Warsaw 1
Zagreb 1
Totale 403
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
GADTs are not (Even partial) functors 48
Modeling Robot Control Architectures forVerification andMonitoring 43
GADTs, Functoriality, Parametricity: Pick Two 37
Internalization and enrichment via spans and matrices in a tricategory 31
(Deep) induction rules for GADTs 30
Internal Enriched Categories 29
PARAMETRICITY FOR PRIMITIVE NESTED TYPES AND GADTS 27
Parametricity for primitive nested types 27
Totale 487
Categoria #
all - tutte 1.514
article - articoli 804
book - libri 0
conference - conferenze 710
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 3.028


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2023/202432 0 0 2 4 0 0 0 4 3 0 12 7
2024/2025126 3 6 5 4 15 14 13 8 2 16 3 37
2025/2026329 37 15 68 23 51 9 42 13 52 13 6 0
Totale 487