Narasamdya, Iman
 Distribuzione geografica
Continente #
NA - Nord America 460
EU - Europa 238
AS - Asia 83
Continente sconosciuto - Info sul continente non disponibili 8
Totale 789
Nazione #
US - Stati Uniti d'America 456
DE - Germania 55
UA - Ucraina 44
SE - Svezia 40
FI - Finlandia 25
HK - Hong Kong 25
IE - Irlanda 15
IT - Italia 15
CN - Cina 14
IN - India 14
RU - Federazione Russa 14
GB - Regno Unito 13
SG - Singapore 13
VN - Vietnam 12
EU - Europa 8
BE - Belgio 7
FR - Francia 5
CA - Canada 4
NL - Olanda 4
JP - Giappone 2
BG - Bulgaria 1
IL - Israele 1
KG - Kirghizistan 1
PK - Pakistan 1
Totale 789
Città #
Chandler 123
Jacksonville 84
Boardman 32
Hong Kong 25
Ashburn 22
Wilmington 19
Brooklyn 18
Dublin 15
Helsinki 13
Dong Ket 12
Kronberg 12
Dearborn 9
Singapore 9
Woodbridge 8
Beijing 6
Los Angeles 6
Ann Arbor 5
Falls Church 5
New York 5
Antwerp 4
Munich 4
Brussels 3
Miami 3
Toronto 3
Verona 3
Bari 2
Des Moines 2
Houston 2
Milan 2
Porcari 2
Pune 2
Redmond 2
Seattle 2
Shanghai 2
Tokyo 2
Trento 2
Bishkek 1
Charlotte 1
Erding 1
Florence 1
Haifa 1
Hanover 1
Islamabad 1
Kunming 1
London 1
Mountain View 1
Norwalk 1
Ottawa 1
Portland 1
Redwood City 1
Saint Petersburg 1
Sofia 1
Weihai 1
Totale 487
Nome #
KRATOS 97
Formal Verification and Validation of ERTMS Industrial Railway Train Spacing System 88
An Analytic Evaluation of SystemC Encodings in Promela 74
Verifying SystemC: a Software Model Checking Approach 65
Inter-Program Properties 63
Certification of Smart-Card Applications in Common Criteria: Proving Representation Correspondences 62
Boosting Lazy Abstraction for SystemC with Partial Order Reduction 61
Inter-Program Properties 59
Certification of Smart-Card Applications in Common Criteria 59
Verification of Parametric System Designs 58
Software Model Checking with Explicit Scheduler and Symbolic Threads 52
Software Model Checking SystemC 51
Totale 789
Categoria #
all - tutte 4.715
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 4.715


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/202070 0 0 0 0 0 5 14 1 14 17 14 5
2020/2021109 13 2 12 5 12 10 13 1 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/202565 6 10 26 7 2 14 0 0 0 0 0 0
Totale 789