CHIARI, MICHELE
 Distribuzione geografica
Continente #
NA - Nord America 150
EU - Europa 111
AS - Asia 91
SA - Sud America 12
AF - Africa 3
Continente sconosciuto - Info sul continente non disponibili 1
Totale 368
Nazione #
US - Stati Uniti d'America 149
IT - Italia 57
SG - Singapore 39
CN - Cina 28
IE - Irlanda 13
BR - Brasile 12
SE - Svezia 12
HK - Hong Kong 9
AT - Austria 6
NL - Olanda 5
DK - Danimarca 4
VN - Vietnam 4
BE - Belgio 3
FI - Finlandia 3
GB - Regno Unito 3
ID - Indonesia 3
RU - Federazione Russa 3
ZA - Sudafrica 3
IQ - Iraq 2
SA - Arabia Saudita 2
UZ - Uzbekistan 2
CA - Canada 1
IN - India 1
IR - Iran 1
PL - Polonia 1
UA - Ucraina 1
XK - ???statistics.table.value.countryCode.XK??? 1
Totale 368
Città #
Ann Arbor 30
Chandler 24
Singapore 23
Ashburn 22
Parma 16
Dublin 13
Hong Kong 9
Santa Clara 9
Milan 8
Lucca 6
Boardman 5
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
The Dalles 3
Wilmington 3
Bomporto 2
Boston 2
Council Bluffs 2
Curitiba 2
Ho Chi Minh City 2
Jeddah 2
Jinan 2
Luis Eduardo Magalhães 2
Modena 2
Moscow 2
Pescara 2
Rio de Janeiro 2
Seattle 2
Tashkent 2
Accrington 1
Amsterdam 1
Baghdad 1
Boulder 1
Cecina 1
Cerquilho 1
Chicago 1
Dolianova 1
Duhok 1
Fayetteville 1
Hangzhou 1
Hanoi 1
Itatiba 1
Kotovo 1
Nanjing 1
New York 1
Ningbo 1
Numana 1
Pisa 1
Pristina 1
Raleigh 1
Shaoxing 1
Shijiazhuang 1
Sumaré 1
São Vicente 1
Tehran 1
Tianjin 1
Toronto 1
Três Lagoas 1
Turin 1
Valinhos 1
Warsaw 1
Woodbridge 1
Yingkou 1
Totale 296
Nome #
Correct Approximation of IEEE 754 Floating-Point Arithmetic for Program Verification 138
A Practical Approach to Verification of Floating-Point C/C++ Programs with math.h/cmath Functions 135
Correct Approximation of IEEE 754 Floating-Point Arithmetic for Program Verification 104
Totale 377
Categoria #
all - tutte 1.345
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.345


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202134 0 0 0 0 0 2 8 7 10 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/202673 9 12 15 14 22 1 0 0 0 0 0 0
Totale 377