CHIARI, MICHELE
 Distribuzione geografica
Continente #
NA - Nord America 178
AS - Asia 126
EU - Europa 119
SA - Sud America 19
AF - Africa 6
Continente sconosciuto - Info sul continente non disponibili 1
Totale 449
Nazione #
US - Stati Uniti d'America 176
IT - Italia 60
SG - Singapore 52
CN - Cina 28
BR - Brasile 18
VN - Vietnam 17
IE - Irlanda 13
SE - Svezia 12
HK - Hong Kong 10
AT - Austria 6
NL - Olanda 5
DK - Danimarca 4
GB - Regno Unito 4
IN - India 4
ZA - Sudafrica 4
BE - Belgio 3
FI - Finlandia 3
ID - Indonesia 3
RU - Federazione Russa 3
DE - Germania 2
IQ - Iraq 2
SA - Arabia Saudita 2
UZ - Uzbekistan 2
AE - Emirati Arabi Uniti 1
CA - Canada 1
CG - Congo 1
EC - Ecuador 1
ET - Etiopia 1
FR - Francia 1
HR - Croazia 1
IR - Iran 1
JO - Giordania 1
JP - Giappone 1
KZ - Kazakistan 1
LK - Sri Lanka 1
MX - Messico 1
PL - Polonia 1
UA - Ucraina 1
XK - ???statistics.table.value.countryCode.XK??? 1
Totale 449
Città #
Singapore 35
Ann Arbor 30
Ashburn 25
Chandler 24
Parma 16
Dublin 13
San Jose 12
Hong Kong 10
Milan 10
Santa Clara 9
The Dalles 7
Boardman 6
Hanoi 6
Ho Chi Minh City 6
Lucca 6
Fremont 5
Shanghai 5
Vienna 5
Beijing 4
Dallas 4
Fairfield 4
Horsens 4
Rome 4
Sant'ilario D'enza 4
Brussels 3
Columbus 3
Guangzhou 3
Helsinki 3
Jakarta 3
Johannesburg 3
Los Angeles 3
Princeton 3
Wilmington 3
Bomporto 2
Boston 2
Council Bluffs 2
Curitiba 2
Jeddah 2
Jinan 2
Luis Eduardo Magalhães 2
Modena 2
Moscow 2
Pescara 2
Rio de Janeiro 2
Seattle 2
Tashkent 2
Abu Dhabi 1
Accrington 1
Addis Ababa 1
Amsterdam 1
Austin 1
Baghdad 1
Belford Roxo 1
Biên Hòa 1
Boca del Rio 1
Boulder 1
Buon Ma Thuot 1
Campos dos Goytacazes 1
Canguaretama 1
Cardiff 1
Cecina 1
Cerquilho 1
Chicago 1
Civitanova Marche 1
Colombo 1
Curvelo 1
Dolianova 1
Duhok 1
Fayetteville 1
Franca 1
Hanau 1
Hangzhou 1
Hanumāngarh 1
Itatiba 1
Kotovo 1
Kottayam 1
Lauterbourg 1
Mumbai 1
Nanjing 1
New Orleans 1
New York 1
Ningbo 1
Numana 1
Nuremberg 1
Pisa 1
Pristina 1
Quito 1
Raleigh 1
Salvador 1
Shaoxing 1
Shijiazhuang 1
Sumaré 1
São Vicente 1
Taraz 1
Tehran 1
Thái Nguyên 1
Tianjin 1
Tokyo 1
Toronto 1
Três Lagoas 1
Totale 361
Nome #
Correct Approximation of IEEE 754 Floating-Point Arithmetic for Program Verification 173
A Practical Approach to Verification of Floating-Point C/C++ Programs with math.h/cmath Functions 165
Correct Approximation of IEEE 754 Floating-Point Arithmetic for Program Verification 120
Totale 458
Categoria #
all - tutte 1.477
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.477


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/20217 0 0 0 0 0 0 0 0 0 4 0 3
2021/202234 4 5 1 1 2 7 0 6 2 1 0 5
2022/202367 7 10 8 10 2 7 1 1 16 0 3 2
2023/202419 2 0 0 2 0 5 0 1 4 1 2 2
2024/2025123 0 7 5 8 14 16 14 24 9 8 4 14
2025/2026154 9 12 15 14 22 15 21 11 20 15 0 0
Totale 458