Tian, Chun
 Distribuzione geografica
Continente #
NA - Nord America 503
EU - Europa 297
AS - Asia 209
SA - Sud America 26
Continente sconosciuto - Info sul continente non disponibili 14
OC - Oceania 8
AF - Africa 4
Totale 1.061
Nazione #
US - Stati Uniti d'America 482
IT - Italia 159
SG - Singapore 69
DE - Germania 43
CN - Cina 38
VN - Vietnam 25
HK - Hong Kong 21
BR - Brasile 20
FI - Finlandia 15
RU - Federazione Russa 15
CA - Canada 13
SE - Svezia 13
FR - Francia 11
GB - Regno Unito 10
ES - Italia 9
IN - India 9
KR - Corea 9
JP - Giappone 8
AU - Australia 6
NL - Olanda 6
TW - Taiwan 6
BD - Bangladesh 5
BG - Bulgaria 5
LV - Lettonia 5
ID - Indonesia 4
JM - Giamaica 3
MX - Messico 3
AR - Argentina 2
CZ - Repubblica Ceca 2
IQ - Iraq 2
JO - Giordania 2
MA - Marocco 2
NZ - Nuova Zelanda 2
PK - Pakistan 2
AD - Andorra 1
AL - Albania 1
AZ - Azerbaigian 1
DZ - Algeria 1
GT - Guatemala 1
IE - Irlanda 1
IL - Israele 1
KW - Kuwait 1
LA - Repubblica Popolare Democratica del Laos 1
MY - Malesia 1
PE - Perù 1
PH - Filippine 1
PR - Porto Rico 1
PY - Paraguay 1
TH - Thailandia 1
TR - Turchia 1
UA - Ucraina 1
UY - Uruguay 1
UZ - Uzbekistan 1
VE - Venezuela 1
ZA - Sudafrica 1
Totale 1.047
Città #
Trento 85
Ashburn 67
Chandler 38
Singapore 38
Fairfield 28
San Jose 24
Los Angeles 21
Council Bluffs 20
Woodbridge 18
Munich 15
Santa Clara 15
Cambridge 14
Houston 14
Wilmington 13
Seattle 12
Columbus 11
Hong Kong 11
New York 11
Beijing 10
Helsinki 9
Ho Chi Minh City 9
Seoul 9
Dallas 8
Princeton 8
The Dalles 8
Lauterbourg 7
London 6
Milan 6
Bolzano 5
Bruehl 5
Hanoi 5
Riga 5
Sofia 5
Stockholm 5
Taipei 5
Cagliari 4
Frankfurt am Main 4
Moscow 4
Norwalk 4
Orem 4
San Diego 4
San Mateo 4
Sydney 4
Tokyo 4
Toronto 4
Turku 4
Albuquerque 3
Berkeley 3
Boardman 3
Chicago 3
Dalian 3
Hamminkeln 3
Jakarta 3
Madrid 3
Montreal 3
Mumbai 3
Pergine Valsugana 3
Qingdao 3
Rome 3
Salt Lake City 3
Tempe 3
Ann Arbor 2
Atlanta 2
Auckland 2
Berlin 2
Boston 2
Brooklyn 2
Buffalo 2
Central 2
Comabbio 2
Da Nang 2
Dhaka 2
Falkenstein 2
Gothenburg 2
Hangzhou 2
Kingston 2
Lappeenranta 2
Logroño 2
Melbourne 2
Miami 2
Osaka 2
Padova 2
Ponte San Pietro 2
Portland 2
Riva del Garda 2
Sachse 2
Salinas 2
São Paulo 2
Tsukuba 2
Washington 2
Anchorage 1
Andorra la Vella 1
Asunción 1
Baghdad 1
Bagnolo Piemonte 1
Bangkok 1
Bari 1
Bartow 1
Biên Hòa 1
Boise 1
Totale 727
Nome #
Assumption-Based Runtime Verification of Finite- and Infinite-State Systems 426
Assumption-based Runtime Verification with Partial Observability and Resets 235
NuRV: a nuXmv Extension for Runtime Verification 164
Assumption-Based Runtime Verification of Infinite-State Systems 141
Unique solutions of contractions, CCS, and their HOL formalisation 95
Totale 1.061
Categoria #
all - tutte 4.372
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 4.372


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/202243 0 0 0 0 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/2025232 11 6 17 37 15 30 19 20 22 17 15 23
2025/2026323 33 1 37 51 30 22 44 10 22 31 23 19
2026/2027105 12 8 27 54 4 0 0 0 0 0 0 0
Totale 1.061