GHASEMPOURI, TARA
 Distribuzione geografica
Continente #
NA - Nord America 268
EU - Europa 203
AS - Asia 94
SA - Sud America 2
Totale 567
Nazione #
US - Stati Uniti d'America 267
CN - Cina 56
GB - Regno Unito 54
IT - Italia 32
DE - Germania 23
SG - Singapore 20
FR - Francia 18
SE - Svezia 17
IE - Irlanda 16
RU - Federazione Russa 14
FI - Finlandia 13
KR - Corea 7
VN - Vietnam 7
EE - Estonia 6
BE - Belgio 5
ID - Indonesia 3
DK - Danimarca 2
BR - Brasile 1
CA - Canada 1
HU - Ungheria 1
PE - Perù 1
PL - Polonia 1
TR - Turchia 1
UA - Ucraina 1
Totale 567
Città #
Chandler 70
Southend 52
Woodbridge 35
New York 19
Dublin 16
Singapore 16
Jacksonville 13
Ann Arbor 12
Verona 12
Houston 11
Ashburn 10
Jinan 7
Lawrence 7
Princeton 7
Seoul 7
Wilmington 6
Brussels 5
Nettuno 5
Tallinn 5
Beijing 4
Cagliari 4
Munich 4
Nanjing 4
Ningbo 4
Dong Ket 3
Haikou 3
Saint-martin-d'heres 3
San Francisco 3
Santa Clara 3
Sunnyvale 3
Tianjin 3
Bovolone 2
Changsha 2
Helsinki 2
Jakarta 2
Jiaxing 2
Lyngby 2
Milan 2
Nanchang 2
Redwood City 2
Seattle 2
Shenyang 2
Boardman 1
Cambridge 1
Chicago 1
Cirebon 1
Düsseldorf 1
Fairfield 1
Hangzhou 1
Hebei 1
Lancaster 1
Lanzhou 1
Lima 1
Ottawa 1
Rio de Janeiro 1
Schio 1
Sindelfingen 1
Taizhou 1
Warsaw 1
Washington 1
Érd 1
Totale 397
Nome #
Improving ABV by generation and abstraction of PSL assertions 116
On the Reuse of RTL assertions in Systemc TLM Verification 107
Reusing RTL assertion checkers for verification of SystemC TLM models 93
Automatic extraction of assertions from execution traces of behavioural models 82
Automatic Generation and Qualification of Assertions on Control Signals: A Time Window-Based Approach 74
On the estimation of assertion interestingness 59
Engineering of an Effective Automatic Dynamic Assertion Mining Platform 57
Totale 588
Categoria #
all - tutte 1.964
article - articoli 286
book - libri 0
conference - conferenze 1.087
curatela - curatele 0
other - altro 332
patent - brevetti 0
selected - selezionate 0
volume - volumi 259
Totale 3.928


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/202025 0 0 0 0 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/2023148 7 16 11 35 13 34 4 9 13 0 3 3
2023/202465 6 6 6 4 4 18 0 7 2 7 4 1
2024/202556 9 9 6 27 5 0 0 0 0 0 0 0
Totale 588