IRIS Institutional Research Information System

Tchaltsev, Andrei
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 720
NA - Nord America 705
AS - Asia 292
SA - Sud America 63
AF - Africa 9
Continente sconosciuto - Info sul continente non disponibili 1
Totale 1.790
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 676
RU - Federazione Russa 410
SG - Singapore 94
DE - Germania 75
CN - Cina 55
BR - Brasile 54
VN - Vietnam 49
SE - Svezia 45
UA - Ucraina 36
FI - Finlandia 28
IN - India 28
HK - Hong Kong 25
IE - Irlanda 25
FR - Francia 19
GB - Regno Unito 18
IT - Italia 16
BE - Belgio 14
NL - Olanda 14
CA - Canada 13
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.790
Salva come PNG Salva come JPEG
Città #
Chandler 111
Jacksonville 63
Singapore 60
San Jose 50
Ashburn 48
Boardman 36
Ann Arbor 31
Dallas 26
Dublin 25
Hong Kong 25
New York 23
Council Bluffs 21
Moscow 21
Helsinki 17
Woodbridge 17
Beijing 16
The Dalles 16
Wilmington 16
Brooklyn 14
Munich 11
Brussels 10
Ho Chi Minh City 10
Los Angeles 10
Dong Ket 9
Hefei 9
Kronberg 9
São Paulo 8
Houston 7
Lauterbourg 7
Chennai 6
Dearborn 6
Hanoi 6
Phoenix 6
Santa Clara 6
Denver 5
Frankfurt am Main 5
Hanover 5
Orem 5
Seattle 5
Shanghai 5
Tokyo 5
Wangen 5
Antwerp 4
Chicago 4
Da Nang 4
Guanzate 4
Haiphong 4
Kyiv 4
Stockholm 4
Toronto 4
Warsaw 4
Ankara 3
Atlanta 3
Charlotte 3
Dhaka 3
Falkenstein 3
Miami 3
Ottawa 3
Salvador 3
Abidjan 2
Amman 2
Amsterdam 2
Apodaca 2
Baku 2
Bari 2
Curitiba 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
Baghdad 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
Brasília 1
Bratsk 1
Buenos Aires 1
Bắc Ninh 1
Bến Tre 1
Cairo 1
Calgary 1
Cape Town 1
Totale 916
Salva come PNG Salva come JPEG
Nome #
NuSMV 264
A Comprehensive Approach to On-Board Autonomy Verification and Validation 233
NuGAT 226
RAT 204
KRATOS 204
Diagnostic Information for Realizability 171
Rat: A tool for the formal analysis of requirements 170
On-Board Autonomy via Symbolic Model Based Reasoning 163
RAT: A tool for formal analysis of requirements 160
Totale 1.795
Salva come PNG Salva come JPEG
Categoria #
all - tutte 6.962
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 6.962
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202113 0 0 0 0 0 0 0 0 0 0 0 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/2025308 8 0 37 22 6 7 17 20 109 32 31 19
2025/2026809 29 42 47 73 73 43 68 309 49 44 29 3
Totale 1.795