Muhammad Zohaib Nawaz

20182019202020212022202320249 26 37 58 63 60 21

Public access

1 article

0 articles

available

not available

Based on funding mandates

Philippe Fournier-VigerDistinguished professor, Shenzhen University, ChinaVerified email at szu.edu.cn
Ikram Ullah LaliUniversity of Education Lahore, PakistanVerified email at ue.edu.pk
Hussam AliLecturer, Deparment of Computer Science and IT, University of SargodhaVerified email at uos.edu.pk
Osman HasanProfessor of Electrical Engineering, National University of Sciences and TechnologyVerified email at seecs.edu.pk
Meng SunProfessor, School of Mathematical Science, Peking UniversityVerified email at math.pku.edu.cn

Muhammad Zohaib Nawaz

Verified email at email.szu.edu.cn - Homepage


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Symptom Based Automated Detection of Citrus Diseases Using Color Histogram and Textural Descriptors BS H. Ali, M.I. Lali, M. Z. Nawaz, M. Sharif Computers and Electronics in Agriculture, 2017	234	2017
MalSPM: Metamorphic malware behavior analysis and classification using sequential pattern mining MS Nawaz, P Fournier-Viger, MZ Nawaz, G Chen, Y Wu Computers & Security 118, 102741, 2022	17	2022
An evolutionary/heuristic-based proof searching framework for interactive theorem prover MS Nawaz, MZ Nawaz, O Hasan, P Fournier-Viger, M Sun Applied Soft Computing, 107200, 2021	10	2021
Proof searching in HOL4 with genetic algorithm MZ Nawaz, O Hasan, MS Nawaz, P Fournier-Viger, M Sun Proceedings of the 35th Annual ACM Symposium on Applied Computing, 513-520, 2020	7	2020
Proof searching and prediction in HOL4 with evolutionary/heuristic and deep learning techniques MS MS. Nawaz, MZ Nawaz, Osman Hasan, Philippe Fournier-Viger Applied Intelligence, 2020	6*	2020
Metamorphic Malware Behavior Analysis Using Sequential Pattern Mining MS Nawaz, P Fournier-Viger, MZ Nawaz, G Chen, Y Wu Joint European Conference on Machine Learning and Knowledge Discovery in …, 2021	2	2021
Metamorphic Malware Behavior Analysis using Sequential Pattern Mining G Chen, Y Wu
Metaheuristic Algorithms for Proof Searching in HOL4 MS Nawaz, MZ Nawaz, O Hasan, P Fournier-Viger

The system can't perform the operation now. Try again later.

Articles 1–8

Citations per year