PORTO @ Archivio Istituzionale della Ricerca

PIRONTI, ALFREDO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 5.262
EU - Europa 2.541
AS - Asia 1.580
SA - Sud America 110
AF - Africa 30
OC - Oceania 10
Continente sconosciuto - Info sul continente non disponibili 8
Totale 9.541
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 5.235
DE - Germania 563
IT - Italia 534
SG - Singapore 492
FR - Francia 423
CN - Cina 418
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 21
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.541
Salva come PNG Salva come JPEG
Città #
Ashburn 1.955
Boardman 788
Seattle 282
Fairfield 275
Southend 275
Singapore 212
Woodbridge 137
Fremont 134
Ann Arbor 113
San Jose 109
Chandler 107
Turin 103
Houston 102
Buffalo 96
Cambridge 96
Beijing 95
Ho Chi Minh City 91
Wilmington 86
Hong Kong 77
Dublin 72
Jacksonville 58
Santa Clara 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
San Donato Milanese 17
Rome 16
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.683
Salva come PNG Salva come JPEG
Nome #
Formal Verification of Security Protocol Implementations: A Survey 845
Formally based semi-automatic implementation of an open security protocol 843
Formally Sound Refinement of Spi Calculus Protocol Specifications into Java Code 746
Visual Model-Driven Design, Verification and Implementation of Security Protocols 725
The JavaSPI Framework for Security Protocol Implementation 714
Formal Vulnerability Analysis of a Security System for Remote Fieldbus Access 704
Provably correct Java implementations of Spi Calculus security protocols specifications 704
An Experiment in Interoperable Cryptographic Protocol Implementation Using Automatic Code Generation 675
Safe abstractions of data encodings in formal security protocol models 675
Formally-Based Black-Box Monitoring of Security Protocols 597
Soundness Conditions for Message Encoding Abstractions in Formal Security Protocol Models 577
Automated Formal Methods for Security Protocol Engineering 557
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.610
Salva come PNG Salva come JPEG
Categoria #
all - tutte 18.797
article - articoli 9.402
book - libri 0
conference - conferenze 8.234
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 1.161
Totale 37.594
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.454 108 68 78 101 135 117 255 125 269 182 16 0
Totale 9.610