PORTO @ Archivio Istituzionale della Ricerca

PIRONTI, ALFREDO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 5.109
EU - Europa 2.358
AS - Asia 1.069
SA - Sud America 99
AF - Africa 25
OC - Oceania 9
Continente sconosciuto - Info sul continente non disponibili 8
Totale 8.677
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 5.085
DE - Germania 556
IT - Italia 512
SG - Singapore 410
FR - Francia 404
CN - Cina 393
GB - Regno Unito 365
UA - Ucraina 123
IE - Irlanda 73
BR - Brasile 70
RU - Federazione Russa 58
KR - Corea 57
TR - Turchia 55
AT - Austria 46
NL - Olanda 40
GR - Grecia 39
HK - Hong Kong 35
SE - Svezia 29
CH - Svizzera 27
FI - Finlandia 25
IN - India 25
VN - Vietnam 22
CA - Canada 18
BE - Belgio 16
MY - Malesia 16
ZA - Sudafrica 12
ID - Indonesia 11
AP - ???statistics.table.value.countryCode.AP??? 10
AR - Argentina 10
CL - Cile 9
JP - Giappone 9
PL - Polonia 9
AU - Australia 8
EU - Europa 8
IL - Israele 8
PK - Pakistan 6
SN - Senegal 5
BG - Bulgaria 4
RO - Romania 4
CO - Colombia 3
IQ - Iraq 3
KZ - Kazakistan 3
MX - Messico 3
PY - Paraguay 3
SA - Arabia Saudita 3
UZ - Uzbekistan 3
VE - Venezuela 3
BD - Bangladesh 2
BY - Bielorussia 2
DK - Danimarca 2
EG - Egitto 2
KE - Kenya 2
LT - Lituania 2
NO - Norvegia 2
PH - Filippine 2
TW - Taiwan 2
A2 - ???statistics.table.value.countryCode.A2??? 1
AG - Antigua e Barbuda 1
AL - Albania 1
AZ - Azerbaigian 1
BB - Barbados 1
BO - Bolivia 1
CR - Costa Rica 1
CZ - Repubblica Ceca 1
EE - Estonia 1
ES - Italia 1
ET - Etiopia 1
GH - Ghana 1
JO - Giordania 1
KW - Kuwait 1
LV - Lettonia 1
MA - Marocco 1
MD - Moldavia 1
MK - Macedonia 1
NE - Niger 1
NZ - Nuova Zelanda 1
OM - Oman 1
SY - Repubblica araba siriana 1
TH - Thailandia 1
Totale 8.677
Salva come PNG Salva come JPEG
Città #
Ashburn 1.947
Boardman 788
Seattle 281
Fairfield 275
Southend 275
Singapore 147
Woodbridge 137
Fremont 134
Ann Arbor 113
Chandler 107
Houston 102
Cambridge 96
Beijing 93
Buffalo 92
Turin 89
Wilmington 86
Dublin 72
Jacksonville 58
Des Moines 56
Santa Clara 54
San Jose 52
Princeton 51
Torino 48
Milan 41
Athens 38
Guangzhou 38
Chicago 37
Dallas 35
Berlin 30
North Bergen 30
Vienna 29
Bologna 28
Hong Kong 28
Izmir 28
Shanghai 28
San Francisco 26
Lauterbourg 24
San Ramon 23
Bern 21
Seoul 21
Helsinki 19
Los Angeles 18
Zhengzhou 18
Putian 17
San Donato Milanese 17
Wuhan 16
Brussels 15
Rome 15
Baltimore 14
Istanbul 14
Overberg 14
Padua 14
Pennsylvania Furnace 14
University Park 14
Zaporozhye 14
Tongling 13
Hangzhou 12
Shenzhen 12
Frankfurt Am Main 11
Frankfurt am Main 11
Las Vegas 11
Moscow 11
Amsterdam 10
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
New York 7
Redwood City 7
Toronto 7
Dong Ket 6
Falls Church 6
Fuzhou 6
Ho Chi Minh City 6
Karlsruhe 6
London 6
Mountain View 6
Nuremberg 6
Seongnam 6
São Paulo 6
Warsaw 6
Braunschweig 5
Gilroy 5
Indiana 5
Kwai Chung 5
Norwalk 5
Nürnberg 5
Overland Park 5
Paris 5
Andover 4
Bousson 4
Catania 4
Totale 6.226
Salva come PNG Salva come JPEG
Nome #
Formally based semi-automatic implementation of an open security protocol 783
Formal Verification of Security Protocol Implementations: A Survey 767
Formally Sound Refinement of Spi Calculus Protocol Specifications into Java Code 692
The JavaSPI Framework for Security Protocol Implementation 665
Visual Model-Driven Design, Verification and Implementation of Security Protocols 665
Provably correct Java implementations of Spi Calculus security protocols specifications 653
Formal Vulnerability Analysis of a Security System for Remote Fieldbus Access 646
An Experiment in Interoperable Cryptographic Protocol Implementation Using Automatic Code Generation 620
Safe abstractions of data encodings in formal security protocol models 593
Formally-Based Black-Box Monitoring of Security Protocols 539
Soundness Conditions for Message Encoding Abstractions in Formal Security Protocol Models 520
Automated Formal Methods for Security Protocol Engineering 506
Soundness Conditions for Cryptographic Algorithms and Parameters Abstractions in Formal Security Protocol Models 501
JavaSPI: A Framework for Security Protocol Implementation 471
The new divertor tokamak test facility 125
Totale 8.746
Salva come PNG Salva come JPEG
Categoria #
all - tutte 17.552
article - articoli 8.793
book - libri 0
conference - conferenze 7.669
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 1.090
Totale 35.104
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021210 0 0 0 0 0 36 12 42 19 51 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/2026590 108 68 78 101 135 100 0 0 0 0 0 0
Totale 8.746