关注
Shahid Khan
Shahid Khan
在 cs.rwth-aachen.de 的电子邮件经过验证
标题
引用次数
引用次数
年份
Transformational leadership and civic virtue behavior: Valuing act of thriving and emotional exhaustion in the hotel industry
NA Khan, AN Khan, MA Soomro, SK Khan
Asia Pacific Management Review 25 (4), 216-225, 2020
1302020
Production and characterization of biodiesel from waste and vegetable oils
MN Younis, MS Saeed, S Khan, MU Furqan, RU Khan, M Saleem
Journal of Quality and Technology Management 5 (1), 111-121, 2009
322009
Understanding multiscreening phenomenon for online shopping through perspective of self-regulation and dual process theory: Case of Chinese young generation
SK Khan, N Ali, NA Khan, U Ammara, N Anjum
Electronic Commerce Research and Applications 42, 100988, 2020
222020
Morphological control of 1D and 3D TiO2 nanostructures with ammonium hydroxide and TiO2 compact layer on FTO coated glass in hydrothermal synthesis
W Ali, GH Jaffari, S Khan, Y Liu
Materials Chemistry and Physics 214, 48-55, 2018
182018
Provision of health assistance to internally displaced persons of South Waziristan agency in camps
S Khan
International journal of public administration and management research 2 (3 …, 2014
182014
Isotope and thermal effects in chemiosmotic coupling to the membrane ATPase of Streptococcus.
S Khan, HC Berg
Journal of Biological Chemistry 258 (11), 6709-6712, 1983
131983
BDDs strike back: efficient analysis of static and dynamic fault trees
D Basgöze, M Volk, JP Katoen, S Khan, M Stoelinga
NASA Formal Methods Symposium, 713-732, 2022
102022
Synergizing reliability modeling languages: BDMPs without repairs and DFTs
S Khan, JP Katoen, M Volk, M Bouissou
2019 IEEE 24th Pacific Rim International Symposium on Dependable Computing …, 2019
102019
Motility and Recognition in Cell Biology
HC Berg, S Khan
H. Sund & C. Veeger, Eds, 485-497, 1983
101983
Explaining boolean-logic driven markov processes using GSPNs
S Khan, JP Katoen, M Bouissou
2020 16th European Dependable Computing Conference (EDCC), 119-126, 2020
92020
Childhood Leukemias in Khyber Pakhtunkhwa and Afghan Children Visiting to Hayatabad Medical Complex Hospital
S Khan, A Mir, B Khattak, A Rehman, A Zeb
Arch Can Res 5 (3), 149, 2017
92017
First experiences with the Spanner™ temporary prostatic stent for prostatic urethral obstruction
MHC Goh, C Kastner, S Khan, P Thomas, AG Timoney
Urologia Internationalis 91 (4), 384-390, 2013
92013
A multilevel model of abusive supervision climate
S Khan, K Kiazad, S Sendjaya, B Cooper
Personnel Review 51 (9), 2347-2370, 2022
82022
Scalable reliability analysis by lazy verification
S Khan, JP Katoen, M Volk, M Bouissou
NASA Formal Methods Symposium, 180-197, 2021
72021
A compositional semantics for repairable bdmps
S Khan, JP Katoen, M Bouissou
International Conference on Computer Safety, Reliability, and Security, 82-98, 2020
72020
Various ways to quantify BDMPs
M Bouissou, S Khan, JP Katoen, P Krcal
arXiv preprint arXiv:2004.13283, 2020
72020
Model checking the multi-formalism language Figaro
S Khan, M Volk, JP Katoen, A Braibant, M Bouissou
2021 51st Annual IEEE/IFIP International Conference on Dependable Systems …, 2021
62021
Accelerating SpMV multiplication in probabilistic model checkers using GPUs
MH Khan, O Hassan, S Khan
Theoretical Aspects of Computing–ICTAC 2021: 18th International Colloquium …, 2021
62021
Formal verification and safety assessment of a hemodialysis machine
S Khan, O Hasan, A Mashkoor
International Conference on Current Trends in Theory and Practice of …, 2017
62017
Antifungal potential of ethanol extracts of Allium sativum and Allium ampeloprasum
S Khan, NR Sharma
Asian Journal of Pharmaceutical and Clinical Research 10 (4), 207-210, 2017
62017
系统目前无法执行此操作,请稍后再试。
文章 1–20