PICCOLBONI, LUCA
 Distribuzione geografica
Continente #
NA - Nord America 226
EU - Europa 173
AS - Asia 127
SA - Sud America 7
AF - Africa 1
OC - Oceania 1
Totale 535
Nazione #
US - Stati Uniti d'America 226
GB - Regno Unito 45
SG - Singapore 43
CN - Cina 41
IT - Italia 33
SE - Svezia 24
HK - Hong Kong 16
FI - Finlandia 14
FR - Francia 13
VN - Vietnam 13
IE - Irlanda 12
RU - Federazione Russa 12
DE - Germania 11
BR - Brasile 6
KR - Corea 5
TR - Turchia 4
ES - Italia 3
BE - Belgio 2
ID - Indonesia 2
UA - Ucraina 2
AU - Australia 1
CL - Cile 1
DK - Danimarca 1
IN - India 1
JP - Giappone 1
LV - Lettonia 1
PK - Pakistan 1
ZA - Sudafrica 1
Totale 535
Città #
Southend 39
Chandler 38
Woodbridge 30
Singapore 21
Hong Kong 16
New York 16
Verona 16
Ann Arbor 15
Ashburn 15
Dallas 12
Dublin 12
Houston 11
Jacksonville 11
Dong Ket 8
Helsinki 7
Beijing 6
Lawrence 6
Princeton 6
Jinan 5
Wilmington 5
Istanbul 4
Seoul 4
Conegliano 3
Munich 3
Nanjing 3
Brussels 2
Castel 2
Chions 2
Columbus 2
Fairfield 2
Haikou 2
Jakarta 2
Lonigo 2
Los Angeles 2
Redwood City 2
San Francisco 2
Shenyang 2
The Dalles 2
Almirante Tamandaré 1
Atlanta 1
Boardman 1
Brooklyn 1
Caratinga 1
Changsha 1
Chicago 1
Copenhagen 1
Criciúma 1
Frankfurt am Main 1
Freehold 1
Garrafão do Norte 1
Gauteng 1
Hangzhou 1
Hebei 1
Ho Chi Minh City 1
Jiaxing 1
London 1
Madrid 1
Marabá 1
Melbourne 1
Milan 1
Mumbai 1
Nanchang 1
Ningbo 1
Norwalk 1
Phoenix 1
Rawalpindi 1
Redmond 1
Riga 1
Rosà 1
Santa Clara 1
Santiago 1
Tianjin 1
Tokyo 1
Uruguaiana 1
Washington 1
Xuzhou 1
Totale 376
Nome #
Mangrove: an Inference-based Dynamic Invariant Mining for GPU Architectures 107
A homogeneous framework for AMS languages instrumentation, abstraction and simulation 106
Exploiting GPU Architectures for Dynamic Invariant Mining 99
Simplified stimuli generation for scenario and assertion based verification 89
A parallelizable approach for mining likely invariants 80
Stimuli Generation through Invariant Mining for Black-Box Verification 77
Totale 558
Categoria #
all - tutte 2.143
article - articoli 385
book - libri 0
conference - conferenze 1.758
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 4.286


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202143 0 0 8 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/202640 27 13 0 0 0 0 0 0 0 0 0 0
Totale 558