CINECA IRIS Institutional Research Information System

LETTIERI, GIUSEPPE
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 5.323
AS - Asia 2.463
EU - Europa 2.081
SA - Sud America 322
AF - Africa 140
OC - Oceania 7
Continente sconosciuto - Info sul continente non disponibili 2
Totale 10.338
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 5.180
IT - Italia 908
SG - Singapore 788
CN - Cina 737
HK - Hong Kong 371
SE - Svezia 349
BR - Brasile 247
VN - Vietnam 212
DE - Germania 199
BG - Bulgaria 133
CA - Canada 111
FR - Francia 97
TR - Turchia 91
GB - Regno Unito 89
FI - Finlandia 80
JP - Giappone 75
RU - Federazione Russa 72
IN - India 44
CI - Costa d'Avorio 39
NG - Nigeria 32
SN - Senegal 28
BD - Bangladesh 27
NL - Olanda 25
KR - Corea 24
UA - Ucraina 23
IQ - Iraq 17
ES - Italia 16
VE - Venezuela 16
PL - Polonia 15
AR - Argentina 14
IE - Irlanda 14
ID - Indonesia 12
EC - Ecuador 11
MA - Marocco 11
MX - Messico 11
BE - Belgio 10
PK - Pakistan 10
ZA - Sudafrica 10
CH - Svizzera 9
AT - Austria 8
CZ - Repubblica Ceca 8
GR - Grecia 8
BO - Bolivia 7
CL - Cile 7
CO - Colombia 6
PE - Perù 6
AU - Australia 5
AZ - Azerbaigian 5
MY - Malesia 5
SA - Arabia Saudita 5
TN - Tunisia 5
TW - Taiwan 5
DO - Repubblica Dominicana 4
JM - Giamaica 4
KE - Kenya 4
LT - Lituania 4
PY - Paraguay 4
RO - Romania 4
SC - Seychelles 4
UZ - Uzbekistan 4
IL - Israele 3
JO - Giordania 3
KZ - Kazakistan 3
NI - Nicaragua 3
PH - Filippine 3
PS - Palestinian Territory 3
SY - Repubblica araba siriana 3
TT - Trinidad e Tobago 3
UY - Uruguay 3
AE - Emirati Arabi Uniti 2
AL - Albania 2
DZ - Algeria 2
EG - Egitto 2
EU - Europa 2
HN - Honduras 2
HR - Croazia 2
IR - Iran 2
LA - Repubblica Popolare Democratica del Laos 2
LV - Lettonia 2
NP - Nepal 2
NZ - Nuova Zelanda 2
OM - Oman 2
SV - El Salvador 2
TH - Thailandia 2
BN - Brunei Darussalam 1
BS - Bahamas 1
BZ - Belize 1
CR - Costa Rica 1
DK - Danimarca 1
ET - Etiopia 1
GY - Guiana 1
LY - Libia 1
ML - Mali 1
NO - Norvegia 1
PT - Portogallo 1
SK - Slovacchia (Repubblica Slovacca) 1
Totale 10.338
Salva come PNG Salva come JPEG
Città #
Woodbridge 490
Singapore 488
Ashburn 474
Dallas 372
Hong Kong 363
San Jose 354
Ann Arbor 346
Santa Clara 341
Fairfield 335
Chandler 268
Houston 232
Serra 182
Beijing 181
Shanghai 142
Sofia 133
Seattle 123
Cambridge 122
Wilmington 111
Boardman 107
New York 100
Ottawa 95
Los Angeles 83
Milan 80
Ho Chi Minh City 66
Tokyo 64
Florence 62
Council Bluffs 60
Princeton 55
Izmir 54
Pisa 53
Lawrence 50
Medford 48
Lauterbourg 47
Nanjing 46
Rome 45
The Dalles 42
Abidjan 39
Munich 38
Bremen 37
Des Moines 33
Buffalo 32
Las Vegas 32
Lagos 31
Frankfurt am Main 29
Dakar 28
Hefei 28
Chicago 27
Helsinki 26
Redondo Beach 26
Viareggio 26
Dearborn 24
Hanoi 24
Capannori 23
Dong Ket 23
San Vincenzo 23
Jacksonville 21
Nanchang 21
Seoul 21
Istanbul 20
Redwood City 19
Düsseldorf 18
São Paulo 18
Lucca 17
Ogden 17
Livorno 16
San Diego 16
Norwalk 15
Turku 15
Dublin 14
London 13
Orem 13
Columbus 12
San Giuliano Terme 12
Chennai 11
Guangzhou 11
Haiphong 10
Kunming 10
Phoenix 10
Belo Horizonte 9
Brussels 9
Genoa 9
Pian Camuno 9
Walnut Creek 9
Auburn Hills 8
Baghdad 8
Changsha 8
Fuzhou 8
Indiana 8
Amsterdam 7
Atlanta 7
Brooklyn 7
Da Nang 7
Dhaka 7
Hangzhou 7
Johannesburg 7
Lyon 7
Marseille 7
Nuremberg 7
Pistoia 7
Pune 7
Totale 7.282
Salva come PNG Salva come JPEG
Nome #
Cache-aware design of general-purpose Single-Producer–Single-Consumer queues 281
Programming socket-independent network functions with nethuns 265
Heuristic search for equivalence checking 254
A Survey of Fast Packet I/O Technologies for Network Function Virtualization 241
An Abstract Semantics Tool for Secure Information Flow of Stack-based Assembly Programs 219
PSPAT: software packet scheduling at hardware speed 219
Virtual device passthrough for high speed VM networking 215
Caching and prefetching algorithms for programs with looping reference patterns 205
mSwitch: a highly-scalable, modular software switch 196
A Space-Aware Bytecode Verifier for Java Cards 195
A Study of I/O Performance of Virtual Machines 193
VALE, a switched ethernet for virtual machines 191
Using Standard Verifier to Check Secure Information Flow in Java Bytecode 191
An Abstract Interpretation framework for genotype elimination algorithms 190
Using postdomination to reduce space requirements of data flow analysis 188
Decomposing Bytecode Verification by Abstract Interpretation 176
Partial model checking via abstract interpretation 175
Implementing Distributed Single Address Space in the Presence of Failures 171
CELER: AN EFFICIENT PROGRAM FOR GENOTYPE ELIMINATION 168
Using Control Dependencies for Space-Aware Bytecode Verification 166
Efficient Genotype Elimination via Adaptive Allele Consolidation 163
BPFHV: Adaptive Network Paravirtualization for Continuous Cloud Provider Evolution 162
Concrete and Abstract Semantics to Check Secure Information Flow in Concurrent Programs 159
Programmare in Java - Volume III - Esercizi 158
Checking secure information flow in Java bytecode by code transformation and standard bytecode verification 156
k-bisimulation: a new bisimulation for defining the dissimilarity between processes. 156
Checking security properties by model checking 153
Using abstract interpretation to add type checking for interfaces in Java bytecode verification 153
Data stream processing for packet-level analytics 153
Improving Live Migration Efficiency in QEMU: A Paravirtualized Approach 152
An Overview of Ulisse a Distributed Single Address Space System 152
Checking Safety Proprieties through Simulation and Heuristic Search 150
Using Web-CAT to improve the teaching of programming to large university classes 143
Accelerating network analytics with an on-NIC streaming engine 141
An overview of Ulisse, a distributed single address space system 137
HyperNF: Building a High Performance, High Utilization and Fair NFV Platform 136
Mind the cost of telemetry data analysis 134
Concrete and Abstract Semantics to check Information Flow in Concurrent programs 128
Towards Scalable and Expressive Stream Packet Processing 127
Design Framework for a Distributed Single-Address-Space System 126
Hello world! L'informatica dall'aritmometro allo smartphone 125
Statistical Model Checking of Cooperative Autonomous Driving Systems 123
Recoverable-Persistence in a Distributed single Address Space 120
PASTE: A Network Programming Interface for Non-Volatile Main Memory 118
Architettura dei Calcolatori, Vol. II 116
Per un museo nazionale dell'informatica 114
Architettura dei Calcolatori, Vol. III 114
Architettura dei Calcolatori, vol. 3 114
Rethinking Cloud Network Stacks with Switch Bypass 112
null 112
Una storia nazionale: il Museo degli Strumenti per il calcolo 112
A study of speed mismatches between communicating virtual machines 111
Speeding up packet I/O in virtual machines 110
SmartNIC-Accelerated Stream Processing Analytics 110
Grading faulty programming assignments via student-submitted corrections 107
Architettura dei Calcolatori, vol. 2 104
Very high speed link emulation with TLEM 101
GreASE: A Tool for Efficient "Nonequivalence" Checking 99
Flexible virtual machine networking using netmap passthrough 98
On the Impact of Memory Safety on Fast Network I/O 94
On the Hardware–Software Integration in Cryptographic Accelerators for Industrial IoT 89
null 88
null 85
An Analysis System to Test Security of Software on Continuous Integration-Continuous Delivery Pipeline 84
Page availability in a distributed, persistent system 82
null 82
Improving live migration efficiency in QEMU: An eBPF-based paravirtualized approach 81
eBPF-based Extensible Paravirtualization 78
null 78
null 76
A Portable Research Honeypot for Corporate Networks 74
Statistical Model Checking of a Dynamic Vehicle Platoon 59
Model checking safety properties through simulation and heuristic search 55
Severity of Attacks in a Vehicle Platoon by Model-Based Simulation 42
JPEGs Just Got Snipped: Croppable Signatures Against Deepfake Images 39
Formal Methods for Attack Detection in Autonomous Driving Systems: The FORESEEN Project 38
Switch bypass: End-host cloud networking revisited 30
Bringing Memory Safety Close to the Wire 29
BBArmor: a Dynamic BPF-to-BPF LSM-Based Enforcement Tool 26
Runtime Type-Based Access Control for eBPF 24
Extension to Vector Operations of a Soft GPU Core for Machine Learning Acceleration in Space 22
Longitudinal traces of platoon simulation with and without cyber-attacks and network latency 20
Design Principles for Accelerated Programmable Edge Computing in Future 6G Architectures 19
Totale 10.552
Salva come PNG Salva come JPEG
Categoria #
all - tutte 29.984
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 29.984
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022601 6 33 8 41 103 105 11 36 34 22 37 165
2022/2023900 88 140 55 87 103 109 3 68 172 4 61 10
2023/2024515 32 36 45 22 81 89 33 16 12 23 63 63
2024/20252.197 30 69 20 115 263 251 208 128 186 262 225 440
2025/20263.029 159 232 403 191 349 222 450 145 285 365 132 96
2026/202722 22 0 0 0 0 0 0 0 0 0 0 0
Totale 10.552