| A CTL Specification of Serializability for Transactions Accessing Uniform Data | R. Alshorman and W. Hussak | International Journal of Electrical and Electronics Engineering | Vol. 3, No. 5, pp. 267-273. | WASET | 2009 |
| Specifying a Timestamp-based Protocol For Multi-step Transactions Using LTL | R. Alshorman and W. Hussak | World Academy of Science, Engineering and Technology | issue 71 | WASET | 2010 |
| The quality of e-learning management systems from social requirements prospective | Hamed Fawareh, R. Alshorman | Arab international journal of informatics | Vol.1, No. 1 | Naif Arab University for Security Sciences | 2012 |
| Symbolic Computation on Soliton Solutions for Variable-coefficient Quantum Zakharov-Kuznetsov Equati | 9. Fadi Awawdeh, Safwan Al-Shara’, H.M. Jaradat, A.K. Alomari and Rafat Alshorman | International Journal of Nonlinear Sciences and Numerical Simulation | Vol.15, No.1, pp:35-45 | Walter de Gruyter GmbH | 2014 |
| A New Efficient Meta-Heuristic Optimization Algorithm Inspired by Wild Dog Packs | Essam Al Daoud, Rafat Alshorman and Feras Hanandeh | International Journal of Hybrid Information Technology | Vol.7, No.6, pp:83-100 | Science and Engineering Research Support Society | 2014 |
| Temporal Logics Specifications for Debit and Credit Transactions | Rafat Alshorman | International Journal of Information Technology and Computer Science | Tech Vol.7, No.6, pp:83-100 | Modern Education and Computer Science Publisher | 2015 |
| A Serializability Condition for Multi-step Transactions Accessing Ordered Data | Alshorman, Rafat and Hussak, Walter | International Journal of Computer Science | 4 | Citeseer | 2009 |
| Multi-soliton solutions for a class of fifth-order evolution equations | Ashorman, Rafat | Int J Hybrid Inf Technol | 7 | ---- | 2014 |
| Automatic iterative methods for the multivariate solution of nonlinear algebraic equations | Alshorman, Rafat and Al-Shara, Safwan and Obeidat, I | International Journal of Mathematical, Computational, Physical, Electrical and Computer Engineering | 7 | 347 | 2013 |
| Reducing conflict graph of multi-step transactions accessing ordered data with gaps | Alshorman, Rafat and Fawareh, Hamed | Annals of the University of Craiova-Mathematics and Computer Science Series | 40 | ---- | 2013 |
| Toward Proving the Correctness of TCP Protocol Using CTL | Rafat Alshorman | International Arab Journal of Information Technology (IAJIT) | 16 | CCIS | 2019 |
| Handicapped Wheelchair Movements Using Discrete Arabic Command Recognition | ---- | ---- | 21 | Scientific Journal of King Faisal University | 2020-06-01 00:00:00 |
| PROVING THE CORRECTNESS CONDITIONS OF THE THREE-WAY HANDSHAKE PROTOCOL USING COMPUTATIONAL TREE LOGIC | ---- | ---- | 99 | ---- | 2021-08-15 00:00:00 |
| A holy quran reader/reciter identification system using support vector machine | Khalid MO Nahar, Moyawiah Al-Shannaq, Ahmad Manasrah, Rafat Alshorman, Iyad Alazzam | International Journal of Machine Learning and Computing | 9 | ---- | 2019/8 |
| A holy quran reader/reciter identification system using support vector machine | Khalid MO Nahar, Moyawiah Al-Shannaq, Ahmad Manasrah, Rafat Alshorman, Iyad Alazzam | International Journal of Machine Learning and Computing | 9 | ---- | 2019/8 |
| Specification of Synchronous Network Flooding in Temporal Logic | ---- | ---- | 17 | ---- | 2020-11-01 00:00:00 |