| 2025 | PIMRC | Adaptive Semantic Compression with Predictive Channel Awareness for 6G Networks. | Ishtiaq Ahmad, Yazeed Alkhrijah, Waqar Ahmad, Mirza Muhammad Ubaid, Muhammad Shahzaib Sana, Syed Kamran Haider, Muhammad Ali Jamshed |
| 2023 | ICCSA | Fruit Fly Detection and Classification in IoT Setup. | Syed M. Fasih, Asad Ali, Talha Mabood, Atif Ullah, Muhammad Hanif, Waqar Ahmad |
| 2022 | FIT | Unsupervised Vessel Segmentation Method in Retinal Images. | Zanib Qaiser, Waqar Ahmad, Mir Yasir Umair, Zahid Mahmood |
| 2021 | CIT | Resolution Representation Based Person Re-Identification for Smart Cities Using Deep Neural Networks (DNNs). | Jawad Qammar, Waqar Ahmad |
| 2020 | DSD | Comparison of Approximate Circuits for H.264 and HEVC Motion Estimation. | Waqar Ahmad, Berke Ayrancioglu, Ilker Hamzaoglu |
| 2019 | ICSE | On the formalization of importance measures using HOL theorem proving. | Waqar Ahmad, Shahid Ali Murtza, Osman Hasan, Sofine Tahar |
| 2017 | LCN | An Algorithm for Alleviating the Effect of Hotspot on Throughput in Wireless Sensor Networks. | Abdul Rehman, Sadia Din, Anand Paul, Waqar Ahmad |
| 2016 | ICFEM | Formal Availability Analysis Using Theorem Proving. | Waqar Ahmad, Osman Hasan |
| 2016 | MSR | Inter-app communication in Android: developer challenges. | Waqar Ahmad, Christian Kstner, Joshua Sunshine, Jonathan Aldrich |
| 2016 | SETTA | Formalization of Fault Trees in Higher-Order Logic: A Deep Embedding Approach. | Waqar Ahmad, Osman Hasan |
| 2015 | LPAR | Towards Formal Reliability Analysis of Logistics Service Supply Chains using Theorem Proving. | Waqar Ahmad, Osman Hasan, Sofine Tahar |
| 2015 | OOPSLA | Enforcing fine-grained security and privacy policies in an ecosystem within an ecosystem. | Waqar Ahmad, Joshua Sunshine, Christian Kstner, Adam S. Wynne |
| 2015 | WiMob | Formal reliability analysis of wireless sensor network data transport protocols using HOL. | Waqar Ahmad, Osman Hasan, Sofine Tahar |