A Formal Framework for Composing Qualitative Models of Biological Systems. - Hanadi Alkhudhayr; Jason Steggles (TPNC, 2017)

A compositional framework for Boolean networks. - Hanadi Alkhudhayr; Jason Steggles (Biosyst., 2019)

Federated learning with Blockchain on Denial-of-Service attacks detection and classification of edge IIoT networks using Deep Transfer Learning model. - Monir Abdullah; Hanan Abdullah Mengash; Mohammed Maray; Faheed A. F. Alenezi; Hanadi Alkhudhayr; Nouf Atiahallah Alghanmi; Alanoud Subahi; Jihen Majdoubi (Comput. Electr. Eng., 2025)

Internet of things based parking slot detection and occupancy classification for smart city traffic management. - Hanadi Alkhudhayr (Eng. Appl. Artif. Intell., 2025)

DA-FIS: A high-speed dynamic adaptive fault injection server framework for reliable FPGA-based embedded systems. - Fatimah Alhayan; Gaganjot Kaur; Sultan Alanazi; Mohammed Burhanur Rehman; Wahida Mansouri; Da'ad Albalawneh; Ali Alqazzaz; Hanadi Alkhudhayr (PeerJ Comput. Sci., 2025)