CHIARI, MICHELE
 Distribuzione geografica
Continente #
NA - Nord America 94
EU - Europa 62
AS - Asia 19
Totale 175
Nazione #
US - Stati Uniti d'America 94
IT - Italia 25
CN - Cina 14
IE - Irlanda 13
SE - Svezia 12
DK - Danimarca 4
SG - Singapore 4
BE - Belgio 3
FI - Finlandia 3
GB - Regno Unito 1
IN - India 1
UA - Ucraina 1
Totale 175
Città #
Ann Arbor 30
Chandler 24
Dublin 13
Parma 7
Ashburn 6
Fremont 5
Fairfield 4
Horsens 4
Lucca 4
Sant'ilario D'enza 4
Brussels 3
Guangzhou 3
Helsinki 3
Princeton 3
Shanghai 3
Singapore 3
Wilmington 3
Boardman 2
Bomporto 2
Jinan 2
Milan 2
Modena 2
Seattle 2
Beijing 1
Boulder 1
Cecina 1
Fayetteville 1
Hangzhou 1
Nanjing 1
Ningbo 1
Shaoxing 1
Woodbridge 1
Totale 143
Nome #
Correct Approximation of IEEE 754 Floating-Point Arithmetic for Program Verification 84
A Practical Approach to Verification of Floating-Point C/C++ Programs with math.h/cmath Functions 62
Correct Approximation of IEEE 754 Floating-Point Arithmetic for Program Verification 35
Totale 181
Categoria #
all - tutte 726
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 726


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/202018 0 0 0 0 0 0 6 0 0 8 2 2
2020/202143 3 3 0 0 3 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
Totale 181