PORTO @ Archivio Istituzionale della Ricerca

PIRONTI, ALFREDO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 5.283
EU - Europa 2.542
AS - Asia 1.582
SA - Sud America 110
AF - Africa 30
OC - Oceania 10
Continente sconosciuto - Info sul continente non disponibili 8
Totale 9.565
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 5.255
DE - Germania 563
IT - Italia 535
SG - Singapore 493
FR - Francia 423
CN - Cina 419
GB - Regno Unito 367
VN - Vietnam 298
RU - Federazione Russa 142
UA - Ucraina 123
HK - Hong Kong 92
BR - Brasile 78
IE - Irlanda 73
KR - Corea 65
NL - Olanda 64
TR - Turchia 57
AT - Austria 49
IN - India 47
GR - Grecia 39
SE - Svezia 29
CH - Svizzera 27
FI - Finlandia 25
CA - Canada 22
BE - Belgio 19
MY - Malesia 16
JP - Giappone 13
PT - Portogallo 13
ZA - Sudafrica 13
ID - Indonesia 12
AR - Argentina 11
TH - Thailandia 11
AP - ???statistics.table.value.countryCode.AP??? 10
AU - Australia 9
CL - Cile 9
PH - Filippine 9
PL - Polonia 9
EU - Europa 8
IL - Israele 8
PK - Pakistan 7
TW - Taiwan 7
BD - Bangladesh 5
BG - Bulgaria 5
KZ - Kazakistan 5
SA - Arabia Saudita 5
SN - Senegal 5
ES - Italia 4
RO - Romania 4
CO - Colombia 3
DK - Danimarca 3
EG - Egitto 3
IQ - Iraq 3
KE - Kenya 3
MA - Marocco 3
MX - Messico 3
PY - Paraguay 3
UZ - Uzbekistan 3
VE - Venezuela 3
BO - Bolivia 2
BY - Bielorussia 2
JO - Giordania 2
LT - Lituania 2
NO - Norvegia 2
NP - Nepal 2
SY - Repubblica araba siriana 2
A2 - ???statistics.table.value.countryCode.A2??? 1
AG - Antigua e Barbuda 1
AL - Albania 1
AZ - Azerbaigian 1
BB - Barbados 1
CR - Costa Rica 1
CZ - Repubblica Ceca 1
EC - Ecuador 1
EE - Estonia 1
ET - Etiopia 1
GH - Ghana 1
KW - Kuwait 1
LV - Lettonia 1
MD - Moldavia 1
MK - Macedonia 1
NE - Niger 1
NZ - Nuova Zelanda 1
OM - Oman 1
SI - Slovenia 1
Totale 9.565
Salva come PNG Salva come JPEG
Città #
Ashburn 1.956
Boardman 788
Seattle 282
Fairfield 275
Southend 275
Singapore 213
Woodbridge 137
Fremont 134
San Jose 122
Ann Arbor 113
Chandler 107
Turin 103
Houston 102
Beijing 96
Buffalo 96
Cambridge 96
Ho Chi Minh City 91
Wilmington 86
Hong Kong 77
Dublin 72
Santa Clara 59
Jacksonville 58
Des Moines 57
Princeton 51
Hanoi 50
Torino 48
Milan 42
Chicago 39
Lauterbourg 39
Athens 38
Guangzhou 38
Los Angeles 38
Dallas 36
Vienna 31
Berlin 30
North Bergen 30
Bologna 28
Izmir 28
Shanghai 28
San Francisco 26
Moscow 25
Seoul 25
Groningen 23
San Ramon 23
Bern 21
Helsinki 19
New York 19
Zhengzhou 18
Putian 17
Rome 17
San Donato Milanese 17
Wuhan 16
Brussels 15
Baltimore 14
Istanbul 14
Overberg 14
Padua 14
Pennsylvania Furnace 14
University Park 14
Zaporozhye 14
Da Nang 13
Hefei 13
Lisbon 13
Tongling 13
Frankfurt am Main 12
Hangzhou 12
Shenzhen 12
Amsterdam 11
Frankfurt Am Main 11
Las Vegas 11
Monopoli 10
San Diego 10
Valfenera 10
Clearwater 9
Frankfurt 9
Jakarta 9
Uckfield 9
Lecce 8
Muizenberg 8
Phoenix 8
Quanzhou 8
Guidonia 7
Nuremberg 7
Redwood City 7
Toronto 7
Dong Ket 6
Falls Church 6
Fuzhou 6
Haiphong 6
Karlsruhe 6
London 6
Mountain View 6
Paris 6
Seongnam 6
São Paulo 6
Warsaw 6
Atlanta 5
Bangkok 5
Braunschweig 5
Gilroy 5
Totale 6.701
Salva come PNG Salva come JPEG
Nome #
Formal Verification of Security Protocol Implementations: A Survey 849
Formally based semi-automatic implementation of an open security protocol 845
Formally Sound Refinement of Spi Calculus Protocol Specifications into Java Code 747
Visual Model-Driven Design, Verification and Implementation of Security Protocols 728
The JavaSPI Framework for Security Protocol Implementation 715
Formal Vulnerability Analysis of a Security System for Remote Fieldbus Access 707
Provably correct Java implementations of Spi Calculus security protocols specifications 706
An Experiment in Interoperable Cryptographic Protocol Implementation Using Automatic Code Generation 676
Safe abstractions of data encodings in formal security protocol models 676
Formally-Based Black-Box Monitoring of Security Protocols 598
Soundness Conditions for Message Encoding Abstractions in Formal Security Protocol Models 580
Automated Formal Methods for Security Protocol Engineering 559
Soundness Conditions for Cryptographic Algorithms and Parameters Abstractions in Formal Security Protocol Models 540
JavaSPI: A Framework for Security Protocol Implementation 524
The new divertor tokamak test facility 184
Totale 9.634
Salva come PNG Salva come JPEG
Categoria #
all - tutte 18.946
article - articoli 9.470
book - libri 0
conference - conferenze 8.306
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 1.170
Totale 37.892
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202150 0 0 0 0 0 0 0 0 0 0 27 23
2021/2022266 17 24 1 8 17 31 39 10 26 22 33 38
2022/2023405 25 67 7 30 40 47 73 24 38 1 26 27
2023/2024149 8 24 23 4 5 3 14 6 2 7 27 26
2024/2025605 14 61 18 57 28 39 40 45 87 48 56 112
2025/20261.478 108 68 78 101 135 117 255 125 269 182 40 0
Totale 9.634