Mechtaev, Sergey
 Distribuzione geografica
Continente #
NA - Nord America 51
EU - Europa 27
AS - Asia 13
Totale 91
Nazione #
US - Stati Uniti d'America 51
DE - Germania 11
SE - Svezia 5
CN - Cina 4
UA - Ucraina 4
BE - Belgio 3
HK - Hong Kong 2
IN - India 2
LB - Libano 2
RU - Federazione Russa 2
IE - Irlanda 1
IT - Italia 1
PK - Pakistan 1
SG - Singapore 1
VN - Vietnam 1
Totale 91
Città #
Ann Arbor 11
Chandler 8
Jacksonville 7
Woodbridge 4
Beijing 3
Brussels 3
Dearborn 3
Hong Kong 2
Los Angeles 2
Redwood City 2
Clearwater 1
Concord 1
Dong Ket 1
Dublin 1
Kronberg 1
Nanjing 1
Santa Clara 1
Trento 1
Wilmington 1
Yaroslavl 1
Totale 55
Nome #
Symbolic execution with existential second-order constraints 97
Totale 97
Categoria #
all - tutte 406
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 406


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/202020 0 0 0 0 0 3 5 1 2 5 3 1
2020/202123 2 0 2 2 2 2 4 0 1 5 1 2
2021/20228 1 0 1 1 0 0 1 0 1 2 0 1
2022/202319 1 0 0 4 0 4 1 3 5 0 0 1
2023/20245 1 1 0 0 0 0 0 1 0 2 0 0
2024/20252 0 1 1 0 0 0 0 0 0 0 0 0
Totale 97