Mariotti, Alessandro
 Distribuzione geografica
Continente #
NA - Nord America 165
EU - Europa 71
AS - Asia 30
Continente sconosciuto - Info sul continente non disponibili 1
Totale 267
Nazione #
US - Stati Uniti d'America 164
DE - Germania 14
IN - India 12
UA - Ucraina 11
IT - Italia 8
FI - Finlandia 7
IE - Irlanda 7
SE - Svezia 7
BE - Belgio 6
HK - Hong Kong 6
CN - Cina 4
GB - Regno Unito 4
RU - Federazione Russa 4
JP - Giappone 3
VN - Vietnam 3
FR - Francia 2
CA - Canada 1
EU - Europa 1
IR - Iran 1
NL - Olanda 1
SG - Singapore 1
Totale 267
Città #
Chandler 49
Ann Arbor 24
Jacksonville 21
Ashburn 7
Dublin 7
Boardman 6
Brussels 6
Hong Kong 6
Wilmington 6
New York 5
Woodbridge 5
Dearborn 4
Guanzate 4
Helsinki 4
Houston 4
Beijing 3
Dong Ket 3
Kronberg 3
Tokyo 3
Brooklyn 2
Cambridge 2
Phoenix 2
Seattle 2
Los Angeles 1
Munich 1
Norwalk 1
Ottawa 1
Portland 1
Saint Petersburg 1
Secaucus 1
Singapore 1
Spinea 1
Verona 1
Totale 188
Nome #
NuSMV 115
Supporting Requirements Validation: The EuRailCheck Tool 93
The nuXmv Symbolic Model Checker 59
Totale 267
Categoria #
all - tutte 1.108
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 1.108


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/202052 5 3 1 1 6 2 5 0 3 18 6 2
2020/202136 6 0 4 2 5 0 5 0 2 7 1 4
2021/202222 3 0 0 4 0 0 1 2 2 2 5 3
2022/202378 5 6 0 28 0 11 2 7 12 4 3 0
2023/202448 2 2 8 1 0 14 2 3 4 2 1 9
Totale 267