Aqsa Tehseen

According to our database, Aqsa Tehseen authored at least 3 papers between 2021 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2025

Model Checking of Rewards and Penalties in Beacon Chain.

Hamra Afzaal, Nazir Ahmad Zafar, Aqsa Tehseen, Shaheen Kousar

Int. J. Networked Distributed Comput., June, 2025

2024

Formal Verification of Justification and Finalization in Beacon Chain.

Hamra Afzaal, Nazir Ahmad Zafar, Aqsa Tehseen, Shaheen Kousar, Muhammad Imran

IEEE Access, 2024

2021

Algorithm-based Dynamic Formal Model for Forest Fire Detection & Extinguishment System.

Aqsa Tehseen, Nazir Ahmad Zafar, Tariq Ali

Proceedings of the International Conference on Frontiers of Information Technology, 2021