CHIARI, MICHELE
 Distribuzione geografica
Continente #
NA - Nord America 755
EU - Europa 677
AS - Asia 183
AF - Africa 40
OC - Oceania 8
SA - Sud America 6
Totale 1.669
Nazione #
US - Stati Uniti d'America 720
IT - Italia 214
FR - Francia 130
DE - Germania 112
CN - Cina 63
GB - Regno Unito 43
CZ - Repubblica Ceca 37
CA - Canada 31
IN - India 31
FI - Finlandia 20
NL - Olanda 20
HK - Hong Kong 18
CI - Costa d'Avorio 16
RU - Federazione Russa 16
JP - Giappone 15
CH - Svizzera 14
SG - Singapore 14
VN - Vietnam 13
SE - Svezia 10
UA - Ucraina 10
IE - Irlanda 8
AT - Austria 7
AU - Australia 7
NO - Norvegia 7
ZA - Sudafrica 7
GR - Grecia 6
AE - Emirati Arabi Uniti 4
BE - Belgio 4
CO - Colombia 4
EG - Egitto 4
IQ - Iraq 4
NG - Nigeria 4
SN - Senegal 4
DK - Danimarca 3
ES - Italia 3
HR - Croazia 3
ID - Indonesia 3
IR - Iran 3
KR - Corea 3
MX - Messico 3
PK - Pakistan 3
PL - Polonia 3
PT - Portogallo 3
RO - Romania 3
TN - Tunisia 3
TW - Taiwan 3
IL - Israele 2
SA - Arabia Saudita 2
AR - Argentina 1
BG - Bulgaria 1
BR - Brasile 1
GH - Ghana 1
GL - Groenlandia 1
MA - Marocco 1
NZ - Nuova Zelanda 1
PH - Filippine 1
TR - Turchia 1
Totale 1.669
Città #
Houston 88
Ashburn 64
Fairfield 50
Ann Arbor 42
Santa Cruz 42
Milan 40
Seattle 32
Woodbridge 25
Boardman 22
Buffalo 21
Helsinki 19
Abidjan 16
Cambridge 16
Wilmington 15
Bergamo 13
Chicago 13
Ottawa 13
Shanghai 13
Southampton 13
Los Angeles 11
Paris 11
Perpignan 11
Beijing 10
Bengaluru 10
Dublin 9
Rome 9
San Diego 9
Dong Ket 8
Philadelphia 8
Toronto 8
Tsukuba 8
Darmstadt 7
Hong Kong 7
Modena 7
New York 7
Piacenza 7
Balaruc-les-Bains 6
Biassono 6
Hangzhou 6
London 6
Mountain View 6
Osnabrück 6
Provo 6
Redmond 6
Sydney 6
Cedar Knolls 5
Clearwater 5
Delhi 5
Shenzhen 5
Stockholm 5
Zurich 5
Amsterdam 4
Cassina Valsassina 4
Grenoble 4
Hanoi 4
Las Vegas 4
Montpellier 4
Muizenberg 4
San Francisco 4
San Jose 4
Singapore 4
Trondheim 4
Turin 4
Vienna 4
Bogotá 3
Brussels 3
Chemnitz 3
Coleraine 3
Dallas 3
Lucknow 3
Monza 3
Munich 3
Naples 3
Offenburg 3
Phoenix 3
Port Harcourt 3
Prague 3
Split 3
Tokyo 3
Vadodara 3
Arles 2
Athens 2
Berlin 2
Bilbao 2
Bologna 2
Boulder 2
Bourdic 2
Boydton 2
Büdelsdorf 2
Carrollton 2
Chennai 2
Columbus 2
Crugers 2
Cusano Mutri 2
Dresden 2
Durban 2
Erbil 2
Erlangen 2
Fossano 2
Frankfurt Am Main 2
Totale 928
Nome #
A Practical Approach to Verification of Floating-Point C/C++ Programs with math.h/cmath Functions, file e0c31c10-cbb3-4599-e053-1705fe0aef77 368
Automated Precision Tuning in Activity Classification Systems: A Case Study, file e0c31c0e-d430-4599-e053-1705fe0aef77 259
POSTER: Fixed Point Exploitation via Compiler Analyses and Transformations, file e0c31c0e-ca6b-4599-e053-1705fe0aef77 239
Operator precedence temporal logic and model checking, file e0c31c10-35de-4599-e053-1705fe0aef77 152
Feedback-driven performance and precision tuning for automatic fixed point exploitation, file e0c31c0f-ac15-4599-e053-1705fe0aef77 147
Static Analysis of Infrastructure as Code: A Survey, file a3333be1-3161-4bf5-9b71-025a4730a668 130
Temporal Logic and Model Checking for Operator Precedence Languages, file e0c31c0c-7c9d-4599-e053-1705fe0aef77 114
Dynamic Precision Autotuning with TAFFO, file e0c31c0f-c9b3-4599-e053-1705fe0aef77 92
Linear temporal logics for structured context-free languages, file e0c31c10-42b9-4599-e053-1705fe0aef77 56
TAFFO: The compiler-based precision tuner, file 88447334-45d8-4dd5-8b99-a1a892c6d5fb 48
Model-Checking Structured Context-Free Languages, file e0c31c11-6184-4599-e053-1705fe0aef77 42
Verification of Programs with Exceptions Through Operator Precedence Automata, file e0c31c12-3d6f-4599-e053-1705fe0aef77 31
The Impact of Precision Tuning on Embedded Systems Performance: A Case Study on Field-Oriented Control, file e0c31c12-218e-4599-e053-1705fe0aef77 17
A FIRST-ORDER COMPLETE TEMPORAL LOGIC FOR STRUCTURED CONTEXT-FREE LANGUAGES, file 4fe7d50d-3495-4b30-89a1-aca8bba92895 14
Word- and Tree-based Temporal Logics for Operator Precedence Languages, file e0c31c0e-6b90-4599-e053-1705fe0aef77 12
DOML: A New Modelling Approach to Infrastructure-as-Code, file deff5dab-2649-4da0-9f5c-566abde60d0f 7
A Model Checker for Operator Precedence Languages, file 8a026924-b8dd-4053-a31a-9506eff9dcdf 4
Architecture-aware Precision Tuning with Multiple Number Representation Systems, file e0c31c12-1f7b-4599-e053-1705fe0aef77 3
Totale 1.735
Categoria #
all - tutte 4.092
article - articoli 1.454
book - libri 0
conference - conferenze 2.606
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 32
Totale 8.184


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/201912 0 0 0 0 0 0 0 0 0 0 5 7
2019/202080 4 1 2 1 6 6 6 17 11 10 10 6
2020/2021238 9 13 37 11 11 15 10 18 24 34 25 31
2021/2022502 30 30 59 86 56 27 20 20 41 30 71 32
2022/2023514 17 39 52 62 44 41 75 58 51 29 22 24
2023/2024381 24 29 43 33 28 19 41 49 54 60 1 0
Totale 1.735