Sa'ed Abed - RankMe

84 papers C 2Misc 2Journal 67Unranked 12

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Air particulate matter (PM2.5) concentration prediction in Kuwait using vision transformer. J. Big Data Ghazal Alsholi, Imtiaz Ahmad, Sa'ed Abed
2026	J	`jnl`	Evaluating large language models' Arabic grammar error corrections and explanations. PeerJ Comput. Sci. Kousar Mohi, Imtiaz Ahmad, Sa'ed Abed
2026	J	`jnl`	Predictive Analysis of Early Thyroid Disorders Using Integration of Data Mining and Ensemble Intelligence Approaches. Int. J. Intell. Syst. Sa'ed Abed, Sherlin Saji, Mohammad H. Alshayeji
2025	—	`conf`	A Distributed and Smart Scheduling Algorithm for Residential Demand-Side Management in EV-Integrated Smart Grids. CommNet Amjad Gawanmeh, Shadi Atalla, Alavikunhu Panthakkan, Hamzah Ali Alkhazaleh, Sa'ed Abed
2025	J	`jnl`	An Approach for Hardware Trojan Detection Using Triple Modular Redundancy in Approximate Synthesis (HT-TRAPS). IEICE Trans. Fundam. Electron. Commun. Comput. Sci. Manal Fatima, Sa'ed Abed, Osman Hasan
2025	J	`jnl`	Arabic Question Generation Using Transformers. ACM Trans. Asian Low Resour. Lang. Inf. Process. Anwar Alajmi, Haniah Altabaa, Sa'ed Abed, Imtiaz Ahmad
2025	J	`jnl`	Automatic arabic handwritten characters Recognition using ensemble of convolutional neural networks from scratch. Multim. Tools Appl. Mohammad H. Alshayeji, Sa'ed Abed, Silpa ChandraBhasi Sindhu
2025	J	`jnl`	Cross-dialectal Arabic translation: comparative analysis on large language models. Frontiers Artif. Intell. Ayah Beidas, Kousar Mohi, Fatme Ghaddar, Imtiaz Ahmad, Sa'ed Abed
2025	—	`conf`	Formalization of Biological Circuit Block Diagrams for Formally Analyzing Biomedical Control Systems in pHRI Applications. ICMRE Adnan Rashid, Sa'ed Abed, Osman Hasan
2025	J	`jnl`	Formalization of Biological Circuit Block Diagrams for formally analyzing Biomedical Control Systems in pHRI Applications. CoRR Adnan Rashid, Sa'ed Abed, Osman Hasan
2025	J	`jnl`	Heart disease prediction by tabular modeling with deep learning network and interpretability. Mach. Learn. Sci. Technol. Mohammad H. Alshayeji, Sa'ed Abed
2024	J	`jnl`	A smart admission control and cache replacement approach in content delivery networks. Clust. Comput. Lamis Abdo, Imtiaz Ahmad, Sa'ed Abed
2024	J	`jnl`	Formal Verification of Universal Numbers using Theorem Proving. J. Electron. Test. Adnan Rashid, Ayesha Gauhar, Osman Hasan, Sa'ed Abed, Imtiaz Ahmad
2024	J	`jnl`	Information hiding using approximate POSIT representation. IET Image Process. Sa'ed Abed, Ghadeer Aldamkhi, Imtiaz Ahmad
2023	J	`jnl`	A Review on Blockchain and IoT Integration from Energy, Security and Hardware Perspectives. Wirel. Pers. Commun. Sa'ed Abed, Reem Jaffal, Bassam Jamil Mohd
2023	J	`jnl`	Early detection of diabetic foot ulcers from thermal images using the bag of features technique. Biomed. Signal Process. Control. Mohammad H. Alshayeji, Silpa ChandraBhasi Sindhu, Sa'ed Abed
2023	—	`conf`	Enhanced Not Recently Used Algorithm for Cache Memory Systems in Mobile Computing. ACR Amjad Gawanmeh, Sa'ed Abed, Sara Abdul Aziz AlAwadh, Wathiq Mansoor, Shadi Atalla, Ahmad Alomari, Eric Yocam
2023	—	`conf`	Epileptic Seizure Detection Using Novel CNN with Residual Connections. IDSTA Zainab Abualhassan, Ehtesham Hassan, Imtiaz Ahmad, Sa'ed Abed
2023	—	`conf`	Improving Energy Consumption in Content-Addressable Memory Through Precomputation. ICIT Hanaa Alrushood, Sa'ed Abed, Asmaa Alabdulhadi
2023	J	`jnl`	Lung cancer classification and identification framework with automatic nodule segmentation screening using machine learning. Appl. Intell. Mohammad H. Alshayeji, Sa'ed Abed
2023	J	`jnl`	Two-stage framework for diabetic retinopathy diagnosis and disease stage screening with ensemble learning. Expert Syst. Appl. Mohammad H. Alshayeji, Sa'ed Abed, Silpa ChandraBhasi Sindhu
2023	—	`ch.`	Using an Interactive Theorem Prover for Formally Analyzing the Dynamics of the Unmanned Aerial Vehicles. Mobile Robot: Motion Control and Path Planning Adnan Rashid, Osman Hasan, Sa'ed Abed
2023	J	`jnl`	Viral genome prediction from raw human DNA sequence samples by combining natural language processing and machine learning techniques. Expert Syst. Appl. Mohammad H. Alshayeji, Silpa ChandraBhasi Sindhu, Sa'ed Abed
2022	J	`jnl`	CAD systems for COVID-19 diagnosis and disease stage classification by segmentation of infected regions from CT images. BMC Bioinform. Mohammad H. Alshayeji, Silpa ChandraBhasi Sindhu, Sa'ed Abed
2022	J	`jnl`	Computer-aided detection of breast cancer on the Wisconsin dataset: An artificial neural networks approach. Biomed. Signal Process. Control. Mohammad H. Alshayeji, Hanem Ellethy, Sa'ed Abed, Renu Gupta
2022	J	`jnl`	Efficient hand vein recognition using local keypoint descriptors and directional gradients. Multim. Tools Appl. Mohammad H. Alshayeji, Suood Abdulaziz Al-Roomi, Sa'ed Abed
2022	J	`jnl`	Enhanced video-on-demand security in cloud computing against insider and outsider threats. Int. J. Secur. Networks Mohammad H. Alshayeji, Sa'ed Abed
2022	J	`jnl`	Formal analysis of 2D image processing filters using higher-order logic theorem proving. EURASIP J. Adv. Signal Process. Adnan Rashid, Sa'ed Abed, Osman Hasan
2022	J	`jnl`	Network Intrusion Detection With Auto-Encoder and One-Class Support Vector Machine. Int. J. Inf. Secur. Priv. Mohammad H. Alshayeji, Mousa AlSulaimi, Sa'ed Abed, Reem Jaffal
2021	J	`jnl`	An analysis and evaluation of lightweight hash functions for blockchain-based IoT devices. Clust. Comput. Sa'ed Abed, Reem Jaffal, Bassam Jamil Mohd, Mohammad H. Al Shayeji
2021	J	`jnl`	Cluster-Based Antiphishing (CAP) Model for Smart Phones. Sci. Program. Mohammad Faisal, Sa'ed Abed
2021	J	`jnl`	Customized frequent patterns mining algorithms for enhanced Top-Rank-K frequent pattern mining. Expert Syst. Appl. Areej Ahmad Abdelaal, Sa'ed Abed, Mohammad Alshayeji, Mohammad Al-laho
2021	J	`jnl`	Enhanced brain tumor classification using an optimized multi-layered convolutional neural network architecture. Multim. Tools Appl. Mohammad Alshayeji, Jassim Al-Buloushi, Ali Ashkanani, Sa'ed Abed
2021	J	`jnl`	HVoC: a Hybrid Model Checking - Interactive Theorem Proving Approach for Functional Verification of Digital Circuits. J. Electron. Test. Mishal Fatima Minhas, Osman Hasan, Sa'ed Abed
2021	J	`jnl`	Hardware Trojan detection for lightweight ciphers implemented on field-programmable gate arrays using the replay algorithm. Int. J. Circuit Theory Appl. Sa'ed Abed, Bassam Jamil Mohd, Thaier Hayajneh, Mohammad H. Alshayeji
2021	J	`jnl`	Performance evaluation of the SM4 cipher based on field-programmable gate array implementation. IET Circuits Devices Syst. Sa'ed Abed, Reem Jaffal, Bassam Jamil Mohd, Mohammad Alshayeji
2021	J	`jnl`	Run-Time Monitoring and Validation Using Reverse Function (RMVRF) for Hardware Trojans Detection. IEEE Trans. Dependable Secur. Comput. Bassam Jamil Mohd, Sa'ed Abed, Thaier Hayajneh, Mohammad H. Alshayeji
2021	J	`jnl`	SAT-based and CP-based declarative approaches for Top-Rank-K closed frequent itemset mining. Int. J. Intell. Syst. Sa'ed Abed, Areej A. Abdelaal, Mohammad H. Alshayeji, Imtiaz Ahmad
2021	—	`conf`	Starvation Avoidance Task Scheduling Algorithm for Heterogeneous Computing Systems. CSCI Amjad Gawanmeh, Wathiq Mansoor, Sa'ed Abed, Darin Kablaoui, Hala Al-Faisal
2020	J	`jnl`	Enhanced GPU-based anti-noise hybrid edge detection method. Comput. Syst. Sci. Eng. Sa'ed Abed, Mohammed H. Ali, Mohammad H. Al Shayeji
2020	J	`jnl`	Formal Analysis of Unmanned Aerial Vehicles Using Higher-Order-Logic Theorem Proving. J. Aerosp. Inf. Syst. Sa'ed Abed, Adnan Rashid, Osman Hasan
2020	Misc	`conf`	Formal analysis of the biological circuits using higher-order-logic theorem proving. SAC Sa'ed Abed, Adnan Rashid, Osman Hasan
2020	J	`jnl`	Reducing Write Latency by Integrating Advanced PreSET Technique and Two-Stage-Write with Inversion Schemes. J. Comput. Sa'ed Abed
2019	J	`jnl`	A comprehensive study and analysis on SAT-solvers: advances, usages and achievements. Artif. Intell. Rev. Sahel Alouneh, Sa'ed Abed, Mohammad H. Al Shayeji, Raed Mesleh
2019	J	`jnl`	A secure and energy-efficient platform for the integration of Wireless Sensor Networks and Mobile Cloud Computing. Comput. Networks Sa'ed Abed, Mohammad H. Al Shayeji, Fahad Ebrahim
2019	J	`jnl`	An Automated Security Approach of Video Steganography-Based LSB Using FPGA Implementation. J. Circuits Syst. Comput. Sa'ed Abed, Mohammed Al-Mutairi, Abdullah Al-Watyan, Omar Al-Mutairi, Wesam Alenizy, Aisha Al-Noori
2019	J	`jnl`	Efficient cover image selection based on spatial block analysis and DCT embedding. EURASIP J. Image Video Process. Sa'ed Abed, Suood Abdulaziz Al-Roomi, Mohammad H. Al Shayeji
2019	J	`jnl`	FPGA Modeling and Optimization of a SIMON Lightweight Block Cipher. Sensors Sa'ed Abed, Reem Jaffal, Bassam Jamil Mohd, Mohammad Alshayeji
2019	J	`jnl`	Formal Analysis of the Biological Circuits using Higher-order-logic Theorem Proving. CoRR Sa'ed Abed, Adnan Rashid, Osman Hasan
2019	J	`jnl`	Implementation of speech feature extraction for low-resource devices. IET Circuits Devices Syst. Sa'ed Abed, Bassam Jamil Mohd, Mohammad H. Al Shayeji
2018	J	`jnl`	An efficient multiple sclerosis segmentation and detection system using neural networks. Comput. Electr. Eng. Mohammad H. Alshayeji, Mohammad A. Al-Rousan, Hanem Ellethy, Sa'ed Abed
2018	J	`jnl`	High-performance low-power approximate Wallace tree multiplier. Int. J. Circuit Theory Appl. Sa'ed Abed, Yasser H. Khalil, Mahdi Modhaffar, Imtiaz Ahmad
2018	J	`jnl`	Leakage/Temperature-Aware Dynamic Voltage Scaling and Dynamic Cache Reconfiguration to Reduce Power Consumption. J. Low Power Electron. Sa'ed Abed, Haya Alahmad, Maryam Safar
2017	J	`jnl`	An adaptive edge detection operator for noisy images based on a total variation approach restoration. Comput. Syst. Sci. Eng. Sa'ed Abed, Mohammed H. Ali, Mohammad H. Al Shayeji
2017	J	`jnl`	An adaptive edge detection operator for noisy images based on a total variation approach restoration. Comput. Syst. Sci. Eng. Sa'ed Abed, Mohammed H. Ali, Mohammad H. Al Shayeji
2017	J	`jnl`	Automatic verification of single-electron transistor arrays based on multiway decision graphs. IET Circuits Devices Syst. Sa'ed Abed, Imtiaz Ahmad, Mohammad H. Al Shayeji, Sari Sultan
2017	—	`conf`	Fault tolerance design for NoCs: partial virtual-channel sharing. ICSCA Sa'ed Abed, Mohammad H. Al Shayeji, Zahra'a Abdullah, Zainab AlSaeed
2017	J	`jnl`	Optic disc detection in retinal fundus images using gravitational law-based edge detection. Medical Biol. Eng. Comput. Mohammad Alshayeji, Suood Abdulaziz Al-Roomi, Sa'ed Abed
2016	J	`jnl`	A high-capacity and secure least significant bit embedding approach based on word and letter frequencies. Secur. Commun. Networks Mohammad H. Alshayeji, Suood Abdulaziz Al-Roomi, Sa'ed Abed
2016	J	`jnl`	Effective optic disc detection method based on swarm intelligence techniques and novel pre-processing steps. Appl. Soft Comput. Sa'ed Abed, Suood Abdulaziz Al-Roomi, Mohammad Alshayeji
2016	J	`jnl`	Hybrid approach based on partial tag comparison technique and search methods to improve cache performance. IET Comput. Digit. Tech. Sa'ed Abed, Mohammad Alshayeji, Sari Sultan, Nesreen Mohammad
2016	J	`jnl`	Security of VoIP traffic over low or limited bandwidth networks. Secur. Commun. Networks Sahel Alouneh, Sa'ed Abed, George Ghinea
2015	J	`jnl`	Towards improving the performance of distributed virtual memory based reversal cache approach. Int. J. Comput. Appl. Technol. Sa'ed Abed, Ashraf Hasan Bqerat, Ahmad Al-Khasawneh, Ayoub Alsarhan, Ibrahim Obeidat
2014	J	`jnl`	Analysis and Modeling of FPGA Implementations of Spatial Steganography Methods. J. Circuits Syst. Comput. Bassam Jamil Mohd, Thaier Hayajneh, Sa'ed Abed, Awni Itradat
2014	J	`jnl`	MPLS technology in wireless networks. Wirel. Networks Sahel Alouneh, Sa'ed Abed, Mazen Kharbutli, Bassam Jamil Mohd
2014	J	`jnl`	Software comprehension based on database relational algebra. Int. J. Inf. Commun. Technol. Sahel Alouneh, Sa'ed Abed, Bassam Jamil Mohd, Ahmad Al-Khasawneh
2013	J	`jnl`	An Efficient Backup Technique for Database Systems Based on Threshold Sharing. J. Comput. Sahel Alouneh, Sa'ed Abed, Bassam Jamil Mohd, Mazen Kharbutli
2013	J	`jnl`	Automatic verification of reduction techniques in Higher Order Logic. Formal Aspects Comput. Sa'ed Abed, Otmane Aït Mohamed, Ghiath Al Sammane
2013	J	`jnl`	Hierarchical steganography using novel optimum quantization technique. Signal Image Video Process. Bassam Jamil Mohd, Sa'ed Abed, Bassam Na'ami, Thaier Hayajneh
2012	J	`jnl`	A novel approach to enhance distributed virtual memory. Comput. Electr. Eng. Sa'ed Abed, Ashraf Hasan Bqerat, Sahel Alouneh, Bassam Jamil Mohd
2012	J	`jnl`	Abstract property language for MDG model checking methodology. Int. J. Comput. Appl. Technol. Sa'ed Abed, Kamran Hussain, Otmane Aït Mohamed
2012	J	`jnl`	Low power Wallace multiplier design based on wide counters. Int. J. Circuit Theory Appl. Sa'ed Abed, Bassam Jamil Mohd, Zaid Al-bayati, Sahel Alouneh
2012	J	`jnl`	MDG-SAT: an automated methodology for efficient safety checking. Int. J. Crit. Comput. Based Syst. Khaza Anuarul Hoque, Otmane Aït Mohamed, Sa'ed Abed, Mounir Boukadoum
2012	J	`jnl`	Towards an FPGA implementation and performance evaluation of a digital carrier synchronizer with a portable emulation environment. Int. J. Comput. Appl. Technol. Asif Iqbal Ahmed, Sayed Hafizur Rahman, Otmane Aït Mohamed, Sa'ed Abed
2011	—	`conf`	Image Steganography Optimization Technique. SPIT/IPC Bassam Jamil Mohd, Sa'ed Abed, Bassam Al-Naami, Sahel Alouneh
2011	J	`jnl`	NuMDG: A New Tool for Multiway Decision Graphs Construction. J. Comput. Sci. Technol. Sa'ed Abed, Yassine Mokhtari, Otmane Aït Mohamed, Sofiène Tahar
2010	—	`conf`	MDGs Reduction Technique Based on the HOL Theorem Prover. ISMVL Sa'ed Abed, Otmane Aït Mohamed
2009	J	`jnl`	An Abstract Reachability Approach by Combining HOL Induction and Multiway Decision Graphs. J. Comput. Sci. Technol. Sa'ed Abed, Otmane Aït Mohamed, Ghiath Al Sammane
2009	—	`conf`	LCF-style for Secure Verification Platform based on Multiway Decision Graphs. CIIA Sa'ed Abed, Otmane Aït Mohamed
2008	C	`conf`	A New Approach for the Construction of Multiway Decision Graphs. ICTAC Yassine Mokhtari, Sa'ed Abed, Otmane Aït Mohamed, Sofiène Tahar, Xiaoyu Song
2008	—	`conf`	LCF-style Platform based on Multiway Decision Graphs. WFLP Sa'ed Abed, Otmane Aït Mohamed
2008	Misc	`conf`	Reachability analysis using multiway decision graphs in the HOL theorem prover. SAC Sa'ed Abed, Otmane Aït Mohamed, Ghiath Al Sammane
2008	C	`conf`	The Performance of Combining Multiway Decision Graphs and HOL Theorem Prover. FDL Sa'ed Abed, Otmane Aït Mohamed, Ghiath Al Sammane
2007	—	`conf`	Towards First-Order Symbolic Trajectory Evaluation. ISMVL Donglin Li, Otmane Aït Mohamed, Sa'ed Abed