| Efficient IoT-based formal model for vehicle-life interaction in VANETs using VDM-SL S Iqbal, NA Zafar, T Ali, EH Alkhammash Energies 15 (3), 1013, 2022 | 12 | 2022 |
| Comparative study of four different methods of jute seed production R Islam, S Iqbal, A Rahman, ML Rahman Bangladash J. Fibre Res 19, 27-27, 1994 | 5 | 1994 |
| Review and Comparative Studies on Mobile Operating System H Riasat, T Batool, S Iqbal EasyChair, 2022 | 2 | 2022 |
| IoT-based Formal Modelling of emergency message dissemination scheme for VANETs S Iqbal, NA Zafar, T Ali 2021 International Conference on Frontiers of Information Technology (FIT …, 2021 | 2 | 2021 |
| Verification and Validation of a VANET-based Formal Model for Online Taxi Service using VDM-SL Toolbox S Iqbal, T Ali, NA Zafar, T Batool 2022 International Conference on Frontiers of Information Technology (FIT …, 2022 | 1 | 2022 |
| IoT-based Quality Model in which Blockchain Enabled to Analysis and Provide Medicine to COVID-19 Patients by VDM-SL S Iqbal, NA Zafar, T Batool 2023 2nd International Conference on Emerging Trends in Electrical, Control …, 2023 | | 2023 |
| Understanding Technoference: Its Effects on Internalizing and Externalizing Behaviors of Adolescents T Ali, S Iqbal Available at SSRN 5013802, 0 | | |
