RE.PUBLIC@POLIMI pubblicazioni di ricerca del Politecnico di Milano

CHIARI, MICHELE
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 1.661
EU - Europa 1.235
AS - Asia 1.051
SA - Sud America 193
AF - Africa 75
Continente sconosciuto - Info sul continente non disponibili 47
OC - Oceania 3
Totale 4.265
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.611
RU - Federazione Russa 435
IT - Italia 388
SG - Singapore 351
CN - Cina 254
VN - Vietnam 170
BR - Brasile 156
DE - Germania 81
FR - Francia 73
KR - Corea 68
GB - Regno Unito 52
JP - Giappone 51
HK - Hong Kong 42
FI - Finlandia 39
NL - Olanda 39
MA - Marocco 38
CA - Canada 32
IN - India 27
ES - Italia 26
CI - Costa d'Avorio 21
IE - Irlanda 21
ID - Indonesia 20
AT - Austria 16
CH - Svizzera 14
AR - Argentina 13
SE - Svezia 12
BD - Bangladesh 11
PL - Polonia 8
IQ - Iraq 7
PK - Pakistan 7
TR - Turchia 6
TW - Taiwan 6
VE - Venezuela 6
CL - Cile 5
HU - Ungheria 5
SA - Arabia Saudita 5
UA - Ucraina 5
AE - Emirati Arabi Uniti 4
CO - Colombia 4
CR - Costa Rica 4
EC - Ecuador 4
JO - Giordania 4
ZA - Sudafrica 4
AU - Australia 3
EG - Egitto 3
NP - Nepal 3
PH - Filippine 3
PT - Portogallo 3
BJ - Benin 2
CZ - Repubblica Ceca 2
GT - Guatemala 2
HN - Honduras 2
HR - Croazia 2
IL - Israele 2
JM - Giamaica 2
KZ - Kazakistan 2
LT - Lituania 2
MD - Moldavia 2
NI - Nicaragua 2
NO - Norvegia 2
PE - Perù 2
PY - Paraguay 2
RO - Romania 2
SN - Senegal 2
TN - Tunisia 2
AM - Armenia 1
BA - Bosnia-Erzegovina 1
BB - Barbados 1
BE - Belgio 1
BG - Bulgaria 1
BO - Bolivia 1
BS - Bahamas 1
BY - Bielorussia 1
CW - ???statistics.table.value.countryCode.CW??? 1
CY - Cipro 1
DK - Danimarca 1
DZ - Algeria 1
ET - Etiopia 1
GE - Georgia 1
KE - Kenya 1
KH - Cambogia 1
LC - Santa Lucia 1
LK - Sri Lanka 1
LV - Lettonia 1
MX - Messico 1
MY - Malesia 1
PA - Panama 1
PR - Porto Rico 1
SY - Repubblica araba siriana 1
UZ - Uzbekistan 1
XK - ???statistics.table.value.countryCode.XK??? 1
Totale 4.220
Salva come PNG Salva come JPEG
Città #
Ashburn 324
Singapore 213
San Jose 192
Milan 137
Santa Clara 117
Chandler 81
Moscow 73
Seoul 67
Council Bluffs 60
Fairfield 56
Tokyo 51
Ho Chi Minh City 48
The Dalles 45
Beijing 43
Hefei 38
Los Angeles 35
Hong Kong 34
Hanoi 32
Dallas 31
Houston 31
Lauterbourg 31
New York 31
Woodbridge 31
Boardman 29
London 29
Wilmington 29
Kenitra 28
Rome 24
Seattle 23
Cambridge 22
Abidjan 21
Frankfurt am Main 21
Helsinki 20
Amsterdam 18
Málaga 18
Dublin 17
Da Nang 16
Jakarta 16
Washington 16
Lawrence 15
Dong Ket 12
São Paulo 12
Columbus 11
Medford 11
North Charleston 11
Nuremberg 11
Bergamo 10
Buffalo 10
Chicago 10
Vienna 10
Lappeenranta 9
Munich 9
Orem 9
Shanghai 9
Turku 9
Chennai 8
Biassono 7
Casablanca 7
Haiphong 7
Las Vegas 7
San Diego 7
Ann Arbor 6
Atlanta 6
Kent 6
Redwood City 6
Turin 6
Baghdad 5
Budapest 5
Cassina Valsassina 5
Changsha 5
Monza 5
Ottawa 5
Phoenix 5
Warsaw 5
Amman 4
Biên Hòa 4
Cologno Monzese 4
Fremont 4
Frisco 4
Guangzhou 4
Madrid 4
Montreal 4
Paris 4
Princeton 4
Redmond 4
San Francisco 4
Toronto 4
Bari 3
Belo Horizonte 3
Bengaluru 3
Bexley 3
Boston 3
Brasília 3
Buenos Aires 3
Canoas 3
Cernobbio 3
Delhi 3
Denver 3
Düsseldorf 3
Gumpoldskirchen 3
Totale 2.520
Salva come PNG Salva come JPEG
Nome #
Operator precedence temporal logic and model checking 232
Automated Precision Tuning in Activity Classification Systems: A Case Study 231
TAFFO: Tuning Assistant for Floating to Fixed point Optimization 213
DOML: A new modeling approach to Infrastructure-as-Code 206
TAFFO: The compiler-based precision tuner 198
A Model Checker for Operator Precedence Languages 195
POSTER: Fixed Point Exploitation via Compiler Analyses and Transformations 195
Architecture-aware Precision Tuning with Multiple Number Representation Systems 195
Linear temporal logics for structured context-free languages 192
FixM: Code generation of fixed point mathematical functions 189
A FIRST-ORDER COMPLETE TEMPORAL LOGIC FOR STRUCTURED CONTEXT-FREE LANGUAGES 178
Feedback-driven performance and precision tuning for automatic fixed point exploitation 173
A Practical Approach to Verification of Floating-Point C/C++ Programs with math.h/cmath Functions 164
DOML: A New Modelling Approach to Infrastructure-as-Code 163
The Impact of Precision Tuning on Embedded Systems Performance: A Case Study on Field-Oriented Control 163
Model-Checking Structured Context-Free Languages 159
Dynamic Precision Autotuning with TAFFO 154
Developing a New DevOps Modelling Language to Support the Creation of Infrastructure as Code 153
Temporal Logic and Model Checking for Operator Precedence Languages 145
Static Analysis of Infrastructure as Code: A Survey 144
Cyclic Operator Precedence Grammars for Improved Parallel Parsing 136
Verification of Programs with Exceptions Through Operator Precedence Automata 130
SMT-Based Symbolic Model-Checking for Operator Precedence Languages 112
Word- and Tree-based Temporal Logics for Operator Precedence Languages 102
A Tree-Shaped Tableau for Checking the Satisfiability of Signal Temporal Logic with Bounded Temporal Operators 49
Cyclic operator precedence grammars for parallel parsing 47
Boosting Parallel Parsing through Cyclic Operator Precedence Grammars 47
Totale 4.265
Salva come PNG Salva come JPEG
Categoria #
all - tutte 13.402
article - articoli 5.429
book - libri 0
conference - conferenze 7.539
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 434
Totale 26.804
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022156 0 13 8 16 17 9 3 22 12 11 29 16
2022/2023233 27 15 15 18 25 21 6 19 39 20 23 5
2023/2024250 16 26 29 23 27 10 20 21 0 49 3 26
2024/2025760 8 17 21 18 113 104 45 88 90 56 100 100
2025/20262.440 419 310 130 174 173 117 450 116 168 208 50 125
2026/2027105 66 39 0 0 0 0 0 0 0 0 0 0
Totale 4.265