Contact

All Stories

  1. Hybrid XGBoost-LSTM model for oil well production forecasting using the volve field dataset

    Article • Results in Engineering, June 2026, Elsevier

    Professor Sa'ed Abed

  2. Air particulate matter (PM2.5) concentration prediction in Kuwait using vision transformer

    Article • Journal Of Big Data, February 2026, Springer Science + Business Media

    Professor Sa'ed Abed

  3. Evaluating large language models’ Arabic grammar error corrections and explanations

    Article • PeerJ Computer Science, January 2026, PeerJ

    Professor Sa'ed Abed

  4. Predictive Analysis of Early Thyroid Disorders Using Integration of Data Mining and Ensemble Intelligence Approaches

    Article • International Journal of Intelligent Systems, January 2026, Wiley

    Professor Sa'ed Abed

  5. Epileptic seizure detection by learning EEG as images using vision transformers

    Article • Journal of Engineering Research, November 2025, Elsevier

    Professor Sa'ed Abed

  6. An Approach for Hardware Trojan Detection Using Triple Modular Redundancy in Approximate Synthesis (HT-TRAPS)

    Article • IEICE Transactions on Fundamentals of Electronics Communications and Computer Sciences, November 2025, Institute of Electronics, Information and Communications Engineers (IEICE)

    Professor Sa'ed Abed

  7. Formal Analysis of a Macro-Mini Robotic System for Physical Human-Robot Interaction

    Article • October 2025, Institute of Electrical & Electronics Engineers (IEEE)

    Professor Sa'ed Abed

  8. Heart disease prediction by tabular modeling with deep learning network and interpretability

    Article • Machine Learning Science and Technology, August 2025, Institute of Physics Publishing

    Professor Sa'ed Abed

  9. Context-Aware Advisor System for Crowded Environments

    Article • August 2025, Institute of Electrical & Electronics Engineers (IEEE)

    Professor Sa'ed Abed

  10. Enhanced POSIT Constant Multiplier Implementation using FPGA

    Article • April 2025, Institute of Electrical & Electronics Engineers (IEEE)

    Professor Sa'ed Abed

  11. Arabic Question Generation Using Transformers

    Article • ACM Transactions on Asian and Low-Resource Language Information Processing, March 2025, ACM (Association for Computing Machinery)

    Professor Sa'ed Abed

  12. Formalization of Biological Circuit Block Diagrams for Formally Analyzing Biomedical Control Systems in pHRI Applications

    Article • February 2025, Institute of Electrical & Electronics Engineers (IEEE)

    Professor Sa'ed Abed

  13. ASIP Design Flow Automation with Node-Based Programming

    Article • January 2025, Springer Science + Business Media

    Professor Sa'ed Abed

  14. Automatic arabic handwritten characters Recognition using ensemble of convolutional neural networks from scratch

    Article • Multimedia Tools and Applications, October 2024, Springer Science + Business Media

    Professor Sa'ed Abed

  15. Information hiding using approximate POSIT representation

    Article • IET Image Processing, September 2024, the Institution of Engineering and Technology (the IET)

    Professor Sa'ed Abed

  16. Network traffic prediction by learning time series as images

    Article • Engineering Science and Technology an International Journal, July 2024, Elsevier

    Professor Sa'ed Abed

  17. Formal Verification of Universal Numbers using Theorem Proving

    Article • Journal of Electronic Testing, June 2024, Springer Science + Business Media

    Professor Sa'ed Abed

  18. IoT Lightweight Session Key Exchange to Improve Security Scheme

    Article • December 2023, Institute of Electrical & Electronics Engineers (IEEE)

    Professor Sa'ed Abed

  19. Epileptic Seizure Detection Using Novel CNN with Residual Connections

    Article • October 2023, Institute of Electrical & Electronics Engineers (IEEE)

    Professor Sa'ed Abed

  20. Two-stage framework for diabetic retinopathy diagnosis and disease stage screening with ensemble learning

    Article • Expert Systems with Applications, September 2023, Elsevier

    Professor Sa'ed Abed

  21. Improving Energy Consumption in Content-Addressable Memory Through Precomputation

    Article • August 2023, Institute of Electrical & Electronics Engineers (IEEE)

    Professor Sa'ed Abed

  22. A smart admission control and cache replacement approach in content delivery networks

    Article • Cluster Computing, July 2023, Springer Science + Business Media

    Professor Sa'ed Abed

  23. Viral genome prediction from raw human DNA sequence samples by combining natural language processing and machine learning techniques

    Article • Expert Systems with Applications, May 2023, Elsevier

    Professor Sa'ed Abed

  24. Lung cancer classification and identification framework with automatic nodule segmentation screening using machine learning

    Article • Applied Intelligence, March 2023, Springer Science + Business Media

    Professor Sa'ed Abed

  25. A Review on Blockchain and IoT Integration from Energy, Security and Hardware Perspectives

    Article • Wireless Personal Communications, March 2023, Springer Science + Business Media

    Professor Sa'ed Abed

  26. Early detection of diabetic foot ulcers from thermal images using the bag of features technique

    Article • Biomedical Signal Processing and Control, January 2023, Elsevier

    Professor Sa'ed Abed

  27. Enhanced Not Recently Used Algorithm for Cache Memory Systems in Mobile Computing

    Article • January 2023, Springer Science + Business Media

    Professor Sa'ed Abed

  28. Formal Stability Analysis of Two-Dimensional Digital Image Processing Filters

    Article • January 2023, Springer Science + Business Media

    Professor Sa'ed Abed

  29. Using an Interactive Theorem Prover for Formally Analyzing the Dynamics of the Unmanned Aerial Vehicles

    Article • January 2023, Springer Science + Business Media

    Professor Sa'ed Abed

  30. CAD systems for COVID-19 diagnosis and disease stage classification by segmentation of infected regions from CT images

    Article • BMC Bioinformatics, July 2022, Springer Science + Business Media

    Professor Sa'ed Abed

  31. Formal analysis of 2D image processing filters using higher-order logic theorem proving

    Article • EURASIP Journal on Advances in Signal Processing, June 2022, Springer Science + Business Media

    Professor Sa'ed Abed

  32. Runtime Trojan Detection using Step-Based Reverse Function Redundancy Algorithm

    Article • March 2022, Institute of Electrical & Electronics Engineers (IEEE)

    Professor Sa'ed Abed

  33. Network Intrusion Detection With Auto-Encoder and One-Class Support Vector Machine

    Article • International Journal of Information Security and Privacy, March 2022, IGI Global

    Professor Sa'ed Abed

  34. Efficient hand vein recognition using local keypoint descriptors and directional gradients

    Article • Multimedia Tools and Applications, February 2022, Springer Science + Business Media

    Professor Sa'ed Abed

  35. POSIT vs. Floating Point in Implementing IIR Notch Filter by Enhancing Radix-4 Modified Booth Multiplier

    Article • Electronics, January 2022, MDPI AG

    Professor Sa'ed Abed

  36. Computer-aided detection of breast cancer on the Wisconsin dataset: An artificial neural networks approach

    Article • Biomedical Signal Processing and Control, January 2022, Elsevier

    Professor Sa'ed Abed

  37. DSM for Energy Optimization and Communications Within Smart Grid CPSs

    Article • January 2022, IGI Global

    Professor Sa'ed Abed

  38. Enhanced video-on-demand security in cloud computing against insider and outsider threats

    Article • International Journal of Security and Networks, January 2022, Inderscience Publishers

    Professor Sa'ed Abed

  39. Starvation Avoidance Task Scheduling Algorithm for Heterogeneous Computing Systems

    Article • December 2021, Institute of Electrical & Electronics Engineers (IEEE)

    Professor Sa'ed Abed

  40. Cluster-Based Antiphishing (CAP) Model for Smart Phones

    Article • Scientific Programming, July 2021, Hindawi Publishing Corporation

    Professor Sa'ed Abed

  41. Hardware Trojan detection for lightweight ciphers implemented on field‐programmable gate arrays using the replay algorithm

    Article • International Journal of Circuit Theory and Applications, July 2021, Wiley

    Professor Sa'ed Abed

  42. HVoC: a Hybrid Model Checking - Interactive Theorem Proving Approach for Functional Verification of Digital Circuits

    Article • Journal of Electronic Testing, June 2021, Springer Science + Business Media

    Professor Sa'ed Abed

  43. Enhanced brain tumor classification using an optimized multi-layered convolutional neural network architecture

    Article • Multimedia Tools and Applications, June 2021, Springer Science + Business Media

    Professor Sa'ed Abed

  44. An analysis and evaluation of lightweight hash functions for blockchain-based IoT devices

    Article • Cluster Computing, June 2021, Springer Science + Business Media

    Professor Sa'ed Abed

  45. Enhancement in data security and integrity using minhash technique

    Article • Indonesian Journal of Electrical Engineering and Computer Science, March 2021, Institute of Advanced Engineering and Science

    Professor Sa'ed Abed

  46. Performance evaluation of the SM4 cipher based on field‐programmable gate array implementation

    Article • IET Circuits Devices & Systems, January 2021, the Institution of Engineering and Technology (the IET)

    Professor Sa'ed Abed

  47. A KNN Approach for Blockchain Based Electronic Health Record Analysis

    Article • January 2021, Springer Science + Business Media

    Professor Sa'ed Abed

  48. Customized Frequent Patterns Mining Algorithms for Enhanced Top-Rank-K Frequent Pattern Mining

    Article • Expert Systems with Applications, December 2020, Elsevier

    Professor Sa'ed Abed

  49. Approximate Population Count Using the Harley-Seal Method for Error-Tolerant Applications

    Article • International Journal of Computing and Digital Systems, November 2020, Scientific Publishing Center

    Professor Sa'ed Abed

  50. An Improved Least Significant Bit Image Steganography Method

    Article • October 2020, Institute of Electrical & Electronics Engineers (IEEE)

    Professor Sa'ed Abed

  51. SAT‐based and CP‐based declarative approaches for Top‐Rank‐ K  closed frequent itemset mining

    Article • International Journal of Intelligent Systems, October 2020, Wiley

    Professor Sa'ed Abed

  52. Verification of Non-linear Arithmetic Circuits using Functionally Reduced And-Inverter-Graph (FRAIG)

    Article • September 2020, Institute of Electrical & Electronics Engineers (IEEE)

    Professor Sa'ed Abed

  53. Formal Analysis of Unmanned Aerial Vehicles Using Higher-Order-Logic Theorem Proving

    Article • Journal of Aerospace Information Systems, September 2020, American Institute of Aeronautics and Astronautics (AIAA)

    Professor Sa'ed Abed, Adnan Rashid, Dr Osman Hasan

  54. Formal reasoning about synthetic biology using higher-order-logic theorem proving

    Article • IET Systems Biology, August 2020, the Institution of Engineering and Technology (the IET)

    Professor Sa'ed Abed

  55. Formal analysis of the biological circuits using higher-order-logic theorem proving

    Article • March 2020, ACM (Association for Computing Machinery)

    Professor Sa'ed Abed, Dr Osman Hasan

  56. Implementation of Edge Detection Algorithm using FPGA Reconfigurable Hardware

    Article • Journal of Engineering Research, March 2020, Journal of Engineering Research

    Professor Sa'ed Abed

  57. Error metrics determination in functionally approximated circuits using SAT solvers

    Article • PLOS One, January 2020, PLOS

    Professor Sa'ed Abed

  58. Enhanced SAT Solvers Based Hashing Method for Bitcoin Mining

    Article • January 2020, Springer Science + Business Media

    Professor Sa'ed Abed

  59. FPGA Implementation of Enhanced JPEG Algorithm for Colored Images

    Article • International Journal of Computing and Digital Systems, January 2020, Scientific Publishing Center

    Professor Sa'ed Abed

  60. Run-time Monitoring and Validation using Reverse Function (RMVRF) for Hardware Trojans Detection

    Article • IEEE Transactions on Dependable and Secure Computing, January 2020, Institute of Electrical & Electronics Engineers (IEEE)

    Professor Sa'ed Abed

  61. A secure and energy-efficient platform for the integration of Wireless Sensor Networks and Mobile Cloud Computing

    Article • Computer Networks, December 2019, Elsevier

    Professor Sa'ed Abed

  62. Efficient cover image selection based on spatial block analysis and DCT embedding

    Article • EURASIP Journal on Image and Video Processing, December 2019, Springer Science + Business Media

    Professor Sa'ed Abed

  63. Diacritics Effect on Arabic Speech Recognition

    Article • Arabian Journal for Science and Engineering, July 2019, Springer Science + Business Media

    Professor Sa'ed Abed

  64. An Automated Security Approach of Video Steganography–Based LSB Using FPGA Implementation

    Article • Journal of Circuits System and Computers, May 2019, World Scientific Pub Co Pte Lt

    Professor Sa'ed Abed

  65. Implementation of Speech Feature Extraction For Low-Resource Devices

    Article • IET Circuits Devices & Systems, April 2019, the Institution of Engineering and Technology (the IET)

    Professor Sa'ed Abed

  66. Enhanced JPEG Algorithm for Colored Images Based on FPGA Implementation

    Article • April 2019, Institute of Electrical & Electronics Engineers (IEEE)

    Professor Sa'ed Abed

  67. FPGA Modeling and Optimization of a SIMON Lightweight Block Cipher

    Article • Sensors, February 2019, MDPI AG

    Professor Sa'ed Abed

  68. Infection control measures in neonatal units: implementation of change in the Gaza-Strip

    Article • The Journal of Maternal-Fetal & Neonatal Medicine, February 2019, Taylor & Francis

    Nahil Alrumi, Professor Sa'ed Abed

  69. An efficient multiple sclerosis segmentation and detection system using neural networks

    Article • Computers & Electrical Engineering, October 2018, Elsevier

    Professor Sa'ed Abed

  70. Enhancement of Task Scheduling Technique of Big Data Cloud Computing

    Article • August 2018, Institute of Electrical & Electronics Engineers (IEEE)

    Professor Sa'ed Abed

  71. High-performance low-power approximate Wallace tree multiplier

    Article • International Journal of Circuit Theory and Applications, July 2018, Wiley

    Professor Sa'ed Abed

  72. Leakage/Temperature-Aware Dynamic Voltage Scaling and Dynamic Cache Reconfiguration to Reduce Power Consumption

    Article • Journal of Low Power Electronics, June 2018, American Scientific Publishers

    Professor Sa'ed Abed

  73. A novel approach to classify and detect bean diseases based on image processing

    Article • April 2018, Institute of Electrical & Electronics Engineers (IEEE)

    Professor Sa'ed Abed

  74. A comprehensive study and analysis on SAT-solvers: advances, usages and achievements

    Article • Artificial Intelligence Review, March 2018, Springer Science + Business Media

    Professor Sa'ed Abed

  75. DSM for Energy Optimization and Communications Within Smart Grid CPSs

    Article • January 2018, IGI Global

    Professor Sa'ed Abed

  76. Energy-Efficient Virtual Machine Placement Algorithm

    Article • International Journal of Computer Science Issues, September 2017, SoftwareFirst, Ltd.

    Professor Sa'ed Abed

  77. Security approach for LSB steganography based FPGA implementation

    Article • April 2017, Institute of Electrical & Electronics Engineers (IEEE)

    Professor Sa'ed Abed

  78. Fault tolerance design for NoCs

    Article • January 2017, ACM (Association for Computing Machinery)

    Professor Sa'ed Abed

  79. Automatic Verification of Single-Electron Transistor Arrays Based on Multiway Decision Graphs

    Article • IET Circuits Devices & Systems, December 2016, the Institution of Engineering and Technology (the IET)

    Professor Sa'ed Abed

  80. Security of VoIP traffic over low or limited bandwidth networks

    Article • Security and Communication Networks, December 2016, Wiley

    Professor Sa'ed Abed

  81. A high-capacity and secure least significant bit embedding approach based on word and letter frequencies

    Article • Security and Communication Networks, December 2016, Wiley

    Professor Sa'ed Abed

  82. Effective optic disc detection method based on swarm intelligence techniques and novel pre-processing steps

    Article • Applied Soft Computing, December 2016, Elsevier

    Professor Sa'ed Abed

  83. Optic disc detection in retinal fundus images using gravitational law-based edge detection

    Article • Medical & Biological Engineering & Computing, September 2016, Springer Science + Business Media

    Professor Sa'ed Abed

  84. Hybrid approach based on partial tag comparison technique and search methods to improve cache performance

    Article • IET Computers & Digital Techniques, March 2016, the Institution of Engineering and Technology (the IET)

    Professor Sa'ed Abed

  85. FPGA-based Implementation of Novel Dual-Slope Method for QRS Complex Detection

    Article • International Journal of Engineering Research and, November 2015, ESRSA Publications Pvt. Ltd.

    Professor Sa'ed Abed

  86. Towards improving the performance of distributed virtual memory based reversal cache approach

    Article • International Journal of Computer Applications in Technology, January 2015, Inderscience Publishers

    Professor Sa'ed Abed

  87. ANALYSIS AND MODELING OF FPGA IMPLEMENTATIONS OF SPATIAL STEGANOGRAPHY METHODS

    Article • Journal of Circuits System and Computers, February 2014, World Scientific Pub Co Pte Lt

    Dr Thaier Hayajneh, Professor Sa'ed Abed

  88. Software comprehension based on database relational algebra

    Article • International Journal of Information and Communication Technology, January 2014, Inderscience Publishers

    Professor Sa'ed Abed

  89. MPLS technology in wireless networks

    Article • Wireless Networks, November 2013, Springer Science + Business Media

    Professor Sa'ed Abed

  90. Carry-based reduction parallel counter design

    Article • International Journal of Electronics, November 2013, Taylor & Francis

    Professor Sa'ed Abed

  91. An Efficient Backup Technique for Database Systems Based on Threshold Sharing

    Article • Journal of Computers, November 2013, International Academy Publishing (IAP)

    Professor Sa'ed Abed

  92. Synthesizing a Heart Rate Analyzer Chip QRS

    Article • International Journal of Advancements in Computing Technology, July 2013, AICIT

    Professor Sa'ed Abed

  93. Four dimensional entertainment machine

    Article • April 2013, Institute of Electrical & Electronics Engineers (IEEE)

    Dr Mohammad Salah, Professor Sa'ed Abed

  94. An Energy-Aware Virtual Machine Migration Algorithm

    Article • August 2012, Institute of Electrical & Electronics Engineers (IEEE)

    Professor Sa'ed Abed

  95. FPGA hardware of the LSB steganography method

    Article • May 2012, Institute of Electrical & Electronics Engineers (IEEE)

    Dr Thaier Hayajneh, Professor Sa'ed Abed

  96. Relational database approach for execution trace analysis

    Article • May 2012, Institute of Electrical & Electronics Engineers (IEEE)

    Professor Sa'ed Abed

  97. Hierarchical steganography using novel optimum quantization technique

    Article • Signal Image and Video Processing, March 2012, Springer Science + Business Media

    Dr Thaier Hayajneh, Professor Sa'ed Abed

  98. A novel approach to enhance distributed virtual memory

    Article • Computers & Electrical Engineering, March 2012, Elsevier

    Professor Sa'ed Abed

  99. Design and implementation of interfacing two FPGAs

    Article • March 2012, Institute of Electrical & Electronics Engineers (IEEE)

    Professor Sa'ed Abed

  100. Automatic verification of reduction techniques in Higher Order Logic

    Article • Formal Aspects of Computing, February 2012, Springer Science + Business Media

    Professor Sa'ed Abed

  101. Image Steganography Optimization Technique

    Article • January 2012, Springer Science + Business Media

    Professor Sa'ed Abed

  102. MDG-SAT: an automated methodology for efficient safety checking

    Article • International Journal of Critical Computer-Based Systems, January 2012, Inderscience Publishers

    Professor Sa'ed Abed

  103. Abstract property language for MDG model checking methodology

    Article • International Journal of Computer Applications in Technology, January 2012, Inderscience Publishers

    Professor Sa'ed Abed

  104. Towards an FPGA implementation and performance evaluation of a digital carrier synchronizer with a portable emulation environment

    Article • International Journal of Computer Applications in Technology, January 2012, Inderscience Publishers

    Professor Sa'ed Abed

  105. Low power Wallace multiplier design based on wide counters

    Article • International Journal of Circuit Theory and Applications, May 2011, Wiley

    Professor Sa'ed Abed

  106. NuMDG: A New Tool for Multiway Decision Graphs Construction

    Article • Journal of Computer Science and Technology, January 2011, Springer Science + Business Media

    Professor Sa'ed Abed

  107. A Methodology for Distributed Virtual Memory Improvement

    Article • January 2011, Springer Science + Business Media

    Professor Sa'ed Abed

  108. An automated SAT encoding-verification approach for efficient model checking

    Article • December 2010, Institute of Electrical & Electronics Engineers (IEEE)

    Professor Sa'ed Abed

  109. SAT based model checking for MDG models

    Article • June 2010, Institute of Electrical & Electronics Engineers (IEEE)

    Professor Sa'ed Abed

  110. MDGs Reduction Technique Based on the HOL Theorem Prover

    Article • January 2010, Institute of Electrical & Electronics Engineers (IEEE)

    Professor Sa'ed Abed

  111. Processing APL properties to generate verification-ready MDG model

    Article • December 2009, Institute of Electrical & Electronics Engineers (IEEE)

    Professor Sa'ed Abed

  112. Reliability of recursive concentrator

    Article • October 2009, Institute of Electrical & Electronics Engineers (IEEE)

    Professor Sa'ed Abed

  113. LCF-style Platform based on Multiway Decision Graphs

    Article • Electronic Notes in Theoretical Computer Science, August 2009, Elsevier

    Professor Sa'ed Abed

  114. An Abstract Reachability Approach by Combining HOL Induction and Multiway Decision Graphs

    Article • Journal of Computer Science and Technology, January 2009, Springer Science + Business Media

    Professor Sa'ed Abed

  115. The performance of combining multiway decision graphs and HOL theorem prover

    Article • September 2008, Institute of Electrical & Electronics Engineers (IEEE)

    Professor Sa'ed Abed

  116. Multiway Decision Graphs Reduction Approach based on the HOL Theorem Prover

    Article • July 2008, BCS Learning and Development Limited

    Professor Sa'ed Abed

  117. Reachability analysis using multiway decision graphs in the HOL theorem prover

    Article • January 2008, ACM (Association for Computing Machinery)

    Professor Sa'ed Abed

  118. Integrating SAT with Multiway Decision Graphs for efficient model checking

    Article • December 2007, Institute of Electrical & Electronics Engineers (IEEE)

    Professor Sa'ed Abed

  119. On The Integration of Decision Diagrams in High Order Logic Based Theorem Provers:a Survey

    Article • Journal of Computer Science, October 2007, Science Publications

    Professor Sa'ed Abed

  120. High Level Reduction Technique for Multiway Decision Graphs Based Model Checking

    Article • May 2007, BCS Learning and Development Limited

    Professor Sa'ed Abed

  121. Towards First-Order Symbolic Trajectory Evaluation

    Article • May 2007, Institute of Electrical & Electronics Engineers (IEEE)

    Professor Sa'ed Abed

  122. Closed-loop control system robustness improvement by a parameterised state feedback

    Article • IEE Proceedings - Control Theory and Applications, January 1998, the Institution of Engineering and Technology (the IET)

    Professor Sa'ed Abed

  123. A New Approach for the Construction of Multiway Decision Graphs

    Article • Springer Science + Business Media

    Professor Sa'ed Abed