Symbolic computation on soliton solutions for variable-coefficient quantum Zakharov-Kuznetsov equation in magnetized dense plasmas F Awawdeh, S Al-Shara, HM Jaradat, AK Alomari, R Alshorman International Journal of Nonlinear Sciences and Numerical Simulation 15 (1 …, 2014 | 19 | 2014 |
A holy quran reader/reciter identification system using support vector machine KMO Nahar, M Al-Shannaq, A Manasrah, R Alshorman, I Alazzam International Journal of Machine Learning and Computing 9 (4), 458-464, 2019 | 17 | 2019 |
Multi-step transactions specification and verification in a mobile database community R Alshorman, W Hussak 2008 3rd International Conference on Information and Communication …, 2008 | 9 | 2008 |
A serializability condition for multi-step transactions accessing ordered data R Alshorman, W Hussak International Journal of Computer and Information Engineering 3 (4), 1064-1071, 2009 | 7 | 2009 |
A new efficient meta-heuristic optimization algorithm inspired by wild dog packs E Al Daoud, R Alshorman, F Hanandeh International Journal of Hybrid Information Technology 7 (6), 83-100, 2014 | 4 | 2014 |
Multi-soliton solutions for a class of fifth-order evolution equations R Ashorman International Journal of Hybrid Information Technology 7 (4), 11-18, 2014 | 4 | 2014 |
A CTL Specification of Serializability for Transactions Accessing Uniform Data R Alshorman, W Hussak International Journal of Computer Science and Engineering 3 (1), 26-32, 2009 | 4 | 2009 |
Handicapped Wheelchair Movements Using Discrete Arabic Command Recognition RMAK Mohammad Ashraf Ot.tom Khalid M.O. Nahar, Moyawiah al-shannaq, Rafat ... Scientific Journal of King Faisal University (Basic and Applied Sciences) 21 …, 2020 | 3 | 2020 |
Specification and verification of network algorithms using temporal logic RE Bani-Abdelrahman Loughborough University, 2019 | 2 | 2019 |
Reducing conflict graph of multi-step transactions accessing ordered data with gaps R Alshorman, H Fawareh Annals of the University of Craiova-Mathematics and Computer Science Series …, 2013 | 2 | 2013 |
Specifying a timestamp-based protocol for multi-step transactions using LTL R Alshorman, W Hussak International Journal of Computer and Information Engineering 4 (11), 1716-1723, 2010 | 2 | 2010 |
Specification of synchronous network flooding in temporal logic RB Abdelrahman, R Alshorman, W Hussak, A Trehan Loughborough University, 2020 | 1 | 2020 |
Automatic iterative methods for the multivariate solution of nonlinear algebraic equations R Alshorman, S Al-Shara, I Obeidat International Journal of Mathematical and Computational Sciences 7 (3), 345-347, 2013 | 1 | 2013 |
PROVING THE CAR SECURITY SYSTEM MODEL USING CTL AND LTL R Alshorman Journal of Theoretical and Applied Information Technology 102 (No 3), 1112 …, 2024 | | 2024 |
A DECENTRALIZED, LOW COMPUTATIONAL COST STRATEGY FOR COORDINATION AND SEARCH WITH A ROBOT FLOCK HMS FREDY, V LAKHNO, T KARTBAYEV, V MALYUKOV, ... Journal of Theoretical and Applied Information Technology 99 (13), 2021 | | 2021 |
PROVING THE CORRECTNESS CONDITIONS OF THE THREE-WAY HANDSHAKE PROTOCOL USING COMPUTATIONAL TREE LOGIC A ALOMARI, R ALSHORMAN Journal of Theoretical and Applied Information Technology 99 (15), 3725-3735, 2021 | | 2021 |
Specification of synchronous network flooding in temporal logic AT Ra’ed Bani Abdelrahman1 , Rafat Alshorman2 , Walter Hussak3 The International Arab Journal of Information Technology 17 (6), 867-874, 2020 | | 2020 |
Toward Proving the Correctness of TCP Protocol Using CTL R Alshorman International Arab Journal of Information Technology 16 (3), 407-414, 2019 | | 2019 |
Specifying and Verifying Two-Phase Locking Protocol Using Temporal Logics and Model Checker NIM Khawaldah Zarqa University, 2015 | | 2015 |
General Information of IJHIT HJ Hwang, B Kang International Journal of Hybrid Information Technology 8 (10), 2015 | | 2015 |