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 |
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 |
Toward proving the correctness of TCP protocol using CTL. R Alshorman Int. Arab J. Inf. Technol. 16 (3), 407-414, 2019 | | 2019 |
Temporal Logics Specifications for Debit and Credit Transactions RM Alshorman | | 2015 |
Using temporal logics to specify and verify multi-step transactions in mobile environments R Alshorman Loughborough University, 2009 | | 2009 |