| A review on the CPU Scheduling Algorithms: Comparative Study EEES Shahad M. Ali, Razan F. Alshahrani, Amjad H. Hadadi, Tahany A. Alghamdi ... IJCSNS International Journal of Computer Science and Network Security 21 (1 …, 2021 | 27* | 2021 |
| Reverse engineering approach for improving the quality of mobile applications NG Eman Elsayed , Kamal Eldahshan , Enas E. El-Sharawy PeerJ Computer Science 5 (1), e212, 2019 | 11 | 2019 |
| Integration of automatic theorem provers in event-b patterns E Elsayed, G El-Sharawy, E El-Sharawy International Journal of Software Engineering & Applications 4 (1), 29, 2013 | 9 | 2013 |
| Detecting Design Level Anti-patterns; Structure and Semantics in UML Class Diagrams. EK Elsayed, EE El-Sharawy JCP 13 (6), 638-654, 2017 | 8 | 2017 |
| An efficient algorithm for decomposition of partially ordered sets E Badr, M EL-Hakeem, EE El-Sharawy, TE Ahmed Journal of Mathematics 2023 (1), 9920700, 2023 | 3 | 2023 |
| Smart Parking Management System Using IoT BS Alsafar, DM Alzaher, RW ALshwukh, AM Darwish, TE Ahmed, ... Journal of Internet Services and Information Security 14 (2), 2024 | 1 | 2024 |
| The Refinement Validation Of ATM Model By Using UML-B E Elsayed, G El-Sharawy, E El-Sharawy International Research Journal of Engineering and Technologies IRJET 5 (7), 2014 | 1* | 2014 |
| High Quality implementation for automatic generation C# code by Event-B pattern EK Elsayed, E El-Sharawy International Journal of Software Engineering & Applications 5 (1), 43, 2014 | 1 | 2014 |
| Research Article An Efficient Algorithm for Decomposition of Partially Ordered Sets E Badr, ELH Mohamed, EE El-Sharawy, TE Ahmed | | 2023 |
| Reviewing And Analysis of The Deadlock Handling Methods EE El-Sharawy, TE Ahmed, RH Alshammari, W Alsubaie, N Almuhanna, ... International Journal of Computer Science & Network Security 22 (10), 230-236, 2022 | | 2022 |
| Smart Appointments Booking Systems for Social Distancing: Technologies and Solutions Fatimah H. Almuhsin, Naba Almadan, Atheer Almarhoon, Hawra A. Al Mohssin ... Part of the Advances in Intelligent Systems and Computing book series (AISC …, 2021 | | 2021 |
| Smart Appointments Booking Systems for Social Distancing: Technologies and Solutions FH Almuhsin, N Almadan, A Almarhoon, HAA Mohssin, TH Ahmed, ... Innovations in Bio-Inspired Computing and Applications: Proceedings of the …, 2021 | | 2021 |
| Re-Engineering of the Vending Machine in Saudi Arabia to Improve the Functionality of the System WSA Enas E. El-Sharawy, Wafaa A. Alsubaie, Jana A. Alghamdi, Fatima A ... IJCSNS International Journal of Computer Science and Network Security 20 (No …, 2020 | | 2020 |
| EVALUATING THE REVERSING DATA STRUCTURE ALGORITHM OF LINKED LIST RF Al-Rashed, AS Al-Mutiri, WM Al-Marrai, BG Al-Mutiri, HF Al-Qahtani, ... | | 2020 |
| VERIFYING DATABASE CONCEPTS DURING FORMAL METHOD TOWARDS CORRECTION BY CONSTRUCTION EE El-Sharawy Indian Journal of Computer Science and Engineering (IJCSE) 11 (1), 18-26, 2020 | | 2020 |
| A Methodology forDesigning High Confidence Pattern viaEvent-B: Insulin Infusion Pump Case Study EK Elsayed, EE El-Sharawy, LO El-Badri | | 2019 |
| Semantic Anti-patterns Detection in UML Models based on Ontology Catalogue AU Prof. Dr. Kamal ElDahshan, Faculty of Science, Al Azhar University, Dr ... Artificial Intelligence and Machine LearningICGST Journal, 2016 | | 2016 |
| Improvement of Formal Methods Approach Using Pattern Perspective in Real Time System Applications E El-sharawy LAP LAMBERT Academic Publishing, 2016 | | 2016 |
| Improvement of Formal Methods Approach using Pattern Perspective E El-sharawy LAP LAMBERT Academic Publishing, 2016 | | 2016 |
| Enhancing Event-b pattern GESEES Eman karam Elsayed LAP ampert Acadmic publishing, 2013 | | 2013 |
