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 | 120 | 2020 |
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 | 20 | 2020 |
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 | 17 | 2014 |
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 | 13 | 1983 |
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 | 10 | 2019 |
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 | 9 | 2022 |
Explaining boolean-logic driven markov processes using GSPNs S Khan, JP Katoen, M Bouissou 2020 16th European Dependable Computing Conference (EDCC), 119-126, 2020 | 9 | 2020 |
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 | 9 | 2013 |
Scalable reliability analysis by lazy verification S Khan, JP Katoen, M Volk, M Bouissou NASA Formal Methods Symposium, 180-197, 2021 | 8 | 2021 |
Various ways to quantify BDMPs M Bouissou, S Khan, JP Katoen, P Krcal arXiv preprint arXiv:2004.13283, 2020 | 8 | 2020 |
Motility and Recognition in Cell Biology HC Berg, S Khan H. Sund & C. Veeger, Eds, 485-497, 1983 | 8 | 1983 |
A compositional semantics for repairable bdmps S Khan, JP Katoen, M Bouissou International Conference on Computer Safety, Reliability, and Security, 82-98, 2020 | 7 | 2020 |
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 | 6 | 2021 |
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 | 6 | 2021 |
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 | 6 | 2017 |
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 | 6 | 2017 |
Adoption of multi-screen multitasking in young generation of China: a perspective of self-regulation SK Khan, L Guoxin International Journal of Technology and Human Interaction (IJTHI) 16 (1), 1-17, 2020 | 5 | 2020 |
Young Consumers’ Usability Preferences for Mobile and Computer Screens for Online Shopping Activities SK Khan, NA Khan, O Egorova, N Zia, M Akhtar Human Behavior and Emerging Technologies 2023, 2023 | 4 | 2023 |
Modelling and analysis of fire sprinklers by verifying dynamic fault trees S Khan, JP Katoen, M Volk, A Zafar, F Sher 2021 10th Latin-American Symposium on Dependable Computing (LADC), 1-10, 2021 | 3 | 2021 |
Synergising reliability modelling languages: BDMPs and repairable DFTs S Khan, JP Katoen 2021 IEEE 26th Pacific Rim International Symposium on Dependable Computing …, 2021 | 2 | 2021 |