PORTO @ Archivio Istituzionale della Ricerca

CIBRARIO BERTOLOTTI, IVAN
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 6.065
EU - Europa 3.949
AS - Asia 851
SA - Sud America 68
AF - Africa 24
Continente sconosciuto - Info sul continente non disponibili 3
OC - Oceania 3
Totale 10.963
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 6.030
GB - Regno Unito 1.037
DE - Germania 826
IT - Italia 716
FR - Francia 658
SG - Singapore 301
CN - Cina 263
UA - Ucraina 195
RU - Federazione Russa 103
TR - Turchia 93
SE - Svezia 83
NL - Olanda 68
KR - Corea 67
IE - Irlanda 62
BR - Brasile 54
FI - Finlandia 51
CH - Svizzera 49
HK - Hong Kong 28
CA - Canada 27
BE - Belgio 24
MY - Malesia 23
AT - Austria 21
IN - India 19
JP - Giappone 18
SN - Senegal 11
DK - Danimarca 9
ID - Indonesia 8
IL - Israele 8
AR - Argentina 7
CZ - Repubblica Ceca 6
RO - Romania 6
EE - Estonia 5
TW - Taiwan 5
CL - Cile 4
EU - Europa 4
GH - Ghana 4
JO - Giordania 4
KZ - Kazakistan 4
LT - Lituania 4
MX - Messico 4
PK - Pakistan 4
IR - Iran 3
MA - Marocco 3
PL - Polonia 3
VN - Vietnam 3
AP - ???statistics.table.value.countryCode.AP??? 2
HR - Croazia 2
KG - Kirghizistan 2
LC - Santa Lucia 2
NZ - Nuova Zelanda 2
TH - Thailandia 2
ZA - Sudafrica 2
AL - Albania 1
AU - Australia 1
BD - Bangladesh 1
BO - Bolivia 1
CG - Congo 1
CI - Costa d'Avorio 1
EC - Ecuador 1
ES - Italia 1
GT - Guatemala 1
HU - Ungheria 1
KE - Kenya 1
KH - Cambogia 1
LB - Libano 1
NO - Norvegia 1
OM - Oman 1
PA - Panama 1
PH - Filippine 1
PT - Portogallo 1
QA - Qatar 1
SA - Arabia Saudita 1
SC - Seychelles 1
SK - Slovacchia (Repubblica Slovacca) 1
UZ - Uzbekistan 1
VE - Venezuela 1
Totale 10.963
Salva come PNG Salva come JPEG
Città #
Ashburn 2.741
Southend 965
Boardman 801
Seattle 365
Fairfield 251
Chandler 212
Fremont 155
Singapore 144
Turin 142
Woodbridge 141
Ann Arbor 134
Cambridge 114
Jacksonville 103
Wilmington 98
Houston 93
Princeton 86
Izmir 67
Dublin 61
Bologna 59
Santa Clara 56
Berlin 55
Bern 44
Helsinki 40
Chicago 38
San Ramon 38
Zhengzhou 37
Milan 35
San Donato Milanese 33
Lecce 32
Shanghai 32
Beijing 30
Mountain View 30
Torino 29
Baltimore 25
Frankfurt 25
Saint Petersburg 25
Pennsylvania Furnace 22
Brussels 21
Des Moines 21
Kwai Chung 20
Guangzhou 19
Munich 18
Overberg 18
Amsterdam 17
Council Bluffs 17
Monopoli 15
Vienna 15
Hangzhou 14
Seoul 14
London 13
New York 12
Overland Park 12
Tongling 12
Istanbul 11
San Francisco 11
Zaporozhye 11
Columbus 10
Malatya 10
Moscow 10
Naples 10
Osaka 10
Ottawa 10
Lansing 9
Los Angeles 9
Putian 9
Falls Church 8
Imola 8
Kansas City 8
Padua 8
Rome 8
San Diego 8
Toronto 8
Wuhan 8
Hellemmes 7
Norwalk 7
Shaoxing 7
Melun 6
Redwood City 6
Turku 6
Virginia 6
Asti 5
Central District 5
Jinan 5
Kiev 5
Lugano 5
Miami 5
Paris 5
Shenzhen 5
Verona 5
Yubileyny 5
Accra 4
Brno 4
Brugnera 4
Cupertino 4
Harbin 4
Hone 4
Modena 4
Nola 4
Paterno 4
Piscataway 4
Totale 7.935
Salva come PNG Salva come JPEG
Nome #
Exploiting Symmetries for Testing Equivalence in the Spi Calculus 718
Automatic Detection of Attacks on Cryptographic Protocols: a Case Study 715
Introducing Commutative and Associative Operators in Cryptographic Protocol Analysis 692
A new knowledge representation strategy for cryptographic protocol analysis 685
Experimental Comparison of Automatic Tools for the Formal Analysis of Cryptographic Protocols 563
Evaluating the Combined Effect of Vulnerabilities and Faults on Large Distributed Systems 540
Tools for cryptographic protocols analysis: A technical and experimental comparison 532
Efficient Representation of the Attacker's Knowledge in Cryptographic Protocols Analysis 529
Detecting Chains of Vulnerabilities in Industrial Networks 518
On the use of automatic tools for the formal analysis of IEEE 802.11 key-exchange protocols 515
Improving the Security of Industrial Networks by means of Formal Verification 461
Exploiting symmetries for testing equivalence verification in the SPI calculus 455
A Mechanism to Prevent Stuff Bits in CAN for Achieving Jitterless Communication 361
A Model for the Analysis of Security Policies in Industrial Networks 354
Design, verification, and performance of a MODBUS-CAN adaptation layer 311
A Unified Class Model for Checking Security Policies in ICT Infrastructures 306
Modular design of an open-source, networked embedded system 305
Model checking 303
Effect of jitter-reducing encoders on CAN error detection mechanisms 298
Performance comparison of mechanisms to reduce bit stuffing jitters in controller area networks 297
Limitazione del bit stuffing in una trama di comunicazione di un segnale elettronico 285
Formal Verification of a Distributed Master Election Protocol 280
Performance evaluation and improvement of the CPU–CAN controller interface for low-jitter communication 274
Real-Time Performance of an Open-Source Protocol Stack for Low-Cost, Embedded Systems 250
Un codec a basso jitter per reti CAN 240
Analisi di una pila protocol lare open source per sistemi in tempo reale a basso costo 212
Totale 10.999
Salva come PNG Salva come JPEG
Categoria #
all - tutte 23.461
article - articoli 7.546
book - libri 0
conference - conferenze 14.558
curatela - curatele 0
other - altro 0
patent - brevetti 677
selected - selezionate 0
volume - volumi 680
Totale 46.922
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021634 72 85 33 80 30 66 31 61 33 60 61 22
2021/2022557 34 41 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/202630 30 0 0 0 0 0 0 0 0 0 0 0
Totale 10.999