BRAGAGLIO, MORENO
 Distribuzione geografica
Continente #
EU - Europa 189
NA - Nord America 146
AS - Asia 132
SA - Sud America 13
AF - Africa 4
OC - Oceania 1
Totale 485
Nazione #
US - Stati Uniti d'America 144
RU - Federazione Russa 114
SG - Singapore 59
CN - Cina 36
IT - Italia 18
HK - Hong Kong 15
IE - Irlanda 15
FR - Francia 11
BR - Brasile 9
SE - Svezia 8
DE - Germania 7
VN - Vietnam 7
GB - Regno Unito 5
KR - Corea 5
NL - Olanda 4
FI - Finlandia 3
AR - Argentina 2
BD - Bangladesh 2
CZ - Repubblica Ceca 2
JP - Giappone 2
MX - Messico 2
TG - Togo 2
BJ - Benin 1
EC - Ecuador 1
ES - Italia 1
IL - Israele 1
IQ - Iraq 1
IR - Iran 1
JO - Giordania 1
MY - Malesia 1
PL - Polonia 1
PW - Palau 1
UZ - Uzbekistan 1
VE - Venezuela 1
ZA - Sudafrica 1
Totale 485
Città #
Moscow 33
Chandler 32
Singapore 27
Ashburn 17
Dallas 16
Dublin 15
Hong Kong 15
Beijing 13
The Dalles 10
Milan 6
Ho Chi Minh City 5
Buffalo 4
Seattle 4
Helsinki 3
Lawrence 3
Princeton 3
Sindelfingen 3
São Paulo 3
Verona 3
Amsterdam 2
Azzano Decimo 2
Columbus 2
Falkenstein 2
Lomé 2
Los Angeles 2
Naples 2
New York 2
Santa Clara 2
Tokyo 2
Waalwijk 2
Wilmington 2
Altos 1
Ambato 1
Amman 1
Atlanta 1
Barão de Cocais 1
Boston 1
Cape Town 1
Catania 1
Chicago 1
Cleveland 1
Cotonou 1
Council Bluffs 1
Da Nang 1
Denver 1
Dhaka 1
Fairfield 1
Florence 1
Formosa 1
Frankfurt am Main 1
Governador Valadares 1
Guadalajara 1
Guangzhou 1
Hanoi 1
Jacksonville 1
Kuala Lumpur 1
Kunming 1
Langfang 1
London 1
Manchester 1
Newark 1
Ngerulmud 1
Norwalk 1
Nova Andradina 1
Osasco 1
Phoenix 1
Polazna 1
Ramos Mejía 1
Redmond 1
Redondo Beach 1
Rio Claro 1
Rome 1
Salah ad Din 1
San Francisco 1
San Jose 1
Stockholm 1
Tashkent 1
Tehran 1
Tianjin 1
Valencia 1
Wuhan 1
Xi'an 1
Zibo 1
Totale 291
Nome #
From Informal Specifications to an ABV Framework for Industrial Firmware Verification 109
System-level bug explanation through program slicing and instruction clusterization 109
MIST: monitor generation from informal specifications for firmware verification 104
Assertion-aware approximate computing design exploration on behavioral models 93
Exploiting Program Slicing and Instruction Clusterization to Identify the Cause of Faulty Temporal Behaviours at System Level 79
Totale 494
Categoria #
all - tutte 1.935
article - articoli 0
book - libri 0
conference - conferenze 1.126
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 809
Totale 3.870


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/20217 0 0 0 0 0 0 3 2 1 0 1 0
2021/202218 1 0 1 1 2 2 1 2 0 1 1 6
2022/202384 6 8 7 15 7 21 0 4 9 0 7 0
2023/202449 3 5 2 5 5 7 8 6 1 0 5 2
2024/2025123 5 10 6 27 6 7 0 12 15 9 14 12
2025/2026213 23 19 11 55 85 20 0 0 0 0 0 0
Totale 494