Wang, Qiang
 Distribuzione geografica
Continente #
NA - Nord America 45
EU - Europa 31
AS - Asia 12
SA - Sud America 8
Totale 96
Nazione #
US - Stati Uniti d'America 44
RU - Federazione Russa 15
BR - Brasile 6
DE - Germania 5
UA - Ucraina 4
HK - Hong Kong 3
CN - Cina 2
FI - Finlandia 2
IN - India 2
KR - Corea 2
NL - Olanda 2
SG - Singapore 2
DO - Repubblica Dominicana 1
IE - Irlanda 1
IT - Italia 1
PY - Paraguay 1
SE - Svezia 1
VE - Venezuela 1
VN - Vietnam 1
Totale 96
Città #
Jacksonville 7
Ashburn 5
Boardman 4
Chandler 4
Wilmington 4
Hong Kong 3
Moscow 2
Seattle 2
São Paulo 2
The Dalles 2
Amsterdam 1
Aracaju 1
Brooklyn 1
Curitiba 1
Dallas 1
Dearborn 1
Dong Ket 1
Dublin 1
Fuzhou 1
Hefei 1
Helsinki 1
Houston 1
Kolomyia 1
Kronberg 1
Miami 1
Milan 1
Munich 1
New York 1
Orizona 1
Phoenix 1
Prineville 1
Salto del Guairá 1
Santo Domingo Este 1
Singapore 1
Viamão 1
Woodbridge 1
Totale 61
Nome #
Formal Verification of Infinite-State BIP Models 100
Totale 100
Categoria #
all - tutte 570
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 570


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/20216 1 0 1 0 1 0 1 0 0 1 0 1
2021/20224 0 0 0 1 0 0 0 1 0 0 1 1
2022/20238 1 2 0 1 0 0 0 0 2 1 1 0
2023/202414 1 0 1 2 0 3 1 1 2 0 0 3
2024/202537 1 1 1 1 1 0 8 2 15 2 5 0
2025/20262 2 0 0 0 0 0 0 0 0 0 0 0
Totale 100