Get started
Author

Rafat Alshorman

Observed names: Alshorman, Rafat, Rafat M. Alshorman
Institution: Yarmouk University
ORCID: 0000-0002-5303-5245
Observed ORCID: 0000-0002-5303-5245
OpenAlex ID: A5050388357
Build a Secure Network Using Segmentation and Micro-segmentation Techniques
2024 · Hussein A. Al-Ofeishat, Rafat Alshorman · International Journal of Computing and Digital Systems · 22
Symbolic Computation on Soliton Solutions for Variable-coefficient Quantum Zakharov-Kuznetsov Equation in Magnetized Dense Plasmas
2014 · Fadi Awawdeh, Safwan Al-Shara', et al. · International Journal of Nonlinear Sciences and Numerical Simulation · 20
A Holy Quran Reader/Reciter Identification System Using Support Vector Machine
2019 · Khalid M. O. Nahar, Moyawiah Al-Shannaq, et al. · International Journal of Machine Learning and Computing · 16
PDF
AOAFS: A Malware Detection System Using an Improved Arithmetic Optimization Algorithm
2025 · Rafat Alshorman, Bilal H. Abed-alguni, et al. · Technologies · 8
PDF
A Serializability Condition For Multi-Step Transactions Accessing Ordered Data
2009 · Alshorman, Rafat, Hussak, Walter · 5
Multi-step transactions specification and verification in a mobile database community
2008 · Rafat Alshorman, Walter Hussak · International Conference on Information and Communication Technologies: From Theory to Applications (ICTTA) · 5
A New Efficient Meta-Heuristic Optimization Algorithm Inspired by Wild Dog Packs
2014 · Essam Al Daoud, Rafat Alshorman, et al. · International Journal of Hybrid Information Technology · 4
PDF
A Ctl Specification Of Serializability For Transactions Accessing Uniform Data
2009 · Alshorman, Rafat, Hussak, Walter · 3
Error analysis of arbitrarily high-order stepping schemes for fractional integro-differential equations with weakly singular kernels
2024 · Safwan Al-Shara’, Fadi Awawdeh, et al. · Nonlinear Engineering · 1
PDF
Reducing Conflict Graph Of Multi-step Transactions Accessing Ordered Data With Gaps
2013 · Rafat Alshorman, Hamed Fawareh · Annals of the University of Craiova Mathematics and Computer Science Series · 1
PDF
Specifying A Timestamp-Based Protocol For Multi-Step Transactions Using Ltl
2010 · Alshorman, Rafat, Hussak, Walter · 1
Toward Proving the Extension of Johnson’s Rule to a Three-Machine Flow Shop Scheduling Problem
2025 · Rafat Alshorman, Hashem Alrossan, et al. · Tikrit Journal of Engineering Sciences
PDF
Specification of Synchronous Network Flooding in Temporal Logic
2020 · Ra’ed Bani Abdelrahman, Rafat Alshorman, et al. · The International Arab Journal of Information Technology
Toward proving the correctness of TCP protocol using CTL.
2019 · Rafat Alshorman · The International Arab Journal of Information Technology
Temporal Logics Specifications for Debit and Credit Transactions
2015 · Rafat M. Alshorman · International Journal of Information Technology and Computer Science
PDF
Automatic Iterative Methods For The Multivariate Solution Of Nonlinear Algebraic Equations
2013 · Alshorman, Rafat, Al-Shara', Safwan, et al. · Zenodo (CERN European Organization for Nuclear Research)
PDF
Using temporal logics to specify and verify multi-step transactions in mobile environments
2009 · Rafat Alshorman · Loughborough University Research Repository (Loughborough University)
PDF
Works count: 18
Citation count: 86
H-index: 5
I10-index: 3
Year
Topic
Type