IRIS Institutional Research Information System

Tchaltsev, Andrei
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 820
EU - Europa 728
AS - Asia 292
SA - Sud America 63
AF - Africa 9
Continente sconosciuto - Info sul continente non disponibili 6
Totale 1.918
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 790
RU - Federazione Russa 410
SG - Singapore 94
DE - Germania 75
CN - Cina 55
BR - Brasile 54
VN - Vietnam 49
SE - Svezia 48
UA - Ucraina 36
FI - Finlandia 28
IN - India 28
HK - Hong Kong 25
IE - Irlanda 25
IT - Italia 21
FR - Francia 19
GB - Regno Unito 18
BE - Belgio 14
CA - Canada 14
NL - Olanda 14
MX - Messico 9
BD - Bangladesh 8
AR - Argentina 7
ES - Italia 5
JP - Giappone 5
PL - Polonia 5
ZA - Sudafrica 4
IL - Israele 3
IQ - Iraq 3
PK - Pakistan 3
TR - Turchia 3
AE - Emirati Arabi Uniti 2
AZ - Azerbaigian 2
CI - Costa d'Avorio 2
CZ - Repubblica Ceca 2
JO - Giordania 2
LT - Lituania 2
PR - Porto Rico 2
AM - Armenia 1
AT - Austria 1
BG - Bulgaria 1
BN - Brunei Darussalam 1
DM - Dominica 1
DO - Repubblica Dominicana 1
DZ - Algeria 1
EE - Estonia 1
EG - Egitto 1
EU - Europa 1
GR - Grecia 1
GT - Guatemala 1
GY - Guiana 1
ID - Indonesia 1
IR - Iran 1
KE - Kenya 1
KZ - Kazakistan 1
LU - Lussemburgo 1
MM - Myanmar 1
MN - Mongolia 1
PA - Panama 1
PH - Filippine 1
RO - Romania 1
SA - Arabia Saudita 1
SV - El Salvador 1
UZ - Uzbekistan 1
VE - Venezuela 1
Totale 1.913
Salva come PNG Salva come JPEG
Città #
Chandler 111
Jacksonville 63
Singapore 60
San Jose 59
Council Bluffs 56
Ashburn 48
Boardman 36
Ann Arbor 31
Dallas 26
Dublin 25
Hong Kong 25
New York 25
Moscow 21
Helsinki 17
Woodbridge 17
Beijing 16
The Dalles 16
Wilmington 16
Brooklyn 14
Los Angeles 12
Munich 11
Brussels 10
Ho Chi Minh City 10
Dong Ket 9
Hefei 9
Kronberg 9
Phoenix 9
Santa Clara 9
São Paulo 8
Buffalo 7
Houston 7
Lauterbourg 7
Chennai 6
Chicago 6
Dearborn 6
Hanoi 6
Denver 5
Frankfurt am Main 5
Hanover 5
Orem 5
Seattle 5
Shanghai 5
Tokyo 5
Toronto 5
Wangen 5
Antwerp 4
Da Nang 4
Guanzate 4
Haiphong 4
Kyiv 4
Stockholm 4
Tampa 4
Warsaw 4
Ankara 3
Atlanta 3
Charlotte 3
Dhaka 3
Falkenstein 3
Garland 3
Miami 3
Ottawa 3
Perugia 3
Salvador 3
Abidjan 2
Amman 2
Amsterdam 2
Apodaca 2
Baku 2
Bari 2
Curitiba 2
Greenville 2
Jaipur 2
Poplar 2
Pune 2
Querétaro 2
Quảng Ngãi 2
Redmond 2
São José do Rio Preto 2
Tianjin 2
Trento 2
Turin 2
Turku 2
Verona 2
Abu Dhabi 1
Algiers 1
Alvorada 1
Arapiraca 1
Arecibo 1
Austin 1
Baghdad 1
Bakersfield 1
Ballwin 1
Bandar Seri Begawan 1
Baraúna 1
Benoni 1
Bezons 1
Biên Hòa 1
Bom Retiro 1
Brandon 1
Brasilândia de Minas 1
Totale 987
Salva come PNG Salva come JPEG
Nome #
NuSMV 279
A Comprehensive Approach to On-Board Autonomy Verification and Validation 246
NuGAT 238
RAT 221
KRATOS 217
Diagnostic Information for Realizability 186
Rat: A tool for the formal analysis of requirements 182
On-Board Autonomy via Symbolic Model Based Reasoning 176
RAT: A tool for formal analysis of requirements 173
Totale 1.918
Salva come PNG Salva come JPEG
Categoria #
all - tutte 7.459
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 7.459
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/202263 0 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/2025308 8 0 37 22 6 7 17 20 109 32 31 19
2025/2026812 29 42 47 73 73 43 68 309 49 44 29 6
2026/2027120 30 21 55 14 0 0 0 0 0 0 0 0
Totale 1.918