Khaza Anuarul Hoque

569 total citations
39 papers, 266 citations indexed

About

Khaza Anuarul Hoque is a scholar working on Artificial Intelligence, Computational Theory and Mathematics and Electrical and Electronic Engineering. According to data from OpenAlex, Khaza Anuarul Hoque has authored 39 papers receiving a total of 266 indexed citations (citations by other indexed papers that have themselves been cited), including 14 papers in Artificial Intelligence, 10 papers in Computational Theory and Mathematics and 10 papers in Electrical and Electronic Engineering. Recurrent topics in Khaza Anuarul Hoque's work include Formal Methods in Verification (10 papers), Software Reliability and Analysis Research (7 papers) and Adversarial Robustness in Machine Learning (6 papers). Khaza Anuarul Hoque is often cited by papers focused on Formal Methods in Verification (10 papers), Software Reliability and Analysis Research (7 papers) and Adversarial Robustness in Machine Learning (6 papers). Khaza Anuarul Hoque collaborates with scholars based in United States, Canada and United Kingdom. Khaza Anuarul Hoque's co-authors include Prasad Calyam, Otmane Aı̈t Mohamed, Yvon Savaria, John Quarles, Claude Thibeault, Mariëlle Stoelinga, Ayesha Siddique, Taylor T. Johnson, Luan Viet Nguyen and Alessandro Abate and has published in prestigious journals such as IEEE Access, Reliability Engineering & System Safety and IEEE Transactions on Visualization and Computer Graphics.

In The Last Decade

Khaza Anuarul Hoque

31 papers receiving 260 citations

Peers — A (Enhanced Table)

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

Name h Career Trend Papers Cites
Khaza Anuarul Hoque United States 11 83 51 46 44 41 39 266
Mohamed Kaâniche France 9 55 0.7× 19 0.4× 29 0.6× 50 1.1× 41 1.0× 23 209
Radu I. Siminiceanu United States 8 85 1.0× 11 0.2× 21 0.5× 88 2.0× 23 0.6× 19 363
Kazumi Nakamatsu Japan 10 150 1.8× 24 0.5× 81 1.8× 13 0.3× 26 0.6× 58 381
Geoffrey Biggs Japan 7 74 0.9× 9 0.2× 16 0.3× 69 1.6× 30 0.7× 29 282
E. M. Saad Egypt 9 100 1.2× 99 1.9× 34 0.7× 13 0.3× 101 2.5× 75 412
Michael R. Hansen Denmark 13 190 2.3× 55 1.1× 29 0.6× 80 1.8× 56 1.4× 42 498
Afsoon Afzal United States 8 69 0.8× 11 0.2× 10 0.2× 145 3.3× 69 1.7× 12 276
Goran Petrović Germany 8 60 0.7× 34 0.7× 12 0.3× 69 1.6× 52 1.3× 38 293
Arne Nordmann Germany 9 97 1.2× 9 0.2× 10 0.2× 95 2.2× 32 0.8× 23 268
Xiaopeng Gao China 12 85 1.0× 81 1.6× 19 0.4× 84 1.9× 118 2.9× 73 487

Countries citing papers authored by Khaza Anuarul Hoque

Since Specialization
Citations

This map shows the geographic impact of Khaza Anuarul Hoque'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 Khaza Anuarul Hoque with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Khaza Anuarul Hoque more than expected).

Fields of papers citing papers by Khaza Anuarul Hoque

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Khaza Anuarul Hoque. 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 Khaza Anuarul Hoque. The network helps show where Khaza Anuarul Hoque may publish in the future.

Co-authorship network of co-authors of Khaza Anuarul Hoque

This figure shows the co-authorship network connecting the top 25 collaborators of Khaza Anuarul Hoque. A scholar is included among the top collaborators of Khaza Anuarul Hoque 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 Khaza Anuarul Hoque. Khaza Anuarul Hoque 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.
Calyam, Prasad, et al.. (2025). Securing Virtual Reality Experiences: Unveiling and Tackling Cybersickness Attacks With Explainable AI. IEEE Transactions on Dependable and Secure Computing. 22(6). 6040–6057.
2.
3.
Hoque, Khaza Anuarul, et al.. (2025). RelaxVR: Cybersickness Reduction in Immersive Virtual Reality Through Explainable AI and Large Language Models. IEEE Access. 13. 84689–84712. 2 indexed citations
4.
Höllerer, Tobias, et al.. (2025). Predicting and Explaining Cognitive Load, Attention, and Working Memory in Virtual Multitasking. IEEE Transactions on Visualization and Computer Graphics. 31(5). 3014–3024.
5.
6.
Hoque, Khaza Anuarul, et al.. (2023). Explainable Predictive Maintenance is Not Enough: Quantifying Trust in Remaining Useful Life Estimation. Annual Conference of the PHM Society. 15(1). 6 indexed citations
7.
Hoque, Khaza Anuarul, et al.. (2023). Exposing Reliability Degradation and Mitigation in Approximate DNNs Under Permanent Faults. IEEE Transactions on Very Large Scale Integration (VLSI) Systems. 31(4). 555–566. 9 indexed citations
8.
9.
Hoque, Khaza Anuarul, et al.. (2022). Detection of Security and Privacy Attacks Disrupting User Immersive Experience in Virtual Reality Learning Environments. IEEE Transactions on Services Computing. 16(4). 2559–2574. 17 indexed citations
10.
Wang, Songjie, et al.. (2021). ClaimChain: Secure Blockchain Platform for Handling Insurance Claims Processing. 55–64. 9 indexed citations
11.
Hoque, Khaza Anuarul, et al.. (2020). Crafting Adversarial Examples for Deep Learning Based Prognostics. 467–472. 9 indexed citations
12.
Abate, Alessandro, et al.. (2018). Assessment of Maintenance Policies for Smart Buildings: Application of Formal Methods to Fault Maintenance Trees. University of Twente Research Information. 2 indexed citations
13.
Hoque, Khaza Anuarul, Otmane Aı̈t Mohamed, & Yvon Savaria. (2018). Formal Dependability Modeling and Optimization of Scrubbed-Partitioned TMR for SRAM-based FPGAs.. arXiv (Cornell University). 1 indexed citations
14.
Hoque, Khaza Anuarul, Otmane Aı̈t Mohamed, & Yvon Savaria. (2018). Dependability modeling and optimization of triple modular redundancy partitioning for SRAM-based FPGAs. Reliability Engineering & System Safety. 182. 107–119. 14 indexed citations
15.
Hasan, Osman, et al.. (2017). Towards Probabilistic Formal Analysis of SATS-Simultaneously Moving Aircraft (SATS-SMA). Journal of Automated Reasoning. 60(1). 85–105. 1 indexed citations
16.
Hoque, Khaza Anuarul, Otmane Aı̈t Mohamed, & Yvon Savaria. (2016). Applying formal verification to early assessment of FPGA-based aerospace applications: Methodology and experience. PolyPublie (École Polytechnique de Montréal). 1–6.
17.
Hoque, Khaza Anuarul, Otmane Aı̈t Mohamed, & Yvon Savaria. (2015). Towards an accurate reliability, availability and maintainability analysis approach for satellite systems based on probabilistic model checking. Design, Automation, and Test in Europe. 1635–1640. 12 indexed citations
18.
Hoque, Khaza Anuarul, Otmane Aı̈t Mohamed, & Yvon Savaria. (2015). Towards An Accurate Reliability, Availability and Maintainability Analysis Approach for Satellite Systems Based on Probabilistic Model Checking. Design, Automation & Test in Europe Conference & Exhibition (DATE), 2015. 1635–1640. 10 indexed citations
19.
Hoque, Khaza Anuarul, et al.. (2012). MDG-SAT: an automated methodology for efficient safety checking. 3(1/2). 4–4. 2 indexed citations
20.
Hoque, Khaza Anuarul, et al.. (2010). An automated SAT encoding-verification approach for efficient model checking. 419–422. 1 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 Mohamed Kaâniche Breakdown of academic impact, for papers by Radu I. Siminiceanu Breakdown of academic impact, for papers by Kazumi Nakamatsu Breakdown of academic impact, for papers by Geoffrey Biggs Breakdown of academic impact, for papers by E. M. Saad Breakdown of academic impact, for papers by Michael R. Hansen Breakdown of academic impact, for papers by Afsoon Afzal Breakdown of academic impact, for papers by Goran Petrović Breakdown of academic impact, for papers by Arne Nordmann Breakdown of academic impact, for papers by Xiaopeng Gao
Rankless by CCL
2026