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.161
EU - Europa 523
AS - Asia 449
SA - Sud America 78
AF - Africa 40
OC - Oceania 1
Totale 2.252
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.139
RU - Federazione Russa 214
SG - Singapore 128
CN - Cina 107
IT - Italia 86
BR - Brasile 65
VN - Vietnam 64
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
CA - Canada 12
ES - Italia 12
IE - Irlanda 12
PL - Polonia 9
SE - Svezia 8
BD - Bangladesh 7
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
EC - Ecuador 3
LT - Lituania 3
VE - Venezuela 3
CI - Costa d'Avorio 2
CO - Colombia 2
DO - Repubblica Dominicana 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
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.252
Salva come PNG Salva come JPEG
Città #
Ashburn 161
Chandler 134
Fairfield 110
Singapore 81
Woodbridge 72
San Jose 67
Houston 59
Santa Clara 55
Ann Arbor 51
Cambridge 42
Vienna 37
Wilmington 34
Moscow 30
Milan 29
Seattle 29
Hong Kong 27
Council Bluffs 26
Los Angeles 24
Seoul 24
Beijing 22
Tokyo 21
Ho Chi Minh City 20
Dallas 16
Hefei 16
Kenitra 14
New York 14
Boardman 13
Casablanca 13
Hanoi 12
The Dalles 12
Dublin 11
Lauterbourg 11
Lawrence 11
Frankfurt am Main 9
Dearborn 8
San Diego 8
Buffalo 7
Princeton 7
Chennai 6
Chicago 6
Düsseldorf 6
Taipei 6
Warsaw 6
Amman 5
Denver 5
Des Moines 5
Jakarta 5
Lappeenranta 5
Orem 5
Roubaix 5
São Paulo 5
Turin 5
Zurich 5
Brussels 4
Haiphong 4
Johannesburg 4
Las Vegas 4
London 4
Medford 4
Poplar 4
Tianjin 4
Turku 4
Amsterdam 3
Dong Ket 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
Da Nang 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
Phoenix 2
Porto Alegre 2
Toronto 2
Wroclaw 2
Zhengzhou 2
Ahmedabad 1
Alta Floresta 1
Andover 1
Antakya 1
Totale 1.535
Salva come PNG Salva come JPEG
Nome #
Engineering topology aware adaptive security: Preventing requirements violations at runtime 216
Topology Aware Adaptive Security 202
On requirements verification for model refinements 197
A control-theoretic approach to self-adaptive systems and an application to cloud-based software 196
PuRSUE -from specification of robotic environments to synthesis of controllers 189
Towards agile verification 183
RoboMAX: Robotic Mission Adaptation eXemplars 178
Verifying incomplete and evolving specifications 169
TOrPEDO: witnessing model correctness with topological proofs 165
Model Checking MITL Formulae on Timed Automata: A Logic-based Approach 160
On requirement verification for evolving Statecharts specifications 147
Mission Specification Patterns for Mobile Robots: Providing Support for Quantitative Properties 139
Specification Patterns for Robotic Missions 139
Totale 2.280
Salva come PNG Salva come JPEG
Categoria #
all - tutte 6.066
article - articoli 2.520
book - libri 0
conference - conferenze 2.586
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 960
Totale 12.132
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202124 0 0 0 0 0 0 0 0 0 6 12 6
2021/2022146 6 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.054 220 135 54 120 92 58 194 51 57 73 0 0
Totale 2.280