Tchaltsev, Andrei
 Distribuzione geografica
Continente #
NA - Nord America 425
EU - Europa 236
AS - Asia 88
SA - Sud America 2
AF - Africa 1
Continente sconosciuto - Info sul continente non disponibili 1
Totale 753
Nazione #
US - Stati Uniti d'America 418
DE - Germania 58
SE - Svezia 32
UA - Ucraina 32
IE - Irlanda 25
FI - Finlandia 24
SG - Singapore 22
HK - Hong Kong 19
CN - Cina 17
IN - India 15
IT - Italia 15
BE - Belgio 13
GB - Regno Unito 11
RU - Federazione Russa 10
VN - Vietnam 10
FR - Francia 7
CA - Canada 6
NL - Olanda 3
CZ - Repubblica Ceca 2
AM - Armenia 1
AR - Argentina 1
BD - Bangladesh 1
BG - Bulgaria 1
BR - Brasile 1
EU - Europa 1
GR - Grecia 1
IR - Iran 1
JP - Giappone 1
LU - Lussemburgo 1
MN - Mongolia 1
PA - Panama 1
PL - Polonia 1
ZA - Sudafrica 1
Totale 753
Città #
Chandler 111
Jacksonville 63
Boardman 32
Ann Arbor 31
Dublin 25
Ashburn 19
Hong Kong 19
Singapore 18
Woodbridge 17
Wilmington 16
Helsinki 15
New York 15
Brooklyn 11
Brussels 9
Dong Ket 9
Kronberg 9
Dearborn 6
Munich 6
Beijing 5
Hanover 5
Houston 5
Los Angeles 5
Shanghai 5
Wangen 5
Antwerp 4
Guanzate 4
Phoenix 4
Seattle 4
Ottawa 3
Toronto 3
Bari 2
Frankfurt am Main 2
Miami 2
Pune 2
Redmond 2
Santa Clara 2
Trento 2
Turin 2
Verona 2
Buenos Aires 1
Charlotte 1
Gunzenhausen 1
Hangzhou 1
Ho Chi Minh City 1
Inglewood 1
London 1
Nanchang 1
Norwalk 1
Nuremberg 1
Olomouc 1
Portland 1
Prague 1
Sofia 1
Spinea 1
São Paulo 1
Tokyo 1
Yerevan 1
Totale 519
Nome #
NuSMV 125
NuGAT 102
KRATOS 97
RAT 92
A Comprehensive Approach to On-Board Autonomy Verification and Validation 79
Rat: A tool for the formal analysis of requirements 72
On-Board Autonomy via Symbolic Model Based Reasoning 68
Diagnostic Information for Realizability 67
RAT: A tool for formal analysis of requirements 56
Totale 758
Categoria #
all - tutte 4.049
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 4.049


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/202071 0 0 0 0 0 7 14 2 10 23 10 5
2020/202189 12 0 9 9 9 2 14 0 0 17 4 13
2021/202265 2 0 0 11 3 0 1 8 1 2 20 17
2022/2023188 11 18 2 52 3 25 6 16 31 14 7 3
2023/2024133 8 7 10 8 7 41 4 9 10 8 1 20
2024/202580 8 0 37 22 6 7 0 0 0 0 0 0
Totale 758