PORTO @ Archivio Istituzionale della Ricerca

VALENZANO, ADRIANO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 16.021
EU - Europa 9.552
AS - Asia 2.041
SA - Sud America 103
AF - Africa 35
Continente sconosciuto - Info sul continente non disponibili 5
OC - Oceania 5
Totale 27.762
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 15.965
GB - Regno Unito 2.700
FR - Francia 1.774
DE - Germania 1.709
IT - Italia 1.419
SG - Singapore 749
UA - Ucraina 545
CN - Cina 524
RU - Federazione Russa 300
TR - Turchia 261
NL - Olanda 201
SE - Svezia 178
IE - Irlanda 177
KR - Corea 171
CH - Svizzera 146
FI - Finlandia 102
BR - Brasile 88
IL - Israele 81
BE - Belgio 77
AT - Austria 72
IN - India 67
CA - Canada 46
HK - Hong Kong 44
MY - Malesia 39
JP - Giappone 33
RO - Romania 24
ID - Indonesia 23
CZ - Repubblica Ceca 17
PL - Polonia 16
IR - Iran 14
ES - Italia 13
SN - Senegal 13
JO - Giordania 12
TW - Taiwan 12
EU - Europa 11
DK - Danimarca 9
PK - Pakistan 7
VN - Vietnam 7
KZ - Kazakistan 6
TH - Thailandia 6
BY - Bielorussia 5
EE - Estonia 5
HR - Croazia 5
LT - Lituania 5
AR - Argentina 4
AU - Australia 4
CL - Cile 4
GH - Ghana 4
MX - Messico 4
UZ - Uzbekistan 4
ZA - Sudafrica 4
AE - Emirati Arabi Uniti 3
AP - ???statistics.table.value.countryCode.AP??? 3
BA - Bosnia-Erzegovina 3
EG - Egitto 3
KG - Kirghizistan 3
PE - Perù 3
BO - Bolivia 2
CI - Costa d'Avorio 2
DZ - Algeria 2
GT - Guatemala 2
IQ - Iraq 2
KE - Kenya 2
LC - Santa Lucia 2
MA - Marocco 2
SA - Arabia Saudita 2
SC - Seychelles 2
AL - Albania 1
AO - Angola 1
AZ - Azerbaigian 1
BG - Bulgaria 1
DO - Repubblica Dominicana 1
GR - Grecia 1
HU - Ungheria 1
JM - Giamaica 1
KH - Cambogia 1
NO - Norvegia 1
NZ - Nuova Zelanda 1
OM - Oman 1
PH - Filippine 1
PT - Portogallo 1
QA - Qatar 1
SI - Slovenia 1
UY - Uruguay 1
VE - Venezuela 1
Totale 27.762
Salva come PNG Salva come JPEG
Città #
Ashburn 6.417
Southend 2.534
Boardman 2.176
Seattle 1.143
Fairfield 728
Chandler 602
Woodbridge 405
Fremont 393
Ann Arbor 364
Houston 343
Jacksonville 297
Cambridge 292
Princeton 282
Wilmington 277
Singapore 276
Turin 262
Santa Clara 201
Izmir 173
Dublin 170
Berlin 169
San Ramon 151
Bern 137
Milan 119
Chicago 107
Frankfurt 96
Helsinki 96
San Donato Milanese 90
Zhengzhou 83
Beijing 82
Torino 78
Brussels 74
Pennsylvania Furnace 74
Saint Petersburg 74
Baltimore 71
Shanghai 71
Bologna 61
Overberg 61
Des Moines 58
Mountain View 57
Vienna 56
Council Bluffs 49
Istanbul 49
Jerusalem 48
Herkenbosch 43
Monopoli 43
Amsterdam 39
San Francisco 36
Norwalk 35
Lecce 33
Guangzhou 31
Buffalo 29
Malatya 29
New York 27
San Diego 25
London 24
Tel Aviv 24
Toronto 24
Hangzhou 23
Redwood City 23
Kwai Chung 22
Moscow 21
Galati 19
Andover 18
Rome 18
Falls Church 17
Seoul 17
Yubileyny 17
Zaporozhye 17
Jakarta 16
Grafing 14
Los Angeles 14
Naples 14
Paris 14
Padua 13
Shenzhen 13
Taramani 13
Verona 13
Overland Park 12
Columbus 11
Frankfurt am Main 11
Lansing 11
Melun 11
Palermo 11
Kiev 10
Putian 10
Madrid 9
Osaka 9
Piscataway 9
San Antonio 9
Washington 9
Wuhan 9
Fuzhou 8
Hellemmes 8
Imola 8
Kansas City 8
Las Vegas 8
Nuremberg 8
Prague 8
Cangzhou 7
Rotterdam 7
Totale 20.335
Salva come PNG Salva come JPEG
Nome #
Exploiting Symmetries for Testing Equivalence in the Spi Calculus 711
Automatic Detection of Attacks on Cryptographic Protocols: a Case Study 707
Introducing Commutative and Associative Operators in Cryptographic Protocol Analysis 682
A new knowledge representation strategy for cryptographic protocol analysis 680
Integrating Performance Analysis in the Context of LOTOS-Based Design 617
Experimental Comparison of Automatic Tools for the Formal Analysis of Cryptographic Protocols 555
Evaluating the Combined Effect of Vulnerabilities and Faults on Large Distributed Systems 530
Tools for cryptographic protocols analysis: A technical and experimental comparison 526
Efficient Representation of the Attacker's Knowledge in Cryptographic Protocols Analysis 519
On the use of automatic tools for the formal analysis of IEEE 802.11 key-exchange protocols 503
Detecting Chains of Vulnerabilities in Industrial Networks 503
Adaptive Bandwidth Balancing Mechanisms for DQDB Networks 496
Derivation of Executable Code from Formal Protocol Specifications Written in LOTOS 478
A Graphical Tool for Protocol Design with Estelle 465
Integration of Time Petri Nets and TE-LOTOS in the Design and Evaluation of Factory Communication Systems 457
Improving the Security of Industrial Networks by means of Formal Verification 447
Exploiting symmetries for testing equivalence verification in the SPI calculus 447
Formal Specification and Verification of the Real-time Scheduler in FIP 444
Fixed-Length Payload Encoding for Low-Jitter Controller Area Network Communication 441
System-Level Performance of an Automation Solution Based on Industry Standards 441
A LOTOS Specification of the SERCOS Field-bus Protocol 425
A Temporal and Probabilistic LOTOS Extension Oriented to Performance Modelling of Distributed Systems 397
Selection of token holding times in timed-token protocols 393
Implementation of algorithms for graphic surface modeling using transputers 372
On the equivalence of IEEE 802.4 and FDDI timed token protocols 367
Throughput Analysis of Timed Token Protocols in Double Ring Networks 361
A Mechanism to Prevent Stuff Bits in CAN for Achieving Jitterless Communication 358
A Model for the Analysis of Security Policies in Industrial Networks 353
Requirements for token holding times in timed-token protocols 352
Some properties of double-ring networks with real-time constraints 344
A Formalization Of The FIP Protocol Using Estelle 343
A State-Exploration Technique for Spi-Calculus Testing-Equivalence Verification 338
Esercizi di Fondamenti di Informatica 338
Software-Based Assessment of the Synchronization and Error Handling Behavior of a Real CAN Controller 328
Upper bounds for the token rotation time in the 802.4 token passing bus 327
Systolic arrays for bicubical polynomial evaluation in computer graphics 323
Comparison of Adaptive Fairness Control Mechanisms for DQDBMetropolitan Area Networks 322
A Static Semantic Analyzer for LOTOS Specifications 321
Automatic testing equivalence verification of spi calculus specifications 317
Performance analysis of type 3 LLC in industrial 802.5 nets 314
Leveraging SDN To Improve Security in Industrial Networks 311
Design, verification, and performance of a MODBUS-CAN adaptation layer 306
Design and implementation of an ISO/OSI session layer for a microprocessor-based LAN 306
On a family of run length limited, block decodable codes to prevent payload-induced jitter in Controller Area Networks 302
A Unified Class Model for Checking Security Policies in ICT Infrastructures 300
Probabilistic Characterization of Algebraic Protocol Specifications 297
Performance comparison of mechanisms to reduce bit stuffing jitters in controller area networks 295
Effect of jitter-reducing encoders on CAN error detection mechanisms 291
Modeling the Execution of LOTOS Specifications by Cooperating Extended Finite State Machines 289
Limitazione del bit stuffing in una trama di comunicazione di un segnale elettronico 277
Flexible Manufacturing Systems: the MODIAC Project 271
Performance evaluation and improvement of the CPU–CAN controller interface for low-jitter communication 271
Graphic LOTOS specification of an EN50254 system 268
High speed LANs based on fiber optics 266
Automated Fixing of Access Policy Implementation in Industrial Networked Systems 258
Dynamic Data Management in STEP 250
MONOSK: A network operating system for real time applications 247
ACKNOWLEDGEMENT AND PRIORITY MECHANISMS IN THE 802. 4 TOKEN-BUS. 239
VLSI STRUCTURES FOR SPEECH ANALYSIS AND PATTERN RECOGNITION. 236
Un codec a basso jitter per reti CAN 231
A Model for the Analysis of Security Policies in Service Function Chains 231
Advanced Microprocessor Architectures 227
Efficient authentication mechanisms using the iAPX-432 223
PARTITIONED ARRAY FOR STABLE MATRIX TRIANGULARISATION. 214
From Real Data of Wireless Sensor Networks based on TSCH, to a Prediction of Reliability, Power Consumption, and Latency (dataset) 212
Low cost serial multipliers for high-speed specialised processors 205
Evaluating and Modeling IEEE 802.15.4 TSCH Resilience against Wi-Fi Interference in New-Generation Highly-Dependable Wireless Sensor Networks 204
DEFECT-TOLERANT ARRAY STRUCTURES FOR VLSI AND WSI ARCHITECTURES. 203
Authentication mechanisms in microprocessor-based local area networks 203
Performance evaluation of MiniMAP networks 199
MECHANISMS FOR COMMUNICATION RESOURCE MANAGEMENT IN ISO/OSI LAYERS. 192
Reduced Protocol Architectures for Factory Applications 190
Le tecnologie per la descrizione dei dati di prodotto e la norma ISO 10303 190
PROCESS LOCATION STRATEGY IN A LAN FOR INDUSTRIAL APPLICATION. 189
Archiviazione a lungo termine di dati di prodotto conformi allo standard ISO 10303 188
iAPX 432 HARDWARE FAULT-HANDLING MECHANISMS. 179
A Distributed Operating System for Object-Based Machines 174
A comprehensive approach to the automatic refinement and verification of access control policies 174
Scambio di dati di prodotto: un caso di studio 172
FAST AND ACCURATE MATRIX TRIANGULARIZATION USING AN ITERATIVE STRUCTURE. 167
RELIABILITY AND PERFORMANCE ISSUES IN FDDI NETWORKS. 158
Wireless Sensor Networks and TSCH: a compromise between Reliability, Power Consumption and Latency 136
PERFORMANCE ANALYSIS OF ACKNOWLEDGEMENT MECHANISMS IN TOKEN-BUS NETWORKS. 129
Toward attribute-based access control policy in industrial networked systems 121
Assessing the Effectiveness of Channel Hopping in IEEE 802.15.4 TSCH Networks 69
Review of Security Issues in Industrial Networks 45
Standard field bus networks for industrial applications 40
On the description of access control policies in networked industrial systems 38
Linear Combination of Exponential Moving Averages for Wireless Channel Prediction 32
Predicting Wireless Channel Quality by means of Moving Averages and Regression Models 30
On the performance of the IEC 61158 Fieldbus 29
Totale 27.916
Salva come PNG Salva come JPEG
Categoria #
all - tutte 64.094
article - articoli 21.743
book - libri 1.343
conference - conferenze 38.613
curatela - curatele 0
other - altro 614
patent - brevetti 636
selected - selezionate 0
volume - volumi 1.145
Totale 128.188
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020313 0 0 0 0 0 0 0 0 0 158 80 75
2020/20211.771 199 228 95 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.101 89 354 155 401 142 151 156 190 397 66 0 0
Totale 27.916