Tian, Chun
 Distribuzione geografica
Continente #
NA - Nord America 259
EU - Europa 154
AS - Asia 67
OC - Oceania 5
AF - Africa 1
Totale 486
Nazione #
US - Stati Uniti d'America 257
IT - Italia 94
SG - Singapore 27
DE - Germania 22
CN - Cina 15
HK - Hong Kong 11
FI - Finlandia 8
GB - Regno Unito 8
SE - Svezia 8
BG - Bulgaria 5
JP - Giappone 4
AU - Australia 3
ES - Italia 3
ID - Indonesia 3
CA - Canada 2
CZ - Repubblica Ceca 2
IN - India 2
JO - Giordania 2
NZ - Nuova Zelanda 2
RU - Federazione Russa 2
DZ - Algeria 1
FR - Francia 1
IE - Irlanda 1
LA - Repubblica Popolare Democratica del Laos 1
MY - Malesia 1
TR - Turchia 1
Totale 486
Città #
Trento 63
Chandler 38
Fairfield 28
Woodbridge 18
Ashburn 17
Singapore 16
Cambridge 14
Houston 14
Wilmington 13
Seattle 12
Santa Clara 11
Columbus 10
Princeton 8
Helsinki 7
Bruehl 5
London 5
Los Angeles 5
Sofia 5
Bolzano 4
Cagliari 4
New York 4
Norwalk 4
San Diego 4
San Mateo 4
Stockholm 4
Albuquerque 3
Beijing 3
Boardman 3
Frankfurt am Main 3
Hamminkeln 3
Jakarta 3
Sydney 3
Ann Arbor 2
Auckland 2
Central 2
Comabbio 2
Dalian 2
Hangzhou 2
Hong Kong 2
Milan 2
Moscow 2
Mumbai 2
Ponte San Pietro 2
Portland 2
Qingdao 2
Riva del Garda 2
Sachse 2
Tempe 2
Tsukuba 2
Bremen 1
Brno 1
Cadelbosco di Sopra 1
Dublin 1
Falls Church 1
Guangzhou 1
Hamburg 1
Kilburn 1
Lappeenranta 1
Lonigo 1
Montreal 1
Osaka 1
Pozzolengo 1
Prague 1
San Giovanni Lupatoto 1
Santa Giustina 1
To Kwa Wan 1
Tokyo 1
Toronto 1
Vientiane 1
Totale 392
Nome #
Assumption-Based Runtime Verification of Finite- and Infinite-State Systems 183
Assumption-based Runtime Verification with Partial Observability and Resets 125
NuRV: a nuXmv Extension for Runtime Verification 94
Assumption-Based Runtime Verification of Infinite-State Systems 57
Unique solutions of contractions, CCS, and their HOL formalisation 41
Totale 500
Categoria #
all - tutte 2.514
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.514


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/2023147 5 8 0 14 24 23 11 12 13 8 23 6
2023/202490 10 11 8 0 4 6 8 17 2 8 9 7
2024/202599 11 6 17 37 15 13 0 0 0 0 0 0
Totale 500