PORTO @ Archivio Istituzionale della Ricerca

CIBRARIO BERTOLOTTI, IVAN
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 6.680
EU - Europa 4.311
AS - Asia 2.110
SA - Sud America 136
AF - Africa 41
Continente sconosciuto - Info sul continente non disponibili 39
OC - Oceania 3
Totale 13.320
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 6.612
GB - Regno Unito 1.054
DE - Germania 848
IT - Italia 768
FR - Francia 700
SG - Singapore 611
VN - Vietnam 542
CN - Cina 404
RU - Federazione Russa 275
UA - Ucraina 196
HK - Hong Kong 137
KR - Corea 103
BR - Brasile 97
TR - Turchia 93
SE - Svezia 85
NL - Olanda 74
IE - Irlanda 62
FI - Finlandia 56
CH - Svizzera 53
CA - Canada 46
IN - India 46
BD - Bangladesh 30
JP - Giappone 26
BE - Belgio 25
MY - Malesia 24
AT - Austria 21
AR - Argentina 18
TW - Taiwan 16
TH - Thailandia 15
PT - Portogallo 13
SN - Senegal 12
ID - Indonesia 10
PL - Polonia 10
DK - Danimarca 9
IL - Israele 9
IQ - Iraq 9
PH - Filippine 9
RO - Romania 9
CZ - Repubblica Ceca 8
CL - Cile 7
MX - Messico 7
ZA - Sudafrica 7
EE - Estonia 6
ES - Italia 6
PK - Pakistan 6
SA - Arabia Saudita 6
JO - Giordania 5
LT - Lituania 5
AL - Albania 4
EC - Ecuador 4
EU - Europa 4
GH - Ghana 4
KZ - Kazakistan 4
MA - Marocco 4
DZ - Algeria 3
IR - Iran 3
KE - Kenya 3
UY - Uruguay 3
AP - ???statistics.table.value.countryCode.AP??? 2
AZ - Azerbaigian 2
CO - Colombia 2
CR - Costa Rica 2
DO - Repubblica Dominicana 2
HR - Croazia 2
JM - Giamaica 2
KG - Kirghizistan 2
LC - Santa Lucia 2
NO - Norvegia 2
NZ - Nuova Zelanda 2
OM - Oman 2
PA - Panama 2
PY - Paraguay 2
UZ - Uzbekistan 2
AE - Emirati Arabi Uniti 1
AI - Anguilla 1
AU - Australia 1
BG - Bulgaria 1
BO - Bolivia 1
CG - Congo 1
CI - Costa d'Avorio 1
ET - Etiopia 1
GA - Gabon 1
GE - Georgia 1
GT - Guatemala 1
HN - Honduras 1
HT - Haiti 1
HU - Ungheria 1
IS - Islanda 1
KH - Cambogia 1
LB - Libano 1
MN - Mongolia 1
MT - Malta 1
MU - Mauritius 1
PE - Perù 1
PR - Porto Rico 1
QA - Qatar 1
SC - Seychelles 1
SK - Slovacchia (Repubblica Slovacca) 1
TG - Togo 1
TN - Tunisia 1
Totale 13.283
Salva come PNG Salva come JPEG
Città #
Ashburn 2.831
Southend 965
Boardman 801
Seattle 369
Singapore 337
Fairfield 251
Chandler 212
Turin 168
Fremont 155
San Jose 152
Ho Chi Minh City 145
Woodbridge 141
Ann Arbor 134
Hanoi 130
Cambridge 114
Jacksonville 104
Wilmington 98
Houston 94
Hong Kong 91
Princeton 86
Santa Clara 71
Izmir 67
Dublin 61
Bologna 60
Beijing 58
Berlin 55
Los Angeles 51
Helsinki 45
Bern 44
Council Bluffs 44
Chicago 42
Moscow 41
Milan 38
San Ramon 38
Zhengzhou 37
Shanghai 34
San Donato Milanese 33
Lecce 32
Seoul 32
New York 31
Mountain View 30
Torino 29
Baltimore 26
Da Nang 25
Frankfurt 25
Saint Petersburg 25
Haiphong 23
North Bergen 23
Brussels 22
Pennsylvania Furnace 22
Des Moines 21
Frankfurt am Main 21
Guangzhou 21
Lauterbourg 21
Amsterdam 20
Kwai Chung 20
Buffalo 19
Dallas 19
Hefei 19
Munich 18
Overberg 18
London 16
Monopoli 15
San Francisco 15
Vienna 15
Hangzhou 14
Lisbon 12
Overland Park 12
Tongling 12
Istanbul 11
Naples 11
Toronto 11
Zaporozhye 11
Columbus 10
Malatya 10
Osaka 10
Ottawa 10
Lansing 9
Putian 9
Rome 9
Bangkok 8
Falls Church 8
Imola 8
Kansas City 8
Montreal 8
Padua 8
San Diego 8
São Paulo 8
Wuhan 8
Hellemmes 7
Miami 7
Norwalk 7
Shaoxing 7
Vũng Tàu 7
Bắc Ninh 6
Hải Dương 6
Melun 6
Orem 6
Paris 6
Redwood City 6
Totale 9.124
Salva come PNG Salva come JPEG
Nome #
Automatic Detection of Attacks on Cryptographic Protocols: a Case Study 798
Exploiting Symmetries for Testing Equivalence in the Spi Calculus 789
A new knowledge representation strategy for cryptographic protocol analysis 764
Introducing Commutative and Associative Operators in Cryptographic Protocol Analysis 763
Experimental Comparison of Automatic Tools for the Formal Analysis of Cryptographic Protocols 669
Evaluating the Combined Effect of Vulnerabilities and Faults on Large Distributed Systems 649
Detecting Chains of Vulnerabilities in Industrial Networks 640
Tools for cryptographic protocols analysis: A technical and experimental comparison 638
Efficient Representation of the Attacker's Knowledge in Cryptographic Protocols Analysis 635
On the use of automatic tools for the formal analysis of IEEE 802.11 key-exchange protocols 613
Improving the Security of Industrial Networks by means of Formal Verification 560
Exploiting symmetries for testing equivalence verification in the SPI calculus 552
A Mechanism to Prevent Stuff Bits in CAN for Achieving Jitterless Communication 449
A Model for the Analysis of Security Policies in Industrial Networks 425
A Unified Class Model for Checking Security Policies in ICT Infrastructures 413
Design, verification, and performance of a MODBUS-CAN adaptation layer 407
Model checking 394
Performance comparison of mechanisms to reduce bit stuffing jitters in controller area networks 387
Modular design of an open-source, networked embedded system 387
Effect of jitter-reducing encoders on CAN error detection mechanisms 386
Limitazione del bit stuffing in una trama di comunicazione di un segnale elettronico 377
Performance evaluation and improvement of the CPU–CAN controller interface for low-jitter communication 350
Formal Verification of a Distributed Master Election Protocol 344
Real-Time Performance of an Open-Source Protocol Stack for Low-Cost, Embedded Systems 328
Un codec a basso jitter per reti CAN 327
Analisi di una pila protocol lare open source per sistemi in tempo reale a basso costo 276
Totale 13.320
Salva come PNG Salva come JPEG
Categoria #
all - tutte 29.047
article - articoli 9.419
book - libri 0
conference - conferenze 17.867
curatela - curatele 0
other - altro 0
patent - brevetti 893
selected - selezionate 0
volume - volumi 868
Totale 58.094
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022482 0 0 21 41 58 56 21 37 40 37 93 78
2022/2023620 61 102 35 71 46 85 45 30 60 1 36 48
2023/2024240 14 39 52 13 15 10 8 9 3 0 30 47
2024/2025710 21 108 32 96 42 41 9 48 141 36 57 79
2025/20262.188 99 79 97 134 151 147 470 187 434 244 47 99
2026/2027163 73 58 32 0 0 0 0 0 0 0 0 0
Totale 13.320