Tian, Chun
 Distribuzione geografica
Continente #
NA - Nord America 227
EU - Europa 104
AS - Asia 29
OC - Oceania 2
Totale 362
Nazione #
US - Stati Uniti d'America 227
IT - Italia 56
DE - Germania 20
GB - Regno Unito 10
HK - Hong Kong 9
CN - Cina 8
FI - Finlandia 7
BG - Bulgaria 5
SG - Singapore 5
SE - Svezia 4
JP - Giappone 3
CZ - Repubblica Ceca 2
IN - India 2
JO - Giordania 2
NZ - Nuova Zelanda 2
Totale 362
Città #
Chandler 38
Trento 31
Fairfield 28
Woodbridge 18
Ashburn 17
Cambridge 14
Houston 14
Wilmington 13
Seattle 12
Princeton 8
Helsinki 6
Bruehl 5
London 5
Sofia 5
Cagliari 4
New York 4
Norwalk 4
San Diego 4
San Mateo 4
Albuquerque 3
Frankfurt am Main 3
Hamminkeln 3
Ann Arbor 2
Auckland 2
Central 2
Comabbio 2
Hangzhou 2
Los Angeles 2
Milan 2
Mumbai 2
Ponte San Pietro 2
Portland 2
Qingdao 2
Riva del Garda 2
Sachse 2
Tempe 2
Tsukuba 2
Bolzano 1
Bremen 1
Brno 1
Cadelbosco di Sopra 1
Falls Church 1
Hamburg 1
Kilburn 1
Lappeenranta 1
Lonigo 1
New Bedfont 1
Osaka 1
Prague 1
San Giovanni Lupatoto 1
Santa Giustina 1
To Kwa Wan 1
Totale 288
Nome #
Assumption-based Runtime Verification with Partial Observability and Resets 112
Assumption-Based Runtime Verification of Finite- and Infinite-State Systems 110
NuRV: a nuXmv Extension for Runtime Verification 82
Assumption-Based Runtime Verification of Infinite-State Systems 42
Unique solutions of contractions, CCS, and their HOL formalisation 30
Totale 376
Categoria #
all - tutte 1.889
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 1.889


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/202021 0 0 0 0 0 0 0 0 0 13 0 8
2020/202191 1 14 0 16 19 9 2 5 1 16 1 7
2021/202252 2 3 0 4 4 2 2 19 3 3 2 8
2022/2023148 5 8 0 14 24 23 12 12 13 8 23 6
2023/202464 10 11 9 0 4 6 8 16 0 0 0 0
Totale 376