MENGHI, CLAUDIO
 Distribuzione geografica
Continente #
NA - Nord America 695
EU - Europa 154
AS - Asia 34
AF - Africa 2
OC - Oceania 1
SA - Sud America 1
Totale 887
Nazione #
US - Stati Uniti d'America 688
IT - Italia 45
AT - Austria 34
GB - Regno Unito 16
CN - Cina 15
FI - Finlandia 12
IE - Irlanda 10
CA - Canada 7
FR - Francia 7
DE - Germania 6
VN - Vietnam 6
CH - Svizzera 5
ES - Italia 5
SE - Svezia 5
BE - Belgio 4
IN - India 4
JO - Giordania 4
HK - Hong Kong 3
NO - Norvegia 2
AU - Australia 1
AZ - Azerbaigian 1
BR - Brasile 1
GR - Grecia 1
MU - Mauritius 1
NL - Olanda 1
TN - Tunisia 1
TR - Turchia 1
UA - Ucraina 1
Totale 887
Città #
Chandler 134
Fairfield 110
Woodbridge 72
Houston 59
Ann Arbor 51
Cambridge 42
Ashburn 35
Wilmington 34
Vienna 33
Seattle 26
Milan 14
Lawrence 11
Dublin 10
Beijing 9
Dearborn 8
Princeton 7
San Diego 7
New York 6
Des Moines 5
Turin 5
Zurich 5
Amman 4
Brussels 4
Medford 4
Dong Ket 3
Helsinki 3
Málaga 3
Boardman 2
Forlì 2
London 2
Mountain View 2
Shanghai 2
Andover 1
Auburn Hills 1
Baku 1
Blanes 1
Cingoli 1
City of London 1
Dalmine 1
Edgware 1
Eskisehir 1
Gorla Maggiore 1
Hefei 1
Jacksonville 1
Klagenfurt 1
Kunming 1
Lappeenranta 1
Los Angeles 1
Montréal 1
Norwalk 1
Ottawa 1
Pavia 1
Redwood City 1
Reggio Nell'emilia 1
Santa Rosa 1
St Louis 1
Thessaloníki 1
Villaurbana 1
Totale 740
Nome #
On requirements verification for model refinements 114
Engineering topology aware adaptive security: Preventing requirements violations at runtime 109
Towards agile verification 108
PuRSUE -from specification of robotic environments to synthesis of controllers 100
Topology Aware Adaptive Security 99
Verifying incomplete and evolving specifications 90
A control-theoretic approach to self-adaptive systems and an application to cloud-based software 84
On requirement verification for evolving Statecharts specifications 82
Model Checking MITL Formulae on Timed Automata: A Logic-based Approach 51
TOrPEDO: witnessing model correctness with topological proofs 39
RoboMAX: Robotic Mission Adaptation eXemplars 35
Totale 911
Categoria #
all - tutte 2.710
article - articoli 959
book - libri 0
conference - conferenze 1.255
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 496
Totale 5.420


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/201993 0 0 0 0 0 0 0 0 0 21 38 34
2019/2020189 15 8 6 13 20 26 20 16 20 18 13 14
2020/202172 4 9 2 6 4 9 3 1 10 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/202441 3 10 3 5 2 9 7 2 0 0 0 0
Totale 911