Mohammad Awedh

Mohammad Awedh

King Abdulaziz University - Jeddah / Saudi Arabia
Engineering & Technology / Computer Science
AD Scientific Index ID: 350791
جامعة الملك عبد العزيز
person_outline Mohammad Awedh's MOST POPULAR ARTICLES
1-) The BioMart community portal: an innovative alternative to large, centralized data repositories, Nucleic acids research 43 (W1), W589-W598, 2015
2-) The Effect of Student Collaboration in Solving Physics Problems Using an Online Interactive Response System, European Journal of Educational Research 6 (3), 385 - 394, 2017
3-) Using Socrative and Smartphones for the support of collaborative learning, International Journal on Integrating Technology in Education (IJITE) 3 (4), 2014
4-) An incremental algorithm to check satisfiability for bounded model checking, Electronic Notes in Theoretical Computer Science 119 (2), 51-65, 2005
5-) CirCUs: A satisfiability solver geared towards bounded model checking, Computer Aided Verification: 16th International Conference, CAV 2004, Boston …, 2004