Wang, Qiang
 Distribuzione geografica
Continente #
NA - Nord America 56
EU - Europa 34
AS - Asia 18
SA - Sud America 15
Totale 123
Nazione #
US - Stati Uniti d'America 54
RU - Federazione Russa 16
BR - Brasile 13
DE - Germania 5
SG - Singapore 5
UA - Ucraina 4
CN - Cina 3
HK - Hong Kong 3
VN - Vietnam 3
FI - Finlandia 2
IN - India 2
KR - Corea 2
NL - Olanda 2
CA - Canada 1
DO - Repubblica Dominicana 1
FR - Francia 1
GB - Regno Unito 1
IE - Irlanda 1
IT - Italia 1
PY - Paraguay 1
SE - Svezia 1
VE - Venezuela 1
Totale 123
Città #
Ashburn 7
Jacksonville 7
Boardman 4
Chandler 4
Wilmington 4
Dallas 3
Hong Kong 3
Los Angeles 3
Singapore 3
São Paulo 3
Moscow 2
Seattle 2
The Dalles 2
Amsterdam 1
Aracaju 1
Brooklyn 1
Campo Grande 1
Colombo 1
Curitiba 1
Dearborn 1
Dong Ket 1
Dublin 1
Fuzhou 1
Hefei 1
Helsinki 1
Ho Chi Minh City 1
Houston 1
Kolomyia 1
Kronberg 1
Manchester 1
Miami 1
Milan 1
Montreal 1
Munich 1
New York 1
Orizona 1
Palmas 1
Pelotas 1
Phoenix 1
Porto Alegre 1
Prineville 1
Salto del Guairá 1
Santo Domingo Este 1
St Petersburg 1
Tibagi 1
Viamão 1
Woodbridge 1
Totale 81
Nome #
Formal Verification of Infinite-State BIP Models 127
Totale 127
Categoria #
all - tutte 664
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 664


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/20213 0 0 0 0 0 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/202629 3 6 7 8 5 0 0 0 0 0 0 0
Totale 127