IRIS Institutional Research Information System

Tchaltsev, Andrei
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 719
NA - Nord America 673
AS - Asia 292
SA - Sud America 63
AF - Africa 9
Continente sconosciuto - Info sul continente non disponibili 1
Totale 1.757
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 644
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 15
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.757
Salva come PNG Salva come JPEG
Città #
Chandler 111
Jacksonville 63
Singapore 60
Ashburn 47
San Jose 43
Boardman 36
Ann Arbor 31
Dallas 25
Dublin 25
Hong Kong 25
New York 23
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
Da Nang 4
Guanzate 4
Haiphong 4
Kyiv 4
Stockholm 4
Toronto 4
Warsaw 4
Ankara 3
Atlanta 3
Charlotte 3
Chicago 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
Capela 1
Totale 886
Salva come PNG Salva come JPEG
Nome #
NuSMV 259
A Comprehensive Approach to On-Board Autonomy Verification and Validation 229
NuGAT 222
KRATOS 203
RAT 201
Diagnostic Information for Realizability 166
Rat: A tool for the formal analysis of requirements 165
On-Board Autonomy via Symbolic Model Based Reasoning 161
RAT: A tool for formal analysis of requirements 156
Totale 1.762
Salva come PNG Salva come JPEG
Categoria #
all - tutte 6.699
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.699
Salva come PNG Salva come JPEG


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