Aqsa Tehseen

According to our database, Aqsa Tehseen authored at least 2 papers between 2021 and 2024.

Collaborative distances:

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

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