CHIARI, MICHELE
 Distribuzione geografica
Continente #
NA - Nord America 111
EU - Europa 79
AS - Asia 38
Totale 228
Nazione #
US - Stati Uniti d'America 111
IT - Italia 35
CN - Cina 20
SG - Singapore 14
IE - Irlanda 13
SE - Svezia 12
AT - Austria 5
DK - Danimarca 4
BE - Belgio 3
FI - Finlandia 3
ID - Indonesia 3
NL - Olanda 2
GB - Regno Unito 1
IN - India 1
UA - Ucraina 1
Totale 228
Città #
Ann Arbor 30
Chandler 24
Parma 14
Dublin 13
Singapore 12
Santa Clara 9
Ashburn 6
Lucca 6
Boardman 5
Fremont 5
Shanghai 5
Vienna 5
Fairfield 4
Horsens 4
Sant'ilario D'enza 4
Brussels 3
Guangzhou 3
Helsinki 3
Jakarta 3
Princeton 3
Wilmington 3
Bomporto 2
Jinan 2
Milan 2
Modena 2
Seattle 2
Amsterdam 1
Beijing 1
Boulder 1
Cecina 1
Dallas 1
Fayetteville 1
Hangzhou 1
Nanjing 1
New York 1
Ningbo 1
Rome 1
Shaoxing 1
Shijiazhuang 1
Woodbridge 1
Yingkou 1
Totale 189
Nome #
Correct Approximation of IEEE 754 Floating-Point Arithmetic for Program Verification 96
A Practical Approach to Verification of Floating-Point C/C++ Programs with math.h/cmath Functions 83
Correct Approximation of IEEE 754 Floating-Point Arithmetic for Program Verification 55
Totale 234
Categoria #
all - tutte 936
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 936


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
2024/202553 0 7 5 8 14 16 3 0 0 0 0 0
Totale 234