Tian, Chun
 Distribuzione geografica
Continente #
NA - Nord America 277
EU - Europa 203
AS - Asia 93
OC - Oceania 2
Continente sconosciuto - Info sul continente non disponibili 1
Totale 576
Nazione #
US - Stati Uniti d'America 272
DE - Germania 65
IT - Italia 62
CN - Cina 34
HK - Hong Kong 14
SG - Singapore 14
FR - Francia 12
GB - Regno Unito 12
UA - Ucraina 12
JP - Giappone 10
IN - India 9
FI - Finlandia 7
GR - Grecia 6
HU - Ungheria 6
VN - Vietnam 6
CA - Canada 4
RU - Federazione Russa 4
SE - Svezia 4
SI - Slovenia 4
IE - Irlanda 3
BE - Belgio 2
DK - Danimarca 2
IL - Israele 2
LB - Libano 2
AT - Austria 1
AU - Australia 1
ES - Italia 1
EU - Europa 1
IR - Iran 1
LK - Sri Lanka 1
MX - Messico 1
NZ - Nuova Zelanda 1
Totale 576
Città #
Chandler 53
Los Angeles 47
Trento 32
Jacksonville 20
Boardman 14
Brooklyn 12
Hong Kong 12
Wilmington 12
Beijing 11
Singapore 11
Ashburn 9
Guangzhou 8
Helsinki 7
Tokyo 7
Dong Ket 6
Redwood City 6
Kronberg 5
Shanghai 5
Bolzano 4
Budapest 4
Hangzhou 4
Ottawa 4
Santa Monica 4
Verona 4
Ann Arbor 3
Dearborn 3
Dublin 3
Havre De Grace 3
Norwalk 3
Nuremberg 3
Pune 3
West Lafayette 3
Alfeld 2
Bengaluru 2
Braunschweig 2
Bruehl 2
Council Bluffs 2
Falls Church 2
Fremont 2
Karlsruhe 2
Kwun Tong 2
Ljubljana 2
Lonigo 2
Mountain View 2
Munich 2
Poole 2
Ramat Gan 2
Redmond 2
Rome 2
Santa Clara 2
Wakefield 2
Woodbridge 2
Wuxi 2
Altofonte 1
Ardabil 1
Auckland 1
Barcelona 1
Barletta 1
Berkeley 1
Berlin 1
Cambridge 1
Cologne 1
Colombo 1
Ermont 1
Farmington 1
Fino Mornasco 1
Florence 1
Graz 1
Huntsville 1
Jiaxing 1
Maidstone 1
Marietta 1
Mexico City 1
Monmouth Junction 1
Nanjing 1
Nürnberg 1
Pieve 1
Sydney 1
Waltham 1
Wertach 1
Xuzhou 1
Yangzhou 1
Totale 396
Nome #
NuRV: a nuXmv Extension for Runtime Verification 207
Assumption-based Runtime Verification with Partial Observability and Resets 171
Unique Solutions of Contractions, CCS, and their HOL Formalisation 92
Assumption-Based Runtime Verification of Infinite-State Systems 61
Unique solutions of contractions, CCS, and their HOL formalisation 57
Assumption-based Runtime Verification 18
Totale 606
Categoria #
all - tutte 2.806
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 2.806


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/202093 0 0 0 0 15 6 13 9 14 22 5 9
2020/2021122 13 6 23 4 13 8 12 2 8 17 1 15
2021/202275 3 6 1 16 2 8 1 9 2 2 13 12
2022/2023125 4 10 1 18 1 17 3 12 32 11 10 6
2023/202470 2 5 3 5 7 11 2 9 5 5 2 14
2024/202532 2 6 13 7 4 0 0 0 0 0 0 0
Totale 606