GHASEMPOURI, TARA
 Distribuzione geografica
Continente #
NA - Nord America 261
EU - Europa 191
AS - Asia 52
SA - Sud America 1
Totale 505
Nazione #
US - Stati Uniti d'America 261
GB - Regno Unito 54
CN - Cina 43
IT - Italia 32
DE - Germania 23
FR - Francia 18
SE - Svezia 17
IE - Irlanda 16
FI - Finlandia 13
BE - Belgio 10
VN - Vietnam 7
EE - Estonia 3
DK - Danimarca 2
BR - Brasile 1
HU - Ungheria 1
PL - Polonia 1
SG - Singapore 1
TR - Turchia 1
UA - Ucraina 1
Totale 505
Città #
Chandler 70
Southend 52
Woodbridge 35
New York 19
Dublin 16
Jacksonville 13
Ann Arbor 12
Verona 12
Houston 11
Brussels 10
Ashburn 9
Jinan 7
Lawrence 7
Princeton 7
Wilmington 6
Nettuno 5
Beijing 4
Cagliari 4
Munich 4
Nanjing 4
Ningbo 4
Dong Ket 3
Haikou 3
Saint-martin-d'heres 3
San Francisco 3
Sunnyvale 3
Bovolone 2
Changsha 2
Helsinki 2
Jiaxing 2
Lyngby 2
Milan 2
Nanchang 2
Redwood City 2
Seattle 2
Shenyang 2
Tallinn 2
Tianjin 2
Cambridge 1
Chicago 1
Düsseldorf 1
Fairfield 1
Hangzhou 1
Hebei 1
Lancaster 1
Lanzhou 1
Rio de Janeiro 1
Schio 1
Sindelfingen 1
Singapore 1
Taizhou 1
Warsaw 1
Washington 1
Érd 1
Totale 366
Nome #
Improving ABV by generation and abstraction of PSL assertions 102
On the Reuse of RTL assertions in Systemc TLM Verification 96
Reusing RTL assertion checkers for verification of SystemC TLM models 85
Automatic extraction of assertions from execution traces of behavioural models 74
Automatic Generation and Qualification of Assertions on Control Signals: A Time Window-Based Approach 68
Engineering of an Effective Automatic Dynamic Assertion Mining Platform 51
On the estimation of assertion interestingness 50
Totale 526
Categoria #
all - tutte 1.420
article - articoli 203
book - libri 0
conference - conferenze 782
curatela - curatele 0
other - altro 252
patent - brevetti 0
selected - selezionate 0
volume - volumi 183
Totale 2.840


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/20193 0 0 0 0 0 0 0 0 0 1 1 1
2019/202054 6 0 10 13 7 2 9 1 1 1 2 2
2020/202156 14 9 0 4 6 7 1 2 5 0 1 7
2021/202238 1 6 0 4 1 1 1 5 1 0 2 16
2022/2023150 7 16 11 35 13 34 4 9 14 0 3 4
2023/202457 6 6 7 6 5 18 0 7 2 0 0 0
Totale 526