PICCOLBONI, LUCA
 Distribuzione geografica
Continente #
NA - Nord America 323
EU - Europa 315
AS - Asia 216
SA - Sud America 21
AF - Africa 5
OC - Oceania 1
Totale 881
Nazione #
US - Stati Uniti d'America 320
RU - Federazione Russa 135
SG - Singapore 76
CN - Cina 55
GB - Regno Unito 46
IT - Italia 46
VN - Vietnam 35
SE - Svezia 24
HK - Hong Kong 17
FI - Finlandia 15
BR - Brasile 13
FR - Francia 13
IE - Irlanda 12
DE - Germania 11
KR - Corea 10
TR - Turchia 5
AR - Argentina 4
ES - Italia 4
IN - India 4
ID - Indonesia 3
MX - Messico 3
AZ - Azerbaigian 2
BD - Bangladesh 2
BE - Belgio 2
JP - Giappone 2
UA - Ucraina 2
ZA - Sudafrica 2
AU - Australia 1
BG - Bulgaria 1
CL - Cile 1
CO - Colombia 1
DK - Danimarca 1
EC - Ecuador 1
ET - Etiopia 1
IQ - Iraq 1
KE - Kenya 1
KZ - Kazakistan 1
LV - Lettonia 1
NL - Olanda 1
PK - Pakistan 1
PL - Polonia 1
PY - Paraguay 1
SY - Repubblica araba siriana 1
TN - Tunisia 1
UZ - Uzbekistan 1
Totale 881
Città #
Moscow 51
Singapore 45
Ashburn 44
Southend 39
Chandler 38
Dallas 35
Woodbridge 30
Verona 29
San Jose 25
New York 18
Hong Kong 17
Ann Arbor 15
Dublin 12
Houston 11
Jacksonville 11
Beijing 8
Dong Ket 8
Ho Chi Minh City 8
Helsinki 7
Lawrence 6
Los Angeles 6
Princeton 6
Jinan 5
The Dalles 5
Wilmington 5
Hanoi 4
Istanbul 4
Seoul 4
Conegliano 3
Mumbai 3
Munich 3
Nanjing 3
Atlanta 2
Baku 2
Brussels 2
Castel 2
Chions 2
Columbus 2
Fairfield 2
Haikou 2
Hải Dương 2
Jakarta 2
Lonigo 2
Redwood City 2
San Francisco 2
Shenyang 2
Tianjin 2
Tokyo 2
Addis Ababa 1
Almirante Tamandaré 1
Amsterdam 1
Ankara 1
Astana 1
Bekasi 1
Boardman 1
Brooklyn 1
Buffalo 1
Bến Tre 1
Cachoeira da Prata 1
Cali 1
Campinas 1
Cape Town 1
Caratinga 1
Changsha 1
Chicago 1
Chongqing 1
City of London 1
Copenhagen 1
Criciúma 1
Da Nang 1
Duque de Caxias 1
Encarnación 1
Frankfurt am Main 1
Freehold 1
Garrafão do Norte 1
Gauteng 1
General Escobedo 1
Ha Long 1
Hangzhou 1
Hebei 1
Helixi 1
Ibirité 1
Jacareí 1
Jiaxing 1
Lappeenranta 1
London 1
Madrid 1
Maipú 1
Marabá 1
Melbourne 1
Milan 1
Nairobi 1
Nanchang 1
Ningbo 1
Norwalk 1
Orem 1
Phoenix 1
Poanas 1
Porto Alegre 1
Quito 1
Totale 592
Nome #
Mangrove: an Inference-based Dynamic Invariant Mining for GPU Architectures 173
A homogeneous framework for AMS languages instrumentation, abstraction and simulation 165
Exploiting GPU Architectures for Dynamic Invariant Mining 157
A parallelizable approach for mining likely invariants 139
Simplified stimuli generation for scenario and assertion based verification 137
Stimuli Generation through Invariant Mining for Black-Box Verification 133
Totale 904
Categoria #
all - tutte 2.858
article - articoli 511
book - libri 0
conference - conferenze 2.347
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 5.716


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202114 0 0 0 0 0 0 0 0 0 0 2 12
2021/202255 1 9 0 13 4 2 0 4 1 1 4 16
2022/2023104 6 10 10 17 9 22 4 8 18 0 0 0
2023/202458 3 8 5 3 5 18 3 2 1 5 3 2
2024/2025102 7 11 3 21 1 6 1 2 13 4 8 25
2025/2026386 27 13 39 79 102 27 28 31 16 24 0 0
Totale 904