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 | 130 | 2020 |
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 | 32 | 2009 |
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 | 22 | 2020 |
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 | 18 | 2018 |
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 | 18 | 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 |
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 | 10 | 2022 |
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 |
Motility and Recognition in Cell Biology HC Berg, S Khan H. Sund & C. Veeger, Eds, 485-497, 1983 | 10 | 1983 |
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 |
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 | 9 | 2017 |
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 |
A multilevel model of abusive supervision climate S Khan, K Kiazad, S Sendjaya, B Cooper Personnel Review 51 (9), 2347-2370, 2022 | 8 | 2022 |
Scalable reliability analysis by lazy verification S Khan, JP Katoen, M Volk, M Bouissou NASA Formal Methods Symposium, 180-197, 2021 | 7 | 2021 |
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 |
Various ways to quantify BDMPs M Bouissou, S Khan, JP Katoen, P Krcal arXiv preprint arXiv:2004.13283, 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 |