Toward a Formalization of UML2.0 Metamodel using Z Specifications. - Ahmed M. Mostafa; Manal Ahmed Ismail; Hatem El-Bolok; E. M. Saad (SNPD (1), 2007)

Harmonic Segment-Based Semi-Partitioning Scheduling on Multi-Core Real-Time Systems. - Hadeer A. Hassan Hosny; Sameh A. Salem; Ahmed M. Mostafa; E. M. Saad (ACM Trans. Embed. Comput. Syst., 2016)

Modeling an Augmented Reality Game Environment to Enhance Behavior of ADHD Patients. - Saad Alqithami; Musaad Alzahrani; Abdulkareem Alzahrani; Ahmed M. Mostafa (BI, 2019)

AR-Therapist: Design and Simulation of an AR-Game Environment as a CBT for Patients with ADHD. - Saad Alqithami; Musaad Alzahrani; Abdulkareem Alzahrani; Ahmed M. Mostafa (CoRR, 2020)

An MCDM Approach for Cloud Computing Service Selection Based on Best-Only Method. - Ahmed M. Mostafa (IEEE Access, 2021)

Blockchain-Based Lightweight Multifactor Authentication for Cell-Free in Ultra-Dense 6G-Based (6-CMAS) Cellular Network. - Adnan Shahid Khan; Mohd Izzat Bin Yahya; Kartinah bt Hj Zen; Johari Abdullah; Rozeha Binti A. Rashid; Yasir Javed; Nayeem Khan; Ahmed M. Mostafa (IEEE Access, 2023)

A Hybrid Framework for Ranking Cloud Services Based on Markov Chain and the Best-Only Method. - Ahmed M. Mostafa (IEEE Access, 2023)

A Group Multi-Criteria Decision-Making Approach Based on the Best-Only Method for Cloud Service Selection. - Ahmed M. Mostafa (IEEE Access, 2024)