IRIS Institutional Research Information System

Tchaltsev, Andrei
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 733
EU - Europa 728
AS - Asia 292
SA - Sud America 63
AF - Africa 9
Continente sconosciuto - Info sul continente non disponibili 6
Totale 1.831
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 704
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
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.826
Salva come PNG Salva come JPEG
Città #
Chandler 111
Jacksonville 63
Singapore 60
San Jose 50
Ashburn 48
Council Bluffs 46
Boardman 36
Ann Arbor 31
Dallas 26
Dublin 25
Hong Kong 25
New York 23
Moscow 21
Helsinki 17
Woodbridge 17
Beijing 16
The Dalles 16
Wilmington 16
Brooklyn 14
Los Angeles 11
Munich 11
Brussels 10
Ho Chi Minh City 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
Perugia 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
Buffalo 1
Bắc Ninh 1
Bến Tre 1
Cairo 1
Totale 944
Salva come PNG Salva come JPEG
Nome #
NuSMV 271
A Comprehensive Approach to On-Board Autonomy Verification and Validation 236
NuGAT 229
RAT 209
KRATOS 208
Diagnostic Information for Realizability 175
Rat: A tool for the formal analysis of requirements 173
On-Board Autonomy via Symbolic Model Based Reasoning 167
RAT: A tool for formal analysis of requirements 163
Totale 1.831
Salva come PNG Salva come JPEG
Categoria #
all - tutte 7.162
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.162
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/202733 30 3 0 0 0 0 0 0 0 0 0 0
Totale 1.831