PINZUTI, ALESSANDRO
 Distribuzione geografica
Continente #
EU - Europa 486
NA - Nord America 157
AS - Asia 20
Totale 663
Nazione #
PL - Polonia 406
US - Stati Uniti d'America 157
IT - Italia 22
GB - Regno Unito 20
IE - Irlanda 18
SE - Svezia 11
JO - Giordania 6
FI - Finlandia 4
CN - Cina 3
HK - Hong Kong 3
IN - India 3
TR - Turchia 3
DE - Germania 2
VN - Vietnam 2
NL - Olanda 1
RU - Federazione Russa 1
UA - Ucraina 1
Totale 663
Città #
Warsaw 406
Fairfield 26
Woodbridge 19
Dublin 18
Cambridge 15
Seattle 15
Chandler 14
Liverpool 11
Ashburn 10
Wilmington 9
Houston 7
Nottingham 6
Altamura 4
Cagliari 4
Lawrence 4
Princeton 4
Ann Arbor 3
Boston 3
Izmir 3
Venice 3
Beijing 2
Dong Ket 2
Manchester 2
San Diego 2
Turin 2
Andover 1
Bethesda 1
Boardman 1
Florence 1
Jacksonville 1
Leawood 1
Medford 1
Rome 1
Salerno 1
Shanghai 1
Stevenage 1
Totale 605
Nome #
Compositional Verification for Hierarchical Scheduling of Real-Time systems 242
A formal approach to design and verification of two-level Hierarchical Scheduling systems 210
Compositional verification for Hierarchical Scheduling of Real-Time systems 195
Monitoring of ADLs in sensorized environments using an on-line Model Checker 19
Totale 666
Categoria #
all - tutte 1.243
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 1.243


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020156 10 26 7 13 18 13 12 19 12 9 15 2
2020/202197 8 15 1 12 6 12 7 8 7 17 2 2
2021/202229 5 0 7 0 0 0 2 0 1 4 4 6
2022/202383 7 10 7 2 4 26 11 2 10 3 1 0
2023/202423 0 4 4 0 2 0 0 4 0 8 1 0
Totale 666