The BioMart community portal: an innovative alternative to large, centralized data repositories D Smedley, S Haider, S Durinck, L Pandini, P Provero, J Allen, O Arnaiz, ... Nucleic acids research 43 (W1), W589-W598, 2015 | 798 | 2015 |
The Effect of Student Collaboration in Solving Physics Problems Using an Online Interactive Response System NBM Awedh European Journal of Educational Research 6 (3), 385 - 394, 2017 | 241* | 2017 |
Using Socrative and Smartphones for the support of collaborative learning BZUM Mohammad Awedh, Ahmed Mueen International Journal on Integrating Technology in Education (IJITE) 3 (4), 2014 | 197* | 2014 |
An incremental algorithm to check satisfiability for bounded model checking HS Jin, F Somenzi Electronic Notes in Theoretical Computer Science 119 (2), 51-65, 2005 | 61 | 2005 |
CirCUs: A satisfiability solver geared towards bounded model checking HS Jin, M Awedh, F Somenzi Computer Aided Verification: 16th International Conference, CAV 2004, Boston …, 2004 | 48 | 2004 |
Proving more properties with bounded model checking M Awedh, F Somenzi Computer Aided Verification: 16th International Conference, CAV 2004, Boston …, 2004 | 41 | 2004 |
Materials for future quantum dot-based memories T Nowozin, D Bimberg, K Daqrouq, M Ajour, M Awedh Journal of Nanomaterials 2013, 2013 | 40 | 2013 |
Automatic classification of medical X‐ray images: hybrid generative‐discriminative approach M Reza Zare, A Mueen, M Awedh, W Chaw Seng IET Image Processing 7 (5), 523-532, 2013 | 35 | 2013 |
Game-based learning with native language hint and their effects on student academic performance in a Saudi Arabia community college B Zafar, A Mueen, M Awedh, M Balubaid Journal of Computers in Education, 2014 | 26 | 2014 |
Combined feature extraction on medical x-ray images MR Zare, A Mueen, WC Seng, MH Awedh 2011 Third International Conference on Computational Intelligence …, 2011 | 22 | 2011 |
Termination criteria for bounded model checking: Extensions and comparison M Awedh, F Somenzi Electronic Notes in Theoretical Computer Science 144 (1), 51-66, 2006 | 22 | 2006 |
Automatic invariant strengthening to prove properties in bounded model checking M Awedh, F Somenzi Proceedings of the 43rd annual Design Automation Conference, 1073-1076, 2006 | 21 | 2006 |
RFID and Face Recognition Based Security and Access Control System A Affandi¹, M Awedh, MHA Alghamdi International Journal of Innovative Research in Science, Engineering and …, 2013 | 15 | 2013 |
Merging scheme-based classification of medical X-ray images MR Zare, M Awedh, A Mueen, WC Seng 2011 Third International Conference on Computational Intelligence, Modelling …, 2011 | 8 | 2011 |
Increasing the robustness of bounded model checking by computing lower bounds on the reachable states M Awedh, F Somenzi International Conference on Formal Methods in Computer-Aided Design, 230-244, 2004 | 8 | 2004 |
Towards improving web attack detection: highlighting the significant factors MA Wazzan, MH Awadh 2015 5th International Conference on IT Convergence and Security (ICITCS), 1-5, 2015 | 7 | 2015 |
Design and FPGA Implementation of UART Using Microprogrammed Controller MHAA Mueen Scholars Journal of Engineering and Technology 3 (6), 600-608, 2015 | 5* | 2015 |
Medical Image Classification Using Multi-Vocabulary, BZMA Ahmed Mueen, Abdullah AL-Malaise AL-Ghamdi Asian Journal of Applied Sciences, 2015 | 5* | 2015 |
A universal ECG signal classification system using the wavelet transform AMR K Daqrouq, A Alkhateeb, W Ahmad, E Khalaf, M Awad, E Noeth, RA Alharbey Neural Network World 32 (1), 43, 2022 | 3* | 2022 |
Teaching Computer Organization Using Field Programmable Gate Array: An Incremental Approach MHAA Mueen Asian Journal of Advanced Basic Sciences 4 (1), 5-11, 2015 | 3 | 2015 |