IRIS Institutional Research Information System

Narasamdya, Iman
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 803
EU - Europa 800
AS - Asia 326
SA - Sud America 90
AF - Africa 9
Continente sconosciuto - Info sul continente non disponibili 8
Totale 2.036
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 774
RU - Federazione Russa 475
SG - Singapore 114
BR - Brasile 78
DE - Germania 73
CN - Cina 60
SE - Svezia 56
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
IT - Italia 15
NL - Olanda 15
CA - Canada 13
MX - Messico 11
BD - Bangladesh 9
BE - Belgio 8
EU - Europa 8
PL - Polonia 8
JP - Giappone 7
AR - Argentina 4
ES - Italia 4
IQ - Iraq 4
EC - Ecuador 3
LT - Lituania 3
TN - Tunisia 3
VE - Venezuela 3
GT - Guatemala 2
IL - Israele 2
KZ - Kazakistan 2
LB - Libano 2
OM - Oman 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
PH - Filippine 1
PR - Porto Rico 1
QA - Qatar 1
RS - Serbia 1
SA - Arabia Saudita 1
TH - Thailandia 1
TR - Turchia 1
Totale 2.036
Salva come PNG Salva come JPEG
Città #
Chandler 123
Jacksonville 84
San Jose 75
Singapore 71
Ashburn 59
Moscow 34
Boardman 33
Council Bluffs 31
Hong Kong 31
The Dalles 30
Beijing 28
Dallas 23
Brooklyn 21
New York 20
Wilmington 19
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
Tokyo 7
Toronto 7
Munich 6
Ann Arbor 5
Falls Church 5
London 5
Santa Clara 5
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
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
Annapolis 1
Anápolis 1
Aparecida de Goiânia 1
Araxá 1
Arlington 1
Atyrau 1
Baghdad 1
Baku 1
Baraúna 1
Barra do Corda 1
Batumi 1
Belgrade 1
Belo Horizonte 1
Belém 1
Bergenfield 1
Bezons 1
Bishkek 1
Bismarck 1
Blumenau 1
Totale 1.007
Salva come PNG Salva come JPEG
Nome #
An Analytic Evaluation of SystemC Encodings in Promela 205
KRATOS 204
Formal Verification and Validation of ERTMS Industrial Railway Train Spacing System 190
Boosting Lazy Abstraction for SystemC with Partial Order Reduction 176
Certification of Smart-Card Applications in Common Criteria: Proving Representation Correspondences 172
Software Model Checking with Explicit Scheduler and Symbolic Threads 164
Verification of Parametric System Designs 163
Certification of Smart-Card Applications in Common Criteria 162
Verifying SystemC: a Software Model Checking Approach 156
Inter-Program Properties 154
Inter-Program Properties 152
Software Model Checking SystemC 138
Totale 2.036
Salva come PNG Salva come JPEG
Categoria #
all - tutte 8.306
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.306
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202117 0 0 0 0 0 0 0 0 0 0 0 17
2021/202285 0 3 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/2026949 36 56 51 93 53 33 101 357 58 61 43 7
Totale 2.036