| Name | T/P | Supervisor | Co-Supervisor | Title | Year |
| Mais Mansour Al-Ghanim | T | Zaid Hussain | | Multi-Stage Flashing Desalination Process Smart Control System | 2024/2025 |
| Ahmed Bader Humoud | T | Fawaz Al-Azemi | | Hierarchical RouterLess Network on Chip | 2023/2024 |
| Shatha Hasan | T | Hazem Raafat | - | Integrating Contextual Information for Short Answer Grading | 2021/2022 |
| Nourah Alrasheedi | T | Hussain Almohri | - | A Probabilistic DoS-Resilient Mobile AdHoc Network | 2021/2022 |
| Nourah Alajmi | T | Mohammad Almulla | - | Performance Analysis of Selective Control Strategies and Inference Mechanisms in Rule-based Expert Systems | 2020/2021 |
| Mohammad Charrawi | T | Zaid Hussain | - | Multidimensional L-Network Topology | 2020/2021 |
| Noor Al Adsani | T | Hussain Almohri | - | An Evaluation Client Scheduling Schemes for Moving Target Defenses in Cloud Networks | 2019/2020 |
| Mohammed Qassem | T | Hussain Almohri | - | An efficient deception architecture for cloud-based virtual network | 2018/2019 |
| Mohammed Awad | T | Zaid Hussain | - | Panconnectivity in EJ networks | 2018/2019 |
| Hesham Almansouri | T | Zaid Hussain | - | General Disjoint Paths Algorithms for Symmetric Networks | 2018/2019 |
| Zainab Jawad Al-Amir | T | Ludovit Niepel | - | Locating Dominating set in Infinite Square Grids | 2017/2018 |
| Fatimah Almutaileq | T | Zaid Hussain | Khawla Al-Shaiji | Multi-Stage Flashing Desalination Process Intrusion Detection System | 2017/2018 |
| Mubarak Hamad AlMarri | T | Hazem Raafat | - | DNN Approach to Computer-Aided Language Pronunciation Applied on Quran Recitation | 2016/2017 |
| Mejren Ebrahem Mohammad | T | Sabu Emmanuel | - | Image Copy-Move Forgery Detection | 2016/2017 |
| Nabegh Althalji | P | Hazem Raafat | - | Mining Twitter for sentiment Analysis in Arabic | 2015/2016 |
| Aisha Almutairi | T | Hamdi Yahyaoui | Hazem Raafat | Classification and Ranking of service Trust Behaviors | 2015/2016 |
| Jumana Elqurna | T | Hamdi Yahyaoui | Mohammed Almulla | A framework for the verification of service trust behaviors | 2015/2016 |
| Safa'a AlQallaf | T | Mohammed Al-Mulla | Ludovit Niepel | On the Efficiency of Local Search Approximation Algorithms for Solving Graph Partitioning Problems | 2014/2015 |
| Mohammed Fathy Ahmed Saleh | T | Hazem Raafat | - | Multi-Scale Multi-Direction DCT for Defect Detection | 2014/2015 |
| Mariam Mustafa Kinawi | T | Ludvit Niepel | Zaid Hussain | On Locating Paired-Dominating Sets in Infinite Grids | 2014/2015 |
| Eiman A. Boujarwah | T | Mohammed Al-Mulla | Hamdi Yahyaoui | Web Services Semantic Similarity and Classification Using Conceptual Graphs | 2014/2015 |
| Qadha`a Fazza`a Al-Enezi | T | Hosam Aboelfotoh | Bader Albdaiwi | Solution of the Variable sized Bin Packing Problem Using the P System and CUDA Architecture | 2014/2015 |
| Balqees Behbehani | T | Ludvit Niepel | - | An Algorithm for Finding the Fastest Path in a Traffic Network | 2013/2014 |
| Nayfah AlMutairi | T | Saud Aldarmi | - | Electronic Avian Veterinary (E-Vet) | 2013/2014 |
| Nora Al-Jerai | T | Azzedine Boukerche | Mohammed Almulla | Performance Evaluation of Gateway Discovery Protocols for Vehicular Networks | 2012/2013 |
| Reem Aldaihani | T | Hosam AboElFotoh | - | A New Scheme for Maximizing the Lifetime of Heterogeneous Wireless Sensor Networks | 2010/2011 |
| Nader Mohammed Alawadhi | T | Mohammed Almulla | - | New encoding techniques for combinational decompressors and a new partial-scan scheme | 2010/2011 |
| Asmaa Alotaibi | P | Ludvit Niepel | - | Implementing Simulated Annealing on Minimal Domination Problem in Digraphs | 2010/2011 |
| Abdullah AlEnzi | P | Ayman Alawadhi | - | Two Layer Steganography Image System (2L SIS) | 2010/2011 |
| Adam Ahmed | P | Saud Al-Darmi | - | The Multilingual Database of Hadith | 2010/2011 |
| Fatema albdaiwi | P | Saud Al-Darmi | - | CS Scholarship System | 2009/2010 |
| Samah Mohamed Saeed | T | Ozgur Sinanoglu | - | Architectural Enhancements in Compression Based Scan Testing | 2009/2010 |
| Fato Mohammed Abdulfattah | P | Hosam AboElfotoh | - | Simulation study of the effect of clustering on the lifetime of wireless sensor networks | 2009/2010 |
| Amna Othman | P | Hazem Raafat | - | Knowledge Discovery in Automated Theorem Provers | 2009/2010 |
| Hiba al-shaijy | P | Hossam AboElfotoh | - | A new scheme for packet coding in wireless networks | 2008/2009 |
| Mohammed Nael Taha | P | Mohammed Almulla | - | A parallel approach for computing delay assignment of test patterns using XOR-Decompressors | 2008/2009 |
| Hamad Al-Mutairi | P | Ludvit Niepel | - | Employee scheduling problem with multiple shifts and work locations | 2007/2008 |
| Al Hussain Ali | T | Hazem Raafat | - | A Training-Weighted Combined LVQ Neural Networks Classified and its Application to Face Recognition | 2006/2007 |
| Fadi Deeb | T | Ludvit Niepel | - | A Methodology for Discovering Spatial Colocation Patterns | 2006/2007 |
| Anas Naifeh | P | Ziad Najem | - | Circus Net: A server-Based, Zero Footprint PDF Converter | 2006/2007 |
| Noora Shunaibar | P | Mohammed Almulla | - | Building a Smart Semantic Tree Theorem Prover | 2006/2007 |
| Yaser AlMtawa | T | Ludvit Niepel | - | Histories and Domination of Iterated Path Graphs | 2005/2006 |
| Khalid Saaifan | P | Hazem Raafat | - | A Rule-Based Classifier for Arabic Text | 2005/2006 |
