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.474
EU - Europa 1.157
AS - Asia 1.032
SA - Sud America 189
AF - Africa 75
OC - Oceania 3
Continente sconosciuto - Info sul continente non disponibili 2
Totale 3.932
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.444
RU - Federazione Russa 434
SG - Singapore 347
IT - Italia 315
CN - Cina 250
VN - Vietnam 166
BR - Brasile 153
DE - Germania 79
FR - Francia 73
KR - Corea 68
JP - Giappone 51
GB - Regno Unito 50
HK - Hong Kong 40
FI - Finlandia 39
NL - Olanda 39
MA - Marocco 38
ES - Italia 26
IN - India 25
CA - Canada 21
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 8
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
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
HR - Croazia 2
IL - Israele 2
KZ - Kazakistan 2
LT - Lituania 2
MD - Moldavia 2
NO - Norvegia 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
CR - Costa Rica 1
CW - ???statistics.table.value.countryCode.CW??? 1
CY - Cipro 1
DK - Danimarca 1
DZ - Algeria 1
ET - Etiopia 1
GE - Georgia 1
GT - Guatemala 1
JM - Giamaica 1
KE - Kenya 1
KH - Cambogia 1
LC - Santa Lucia 1
LK - Sri Lanka 1
LV - Lettonia 1
MX - Messico 1
MY - Malesia 1
NI - Nicaragua 1
PA - Panama 1
PE - Perù 1
SY - Repubblica araba siriana 1
UZ - Uzbekistan 1
XK - ???statistics.table.value.countryCode.XK??? 1
Totale 3.932
Salva come PNG Salva come JPEG
Città #
Ashburn 302
Singapore 209
San Jose 183
Santa Clara 108
Milan 104
Chandler 81
Moscow 73
Seoul 67
Fairfield 56
Tokyo 51
Ho Chi Minh City 48
Council Bluffs 45
The Dalles 45
Beijing 42
Hefei 38
Hong Kong 32
Lauterbourg 31
Houston 30
Los Angeles 30
Woodbridge 30
Wilmington 29
Dallas 28
Hanoi 28
Kenitra 28
London 28
Boardman 27
New York 27
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
Rome 13
Dong Ket 12
São Paulo 12
Columbus 11
Medford 11
North Charleston 11
Nuremberg 11
Bergamo 10
Buffalo 10
Vienna 10
Lappeenranta 9
Munich 9
Orem 9
Shanghai 9
Turku 9
Biassono 7
Casablanca 7
Chennai 7
Chicago 7
Haiphong 7
San Diego 7
Ann Arbor 6
Kent 6
Redwood City 6
Atlanta 5
Baghdad 5
Budapest 5
Cassina Valsassina 5
Changsha 5
Las Vegas 5
Ottawa 5
Phoenix 5
Warsaw 5
Amman 4
Biên Hòa 4
Cologno Monzese 4
Fremont 4
Guangzhou 4
Madrid 4
Montreal 4
Monza 4
Paris 4
Princeton 4
San Francisco 4
Belo Horizonte 3
Bengaluru 3
Bexley 3
Brasília 3
Buenos Aires 3
Canoas 3
Cernobbio 3
Delhi 3
Denver 3
Düsseldorf 3
Gumpoldskirchen 3
Islamabad 3
Luvinate 3
Melzo 3
Mesa 3
Redmond 3
Rennes 3
Totale 2.379
Salva come PNG Salva come JPEG
Nome #
Automated Precision Tuning in Activity Classification Systems: A Case Study 222
Operator precedence temporal logic and model checking 210
TAFFO: Tuning Assistant for Floating to Fixed point Optimization 207
TAFFO: The compiler-based precision tuner 186
DOML: A new modeling approach to Infrastructure-as-Code 186
Architecture-aware Precision Tuning with Multiple Number Representation Systems 186
POSTER: Fixed Point Exploitation via Compiler Analyses and Transformations 183
A Model Checker for Operator Precedence Languages 182
FixM: Code generation of fixed point mathematical functions 182
Linear temporal logics for structured context-free languages 177
A FIRST-ORDER COMPLETE TEMPORAL LOGIC FOR STRUCTURED CONTEXT-FREE LANGUAGES 171
Feedback-driven performance and precision tuning for automatic fixed point exploitation 160
A Practical Approach to Verification of Floating-Point C/C++ Programs with math.h/cmath Functions 157
The Impact of Precision Tuning on Embedded Systems Performance: A Case Study on Field-Oriented Control 155
DOML: A New Modelling Approach to Infrastructure-as-Code 151
Model-Checking Structured Context-Free Languages 149
Dynamic Precision Autotuning with TAFFO 144
Developing a New DevOps Modelling Language to Support the Creation of Infrastructure as Code 143
Temporal Logic and Model Checking for Operator Precedence Languages 143
Static Analysis of Infrastructure as Code: A Survey 132
Cyclic Operator Precedence Grammars for Improved Parallel Parsing 125
Verification of Programs with Exceptions Through Operator Precedence Automata 120
SMT-Based Symbolic Model-Checking for Operator Precedence Languages 109
Word- and Tree-based Temporal Logics for Operator Precedence Languages 94
Boosting Parallel Parsing through Cyclic Operator Precedence Grammars 36
A Tree-Shaped Tableau for Checking the Satisfiability of Signal Temporal Logic with Bounded Temporal Operators 34
Cyclic operator precedence grammars for parallel parsing 33
Totale 3.977
Salva come PNG Salva come JPEG
Categoria #
all - tutte 12.064
article - articoli 4.844
book - libri 0
conference - conferenze 6.838
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 382
Totale 24.128
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202163 0 0 0 0 0 0 0 0 0 22 21 20
2021/2022161 5 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.257 419 310 130 174 173 117 450 116 168 200 0 0
Totale 3.977