Ferrante, Alessandro
 Distribuzione geografica
Continente #
NA - Nord America 166
EU - Europa 108
AS - Asia 70
SA - Sud America 38
AF - Africa 4
Continente sconosciuto - Info sul continente non disponibili 2
Totale 388
Nazione #
US - Stati Uniti d'America 164
RU - Federazione Russa 39
SG - Singapore 36
BR - Brasile 33
SE - Svezia 23
DE - Germania 14
UA - Ucraina 14
CN - Cina 9
FI - Finlandia 8
HK - Hong Kong 8
IN - India 7
VN - Vietnam 6
IE - Irlanda 3
NL - Olanda 3
CA - Canada 2
EU - Europa 2
GB - Regno Unito 2
MA - Marocco 2
VE - Venezuela 2
ZA - Sudafrica 2
CL - Cile 1
CO - Colombia 1
FR - Francia 1
IR - Iran 1
LB - Libano 1
NP - Nepal 1
SI - Slovenia 1
TR - Turchia 1
UY - Uruguay 1
Totale 388
Città #
Jacksonville 28
Singapore 24
The Dalles 24
Chandler 20
Moscow 13
Hong Kong 8
Ashburn 7
Wilmington 7
São Paulo 6
Boardman 5
Dallas 5
Brooklyn 4
Dearborn 4
Dong Ket 4
Falls Church 4
Hefei 4
Helsinki 4
Kronberg 4
Los Angeles 4
Norwalk 4
Dublin 3
Pune 3
Seattle 3
Woodbridge 3
Ann Arbor 2
Beijing 2
Houston 2
Miami 2
Phoenix 2
Agadir 1
Ankara 1
Ardabil 1
Atibaia 1
Bauru 1
Bismarck 1
Bogotá 1
Brasília 1
Cabimas 1
Calgary 1
Campo Grande 1
Cape Town 1
Chengdu 1
Chennai 1
Colíder 1
Coyhaique 1
Delhi 1
Dourados 1
Fes 1
Guarulhos 1
Guntur 1
Hanoi 1
Itaboraí 1
Johannesburg 1
Kathmandu 1
Las Vegas 1
Ljubljana 1
Manchester 1
Manhuaçu 1
Maricá 1
Montevideo 1
Montreal 1
Mountain View 1
Mumbai 1
New Baltimore 1
Ourinhos 1
Pesqueira 1
Piracicaba 1
Ponte Nova 1
Pouso Alegre 1
Praia Grande 1
Puerto Cabello 1
Qingdao 1
Quedas do Iguaçu 1
Redwood City 1
Rio Claro 1
Rio das Ostras 1
Sanclerlândia 1
Santa Clara 1
Sorocaba 1
Suzano 1
São José 1
São Luís 1
Toledo 1
Visconde do Rio Branco 1
Várzea da Palma 1
Vũng Tàu 1
Zalishchyky 1
Totale 263
Nome #
Model Checking for Graded CTL 109
Graded-CTL 95
Graded-CTL: Satisfiability and Symbolic Model Checking 95
A NuSMV Extension for Graded-CTL Model Checking 89
Totale 388
Categoria #
all - tutte 2.178
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 2.178


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202124 0 0 0 0 0 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/2025121 2 1 12 2 0 3 4 7 47 12 27 4
2025/202677 8 23 17 10 16 3 0 0 0 0 0 0
Totale 388