TAPPARO, FRANCESCO
 Distribuzione geografica
Continente #
NA - Nord America 925
AS - Asia 237
EU - Europa 136
AF - Africa 35
SA - Sud America 32
OC - Oceania 4
Continente sconosciuto - Info sul continente non disponibili 2
Totale 1.371
Nazione #
US - Stati Uniti d'America 906
SG - Singapore 96
CN - Cina 37
HK - Hong Kong 28
VN - Vietnam 28
FI - Finlandia 21
BR - Brasile 19
PL - Polonia 19
UA - Ucraina 19
IT - Italia 15
DE - Germania 8
IQ - Iraq 6
FR - Francia 5
IN - India 5
SE - Svezia 5
AT - Austria 4
GB - Regno Unito 4
AE - Emirati Arabi Uniti 3
AR - Argentina 3
CZ - Repubblica Ceca 3
EC - Ecuador 3
HN - Honduras 3
HR - Croazia 3
IE - Irlanda 3
MD - Moldavia 3
MG - Madagascar 3
MN - Mongolia 3
NE - Niger 3
RU - Federazione Russa 3
AL - Albania 2
BA - Bosnia-Erzegovina 2
BY - Bielorussia 2
BZ - Belize 2
CI - Costa d'Avorio 2
CL - Cile 2
DZ - Algeria 2
GA - Gabon 2
GH - Ghana 2
GT - Guatemala 2
ID - Indonesia 2
IL - Israele 2
KR - Corea 2
MK - Macedonia 2
NC - Nuova Caledonia 2
NP - Nepal 2
PH - Filippine 2
PK - Pakistan 2
PR - Porto Rico 2
RS - Serbia 2
SA - Arabia Saudita 2
SK - Slovacchia (Repubblica Slovacca) 2
SN - Senegal 2
TH - Thailandia 2
TJ - Tagikistan 2
TW - Taiwan 2
TZ - Tanzania 2
XK - ???statistics.table.value.countryCode.XK??? 2
AD - Andorra 1
AO - Angola 1
AU - Australia 1
AZ - Azerbaigian 1
BB - Barbados 1
BD - Bangladesh 1
BO - Bolivia 1
BS - Bahamas 1
BW - Botswana 1
CA - Canada 1
CD - Congo 1
CO - Colombia 1
CR - Costa Rica 1
CV - Capo Verde 1
CY - Cipro 1
DM - Dominica 1
EE - Estonia 1
EG - Egitto 1
ES - Italia 1
GF - Guiana Francese 1
GN - Guinea 1
GR - Grecia 1
HT - Haiti 1
HU - Ungheria 1
IR - Iran 1
JM - Giamaica 1
JO - Giordania 1
JP - Giappone 1
KH - Cambogia 1
KZ - Kazakistan 1
LB - Libano 1
LY - Libia 1
MA - Marocco 1
ME - Montenegro 1
ML - Mali 1
MR - Mauritania 1
MU - Mauritius 1
MW - Malawi 1
MX - Messico 1
NA - Namibia 1
NG - Nigeria 1
NL - Olanda 1
NO - Norvegia 1
Totale 1.360
Città #
Fairfield 151
Woodbridge 123
Ann Arbor 74
Jacksonville 73
Houston 71
Ashburn 66
Seattle 64
Singapore 63
Cambridge 48
Santa Clara 46
Wilmington 45
Hong Kong 27
Dong Ket 23
Bytom 17
Chandler 17
Princeton 15
Boardman 12
Helsinki 11
Medford 9
Milan 8
Nanjing 8
San Diego 8
Buffalo 6
Los Angeles 6
Hebei 4
Indiana 4
Ningbo 4
Antananarivo 3
Baghdad 3
Dublin 3
New York 3
Niamey 3
Padova 3
Quito 3
Ulan Bator 3
Vienna 3
Accra 2
Bratislava 2
Dakar 2
Dallas 2
Des Moines 2
Dubai 2
Dushanbe 2
Ho Chi Minh City 2
Islington 2
Jiaxing 2
Kathmandu 2
Libreville 2
Minsk 2
Noumea 2
Pune 2
San Pedro Sula 2
10th of Ramadan City 1
Abidjan 1
Afonso Cunha 1
Al Ain City 1
Alegre 1
Amman 1
Andorra la Vella 1
Asunción 1
Athens 1
Atlanta 1
Auckland 1
Baku 1
Bamako 1
Bangkok 1
Beijing 1
Beirut 1
Belford Roxo 1
Belgrade 1
Belize City 1
Belo Horizonte 1
Blantyre 1
Bogotá 1
Brasília 1
Bratunac 1
Bregenz 1
Bridgetown 1
Brno 1
Brooklyn 1
Caguas 1
Campos dos Goytacazes 1
Carapicuíba 1
Cariacica 1
Cayenne 1
Cazin 1
Centre de Flacq 1
Chandigarh 1
Charlotte 1
Chennai 1
Chiang Rai 1
Chicago 1
Chisinau 1
Chiswick 1
Cinisello Balsamo 1
Conakry 1
Corozal 1
Călăraşi 1
Dalian 1
Dar es Salaam 1
Totale 1.110
Nome #
A new efficient simulation equivalence algorithm 157
Saving space in a time efficient simulation algorithm 151
Making abstract model checking strongly preserving 149
A forward-backward abstraction refinement algorithm 149
Strong preservation as completeness in abstract interpretation 146
An abstract interpretation perspective on linear vs. branching time 144
An abstract interpretation-based refinement algorithm for strong preservation 130
Computing stuttering simulations 127
Generalized strong preservation by abstract interpretation. 120
Strong preservation of temporal fixpoint-based operators by abstract interpretation 100
Totale 1.373
Categoria #
all - tutte 4.446
article - articoli 397
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 4.843


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021128 0 0 0 20 9 9 3 16 21 8 15 27
2021/2022173 6 37 32 5 3 9 16 14 3 2 27 19
2022/202357 22 0 0 4 10 8 0 1 5 0 6 1
2023/202454 3 5 8 5 0 13 1 1 0 6 7 5
2024/2025234 0 33 10 10 60 4 5 11 12 4 43 42
2025/2026204 17 47 137 3 0 0 0 0 0 0 0 0
Totale 1.373