Muhammad Zohaib Nawaz

Muhammad Zohaib Nawaz

University of Sargodha - Sargodha / Pakistan
Engineering & Technology / Computer Science
AD Scientific Index ID: 3508628
سرگودھا یونیورسٹی
person_outline Muhammad Zohaib Nawaz's MOST POPULAR ARTICLES
1-) Symptom Based Automated Detection of Citrus Diseases Using Color Histogram and Textural DescriptorsBS H. Ali, M.I. Lali, M. Z. Nawaz, M. SharifComputers and Electronics in Agriculture, 20171602017
2-) MalSPM: Metamorphic malware behavior analysis and classification using sequential pattern miningMS Nawaz, P Fournier-Viger, MZ Nawaz, G Chen, Y WuComputers & Security 118, 102741, 202282022
3-) An evolutionary/heuristic-based proof searching framework for interactive theorem proverMS Nawaz, MZ Nawaz, O Hasan, P Fournier-Viger, M SunApplied Soft Computing, 107200, 202182021
4-) Proof searching and prediction in HOL4 with evolutionary/heuristic and deep learning techniquesMS MS. Nawaz, MZ Nawaz, Osman Hasan, Philippe Fournier-VigerApplied Intelligence, 20207*2020
5-) Proof searching in HOL4 with genetic algorithmMZ Nawaz, O Hasan, MS Nawaz, P Fournier-Viger, M SunProceedings of the 35th Annual ACM Symposium on Applied Computing, 513-520, 202072020