IRIS Institutional Research Information System

Narasamdya, Iman
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 799
NA - Nord America 757
AS - Asia 313
SA - Sud America 90
AF - Africa 9
Continente sconosciuto - Info sul continente non disponibili 8
Totale 1.976
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 730
RU - Federazione Russa 475
SG - Singapore 105
BR - Brasile 78
DE - Germania 73
CN - Cina 58
SE - Svezia 56
VN - Vietnam 49
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 10
BD - Bangladesh 9
BE - Belgio 8
EU - Europa 8
PL - Polonia 8
JP - Giappone 7
AR - Argentina 4
IQ - Iraq 4
EC - Ecuador 3
ES - Italia 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
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 1.976
Salva come PNG Salva come JPEG
Città #
Chandler 123
Jacksonville 84
Singapore 71
San Jose 67
Ashburn 59
Moscow 34
Boardman 33
Hong Kong 31
The Dalles 30
Beijing 26
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
São Paulo 11
Hanoi 10
Lauterbourg 10
Dearborn 9
Warsaw 8
Woodbridge 8
Tokyo 7
Toronto 7
Munich 6
Ann Arbor 5
Falls Church 5
London 5
Antwerp 4
Atlanta 4
Brussels 4
Chennai 4
Denver 4
Miami 4
Orem 4
Santa Clara 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
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
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
Bezons 1
Bishkek 1
Bismarck 1
Blumenau 1
Bogotá 1
Bootle 1
Boston 1
Brasilândia de Minas 1
Totale 964
Salva come PNG Salva come JPEG
Nome #
KRATOS 202
An Analytic Evaluation of SystemC Encodings in Promela 199
Formal Verification and Validation of ERTMS Industrial Railway Train Spacing System 184
Boosting Lazy Abstraction for SystemC with Partial Order Reduction 172
Certification of Smart-Card Applications in Common Criteria: Proving Representation Correspondences 170
Verification of Parametric System Designs 159
Certification of Smart-Card Applications in Common Criteria 157
Verifying SystemC: a Software Model Checking Approach 153
Inter-Program Properties 150
Inter-Program Properties 148
Software Model Checking with Explicit Scheduler and Symbolic Threads 148
Software Model Checking SystemC 134
Totale 1.976
Salva come PNG Salva come JPEG
Categoria #
all - tutte 7.946
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.946
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202141 0 0 0 0 0 0 0 0 0 19 5 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/2026889 36 56 51 93 53 33 101 357 58 51 0 0
Totale 1.976