Requirements simulation for early validation using Behavior Trees and Datalog. - Saad Zafar; Naurin Farooq Khan; Musharif Ahmed (Inf. Softw. Technol., 2015)

Between-host HIV model: stability analysis and solution using memetic computing. - Musharif Ahmed; Ijaz Mansoor Qureshi; Muhammad Aamer Saleem; Muhammad Zubair 001; Saad Zafar (Turkish J. Electr. Eng. Comput. Sci., 2019)

Effects of sliding mode control antiretroviral drug on HIV-1 viral load. - Musharif Ahmed; Saad Zafar; Muhammad Aamer Saleem; Muhammad Zubair 001; Ijaz Mansoor Qureshi (Turkish J. Electr. Eng. Comput. Sci., 2020)

Synthetic data generation: State of the art in health care domain. - Hajra Murtaza; Musharif Ahmed; Naurin Farooq Khan; Ghulam Murtaza; Saad Zafar; Ambreen Bano (Comput. Sci. Rev., 2023)

A novelty towards neural signatures - Unveiling the inter-subject distance metric for EEG-based motor imagery. - Hajra Murtaza; Musharif Ahmed; Ghulam Murtaza; Saad Naeem Zafar; Tahira Nazir (Biomed. Signal Process. Control., 2025)