IRIS Institutional Research Information System

Narasamdya, Iman
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 863
EU - Europa 804
AS - Asia 332
SA - Sud America 91
AF - Africa 9
Continente sconosciuto - Info sul continente non disponibili 8
Totale 2.107
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 832
RU - Federazione Russa 475
SG - Singapore 115
BR - Brasile 78
DE - Germania 73
CN - Cina 60
SE - Svezia 58
VN - Vietnam 51
UA - Ucraina 48
FI - Finlandia 32
HK - Hong Kong 31
IN - India 25
GB - Regno Unito 23
FR - Francia 21
IE - Irlanda 16
CA - Canada 15
IT - Italia 15
NL - Olanda 15
MX - Messico 11
BD - Bangladesh 9
PL - Polonia 9
BE - Belgio 8
EU - Europa 8
JP - Giappone 7
ES - Italia 5
AE - Emirati Arabi Uniti 4
AR - Argentina 4
EC - Ecuador 4
IQ - Iraq 4
LT - Lituania 3
TN - Tunisia 3
VE - Venezuela 3
GT - Guatemala 2
IL - Israele 2
KZ - Kazakistan 2
LB - Libano 2
OM - Oman 2
PH - Filippine 2
PK - Pakistan 2
UZ - Uzbekistan 2
ZA - Sudafrica 2
AZ - Azerbaigian 1
BG - Bulgaria 1
CO - Colombia 1
CR - Costa Rica 1
DO - Repubblica Dominicana 1
DZ - Algeria 1
EE - Estonia 1
EG - Egitto 1
GE - Georgia 1
ID - Indonesia 1
IR - Iran 1
JO - Giordania 1
KE - Kenya 1
KG - Kirghizistan 1
KW - Kuwait 1
MA - Marocco 1
NP - Nepal 1
PE - Perù 1
PR - Porto Rico 1
QA - Qatar 1
RS - Serbia 1
SA - Arabia Saudita 1
TH - Thailandia 1
TR - Turchia 1
Totale 2.107
Salva come PNG Salva come JPEG
Città #
Chandler 123
Jacksonville 84
Council Bluffs 75
San Jose 75
Singapore 72
Ashburn 59
Moscow 34
Boardman 33
Hong Kong 31
The Dalles 30
Beijing 28
Dallas 23
Brooklyn 21
New York 20
Wilmington 20
Helsinki 17
Dublin 16
Los Angeles 13
Dong Ket 12
Hefei 12
Ho Chi Minh City 12
Kronberg 12
Hanoi 11
São Paulo 11
Lauterbourg 10
Dearborn 9
Warsaw 8
Woodbridge 8
Santa Clara 7
Tokyo 7
Toronto 7
Munich 6
Ann Arbor 5
Falls Church 5
London 5
Al Ain City 4
Antwerp 4
Atlanta 4
Brussels 4
Chennai 4
Denver 4
Miami 4
Orem 4
Stockholm 4
Falkenstein 3
Frankfurt am Main 3
Haiphong 3
Houston 3
Montreal 3
Poplar 3
Querétaro 3
Rio de Janeiro 3
Turku 3
Verona 3
Bari 2
Campinas 2
Chengdu 2
Curitiba 2
Da Nang 2
Des Moines 2
Dhaka 2
Guayaquil 2
Kyiv 2
Manchester 2
Mexico City 2
Milan 2
New Delhi 2
Noida 2
Oklahoma City 2
Phoenix 2
Porcari 2
Pune 2
Redmond 2
Seattle 2
Secaucus 2
Shanghai 2
São Luís 2
Tashkent 2
Trento 2
Tunis 2
Accokeek 1
Algiers 1
Amman 1
Ancaster 1
Annapolis 1
Anápolis 1
Aparecida de Goiânia 1
Araxá 1
Arlington 1
Atyrau 1
Auburn 1
Baghdad 1
Baku 1
Baraúna 1
Barra do Corda 1
Batumi 1
Belgrade 1
Belo Horizonte 1
Belém 1
Bergenfield 1
Totale 1.059
Salva come PNG Salva come JPEG
Nome #
KRATOS 210
An Analytic Evaluation of SystemC Encodings in Promela 210
Formal Verification and Validation of ERTMS Industrial Railway Train Spacing System 201
Boosting Lazy Abstraction for SystemC with Partial Order Reduction 180
Certification of Smart-Card Applications in Common Criteria: Proving Representation Correspondences 179
Software Model Checking with Explicit Scheduler and Symbolic Threads 170
Verification of Parametric System Designs 168
Certification of Smart-Card Applications in Common Criteria 166
Verifying SystemC: a Software Model Checking Approach 162
Inter-Program Properties 161
Inter-Program Properties 158
Software Model Checking SystemC 142
Totale 2.107
Salva come PNG Salva come JPEG
Categoria #
all - tutte 8.660
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 8.660
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/202282 0 0 0 13 7 2 1 7 3 2 33 14
2022/2023220 5 25 2 49 8 37 1 19 50 12 9 3
2023/2024107 5 4 10 7 8 16 4 12 4 21 0 16
2024/2025363 6 10 26 7 2 18 16 21 127 49 50 31
2025/2026954 36 56 51 93 53 33 101 357 58 61 43 12
2026/202766 39 27 0 0 0 0 0 0 0 0 0 0
Totale 2.107