CUOMO, NICOLA
 Distribuzione geografica
Continente #
NA - Nord America 150
AS - Asia 138
EU - Europa 97
SA - Sud America 11
AF - Africa 4
Continente sconosciuto - Info sul continente non disponibili 0
Totale 400
Nazione #
US - Stati Uniti d'America 142
SG - Singapore 68
RU - Federazione Russa 49
VN - Vietnam 27
CN - Cina 24
SE - Svezia 18
BR - Brasile 10
HK - Hong Kong 8
DE - Germania 6
IT - Italia 6
CA - Canada 5
FI - Finlandia 5
FR - Francia 4
GB - Regno Unito 3
HN - Honduras 2
IE - Irlanda 2
IN - India 2
JP - Giappone 2
LB - Libano 2
PL - Polonia 2
TW - Taiwan 2
CR - Costa Rica 1
ET - Etiopia 1
IQ - Iraq 1
NL - Olanda 1
NP - Nepal 1
RO - Romania 1
SN - Senegal 1
TN - Tunisia 1
UZ - Uzbekistan 1
VE - Venezuela 1
ZA - Sudafrica 1
Totale 400
Città #
Singapore 33
Moscow 18
San Jose 16
Beijing 15
Chandler 15
Santa Clara 12
Hong Kong 8
Hanoi 6
Ho Chi Minh City 6
Phoenix 6
Council Bluffs 5
Ashburn 4
Jacksonville 4
Princeton 4
Wilmington 4
Boston 3
Kronberg 3
Lauterbourg 3
Millbury 3
Nanjing 3
Naples 3
Redondo Beach 3
Atlanta 2
Boardman 2
Buffalo 2
Da Nang 2
Denver 2
San Pedro Sula 2
Shenyang 2
Taipei 2
The Dalles 2
Tokyo 2
Toronto 2
Addis Ababa 1
Amsterdam 1
Andradas 1
Atibaia 1
Basra 1
Bizerte 1
Bucharest 1
Bình Phước 1
Can Tho 1
Cape Town 1
Carney 1
Charlotte 1
Colombo 1
Cookshire-Eaton 1
Cumaná 1
Dakar 1
Delhi 1
Doncaster 1
Formiga 1
Haiphong 1
Ibirité 1
Joinville 1
Juneau 1
Kissimmee 1
Lakeland 1
Lanzhou 1
London 1
Lấp Vò 1
Milan 1
Moga 1
Mount Pleasant 1
Munich 1
Norcross 1
Norwalk 1
Oklahoma City 1
Orem 1
Quận Ninh Kiều 1
Rach Gia 1
Racine 1
Rio de Janeiro 1
Rome 1
San José 1
Santa Bárbara d'Oeste 1
Santo André 1
Seattle 1
Silver Spring 1
St. François Xavier 1
Surrey 1
Tampines New Town 1
Tashkent 1
Temperance 1
Thái Nguyên 1
Tripoli 1
Turku 1
Tân Tiến 1
Ubá 1
Victorville 1
Ân Thi 1
Totale 257
Nome #
TPMC: A model checker for time–sensitive security protocols 114
Timed HLPSL for specification and verification of time sensitive protocols 108
Timed protocols insecurity problem is NP-complete 97
An environment for the specification and verification of time dependent security protocols. International Journal of Computers and Applications 81
Totale 400
Categoria #
all - tutte 1.399
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.399


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/202220 0 0 0 0 0 0 0 0 3 0 8 9
2022/202330 4 2 0 7 2 6 0 1 6 0 2 0
2023/202416 1 7 0 0 0 1 0 3 0 0 1 3
2024/202597 8 3 0 0 7 9 10 6 3 6 41 4
2025/2026173 27 8 12 11 37 12 15 9 21 18 2 1
2026/202721 2 9 10 0 0 0 0 0 0 0 0 0
Totale 400