CUOMO, NICOLA
 Distribuzione geografica
Continente #
NA - Nord America 106
AS - Asia 101
EU - Europa 90
SA - Sud America 9
AF - Africa 1
Totale 307
Nazione #
US - Stati Uniti d'America 101
SG - Singapore 60
RU - Federazione Russa 49
CN - Cina 21
SE - Svezia 18
BR - Brasile 9
HK - Hong Kong 8
VN - Vietnam 8
IT - Italia 6
DE - Germania 5
FI - Finlandia 5
CA - Canada 2
GB - Regno Unito 2
HN - Honduras 2
IE - Irlanda 2
PL - Polonia 2
TW - Taiwan 2
CR - Costa Rica 1
IQ - Iraq 1
JP - Giappone 1
RO - Romania 1
ZA - Sudafrica 1
Totale 307
Città #
Singapore 27
Moscow 18
Chandler 15
Beijing 14
Santa Clara 11
Hong Kong 8
Ashburn 4
Jacksonville 4
Princeton 4
Wilmington 4
Boston 3
Kronberg 3
Millbury 3
Nanjing 3
Naples 3
Redondo Beach 3
Boardman 2
Buffalo 2
Denver 2
Hanoi 2
Ho Chi Minh City 2
San Pedro Sula 2
Shenyang 2
Taipei 2
Toronto 2
Andradas 1
Atibaia 1
Atlanta 1
Basra 1
Bucharest 1
Cape Town 1
Carney 1
Colombo 1
Formiga 1
Joinville 1
Lakeland 1
Lanzhou 1
London 1
Lấp Vò 1
Milan 1
Munich 1
Norwalk 1
Quận Ninh Kiều 1
Rio de Janeiro 1
Rome 1
San José 1
Santa Bárbara d'Oeste 1
Santo André 1
Seattle 1
Silver Spring 1
The Dalles 1
Thái Nguyên 1
Tokyo 1
Turku 1
Ubá 1
Totale 175
Nome #
Timed HLPSL for specification and verification of time sensitive protocols 82
Timed protocols insecurity problem is NP-complete 79
TPMC: A model checker for time–sensitive security protocols 75
An environment for the specification and verification of time dependent security protocols. International Journal of Computers and Applications 71
Totale 307
Categoria #
all - tutte 1.040
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.040


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202112 0 0 0 0 0 4 0 0 2 3 3 0
2021/202222 2 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/2026101 27 8 12 11 37 6 0 0 0 0 0 0
Totale 307