Mechtaev, Sergey
 Distribuzione geografica
Continente #
NA - Nord America 60
EU - Europa 36
AS - Asia 17
SA - Sud America 4
Totale 117
Nazione #
US - Stati Uniti d'America 60
DE - Germania 11
RU - Federazione Russa 11
CN - Cina 5
SE - Svezia 5
BR - Brasile 4
SG - Singapore 4
UA - Ucraina 4
BE - Belgio 3
HK - Hong Kong 2
IN - India 2
LB - Libano 2
IE - Irlanda 1
IT - Italia 1
PK - Pakistan 1
VN - Vietnam 1
Totale 117
Città #
Ann Arbor 11
Chandler 8
Jacksonville 7
Moscow 4
Woodbridge 4
Beijing 3
Brussels 3
Dearborn 3
The Dalles 3
Council Bluffs 2
Hong Kong 2
Los Angeles 2
Redwood City 2
Belo Horizonte 1
Clearwater 1
Columbus 1
Concord 1
Cruzeiro 1
Dong Ket 1
Douglasville 1
Dublin 1
Greenbelt 1
Hefei 1
Kronberg 1
Nanjing 1
Rio de Janeiro 1
Santa Clara 1
Singapore 1
São Gonçalo dos Campos 1
Trento 1
Wilmington 1
Yaroslavl 1
Totale 73
Nome #
Symbolic execution with existential second-order constraints 123
Totale 123
Categoria #
all - tutte 521
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 521


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
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/202528 0 1 1 0 0 0 1 3 10 1 6 5
Totale 123