Nazir Ahmad Zafar

39 papers and 166 indexed citations i.

Nazir Ahmad Zafar has authored 39 papers that have received a total of 166 indexed citations. This includes 14 papers in Artificial Intelligence, 14 papers in Computer Networks and Communications and 14 papers in Computational Theory and Mathematics. The topics of these papers are Formal Methods in Verification (11 papers), Energy Efficient Wireless Sensor Networks (7 papers) and Model-Driven Software Engineering Techniques (6 papers). Nazir Ahmad Zafar is often cited by papers focused on Formal Methods in Verification (11 papers), Energy Efficient Wireless Sensor Networks (7 papers) and Model-Driven Software Engineering Techniques (6 papers) and collaborates with scholars based in Pakistan, Saudi Arabia and United States. Nazir Ahmad Zafar's co-authors include Sher Afzal Khan, Tariq Ali, Muhammad Imran, Eman H. Alkhammash and Saeed Islam and has published in prestigious journals such as Sensors, IEEE Access and Sustainability