| 2023 | FIT | Enhancing Online Exam Security: Deep Learning Algorithms for Cheating Detection. | Tanzeela Iqbal, Tariq Ali, Ahmad Shaf, Muhammad Shafqat Ali |
| 2022 | FIT | TARIQ: Towards Area Adjustment and Rounding of Intermediate Nodes for Quadrilateration in Blockchain Enabled Underwater Beacon Node Localization. | Umar Draz, Tariq Ali, Muhammad Hasanain Chaudary, Abid Sohail, Sana Yasin |
| 2022 | FIT | Verification and Validation of a VANET-based Formal Model for Online Taxi Service using VDM-SL Toolbox. | Sidra Iqbal, Tariq Ali, Nazir Ahmad Zafar, Tahira Batool |
| 2021 | FIT | IoT-based Formal Modelling of emergency message dissemination scheme for VANETs. | Sidra Iqbal, Nazir Ahmad Zafar, Tariq Ali |
| 2021 | FIT | Algorithm-based Dynamic Formal Model for Forest Fire Detection & Extinguishment System. | Aqsa Tehseen, Nazir Ahmad Zafar, Tariq Ali |
| 2019 | FIT | Comparative Analysis of Different Light Intensities for Implementation Idea of Li-Fi for CPEC. | Umar Draz, Tariq Ali, Sana Yasin |
| 2018 | FIT | Towards Formal Modeling of Hotspot Issue by Watch-Man Nodes in Wireless Sensor and Actor Network. | Muhammad Umar Draz, Tariq Ali, Sana Yasin, Umair Waqas |
| 2017 | FIT | Shadow Encoding Scheme: A Smart line Coding Scheme for Network Communication. | Abdul Rasheed Rizwan, Tariq Ali |
| 2011 | MEDES | Exploiting reference section to classify paper's topics. | Naseer Ahmed Sajid, Tariq Ali, Muhammad Tanvir Afzal, Munir Ahmad, Muhammad Abdul Qadir |
| 2010 | MEDES | Graph based query trimming algorithm for relational data semantic cache. | Munir Ahmad, Sohail Asghar, Muhammad Abdul Qadir, Tariq Ali |