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 (FIT, 2022)

Domination in rough fuzzy digraphs with application. - Uzma Ahmad; Tahira Batool (Soft Comput., 2023)

A new approximation technique based on central bodies of rough fuzzy directed graphs for agricultural development. - Tahira Batool; Uzma Ahmad (J. Appl. Math. Comput., 2024)

Two level data centric aggregation scheme for wireless sensor networks. - Tahira Batool; Atiq Ahmed; Dominique Gaïti (Ann. des Télécommunications, 2024)