Integration of the process algebra CSP in dependent type theory: formalisation and verification. - Bashar Alkhawaldeh (2018)

A Novel Genetic and Intelligent Scheme for Service Trading in IoT Fog Networks. - Ayoub Alsarhan; Bashar Alkhawaldeh; Atalla Fahed Al-Serhan; Muhsen Alkhalidy (Int. J. Interact. Mob. Technol., 2022)