Hamra Afzaal

406 total citations
29 papers, 293 citations indexed

About

Hamra Afzaal is a scholar working on Computer Networks and Communications, Information Systems and Artificial Intelligence. According to data from OpenAlex, Hamra Afzaal has authored 29 papers receiving a total of 293 indexed citations (citations by other indexed papers that have themselves been cited), including 21 papers in Computer Networks and Communications, 8 papers in Information Systems and 7 papers in Artificial Intelligence. Recurrent topics in Hamra Afzaal's work include Energy Efficient Wireless Sensor Networks (10 papers), Distributed systems and fault tolerance (6 papers) and IoT and Edge/Fog Computing (5 papers). Hamra Afzaal is often cited by papers focused on Energy Efficient Wireless Sensor Networks (10 papers), Distributed systems and fault tolerance (6 papers) and IoT and Edge/Fog Computing (5 papers). Hamra Afzaal collaborates with scholars based in Pakistan, Australia and Saudi Arabia. Hamra Afzaal's co-authors include Nazir Ahmad Zafar, Muhammad Imran, Sarada Prasad Gochhayat, Mehmet Sabih Aksoy, Muhammad Ikram Mohd Rashid and Zafar Iqbal and has published in prestigious journals such as SHILAP Revista de lepidopterología, IEEE Access and Computer Communications.

In The Last Decade

Hamra Afzaal

26 papers receiving 285 citations

Peers — A (Enhanced Table)

Peers by citation overlap · career bar shows stage (early→late) cites · hero ref

Name h Career Trend Papers Cites
Hamra Afzaal Pakistan 11 165 76 68 61 54 29 293
Krasimira Kapitanova United States 8 308 1.9× 100 1.3× 61 0.9× 86 1.4× 60 1.1× 13 438
Siegfried Mercelis Belgium 9 117 0.7× 85 1.1× 35 0.5× 30 0.5× 52 1.0× 63 257
Vladimir Hahanov Ukraine 11 140 0.8× 167 2.2× 51 0.8× 110 1.8× 36 0.7× 109 486
Youxiang Duan China 12 158 1.0× 84 1.1× 35 0.5× 84 1.4× 66 1.2× 25 384
Wolfgang Granzer Austria 11 172 1.0× 129 1.7× 55 0.8× 78 1.3× 65 1.2× 22 403
Habeeb Bello-Salau Nigeria 11 119 0.7× 114 1.5× 16 0.2× 111 1.8× 54 1.0× 53 431
William Tärneberg Sweden 11 270 1.6× 103 1.4× 120 1.8× 55 0.9× 29 0.5× 46 419

Countries citing papers authored by Hamra Afzaal

Since Specialization
Citations

This map shows the geographic impact of Hamra Afzaal's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Hamra Afzaal with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Hamra Afzaal more than expected).

Fields of papers citing papers by Hamra Afzaal

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Hamra Afzaal. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Hamra Afzaal. The network helps show where Hamra Afzaal may publish in the future.

Co-authorship network of co-authors of Hamra Afzaal

This figure shows the co-authorship network connecting the top 25 collaborators of Hamra Afzaal. A scholar is included among the top collaborators of Hamra Afzaal based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Hamra Afzaal. Hamra Afzaal is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

20 of 20 papers shown
1.
2.
Afzaal, Hamra, et al.. (2024). Model Checking of Rewards and Penalties in Beacon Chain. ˜The œInternational journal of networked and distributed computing. 13(1).
3.
Afzaal, Hamra, et al.. (2024). Formal Verification of Justification and Finalization in Beacon Chain. IEEE Access. 12. 55077–55102. 4 indexed citations
4.
Rashid, Muhammad Ikram Mohd, et al.. (2024). Formal Modeling and Verification of Justification and Finalization of Checkpoints in Ethereum 2.0 Beacon Chain. 1–6. 4 indexed citations
5.
Afzaal, Hamra, et al.. (2023). Formal verification of fraud-resilience in a crowdsourcing consensus protocol. Computers & Security. 131. 103290–103290. 6 indexed citations
6.
Rashid, Muhammad Ikram Mohd, et al.. (2023). Formal Modeling and Verification of Validator Voluntarily Exit in Ethereum 2.0 Beacon Chain. 1–6. 4 indexed citations
7.
Afzaal, Hamra, et al.. (2022). Formal Modeling and Verification of a Blockchain-Based Crowdsourcing Consensus Protocol. IEEE Access. 10. 8163–8183. 19 indexed citations
8.
Afzaal, Hamra, et al.. (2022). Formal verification of persistence and liveness in the trust-based blockchain crowdsourcing consensus protocol. Computer Communications. 192. 384–401. 6 indexed citations
9.
Afzaal, Hamra, et al.. (2018). Deterministic Formal Modeling of Smart Lightening System using Internet of Things. 1–6. 7 indexed citations
10.
Afzaal, Hamra & Nazir Ahmad Zafar. (2017). Modeling of IoT-based border protection system. 1–6. 8 indexed citations
11.
Afzaal, Hamra, et al.. (2017). Battlefield surveillance formalism using WSANs. 1–6. 2 indexed citations
12.
Afzaal, Hamra, et al.. (2017). Analysis and Formal Model of RFID-Based Patient Registration System. International Journal of Advanced Computer Science and Applications. 8(11). 3 indexed citations
13.
Zafar, Nazir Ahmad & Hamra Afzaal. (2017). Formal model of earthquake disaster mitigation and management system. 5(1). 7 indexed citations
14.
Afzaal, Hamra & Nazir Ahmad Zafar. (2017). Formalism of network restructuring in Flood Control System. 2. 1–6. 7 indexed citations
15.
Afzaal, Hamra, et al.. (2017). Hybrid subnet-based node failure recovery formal procedure in wireless sensor and actor networks. International Journal of Distributed Sensor Networks. 13(4). 812123209–812123209. 15 indexed citations
16.
Afzaal, Hamra & Nazir Ahmad Zafar. (2016). Robot-based forest fire detection and extinguishing model. 112–117. 16 indexed citations
17.
Afzaal, Hamra & Nazir Ahmad Zafar. (2016). Formal analysis of subnet-based failure recovery algorithm in wireless sensor and actor and network. 4(1). 10 indexed citations
18.
Afzaal, Hamra & Nazir Ahmad Zafar. (2016). Cloud computing based flood detection and management system using WSANs. 2. 1–6. 9 indexed citations
19.
20.
Afzaal, Hamra, et al.. (2015). Formalizing Mobile Ad Hoc and Sensor Networks Using VDM-SL. Procedia Computer Science. 63. 148–153. 17 indexed citations

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact

Breakdown of academic impact, for papers by Krasimira Kapitanova Breakdown of academic impact, for papers by Siegfried Mercelis Breakdown of academic impact, for papers by Vladimir Hahanov Breakdown of academic impact, for papers by Youxiang Duan Breakdown of academic impact, for papers by Wolfgang Granzer Breakdown of academic impact, for papers by Habeeb Bello-Salau Breakdown of academic impact, for papers by William Tärneberg
Rankless by CCL
2026