GHIORZI, ENRICO
 Distribuzione geografica
Continente #
EU - Europa 281
AS - Asia 7
SA - Sud America 2
NA - Nord America 1
Totale 291
Nazione #
IT - Italia 281
CN - Cina 7
BR - Brasile 2
US - Stati Uniti d'America 1
Totale 291
Città #
Genoa 236
Vado Ligure 43
Bordighera 2
Ashburn 1
Beijing 1
Pontal do Paraná 1
Valparaíso de Goiás 1
Totale 285
Nome #
Learning Linear Temporal Properties for Autonomous Robotic Systems 66
GADTs, Functoriality, Parametricity: Pick Two 29
GADTs are not (Even partial) functors 29
Model-based Verification and Monitoring for Safe and Responsive Robots 28
Towards a Verifiable Toolchain for Robotics 26
Modeling Robot Control Architectures forVerification andMonitoring 25
Parametricity for primitive nested types 21
Internal Enriched Categories 21
Internalization and enrichment via spans and matrices in a tricategory 21
PARAMETRICITY FOR PRIMITIVE NESTED TYPES AND GADTS 20
(Deep) induction rules for GADTs 20
Totale 306
Categoria #
all - tutte 1.116
article - articoli 624
book - libri 0
conference - conferenze 492
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 2.232


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/2026148 37 15 68 23 5 0 0 0 0 0 0 0
Totale 306