Mariotti, Alessandro
 Distribuzione geografica
Continente #
NA - Nord America 186
EU - Europa 114
AS - Asia 43
SA - Sud America 10
Continente sconosciuto - Info sul continente non disponibili 1
Totale 354
Nazione #
US - Stati Uniti d'America 184
RU - Federazione Russa 35
DE - Germania 16
IN - India 12
UA - Ucraina 11
BR - Brasile 10
FI - Finlandia 9
CN - Cina 8
HK - Hong Kong 8
IE - Irlanda 8
IT - Italia 8
SG - Singapore 8
SE - Svezia 7
BE - Belgio 6
GB - Regno Unito 5
NL - Olanda 5
JP - Giappone 3
VN - Vietnam 3
CA - Canada 2
FR - Francia 2
ES - Italia 1
EU - Europa 1
IR - Iran 1
LT - Lituania 1
Totale 354
Città #
Chandler 49
Ann Arbor 24
Jacksonville 21
Boardman 8
Dublin 8
Hong Kong 8
Moscow 8
Ashburn 7
Brussels 6
Wilmington 6
Helsinki 5
New York 5
Singapore 5
Woodbridge 5
Dearborn 4
Guanzate 4
Houston 4
The Dalles 4
Beijing 3
Brooklyn 3
Dong Ket 3
Hefei 3
Kronberg 3
Seattle 3
Tokyo 3
Cambridge 2
Munich 2
Phoenix 2
Alvorada 1
Americana 1
Amsterdam 1
Caratinga 1
Curitiba 1
Frankfurt am Main 1
Los Angeles 1
Manteca 1
Norwalk 1
Ottawa 1
Palmas 1
Paraibuna 1
Portland 1
Saint Petersburg 1
Salvador 1
Secaucus 1
Spinea 1
São José do Rio Preto 1
Toronto 1
Turku 1
Umari 1
Verona 1
Volta Redonda 1
Totale 231
Nome #
NuSMV 154
Supporting Requirements Validation: The EuRailCheck Tool 115
The nuXmv Symbolic Model Checker 85
Totale 354
Categoria #
all - tutte 1.821
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.821


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20202 0 0 0 0 0 0 0 0 0 0 0 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
2024/202587 2 1 6 3 2 2 4 7 33 10 15 2
Totale 354