PORTO @ Archivio Istituzionale della Ricerca

VALENZANO, ADRIANO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 18.173
EU - Europa 10.689
AS - Asia 6.155
SA - Sud America 398
AF - Africa 89
OC - Oceania 6
Continente sconosciuto - Info sul continente non disponibili 5
Totale 35.515
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 18.041
GB - Regno Unito 2.742
SG - Singapore 1.975
FR - Francia 1.902
DE - Germania 1.791
IT - Italia 1.629
VN - Vietnam 1.348
CN - Cina 1.166
RU - Federazione Russa 782
UA - Ucraina 550
HK - Hong Kong 381
KR - Corea 344
BR - Brasile 325
TR - Turchia 268
NL - Olanda 221
SE - Svezia 187
IE - Irlanda 179
IN - India 176
CH - Svizzera 150
FI - Finlandia 139
IL - Israele 84
AT - Austria 81
BE - Belgio 80
CA - Canada 80
JP - Giappone 75
BD - Bangladesh 55
MY - Malesia 44
PT - Portogallo 39
TH - Thailandia 39
TW - Taiwan 36
PL - Polonia 32
MX - Messico 30
ES - Italia 29
ID - Indonesia 29
RO - Romania 28
PH - Filippine 25
IQ - Iraq 24
AR - Argentina 23
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
LT - Lituania 9
UY - Uruguay 9
VE - Venezuela 9
CL - Cile 8
KE - Kenya 8
UZ - Uzbekistan 8
AE - Emirati Arabi Uniti 7
EE - Estonia 7
EG - Egitto 7
AL - Albania 6
BY - Bielorussia 6
CO - Colombia 6
EC - Ecuador 6
HR - Croazia 6
JM - Giamaica 6
MA - Marocco 6
AU - Australia 5
BA - Bosnia-Erzegovina 5
PE - Perù 5
GH - Ghana 4
GR - Grecia 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
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 35.501
Salva come PNG Salva come JPEG
Città #
Ashburn 6.775
Southend 2.534
Boardman 2.185
Seattle 1.147
Singapore 1.133
Fairfield 728
Chandler 602
San Jose 513
Woodbridge 405
Fremont 393
Ann Arbor 364
Houston 347
Hanoi 337
Ho Chi Minh City 336
Turin 318
Jacksonville 298
Hong Kong 295
Cambridge 292
Princeton 282
Wilmington 278
Santa Clara 235
Beijing 189
Izmir 173
Dublin 172
Berlin 170
Milan 169
San Ramon 151
Bern 137
Los Angeles 136
Seoul 128
Chicago 116
Helsinki 115
Dallas 96
Frankfurt 96
Hefei 94
San Donato Milanese 90
Zhengzhou 87
Moscow 82
Lauterbourg 79
Shanghai 79
New York 78
Torino 78
Brussels 77
Baltimore 76
Pennsylvania Furnace 74
Saint Petersburg 74
Buffalo 71
Council Bluffs 68
Bologna 64
Haiphong 64
Overberg 61
Tongling 60
Des Moines 59
Mountain View 57
Vienna 57
Da Nang 52
Istanbul 51
Jerusalem 49
Amsterdam 44
Frankfurt am Main 44
San Francisco 44
Herkenbosch 43
Monopoli 43
Toronto 41
Rome 40
Guangzhou 38
Lisbon 38
London 35
Norwalk 35
Tokyo 34
Lecce 33
Munich 30
North Bergen 30
Redondo Beach 30
Malatya 29
São Paulo 29
Tel Aviv 26
San Diego 25
Naples 24
Hangzhou 23
Redwood City 23
Kwai Chung 22
Orem 21
Andover 19
Galati 19
Jakarta 19
Nuremberg 18
Columbus 17
Falls Church 17
Yubileyny 17
Zaporozhye 17
Atlanta 16
Bangkok 15
Johannesburg 15
Paris 15
Shenzhen 15
Grafing 14
Chennai 13
Groningen 13
Padua 13
Totale 24.422
Salva come PNG Salva come JPEG
Nome #
Automatic Detection of Attacks on Cryptographic Protocols: a Case Study 784
Exploiting Symmetries for Testing Equivalence in the Spi Calculus 784
Integrating Performance Analysis in the Context of LOTOS-Based Design 762
A new knowledge representation strategy for cryptographic protocol analysis 760
Introducing Commutative and Associative Operators in Cryptographic Protocol Analysis 756
Experimental Comparison of Automatic Tools for the Formal Analysis of Cryptographic Protocols 661
Evaluating the Combined Effect of Vulnerabilities and Faults on Large Distributed Systems 637
Tools for cryptographic protocols analysis: A technical and experimental comparison 636
Detecting Chains of Vulnerabilities in Industrial Networks 628
Efficient Representation of the Attacker's Knowledge in Cryptographic Protocols Analysis 624
On the use of automatic tools for the formal analysis of IEEE 802.11 key-exchange protocols 609
Derivation of Executable Code from Formal Protocol Specifications Written in LOTOS 600
A Graphical Tool for Protocol Design with Estelle 594
Fixed-Length Payload Encoding for Low-Jitter Controller Area Network Communication 571
Adaptive Bandwidth Balancing Mechanisms for DQDB Networks 566
Integration of Time Petri Nets and TE-LOTOS in the Design and Evaluation of Factory Communication Systems 559
Improving the Security of Industrial Networks by means of Formal Verification 550
System-Level Performance of an Automation Solution Based on Industry Standards 540
Exploiting symmetries for testing equivalence verification in the SPI calculus 538
Formal Specification and Verification of the Real-time Scheduler in FIP 519
A LOTOS Specification of the SERCOS Field-bus Protocol 508
A Temporal and Probabilistic LOTOS Extension Oriented to Performance Modelling of Distributed Systems 492
Selection of token holding times in timed-token protocols 482
Throughput Analysis of Timed Token Protocols in Double Ring Networks 481
Leveraging SDN To Improve Security in Industrial Networks 472
A Mechanism to Prevent Stuff Bits in CAN for Achieving Jitterless Communication 448
Implementation of algorithms for graphic surface modeling using transputers 447
A Formalization Of The FIP Protocol Using Estelle 442
Requirements for token holding times in timed-token protocols 440
A Static Semantic Analyzer for LOTOS Specifications 438
On the equivalence of IEEE 802.4 and FDDI timed token protocols 425
A Model for the Analysis of Security Policies in Industrial Networks 423
Probabilistic Characterization of Algebraic Protocol Specifications 423
Esercizi di Fondamenti di Informatica 414
Modeling the Execution of LOTOS Specifications by Cooperating Extended Finite State Machines 412
Some properties of double-ring networks with real-time constraints 409
Design, verification, and performance of a MODBUS-CAN adaptation layer 405
Comparison of Adaptive Fairness Control Mechanisms for DQDBMetropolitan Area Networks 403
Software-Based Assessment of the Synchronization and Error Handling Behavior of a Real CAN Controller 399
Automatic testing equivalence verification of spi calculus specifications 398
A State-Exploration Technique for Spi-Calculus Testing-Equivalence Verification 398
Systolic arrays for bicubical polynomial evaluation in computer graphics 396
Upper bounds for the token rotation time in the 802.4 token passing bus 392
Automated Fixing of Access Policy Implementation in Industrial Networked Systems 385
Effect of jitter-reducing encoders on CAN error detection mechanisms 384
Performance comparison of mechanisms to reduce bit stuffing jitters in controller area networks 381
A Unified Class Model for Checking Security Policies in ICT Infrastructures 381
Limitazione del bit stuffing in una trama di comunicazione di un segnale elettronico 376
Performance analysis of type 3 LLC in industrial 802.5 nets 375
Design and implementation of an ISO/OSI session layer for a microprocessor-based LAN 375
On a family of run length limited, block decodable codes to prevent payload-induced jitter in Controller Area Networks 370
From Real Data of Wireless Sensor Networks based on TSCH, to a Prediction of Reliability, Power Consumption, and Latency (dataset) 364
Performance evaluation and improvement of the CPU–CAN controller interface for low-jitter communication 347
Flexible Manufacturing Systems: the MODIAC Project 341
Evaluating and Modeling IEEE 802.15.4 TSCH Resilience against Wi-Fi Interference in New-Generation Highly-Dependable Wireless Sensor Networks 332
A Model for the Analysis of Security Policies in Service Function Chains 329
Un codec a basso jitter per reti CAN 325
Graphic LOTOS specification of an EN50254 system 324
A comprehensive approach to the automatic refinement and verification of access control policies 322
High speed LANs based on fiber optics 318
VLSI STRUCTURES FOR SPEECH ANALYSIS AND PATTERN RECOGNITION. 315
MONOSK: A network operating system for real time applications 314
Dynamic Data Management in STEP 299
Advanced Microprocessor Architectures 280
Wireless Sensor Networks and TSCH: a compromise between Reliability, Power Consumption and Latency 279
ACKNOWLEDGEMENT AND PRIORITY MECHANISMS IN THE 802. 4 TOKEN-BUS. 277
Efficient authentication mechanisms using the iAPX-432 272
PARTITIONED ARRAY FOR STABLE MATRIX TRIANGULARISATION. 262
Archiviazione a lungo termine di dati di prodotto conformi allo standard ISO 10303 261
DEFECT-TOLERANT ARRAY STRUCTURES FOR VLSI AND WSI ARCHITECTURES. 258
Le tecnologie per la descrizione dei dati di prodotto e la norma ISO 10303 254
PROCESS LOCATION STRATEGY IN A LAN FOR INDUSTRIAL APPLICATION. 251
Authentication mechanisms in microprocessor-based local area networks 250
Reduced Protocol Architectures for Factory Applications 243
MECHANISMS FOR COMMUNICATION RESOURCE MANAGEMENT IN ISO/OSI LAYERS. 241
Low cost serial multipliers for high-speed specialised processors 238
Scambio di dati di prodotto: un caso di studio 237
Assessing the Effectiveness of Channel Hopping in IEEE 802.15.4 TSCH Networks 233
Toward attribute-based access control policy in industrial networked systems 232
A Distributed Operating System for Object-Based Machines 229
Performance evaluation of MiniMAP networks 229
FAST AND ACCURATE MATRIX TRIANGULARIZATION USING AN ITERATIVE STRUCTURE. 215
iAPX 432 HARDWARE FAULT-HANDLING MECHANISMS. 212
RELIABILITY AND PERFORMANCE ISSUES IN FDDI NETWORKS. 199
PERFORMANCE ANALYSIS OF ACKNOWLEDGEMENT MECHANISMS IN TOKEN-BUS NETWORKS. 171
Review of Security Issues in Industrial Networks 145
On the performance of the IEC 61158 Fieldbus 145
On the description of access control policies in networked industrial systems 141
Linear Combination of Exponential Moving Averages for Wireless Channel Prediction 115
Standard field bus networks for industrial applications 110
Predicting Wireless Channel Quality by means of Moving Averages and Regression Models 108
Totale 35.669
Salva come PNG Salva come JPEG
Categoria #
all - tutte 82.300
article - articoli 28.179
book - libri 1.693
conference - conferenze 49.197
curatela - curatele 0
other - altro 912
patent - brevetti 865
selected - selezionate 0
volume - volumi 1.454
Totale 164.600
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202166 0 0 0 0 0 0 0 0 0 0 0 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/20267.095 369 312 368 510 473 417 1.086 623 1.402 797 304 434
Totale 35.669