| 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 | 795 | 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 | 234* | 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 | 196* | 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 | 9 | 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 |
Dr. Ahmed MueenAssociate Professor, King Abdulaziz University, Jeddah, Saudi ArabiaVerified email at kau.edu.sa
