IRIS Institutional Research Information System

Narasamdya, Iman
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 953
EU - Europa 805
AS - Asia 333
SA - Sud America 91
AF - Africa 10
Continente sconosciuto - Info sul continente non disponibili 8
Totale 2.200
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 919
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 32
IN - India 25
GB - Regno Unito 23
FR - Francia 21
CA - Canada 18
IE - Irlanda 16
IT - Italia 16
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
SC - Seychelles 1
TH - Thailandia 1
TR - Turchia 1
Totale 2.200
Salva come PNG Salva come JPEG
Città #
Chandler 123
San Jose 87
Jacksonville 84
Council Bluffs 75
Singapore 72
Ashburn 61
Moscow 34
Boardman 33
Hong Kong 31
The Dalles 30
Beijing 28
Dallas 23
New York 23
Brooklyn 22
Wilmington 20
Helsinki 17
Dublin 16
Los Angeles 14
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
Buffalo 7
Santa Clara 7
Tokyo 7
Toronto 7
Munich 6
Ann Arbor 5
Atlanta 5
Denver 5
Falls Church 5
London 5
Al Ain City 4
Antwerp 4
Brussels 4
Chennai 4
Miami 4
Orem 4
Stockholm 4
Falkenstein 3
Frankfurt am Main 3
Haiphong 3
Houston 3
Montreal 3
North Easton 3
Poplar 3
Querétaro 3
Rio de Janeiro 3
Tampa 3
The Bronx 3
Turku 3
Verona 3
Bari 2
Campinas 2
Chengdu 2
Curitiba 2
Da Nang 2
Des Moines 2
Dhaka 2
Garland 2
Guayaquil 2
Kyiv 2
Lawrenceville 2
Manchester 2
Mexico City 2
Milan 2
New Delhi 2
Noida 2
Oklahoma City 2
Phoenix 2
Porcari 2
Portland 2
Princeton 2
Pune 2
Redmond 2
Roswell 2
Seattle 2
Secaucus 2
Shanghai 2
São Luís 2
Tashkent 2
Trento 2
Tunis 2
Abbeville 1
Accokeek 1
Algiers 1
Amman 1
Ancaster 1
Annapolis 1
Anápolis 1
Aparecida de Goiânia 1
Araxá 1
Arlington 1
Atyrau 1
Totale 1.097
Salva come PNG Salva come JPEG
Nome #
KRATOS 218
An Analytic Evaluation of SystemC Encodings in Promela 217
Formal Verification and Validation of ERTMS Industrial Railway Train Spacing System 209
Boosting Lazy Abstraction for SystemC with Partial Order Reduction 188
Certification of Smart-Card Applications in Common Criteria: Proving Representation Correspondences 187
Software Model Checking with Explicit Scheduler and Symbolic Threads 176
Verification of Parametric System Designs 175
Certification of Smart-Card Applications in Common Criteria 174
Verifying SystemC: a Software Model Checking Approach 170
Inter-Program Properties 169
Inter-Program Properties 168
Software Model Checking SystemC 149
Totale 2.200
Salva come PNG Salva come JPEG
Categoria #
all - tutte 9.002
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 9.002
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/2027159 39 27 68 25 0 0 0 0 0 0 0 0
Totale 2.200