MENGHI, CLAUDIO
 Distribuzione geografica
Continente #
NA - Nord America 108
EU - Europa 103
AS - Asia 20
SA - Sud America 6
AF - Africa 1
Totale 238
Nazione #
US - Stati Uniti d'America 105
IT - Italia 42
LU - Lussemburgo 13
IN - India 9
GB - Regno Unito 7
NL - Olanda 7
BR - Brasile 5
CN - Cina 5
DE - Germania 5
AL - Albania 4
AT - Austria 4
BE - Belgio 4
GR - Grecia 4
CA - Canada 3
CZ - Repubblica Ceca 3
RO - Romania 3
IR - Iran 2
RU - Federazione Russa 2
SE - Svezia 2
EC - Ecuador 1
ES - Italia 1
FR - Francia 1
HK - Hong Kong 1
JP - Giappone 1
NO - Norvegia 1
SG - Singapore 1
UG - Uganda 1
UZ - Uzbekistan 1
Totale 238
Città #
Santa Cruz 18
Fairfield 17
Houston 7
Neston 6
Buffalo 5
Woodbridge 5
Delhi 4
Milan 4
Brussels 3
Cambridge 3
Chieti 3
Forlì 3
San Diego 3
San Francisco 3
Seattle 3
Taranto 3
Wilmington 3
Amsterdam 2
Ann Arbor 2
Athens 2
Brasília 2
Dallas 2
Florence 2
Guangzhou 2
Rotterdam 2
Toronto 2
Vittoria 2
Auburn 1
Bengaluru 1
Bregenz 1
Bucharest 1
Clearwater 1
Council Bluffs 1
Den Haag 1
Denver 1
Garching 1
Graz 1
Guayaquil 1
Hangzhou 1
Hefei 1
Henderson 1
Kashan 1
Lastrup 1
Lombard 1
Milpitas 1
Mountain View 1
Nagold 1
Norwalk 1
Pavia 1
Pittsburgh 1
Provo 1
Saint Petersburg 1
Skane 1
Sovere 1
Thessaloníki 1
Ulhasnagar 1
Vienna 1
Vitória 1
Totale 144
Nome #
RoboMAX: Robotic Mission Adaptation eXemplars, file e0c31c11-6f0a-4599-e053-1705fe0aef77 118
PuRSUE -from specification of robotic environments to synthesis of controllers, file e0c31c0f-4358-4599-e053-1705fe0aef77 106
TOrPEDO: witnessing model correctness with topological proofs, file e0c31c11-f19e-4599-e053-1705fe0aef77 25
Model Checking MITL Formulae on Timed Automata: A Logic-based Approach, file e0c31c11-bcf4-4599-e053-1705fe0aef77 2
Totale 251
Categoria #
all - tutte 314
article - articoli 156
book - libri 0
conference - conferenze 158
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 628


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20209 0000 00 00 0414
2020/202133 0401 18 10 5571
2021/2022166 21813 309 1116 218389
2022/202343 116224 00 00 0000
Totale 251