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

GHEZZI, CARLO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 1.614
EU - Europa 477
AS - Asia 291
AF - Africa 58
SA - Sud America 34
OC - Oceania 16
Continente sconosciuto - Info sul continente non disponibili 1
Totale 2.491
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.552
CN - Cina 92
IT - Italia 86
FR - Francia 83
DE - Germania 78
CA - Canada 61
GB - Regno Unito 45
IN - India 45
ZA - Sudafrica 26
IE - Irlanda 24
VN - Vietnam 24
FI - Finlandia 21
JP - Giappone 21
CZ - Repubblica Ceca 20
NL - Olanda 19
RU - Federazione Russa 19
TR - Turchia 18
AT - Austria 15
BR - Brasile 14
HK - Hong Kong 13
AU - Australia 12
BE - Belgio 12
PK - Pakistan 11
DZ - Algeria 10
SG - Singapore 10
KR - Corea 9
SY - Repubblica araba siriana 9
IR - Iran 8
UA - Ucraina 8
CL - Cile 7
ES - Italia 7
GR - Grecia 7
PH - Filippine 7
RO - Romania 7
MA - Marocco 6
AE - Emirati Arabi Uniti 5
AR - Argentina 5
CH - Svizzera 5
CM - Camerun 5
CO - Colombia 5
PL - Polonia 5
ID - Indonesia 4
IL - Israele 4
NG - Nigeria 4
NZ - Nuova Zelanda 4
PT - Portogallo 4
LT - Lituania 3
EG - Egitto 2
LU - Lussemburgo 2
MY - Malesia 2
NO - Norvegia 2
SA - Arabia Saudita 2
SE - Svezia 2
SN - Senegal 2
TW - Taiwan 2
A2 - ???statistics.table.value.countryCode.A2??? 1
AM - Armenia 1
CI - Costa d'Avorio 1
DK - Danimarca 1
EC - Ecuador 1
HR - Croazia 1
IQ - Iraq 1
KH - Cambogia 1
LK - Sri Lanka 1
MX - Messico 1
PE - Perù 1
RS - Serbia 1
SC - Seychelles 1
TH - Thailandia 1
TN - Tunisia 1
UY - Uruguay 1
Totale 2.491
Salva come PNG Salva come JPEG
Città #
Houston 217
Fairfield 130
Ann Arbor 123
Buffalo 116
Ashburn 90
Santa Cruz 86
Woodbridge 80
Seattle 79
Cambridge 44
Wilmington 41
Beijing 30
Dublin 22
Bengaluru 21
Chicago 20
Las Vegas 20
Ottawa 20
Milan 17
Muizenberg 17
Phoenix 15
Vienna 15
Hangzhou 13
San Diego 13
Dong Ket 12
Shanghai 12
Clearwater 11
Los Angeles 11
Mountain View 11
Toronto 11
Helsinki 10
Henderson 10
Waterloo 10
Marietta 9
Montreal 9
Paris 9
Cloppenburg 8
San Martino Buon Albergo 8
Évry 8
Austin 7
University Park 7
Wayne 7
Brussels 6
Fremont 6
Passau 6
Boardman 5
Florence 5
Karlsruhe 5
Lappeenranta 5
Río Gallegos 5
Suri 5
Adelaide 4
Amsterdam 4
Auckland 4
Bogotá 4
Dallas 4
Easton 4
Freiburg 4
Grenoble 4
Ottobrunn 4
Pretoria 4
Provo 4
Saint Charles 4
San Francisco 4
Santiago 4
Singapore 4
St Louis 4
Tokyo 4
Yellow Springs 4
Boulder 3
Council Bluffs 3
Duncan 3
Evanston 3
Glasgow 3
Guangzhou 3
Hanoi 3
Hong Kong 3
Howick 3
Hyderabad 3
Istanbul 3
Izmir 3
Lombard 3
Menlo Park 3
Nanjing 3
Opole 3
Padova 3
Pittsburgh 3
Reston 3
Salvador 3
San Jose 3
Santa Clara 3
Sharif 3
Sikar 3
Socorro 3
São Paulo 3
Wuhan 3
Algiers 2
Athens 2
Bab Ezzouar 2
Berkeley 2
Braga 2
Bucharest 2
Totale 1.612
Salva come PNG Salva come JPEG
Nome #
Team-level programming of drone sensor networks, file e0c31c09-5531-4599-e053-1705fe0aef77 364
From model checking to a temporal proof for partial models, file e0c31c0d-11d5-4599-e053-1705fe0aef77 222
DSOL: a declarative approach to self-adaptive service orchestrations, file e0c31c09-0d6a-4599-e053-1705fe0aef77 220
Dependability Assessment of Web Service Orchestrations, file e0c31c09-0d68-4599-e053-1705fe0aef77 196
Formal Methods in Designing Critical Cyber-Physical Systems, file e0c31c0e-f3d4-4599-e053-1705fe0aef77 190
Software adaptation in wireless sensor networks, file e0c31c0b-d69a-4599-e053-1705fe0aef77 188
ContextErlang: A language for distributed context-aware self-adaptive applications, file e0c31c08-2486-4599-e053-1705fe0aef77 187
Context-oriented programming for adaptive wireless sensor network software, file e0c31c09-4e2f-4599-e053-1705fe0aef77 186
Loupe: Verifying Publish-Subscribe Architectures with a Magnifying Lens, file e0c31c07-dde8-4599-e053-1705fe0aef77 179
Efficient Dynamic Updates of Distributed Components Through Version Consistency, file e0c31c11-2763-4599-e053-1705fe0aef77 148
Towards context-oriented self-adaptation in resource-constrained cyberphysical systems, file e0c31c09-4e31-4599-e053-1705fe0aef77 142
Syntactic-semantic incrementality for agile verification, file e0c31c09-34e9-4599-e053-1705fe0aef77 139
Incremental Syntactic-Semantic Reliability Analysis of Evolving Structured Workflows, file e0c31c09-397f-4599-e053-1705fe0aef77 129
Trace checking of metric temporal logic with aggregating modalities using MapReduce, file e0c31c09-7fc0-4599-e053-1705fe0aef77 127
Efficient large-scale trace checking using mapreduce, file e0c31c12-1d19-4599-e053-1705fe0aef77 11
Ariadne: topology aware adaptive security for cyber-physical systems, file e0c31c08-8d66-4599-e053-1705fe0aef77 1
Syntax-Driven Program Verification of Matching Logic Properties, file e0c31c09-63d9-4599-e053-1705fe0aef77 1
Hybrid Service Oriented Architectures: A Case Study in the Automotive Domain., file e0c31c0b-3d0e-4599-e053-1705fe0aef77 1
Efficient large-scale trace checking using mapreduce, file e0c31c10-a66e-4599-e053-1705fe0aef77 1
Totale 2.632
Salva come PNG Salva come JPEG
Categoria #
all - tutte 5.147
article - articoli 2.518
book - libri 0
conference - conferenze 2.163
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 466
Totale 10.294
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/2019116 0 0 0 0 0 0 0 0 0 0 63 53
2019/2020471 37 34 36 42 42 38 43 52 55 22 31 39
2020/2021341 17 29 18 25 23 26 22 31 23 39 53 35
2021/2022734 38 29 38 179 111 33 36 56 21 31 125 37
2022/2023363 8 36 103 35 29 28 26 17 19 17 31 14
2023/2024304 24 23 41 34 34 26 32 23 21 44 2 0
Totale 2.632