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

MENGHI, CLAUDIO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 1.274
EU - Europa 563
AS - Asia 460
SA - Sud America 79
AF - Africa 40
Continente sconosciuto - Info sul continente non disponibili 28
OC - Oceania 1
Totale 2.445
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.250
RU - Federazione Russa 214
SG - Singapore 128
IT - Italia 125
CN - Cina 109
BR - Brasile 66
VN - Vietnam 66
FR - Francia 41
AT - Austria 38
HK - Hong Kong 34
DE - Germania 27
GB - Regno Unito 27
MA - Marocco 27
KR - Corea 24
JP - Giappone 21
FI - Finlandia 20
IN - India 19
BD - Bangladesh 14
ES - Italia 13
CA - Canada 12
IE - Irlanda 12
PL - Polonia 9
SE - Svezia 8
ID - Indonesia 7
ZA - Sudafrica 7
NL - Olanda 6
PH - Filippine 6
TR - Turchia 6
TW - Taiwan 6
CH - Svizzera 5
IQ - Iraq 5
JO - Giordania 5
MX - Messico 5
UA - Ucraina 5
BE - Belgio 4
DO - Repubblica Dominicana 3
EC - Ecuador 3
LT - Lituania 3
VE - Venezuela 3
CI - Costa d'Avorio 2
CO - Colombia 2
NO - Norvegia 2
PE - Perù 2
SA - Arabia Saudita 2
AE - Emirati Arabi Uniti 1
AO - Angola 1
AR - Argentina 1
AU - Australia 1
AZ - Azerbaigian 1
CL - Cile 1
CR - Costa Rica 1
EE - Estonia 1
GE - Georgia 1
GR - Grecia 1
HN - Honduras 1
IL - Israele 1
LV - Lettonia 1
MM - Myanmar 1
MU - Mauritius 1
NI - Nicaragua 1
OM - Oman 1
PR - Porto Rico 1
PS - Palestinian Territory 1
SK - Slovacchia (Repubblica Slovacca) 1
SR - Suriname 1
TN - Tunisia 1
TZ - Tanzania 1
UZ - Uzbekistan 1
Totale 2.417
Salva come PNG Salva come JPEG
Città #
Ashburn 178
Chandler 134
Fairfield 111
Singapore 81
San Jose 78
Woodbridge 72
Santa Clara 63
Houston 59
Ann Arbor 51
Cambridge 42
Council Bluffs 39
Vienna 37
Wilmington 36
Milan 35
Moscow 30
Seattle 29
Boardman 28
Hong Kong 27
Los Angeles 25
Seoul 24
Beijing 23
Tokyo 21
Ho Chi Minh City 20
Dallas 18
Hefei 16
New York 15
Kenitra 14
Casablanca 13
Hanoi 12
The Dalles 12
Dublin 11
Lauterbourg 11
Lawrence 11
Frankfurt am Main 9
Dearborn 8
San Diego 8
Buffalo 7
Chicago 7
Princeton 7
Turin 7
Chennai 6
Düsseldorf 6
Taipei 6
Warsaw 6
Amman 5
Denver 5
Des Moines 5
Jakarta 5
Lappeenranta 5
Las Vegas 5
Naples 5
Orem 5
Rome 5
Roubaix 5
São Paulo 5
Zurich 5
Brussels 4
Haiphong 4
Johannesburg 4
London 4
Medford 4
Poplar 4
Tianjin 4
Turku 4
Amsterdam 3
Dong Ket 3
Harrisburg 3
Helsinki 3
Mumbai 3
Munich 3
Málaga 3
North Charleston 3
San Francisco 3
Shanghai 3
Stockholm 3
Abidjan 2
Atlanta 2
Belo Horizonte 2
Biên Hòa 2
Brooklyn 2
Cagayan de Oro 2
Campo Grande 2
Charlotte 2
Cingoli 2
Da Nang 2
Dalmine 2
Detroit 2
Forlì 2
Guayaquil 2
Joinville 2
Kent 2
Lima 2
Montreal 2
Mountain View 2
New Delhi 2
Nuremberg 2
Osasco 2
Pantin 2
Pescara 2
Phoenix 2
Totale 1.628
Salva come PNG Salva come JPEG
Nome #
Engineering topology aware adaptive security: Preventing requirements violations at runtime 251
Topology Aware Adaptive Security 220
On requirements verification for model refinements 207
PuRSUE -from specification of robotic environments to synthesis of controllers 206
A control-theoretic approach to self-adaptive systems and an application to cloud-based software 201
Towards agile verification 187
RoboMAX: Robotic Mission Adaptation eXemplars 187
TOrPEDO: witnessing model correctness with topological proofs 178
Verifying incomplete and evolving specifications 177
Model Checking MITL Formulae on Timed Automata: A Logic-based Approach 174
Specification Patterns for Robotic Missions 159
On requirement verification for evolving Statecharts specifications 156
Mission Specification Patterns for Mobile Robots: Providing Support for Quantitative Properties 142
Totale 2.445
Salva come PNG Salva come JPEG
Categoria #
all - tutte 6.672
article - articoli 2.802
book - libri 0
conference - conferenze 2.831
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 1.039
Totale 13.344
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022140 0 6 13 11 14 9 12 10 10 5 23 27
2022/2023217 30 32 6 31 19 31 0 20 22 9 13 4
2023/202464 3 10 3 5 2 9 7 2 0 13 0 10
2024/2025292 0 0 13 4 37 47 32 23 33 21 50 32
2025/20261.156 220 135 54 120 92 58 194 51 57 75 37 63
2026/202763 48 15 0 0 0 0 0 0 0 0 0 0
Totale 2.445