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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/20212 0 0 0 0 0 0 0 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/202679 3 6 7 8 5 5 3 30 8 4 0 0
Totale 177