TAPPARO, FRANCESCO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 1.202
AS - Asia 519
EU - Europa 223
AF - Africa 71
SA - Sud America 66
OC - Oceania 9
Continente sconosciuto - Info sul continente non disponibili 6
Totale 2.096
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.154
SG - Singapore 154
VN - Vietnam 93
CN - Cina 90
HK - Hong Kong 48
IT - Italia 48
BR - Brasile 37
FI - Finlandia 30
BD - Bangladesh 22
IN - India 20
PL - Polonia 20
UA - Ucraina 20
FR - Francia 14
AR - Argentina 10
IQ - Iraq 10
DE - Germania 8
GB - Regno Unito 8
EC - Ecuador 7
ID - Indonesia 6
JP - Giappone 6
MA - Marocco 6
PK - Pakistan 6
AE - Emirati Arabi Uniti 5
CA - Canada 5
GH - Ghana 5
NC - Nuova Caledonia 5
NE - Niger 5
SE - Svezia 5
SK - Slovacchia (Repubblica Slovacca) 5
ZA - Sudafrica 5
AT - Austria 4
GT - Guatemala 4
HR - Croazia 4
MD - Moldavia 4
MK - Macedonia 4
MN - Mongolia 4
MX - Messico 4
NP - Nepal 4
SA - Arabia Saudita 4
AL - Albania 3
CL - Cile 3
CU - Cuba 3
CZ - Repubblica Ceca 3
DZ - Algeria 3
ES - Italia 3
GN - Guinea 3
GR - Grecia 3
HN - Honduras 3
HU - Ungheria 3
IE - Irlanda 3
IL - Israele 3
KH - Cambogia 3
MG - Madagascar 3
NL - Olanda 3
PH - Filippine 3
PR - Porto Rico 3
RS - Serbia 3
RU - Federazione Russa 3
SN - Senegal 3
TH - Thailandia 3
TJ - Tagikistan 3
TR - Turchia 3
TT - Trinidad e Tobago 3
TW - Taiwan 3
TZ - Tanzania 3
XK - ???statistics.table.value.countryCode.XK??? 3
AD - Andorra 2
AU - Australia 2
BA - Bosnia-Erzegovina 2
BO - Bolivia 2
BS - Bahamas 2
BY - Bielorussia 2
BZ - Belize 2
CH - Svizzera 2
CI - Costa d'Avorio 2
CO - Colombia 2
CY - Cipro 2
DM - Dominica 2
DO - Repubblica Dominicana 2
GA - Gabon 2
GE - Georgia 2
GM - Gambi 2
HT - Haiti 2
IR - Iran 2
IS - Islanda 2
JO - Giordania 2
KE - Kenya 2
KR - Corea 2
KW - Kuwait 2
LU - Lussemburgo 2
ME - Montenegro 2
ML - Mali 2
MR - Mauritania 2
MY - Malesia 2
NI - Nicaragua 2
NO - Norvegia 2
NZ - Nuova Zelanda 2
PA - Panama 2
PE - Perù 2
PT - Portogallo 2
Totale 2.042
Salva come PNG Salva come JPEG
Città #
Fairfield 151
Ashburn 136
Woodbridge 123
Singapore 98
San Jose 88
Jacksonville 75
Ann Arbor 74
Houston 72
Seattle 64
Santa Clara 56
Cambridge 48
Wilmington 46
Hong Kong 45
Los Angeles 25
Dong Ket 23
Ho Chi Minh City 21
Bytom 17
Chandler 17
Hanoi 17
Helsinki 15
Princeton 15
Boardman 12
Milan 10
Medford 9
Nanjing 8
San Diego 8
Buffalo 7
Lauterbourg 7
Baghdad 5
Haiphong 5
Niamey 5
Quito 5
Turku 5
Atlanta 4
Hebei 4
Indiana 4
New York 4
Ningbo 4
Noumea 4
Ulan Bator 4
Accra 3
Antananarivo 3
Athens 3
Belo Horizonte 3
Bắc Ninh 3
Chicago 3
Conakry 3
Council Bluffs 3
Dakar 3
Des Moines 3
Dubai 3
Dublin 3
Guatemala City 3
Havana 3
Padova 3
Phnom Penh 3
Pune 3
Quận Một 3
Skopje 3
Vienna 3
Alpnach 2
Amman 2
Amsterdam 2
Andorra la Vella 2
Bamako 2
Beijing 2
Belgrade 2
Biên Hòa 2
Bratislava 2
Budapest 2
Charlotte 2
Chisinau 2
Córdoba 2
Da Nang 2
Dallas 2
Damascus 2
Dar es Salaam 2
Dhaka 2
Dushanbe 2
Figino 2
Fort Liberté 2
Guangzhou 2
Hyderabad 2
Islington 2
Istanbul 2
Itanhaém 2
Jeddah 2
Jiaxing 2
Johannesburg 2
Kathmandu 2
Kingstown 2
Kuwait City 2
Libreville 2
Luxembourg 2
Mamoudzou 2
Managua 2
Minsk 2
Nairobi 2
Naples 2
Nassau 2
Totale 1.480
Salva come PNG Salva come JPEG
Nome #
An abstract interpretation perspective on linear vs. branching time 241
A new efficient simulation equivalence algorithm 234
A forward-backward abstraction refinement algorithm 221
Saving space in a time efficient simulation algorithm 219
Generalized strong preservation by abstract interpretation. 216
Strong preservation as completeness in abstract interpretation 216
Strong preservation of temporal fixpoint-based operators by abstract interpretation 197
Making abstract model checking strongly preserving 195
Computing stuttering simulations 183
An abstract interpretation-based refinement algorithm for strong preservation 174
Totale 2.096
Salva come PNG Salva come JPEG
Categoria #
all - tutte 5.964
article - articoli 582
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 6.546
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022167 0 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/2026873 17 47 137 131 70 25 148 72 66 93 33 34
2026/202754 35 19 0 0 0 0 0 0 0 0 0 0
Totale 2.096