PICCOLBONI, LUCA
 Distribuzione geografica
Continente #
NA - Nord America 258
EU - Europa 211
AS - Asia 139
SA - Sud America 11
AF - Africa 2
OC - Oceania 1
Totale 622
Nazione #
US - Stati Uniti d'America 258
RU - Federazione Russa 49
CN - Cina 47
GB - Regno Unito 45
SG - Singapore 43
IT - Italia 33
SE - Svezia 24
VN - Vietnam 17
HK - Hong Kong 16
FI - Finlandia 14
FR - Francia 13
IE - Irlanda 12
DE - Germania 11
BR - Brasile 9
KR - Corea 5
TR - Turchia 4
ES - Italia 3
ID - Indonesia 3
BE - Belgio 2
UA - Ucraina 2
ZA - Sudafrica 2
AU - Australia 1
AZ - Azerbaigian 1
CL - Cile 1
DK - Danimarca 1
EC - Ecuador 1
IN - India 1
JP - Giappone 1
LV - Lettonia 1
NL - Olanda 1
PK - Pakistan 1
Totale 622
Città #
Southend 39
Chandler 38
Dallas 35
Woodbridge 30
Singapore 21
Ashburn 18
Hong Kong 16
New York 16
Verona 16
Ann Arbor 15
Dublin 12
Moscow 12
Houston 11
Jacksonville 11
Dong Ket 8
Helsinki 7
Beijing 6
Lawrence 6
Los Angeles 6
Princeton 6
Jinan 5
Wilmington 5
Istanbul 4
Seoul 4
Conegliano 3
Ho Chi Minh City 3
Munich 3
Nanjing 3
Brussels 2
Castel 2
Chions 2
Columbus 2
Fairfield 2
Haikou 2
Jakarta 2
Lonigo 2
Redwood City 2
San Francisco 2
Shenyang 2
The Dalles 2
Almirante Tamandaré 1
Amsterdam 1
Atlanta 1
Baku 1
Bekasi 1
Boardman 1
Brooklyn 1
Buffalo 1
Campinas 1
Cape Town 1
Caratinga 1
Changsha 1
Chicago 1
Chongqing 1
Copenhagen 1
Criciúma 1
Duque de Caxias 1
Frankfurt am Main 1
Freehold 1
Garrafão do Norte 1
Gauteng 1
Ha Long 1
Hangzhou 1
Hanoi 1
Hebei 1
Helixi 1
Jiaxing 1
London 1
Madrid 1
Marabá 1
Melbourne 1
Milan 1
Mumbai 1
Nanchang 1
Ningbo 1
Norwalk 1
Phoenix 1
Porto Alegre 1
Quito 1
Rawalpindi 1
Redmond 1
Redondo Beach 1
Riga 1
Rosà 1
Santa Clara 1
Santiago 1
Tianjin 1
Tokyo 1
Uruguaiana 1
Washington 1
Xuzhou 1
Totale 434
Nome #
Mangrove: an Inference-based Dynamic Invariant Mining for GPU Architectures 121
A homogeneous framework for AMS languages instrumentation, abstraction and simulation 115
Exploiting GPU Architectures for Dynamic Invariant Mining 114
Simplified stimuli generation for scenario and assertion based verification 100
A parallelizable approach for mining likely invariants 98
Stimuli Generation through Invariant Mining for Black-Box Verification 97
Totale 645
Categoria #
all - tutte 2.396
article - articoli 425
book - libri 0
conference - conferenze 1.971
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 4.792


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202135 0 0 0 2 3 6 2 0 8 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/2026127 27 13 39 48 0 0 0 0 0 0 0 0
Totale 645