PORTO @ Archivio Istituzionale della Ricerca

VALENZANO, ADRIANO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 16.467
EU - Europa 9.689
AS - Asia 3.056
SA - Sud America 271
AF - Africa 41
OC - Oceania 6
Continente sconosciuto - Info sul continente non disponibili 5
Totale 29.535
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 16.389
GB - Regno Unito 2.718
FR - Francia 1.799
DE - Germania 1.750
IT - Italia 1.428
SG - Singapore 1.158
CN - Cina 933
UA - Ucraina 546
RU - Federazione Russa 303
TR - Turchia 266
KR - Corea 246
BR - Brasile 239
NL - Olanda 202
SE - Svezia 180
IE - Irlanda 177
CH - Svizzera 146
FI - Finlandia 117
HK - Hong Kong 84
IL - Israele 81
AT - Austria 79
BE - Belgio 77
IN - India 73
CA - Canada 55
VN - Vietnam 54
MY - Malesia 40
JP - Giappone 37
RO - Romania 25
ID - Indonesia 23
PL - Polonia 23
CZ - Repubblica Ceca 17
ES - Italia 16
IR - Iran 14
SN - Senegal 13
JO - Giordania 12
TW - Taiwan 12
EU - Europa 11
MX - Messico 11
PK - Pakistan 11
DK - Danimarca 9
AR - Argentina 8
KZ - Kazakistan 7
ZA - Sudafrica 7
IQ - Iraq 6
TH - Thailandia 6
UZ - Uzbekistan 6
VE - Venezuela 6
AU - Australia 5
BY - Bielorussia 5
CL - Cile 5
EE - Estonia 5
HR - Croazia 5
LT - Lituania 5
BA - Bosnia-Erzegovina 4
BD - Bangladesh 4
EG - Egitto 4
GH - Ghana 4
AE - Emirati Arabi Uniti 3
AP - ???statistics.table.value.countryCode.AP??? 3
JM - Giamaica 3
KG - Kirghizistan 3
MA - Marocco 3
PE - Perù 3
UY - Uruguay 3
AL - Albania 2
AO - Angola 2
BH - Bahrain 2
BO - Bolivia 2
CI - Costa d'Avorio 2
CO - Colombia 2
DZ - Algeria 2
GR - Grecia 2
GT - Guatemala 2
KE - Kenya 2
LC - Santa Lucia 2
PA - Panama 2
QA - Qatar 2
SA - Arabia Saudita 2
SC - Seychelles 2
AZ - Azerbaigian 1
BG - Bulgaria 1
DO - Repubblica Dominicana 1
EC - Ecuador 1
GY - Guiana 1
HN - Honduras 1
HU - Ungheria 1
KH - Cambogia 1
LB - Libano 1
NO - Norvegia 1
NZ - Nuova Zelanda 1
OM - Oman 1
PH - Filippine 1
PT - Portogallo 1
PY - Paraguay 1
RS - Serbia 1
SI - Slovenia 1
TT - Trinidad e Tobago 1
Totale 29.535
Salva come PNG Salva come JPEG
Città #
Ashburn 6.520
Southend 2.534
Boardman 2.178
Seattle 1.145
Fairfield 728
Singapore 634
Chandler 602
Woodbridge 405
Fremont 393
Ann Arbor 364
Houston 344
Jacksonville 297
Cambridge 292
Princeton 282
Wilmington 277
Turin 264
Santa Clara 203
Izmir 173
Dublin 170
Berlin 169
Beijing 154
San Ramon 151
Bern 137
Milan 122
Chicago 111
Helsinki 98
Frankfurt 96
San Donato Milanese 90
Zhengzhou 87
Dallas 81
Shanghai 78
Torino 78
Brussels 74
Pennsylvania Furnace 74
Saint Petersburg 74
Baltimore 72
Buffalo 68
Bologna 61
Overberg 61
Tongling 60
Des Moines 58
Mountain View 57
Seoul 57
Vienna 56
Council Bluffs 54
Istanbul 50
Hefei 49
Jerusalem 48
Herkenbosch 43
Monopoli 43
Hong Kong 41
San Francisco 41
Amsterdam 40
Los Angeles 38
Guangzhou 35
New York 35
Norwalk 35
Lecce 33
London 30
Munich 30
Malatya 29
Toronto 27
Redondo Beach 26
San Diego 25
Tel Aviv 24
Hangzhou 23
Redwood City 23
Kwai Chung 22
Moscow 21
Frankfurt am Main 20
Galati 19
Andover 18
Rome 18
São Paulo 18
Columbus 17
Falls Church 17
Yubileyny 17
Zaporozhye 17
Jakarta 16
Grafing 14
Ho Chi Minh City 14
Naples 14
Paris 14
Shenzhen 14
Padua 13
Taramani 13
Turku 13
Verona 13
Hanoi 12
Overland Park 12
Lansing 11
Melun 11
Nuremberg 11
Palermo 11
Wuhan 11
Cangzhou 10
Curitiba 10
Kiev 10
Madrid 10
Putian 10
Totale 21.322
Salva come PNG Salva come JPEG
Nome #
Exploiting Symmetries for Testing Equivalence in the Spi Calculus 729
Automatic Detection of Attacks on Cryptographic Protocols: a Case Study 721
Introducing Commutative and Associative Operators in Cryptographic Protocol Analysis 698
A new knowledge representation strategy for cryptographic protocol analysis 689
Integrating Performance Analysis in the Context of LOTOS-Based Design 647
Experimental Comparison of Automatic Tools for the Formal Analysis of Cryptographic Protocols 569
Evaluating the Combined Effect of Vulnerabilities and Faults on Large Distributed Systems 554
Tools for cryptographic protocols analysis: A technical and experimental comparison 542
Efficient Representation of the Attacker's Knowledge in Cryptographic Protocols Analysis 537
Detecting Chains of Vulnerabilities in Industrial Networks 530
On the use of automatic tools for the formal analysis of IEEE 802.11 key-exchange protocols 525
Adaptive Bandwidth Balancing Mechanisms for DQDB Networks 508
Derivation of Executable Code from Formal Protocol Specifications Written in LOTOS 495
A Graphical Tool for Protocol Design with Estelle 485
Integration of Time Petri Nets and TE-LOTOS in the Design and Evaluation of Factory Communication Systems 473
Improving the Security of Industrial Networks by means of Formal Verification 472
Fixed-Length Payload Encoding for Low-Jitter Controller Area Network Communication 470
Exploiting symmetries for testing equivalence verification in the SPI calculus 463
System-Level Performance of an Automation Solution Based on Industry Standards 457
Formal Specification and Verification of the Real-time Scheduler in FIP 457
A LOTOS Specification of the SERCOS Field-bus Protocol 438
Selection of token holding times in timed-token protocols 418
A Temporal and Probabilistic LOTOS Extension Oriented to Performance Modelling of Distributed Systems 410
Implementation of algorithms for graphic surface modeling using transputers 394
Throughput Analysis of Timed Token Protocols in Double Ring Networks 384
On the equivalence of IEEE 802.4 and FDDI timed token protocols 382
Requirements for token holding times in timed-token protocols 376
A Mechanism to Prevent Stuff Bits in CAN for Achieving Jitterless Communication 372
Some properties of double-ring networks with real-time constraints 362
A Model for the Analysis of Security Policies in Industrial Networks 361
A Formalization Of The FIP Protocol Using Estelle 357
A State-Exploration Technique for Spi-Calculus Testing-Equivalence Verification 353
Esercizi di Fondamenti di Informatica 353
Upper bounds for the token rotation time in the 802.4 token passing bus 347
Leveraging SDN To Improve Security in Industrial Networks 347
Software-Based Assessment of the Synchronization and Error Handling Behavior of a Real CAN Controller 345
Systolic arrays for bicubical polynomial evaluation in computer graphics 344
Performance analysis of type 3 LLC in industrial 802.5 nets 342
Automatic testing equivalence verification of spi calculus specifications 336
Comparison of Adaptive Fairness Control Mechanisms for DQDBMetropolitan Area Networks 334
A Static Semantic Analyzer for LOTOS Specifications 334
Design and implementation of an ISO/OSI session layer for a microprocessor-based LAN 330
Design, verification, and performance of a MODBUS-CAN adaptation layer 327
Probabilistic Characterization of Algebraic Protocol Specifications 316
On a family of run length limited, block decodable codes to prevent payload-induced jitter in Controller Area Networks 315
A Unified Class Model for Checking Security Policies in ICT Infrastructures 314
Effect of jitter-reducing encoders on CAN error detection mechanisms 307
Performance comparison of mechanisms to reduce bit stuffing jitters in controller area networks 306
Modeling the Execution of LOTOS Specifications by Cooperating Extended Finite State Machines 302
Limitazione del bit stuffing in una trama di comunicazione di un segnale elettronico 296
Flexible Manufacturing Systems: the MODIAC Project 295
High speed LANs based on fiber optics 294
Performance evaluation and improvement of the CPU–CAN controller interface for low-jitter communication 289
Graphic LOTOS specification of an EN50254 system 284
Automated Fixing of Access Policy Implementation in Industrial Networked Systems 281
MONOSK: A network operating system for real time applications 276
Dynamic Data Management in STEP 263
VLSI STRUCTURES FOR SPEECH ANALYSIS AND PATTERN RECOGNITION. 260
From Real Data of Wireless Sensor Networks based on TSCH, to a Prediction of Reliability, Power Consumption, and Latency (dataset) 260
Un codec a basso jitter per reti CAN 256
ACKNOWLEDGEMENT AND PRIORITY MECHANISMS IN THE 802. 4 TOKEN-BUS. 255
A Model for the Analysis of Security Policies in Service Function Chains 245
Advanced Microprocessor Architectures 240
Evaluating and Modeling IEEE 802.15.4 TSCH Resilience against Wi-Fi Interference in New-Generation Highly-Dependable Wireless Sensor Networks 237
Efficient authentication mechanisms using the iAPX-432 234
PARTITIONED ARRAY FOR STABLE MATRIX TRIANGULARISATION. 225
DEFECT-TOLERANT ARRAY STRUCTURES FOR VLSI AND WSI ARCHITECTURES. 224
A comprehensive approach to the automatic refinement and verification of access control policies 217
Low cost serial multipliers for high-speed specialised processors 216
Authentication mechanisms in microprocessor-based local area networks 214
MECHANISMS FOR COMMUNICATION RESOURCE MANAGEMENT IN ISO/OSI LAYERS. 211
Le tecnologie per la descrizione dei dati di prodotto e la norma ISO 10303 211
Reduced Protocol Architectures for Factory Applications 210
Archiviazione a lungo termine di dati di prodotto conformi allo standard ISO 10303 210
PROCESS LOCATION STRATEGY IN A LAN FOR INDUSTRIAL APPLICATION. 209
Performance evaluation of MiniMAP networks 206
Scambio di dati di prodotto: un caso di studio 194
iAPX 432 HARDWARE FAULT-HANDLING MECHANISMS. 185
A Distributed Operating System for Object-Based Machines 185
Wireless Sensor Networks and TSCH: a compromise between Reliability, Power Consumption and Latency 178
FAST AND ACCURATE MATRIX TRIANGULARIZATION USING AN ITERATIVE STRUCTURE. 171
RELIABILITY AND PERFORMANCE ISSUES IN FDDI NETWORKS. 168
Toward attribute-based access control policy in industrial networked systems 145
PERFORMANCE ANALYSIS OF ACKNOWLEDGEMENT MECHANISMS IN TOKEN-BUS NETWORKS. 142
Assessing the Effectiveness of Channel Hopping in IEEE 802.15.4 TSCH Networks 107
Review of Security Issues in Industrial Networks 77
On the description of access control policies in networked industrial systems 68
Standard field bus networks for industrial applications 60
On the performance of the IEC 61158 Fieldbus 57
Predicting Wireless Channel Quality by means of Moving Averages and Regression Models 56
Linear Combination of Exponential Moving Averages for Wireless Channel Prediction 51
Totale 29.689
Salva come PNG Salva come JPEG
Categoria #
all - tutte 70.554
article - articoli 24.055
book - libri 1.466
conference - conferenze 42.310
curatela - curatele 0
other - altro 732
patent - brevetti 718
selected - selezionate 0
volume - volumi 1.273
Totale 141.108
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/20211.249 0 0 0 219 86 159 100 228 100 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/20261.115 369 312 368 66 0 0 0 0 0 0 0 0
Totale 29.689