Xia, Yechuan
 Distribuzione geografica
Continente #
EU - Europa 41
AS - Asia 31
NA - Nord America 21
SA - Sud America 4
Totale 97
Nazione #
RU - Federazione Russa 25
US - Stati Uniti d'America 20
HK - Hong Kong 18
SG - Singapore 7
DE - Germania 6
BR - Brasile 4
BE - Belgio 2
CN - Cina 2
IL - Israele 2
IT - Italia 2
NL - Olanda 2
CA - Canada 1
CH - Svizzera 1
FI - Finlandia 1
IE - Irlanda 1
IQ - Iraq 1
JO - Giordania 1
SE - Svezia 1
Totale 97
Città #
Hong Kong 18
Moscow 5
Singapore 5
The Dalles 4
Boardman 3
Falkenstein 3
Brussels 2
Munich 2
Tappahannock 2
Watsonville 2
Amman 1
Baghdad 1
Candeias 1
Dublin 1
Helsinki 1
Horizonte 1
Kronberg 1
Ottawa 1
Pasadena 1
Qiryat Motsqin 1
Shanghai 1
São Paulo 1
Teófilo Otoni 1
Zurich 1
Totale 60
Nome #
Searching for i-Good Lemmas to Accelerate Safety Model Checking 52
Avoiding the Shoals - A New Approach to Liveness Checking 51
Totale 103
Categoria #
all - tutte 446
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 446


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2022/20233 0 0 0 0 0 0 0 0 0 0 0 3
2023/202418 3 4 3 1 0 0 0 1 0 3 0 3
2024/202582 2 1 1 4 1 3 11 4 29 20 6 0
Totale 103