PORTO @ Archivio Istituzionale della Ricerca

VALENZANO, ADRIANO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 17.614
EU - Europa 10.571
AS - Asia 6.100
SA - Sud America 391
AF - Africa 89
OC - Oceania 6
Continente sconosciuto - Info sul continente non disponibili 5
Totale 34.776
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 17.492
GB - Regno Unito 2.742
SG - Singapore 1.962
FR - Francia 1.902
DE - Germania 1.791
IT - Italia 1.522
VN - Vietnam 1.348
CN - Cina 1.164
RU - Federazione Russa 782
UA - Ucraina 550
HK - Hong Kong 378
KR - Corea 343
BR - Brasile 323
TR - Turchia 268
NL - Olanda 220
SE - Svezia 187
IE - Irlanda 179
IN - India 176
CH - Svizzera 148
FI - Finlandia 139
IL - Israele 84
AT - Austria 81
BE - Belgio 79
CA - Canada 74
JP - Giappone 73
MY - Malesia 44
PT - Portogallo 39
TH - Thailandia 39
TW - Taiwan 36
PL - Polonia 32
MX - Messico 29
ID - Indonesia 28
ES - Italia 27
RO - Romania 27
PH - Filippine 25
IQ - Iraq 24
AR - Argentina 23
BD - Bangladesh 22
PK - Pakistan 20
ZA - Sudafrica 20
CZ - Repubblica Ceca 18
JO - Giordania 16
SN - Senegal 16
IR - Iran 14
SA - Arabia Saudita 12
EU - Europa 11
KZ - Kazakistan 11
DZ - Algeria 10
DK - Danimarca 9
VE - Venezuela 9
CL - Cile 8
KE - Kenya 8
LT - Lituania 8
UY - Uruguay 8
UZ - Uzbekistan 8
AE - Emirati Arabi Uniti 7
EG - Egitto 7
BY - Bielorussia 6
EC - Ecuador 6
EE - Estonia 6
HR - Croazia 6
MA - Marocco 6
AL - Albania 5
AU - Australia 5
BA - Bosnia-Erzegovina 5
CO - Colombia 4
GH - Ghana 4
GR - Grecia 4
JM - Giamaica 4
KG - Kirghizistan 4
NP - Nepal 4
OM - Oman 4
PY - Paraguay 4
TN - Tunisia 4
AP - ???statistics.table.value.countryCode.AP??? 3
AZ - Azerbaigian 3
DO - Repubblica Dominicana 3
LB - Libano 3
MU - Mauritius 3
PA - Panama 3
PE - Perù 3
RS - Serbia 3
SY - Repubblica araba siriana 3
AO - Angola 2
BG - Bulgaria 2
BH - Bahrain 2
BO - Bolivia 2
CI - Costa d'Avorio 2
ET - Etiopia 2
GT - Guatemala 2
HN - Honduras 2
HU - Ungheria 2
LC - Santa Lucia 2
LV - Lettonia 2
MN - Mongolia 2
NG - Nigeria 2
NO - Norvegia 2
QA - Qatar 2
SC - Seychelles 2
SI - Slovenia 2
Totale 34.764
Salva come PNG Salva come JPEG
Città #
Ashburn 6.754
Southend 2.534
Boardman 2.184
Seattle 1.147
Singapore 1.128
Fairfield 728
Chandler 602
Woodbridge 405
Fremont 393
San Jose 386
Ann Arbor 364
Houston 347
Hanoi 337
Ho Chi Minh City 336
Turin 312
Jacksonville 297
Cambridge 292
Hong Kong 292
Princeton 282
Wilmington 278
Santa Clara 232
Beijing 188
Izmir 173
Dublin 172
Berlin 170
San Ramon 151
Bern 137
Milan 133
Los Angeles 130
Seoul 127
Helsinki 115
Chicago 114
Frankfurt 96
Hefei 94
San Donato Milanese 90
Dallas 89
Zhengzhou 87
Moscow 82
Lauterbourg 79
Shanghai 79
Torino 78
Brussels 76
Pennsylvania Furnace 74
Saint Petersburg 74
Baltimore 72
Buffalo 71
New York 70
Haiphong 64
Bologna 62
Overberg 61
Tongling 60
Des Moines 59
Mountain View 57
Vienna 57
Council Bluffs 56
Da Nang 52
Istanbul 51
Jerusalem 49
Amsterdam 44
Frankfurt am Main 44
San Francisco 44
Herkenbosch 43
Monopoli 43
Toronto 40
Guangzhou 38
Lisbon 38
London 35
Norwalk 35
Lecce 33
Tokyo 32
Munich 30
North Bergen 30
Redondo Beach 30
Malatya 29
São Paulo 29
Tel Aviv 26
San Diego 25
Hangzhou 23
Redwood City 23
Rome 23
Kwai Chung 22
Orem 20
Andover 19
Galati 19
Jakarta 18
Nuremberg 18
Columbus 17
Falls Church 17
Yubileyny 17
Zaporozhye 17
Naples 16
Bangkok 15
Johannesburg 15
Paris 15
Shenzhen 15
Atlanta 14
Grafing 14
Chennai 13
Groningen 13
Padua 13
Totale 24.143
Salva come PNG Salva come JPEG
Nome #
Exploiting Symmetries for Testing Equivalence in the Spi Calculus 778
Automatic Detection of Attacks on Cryptographic Protocols: a Case Study 776
A new knowledge representation strategy for cryptographic protocol analysis 755
Introducing Commutative and Associative Operators in Cryptographic Protocol Analysis 752
Integrating Performance Analysis in the Context of LOTOS-Based Design 730
Experimental Comparison of Automatic Tools for the Formal Analysis of Cryptographic Protocols 654
Tools for cryptographic protocols analysis: A technical and experimental comparison 632
Evaluating the Combined Effect of Vulnerabilities and Faults on Large Distributed Systems 631
Efficient Representation of the Attacker's Knowledge in Cryptographic Protocols Analysis 614
Detecting Chains of Vulnerabilities in Industrial Networks 614
On the use of automatic tools for the formal analysis of IEEE 802.11 key-exchange protocols 604
Derivation of Executable Code from Formal Protocol Specifications Written in LOTOS 577
A Graphical Tool for Protocol Design with Estelle 574
Fixed-Length Payload Encoding for Low-Jitter Controller Area Network Communication 564
Adaptive Bandwidth Balancing Mechanisms for DQDB Networks 561
Integration of Time Petri Nets and TE-LOTOS in the Design and Evaluation of Factory Communication Systems 557
Improving the Security of Industrial Networks by means of Formal Verification 547
System-Level Performance of an Automation Solution Based on Industry Standards 538
Exploiting symmetries for testing equivalence verification in the SPI calculus 526
Formal Specification and Verification of the Real-time Scheduler in FIP 496
A LOTOS Specification of the SERCOS Field-bus Protocol 484
Selection of token holding times in timed-token protocols 478
A Temporal and Probabilistic LOTOS Extension Oriented to Performance Modelling of Distributed Systems 478
Throughput Analysis of Timed Token Protocols in Double Ring Networks 453
Leveraging SDN To Improve Security in Industrial Networks 447
Implementation of algorithms for graphic surface modeling using transputers 445
A Mechanism to Prevent Stuff Bits in CAN for Achieving Jitterless Communication 440
Requirements for token holding times in timed-token protocols 432
A Formalization Of The FIP Protocol Using Estelle 423
A Model for the Analysis of Security Policies in Industrial Networks 420
On the equivalence of IEEE 802.4 and FDDI timed token protocols 418
A Static Semantic Analyzer for LOTOS Specifications 415
Esercizi di Fondamenti di Informatica 410
Design, verification, and performance of a MODBUS-CAN adaptation layer 403
Probabilistic Characterization of Algebraic Protocol Specifications 403
Some properties of double-ring networks with real-time constraints 402
Software-Based Assessment of the Synchronization and Error Handling Behavior of a Real CAN Controller 398
A State-Exploration Technique for Spi-Calculus Testing-Equivalence Verification 396
Modeling the Execution of LOTOS Specifications by Cooperating Extended Finite State Machines 393
Comparison of Adaptive Fairness Control Mechanisms for DQDBMetropolitan Area Networks 393
Automatic testing equivalence verification of spi calculus specifications 389
Upper bounds for the token rotation time in the 802.4 token passing bus 389
Systolic arrays for bicubical polynomial evaluation in computer graphics 387
Effect of jitter-reducing encoders on CAN error detection mechanisms 380
Performance comparison of mechanisms to reduce bit stuffing jitters in controller area networks 379
Limitazione del bit stuffing in una trama di comunicazione di un segnale elettronico 373
Performance analysis of type 3 LLC in industrial 802.5 nets 371
A Unified Class Model for Checking Security Policies in ICT Infrastructures 370
Design and implementation of an ISO/OSI session layer for a microprocessor-based LAN 368
On a family of run length limited, block decodable codes to prevent payload-induced jitter in Controller Area Networks 365
Automated Fixing of Access Policy Implementation in Industrial Networked Systems 360
From Real Data of Wireless Sensor Networks based on TSCH, to a Prediction of Reliability, Power Consumption, and Latency (dataset) 352
Performance evaluation and improvement of the CPU–CAN controller interface for low-jitter communication 345
Flexible Manufacturing Systems: the MODIAC Project 336
Evaluating and Modeling IEEE 802.15.4 TSCH Resilience against Wi-Fi Interference in New-Generation Highly-Dependable Wireless Sensor Networks 327
Un codec a basso jitter per reti CAN 323
Graphic LOTOS specification of an EN50254 system 321
High speed LANs based on fiber optics 317
VLSI STRUCTURES FOR SPEECH ANALYSIS AND PATTERN RECOGNITION. 314
MONOSK: A network operating system for real time applications 312
A comprehensive approach to the automatic refinement and verification of access control policies 309
A Model for the Analysis of Security Policies in Service Function Chains 304
Dynamic Data Management in STEP 293
ACKNOWLEDGEMENT AND PRIORITY MECHANISMS IN THE 802. 4 TOKEN-BUS. 276
Advanced Microprocessor Architectures 275
Wireless Sensor Networks and TSCH: a compromise between Reliability, Power Consumption and Latency 269
Efficient authentication mechanisms using the iAPX-432 268
Archiviazione a lungo termine di dati di prodotto conformi allo standard ISO 10303 259
PARTITIONED ARRAY FOR STABLE MATRIX TRIANGULARISATION. 257
DEFECT-TOLERANT ARRAY STRUCTURES FOR VLSI AND WSI ARCHITECTURES. 256
Le tecnologie per la descrizione dei dati di prodotto e la norma ISO 10303 252
PROCESS LOCATION STRATEGY IN A LAN FOR INDUSTRIAL APPLICATION. 248
Authentication mechanisms in microprocessor-based local area networks 247
Reduced Protocol Architectures for Factory Applications 242
MECHANISMS FOR COMMUNICATION RESOURCE MANAGEMENT IN ISO/OSI LAYERS. 240
Low cost serial multipliers for high-speed specialised processors 237
Scambio di dati di prodotto: un caso di studio 233
Performance evaluation of MiniMAP networks 227
A Distributed Operating System for Object-Based Machines 224
FAST AND ACCURATE MATRIX TRIANGULARIZATION USING AN ITERATIVE STRUCTURE. 213
iAPX 432 HARDWARE FAULT-HANDLING MECHANISMS. 210
Toward attribute-based access control policy in industrial networked systems 208
Assessing the Effectiveness of Channel Hopping in IEEE 802.15.4 TSCH Networks 207
RELIABILITY AND PERFORMANCE ISSUES IN FDDI NETWORKS. 197
PERFORMANCE ANALYSIS OF ACKNOWLEDGEMENT MECHANISMS IN TOKEN-BUS NETWORKS. 170
On the performance of the IEC 61158 Fieldbus 139
Review of Security Issues in Industrial Networks 138
On the description of access control policies in networked industrial systems 123
Linear Combination of Exponential Moving Averages for Wireless Channel Prediction 109
Predicting Wireless Channel Quality by means of Moving Averages and Regression Models 106
Standard field bus networks for industrial applications 105
Totale 34.930
Salva come PNG Salva come JPEG
Categoria #
all - tutte 79.575
article - articoli 27.274
book - libri 1.636
conference - conferenze 47.538
curatela - curatele 0
other - altro 875
patent - brevetti 835
selected - selezionate 0
volume - volumi 1.417
Totale 159.150
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021357 0 0 0 0 0 0 0 0 0 144 147 66
2021/20221.525 73 123 36 102 90 149 60 81 90 141 285 295
2022/20231.778 175 307 111 179 133 263 140 77 161 8 75 149
2023/2024589 34 78 75 30 49 78 19 14 11 19 68 114
2024/20252.759 89 354 155 401 142 151 156 190 397 116 203 405
2025/20266.356 369 312 368 510 473 417 1.086 623 1.402 796 0 0
Totale 34.930