Tian, Chun
 Distribuzione geografica
Continente #
NA - Nord America 261
EU - Europa 199
AS - Asia 66
Continente sconosciuto - Info sul continente non disponibili 1
OC - Oceania 1
Totale 528
Nazione #
US - Stati Uniti d'America 256
DE - Germania 63
IT - Italia 61
CN - Cina 32
GB - Regno Unito 12
UA - Ucraina 12
FR - Francia 11
IN - India 9
HK - Hong Kong 8
FI - Finlandia 7
GR - Grecia 6
HU - Ungheria 6
JP - Giappone 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
ES - Italia 1
EU - Europa 1
IR - Iran 1
MX - Messico 1
NZ - Nuova Zelanda 1
Totale 528
Città #
Chandler 53
Los Angeles 46
Trento 32
Jacksonville 20
Brooklyn 12
Wilmington 12
Beijing 11
Ashburn 9
Guangzhou 8
Helsinki 7
Dong Ket 6
Hong Kong 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
Tokyo 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
Poole 2
Ramat Gan 2
Redmond 2
Rome 2
Wakefield 2
Woodbridge 2
Wuxi 2
Altofonte 1
Ardabil 1
Auckland 1
Barcelona 1
Barletta 1
Berkeley 1
Berlin 1
Boardman 1
Cambridge 1
Cologne 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
Waltham 1
Wertach 1
Totale 353
Nome #
NuRV: a nuXmv Extension for Runtime Verification 200
Assumption-based Runtime Verification with Partial Observability and Resets 161
Unique Solutions of Contractions, CCS, and their HOL Formalisation 86
Assumption-Based Runtime Verification of Infinite-State Systems 53
Unique solutions of contractions, CCS, and their HOL formalisation 50
Assumption-based Runtime Verification 8
Totale 558
Categoria #
all - tutte 2.241
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.241


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/20193 0 0 0 0 0 0 0 0 0 0 2 1
2019/2020154 1 1 20 39 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/202454 2 5 3 5 7 11 2 9 5 5 0 0
Totale 558