CoCEC: An Automatic Combinational Circuit Equivalence Checker Based on the Interactive Theorem Prover by Wilayat Khan, Farrukh Aslam Khan, Abdelouahid Derhab, Adi Alhudhaif

Get full text

Enhancing Extreme Programming (XP) Adoption Through SAMAM: A Scalable Agile Maturity Assessment Model Based on Industry Best Practices by Muhammad Faisal Abrar, Ali Alferaidi, Tariq S. Almurayziq, Muhammad Saqib, Wilayat Khan, Zawar Khan, Mohammad Alsaffar

Get full text

Effect of Driver Energy Saving Awareness on Energy Consumption in a Microscopic Traffic Model by Zawar Hussain Khan, Faryal Ali, Thomas Aaron Gulliver, Ahmed B. Altamimi, Mohammad Alsaffar, Wilayat Khan

Get full text

A metaverse-based virtual reality platform for online certification using Web3 by Abdul Razzaq, Ahmed B. Altamimi, Wilayat Khan, Mohammad Alsaffar, Fahad F. Alfaisal, Salman Ahmed, Tao Zhang

Get full text

Oblique propagation of high-frequency electron-acoustic periodic waves in a nonthermal plasma by Haifa A. Alyousef, Daud Khan, Wilayat Khan, Muhammad Khalid, C. G. L. Tiofack, Samir A. El-Tantawy

Get full text

The Effect of Driver Behavior on Energy Consumption Using a Microscopic Traffic Model by Zawar Hussain Khan, Faryal Ali, Khurram Shehzad Khattak, Ahmed B. Altamimi, Mohammad Alsaffar, Wilayat Khan, Thomas Aaron Gulliver

Get full text