Specification and verification of network algorithms using temporal logic. - Ra'Ed Bani-Abdelrahman (2019)

Specification of synchronous network flooding in temporal logic. - Ra'Ed Bani-Abdelrahman; Rafat Alshorman; Walter Hussak; Amitabh Trehan (Int. Arab J. Inf. Technol., 2020)

Advancements in condition monitoring and fault diagnosis of rotating machinery: A comprehensive review of image-based intelligent techniques for induction motors. - Omar AlShorman; Muhammad Irfan 008; Ra'Ed Bani-Abdelrahman; Mahmoud Masadeh; Ahmad Alshorman; Muhammad Aman Sheikh; Nordin Bin Saad; Saifur Rahman (Eng. Appl. Artif. Intell., 2024)