Ferrante, Alessandro
 Distribuzione geografica
Continente #
NA - Nord America 117
EU - Europa 63
AS - Asia 25
Continente sconosciuto - Info sul continente non disponibili 2
Totale 207
Nazione #
US - Stati Uniti d'America 117
SE - Svezia 23
DE - Germania 14
UA - Ucraina 13
HK - Hong Kong 8
FI - Finlandia 7
CN - Cina 4
IN - India 4
SG - Singapore 4
VN - Vietnam 4
IE - Irlanda 3
EU - Europa 2
FR - Francia 1
GB - Regno Unito 1
IR - Iran 1
SI - Slovenia 1
Totale 207
Città #
Jacksonville 28
Chandler 20
Hong Kong 8
Wilmington 6
Boardman 5
Ashburn 4
Brooklyn 4
Dearborn 4
Dong Ket 4
Falls Church 4
Kronberg 4
Norwalk 4
Singapore 4
Dublin 3
Helsinki 3
Pune 3
Seattle 3
Woodbridge 3
Ann Arbor 2
Beijing 2
Houston 2
Miami 2
Phoenix 2
Ardabil 1
Chengdu 1
Guntur 1
Ljubljana 1
Los Angeles 1
Mountain View 1
Qingdao 1
Redwood City 1
Totale 132
Nome #
Model Checking for Graded CTL 58
Graded-CTL: Satisfiability and Symbolic Model Checking 54
Graded-CTL 51
A NuSMV Extension for Graded-CTL Model Checking 44
Totale 207
Categoria #
all - tutte 1.442
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.442


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/202028 0 0 0 0 5 4 5 0 4 2 4 4
2020/202140 4 0 4 4 4 0 4 0 0 8 4 8
2021/202222 2 1 0 3 1 3 0 3 5 0 4 0
2022/202340 0 1 1 10 1 10 0 3 11 2 0 1
2023/202424 4 3 3 0 4 0 2 4 2 0 0 2
2024/202517 2 1 12 2 0 0 0 0 0 0 0 0
Totale 207