Symptom based automated detection of citrus diseases using color histogram and textural descriptors. - Hussam Ali; Muhammad Ikram Ullah Lali; Muhammad Zohaib Nawaz; Muhammad Sharif 001; B. A. Saleem (Comput. Electron. Agric., 2017)

Proof searching in HOL4 with genetic algorithm. - Muhammad Zohaib Nawaz; Osman Hasan; M. Saqib Nawaz; Philippe Fournier-Viger; Meng Sun 002 (SAC, 2020)

Metamorphic Malware Behavior Analysis Using Sequential Pattern Mining. - M. Saqib Nawaz; Philippe Fournier-Viger; Muhammad Zohaib Nawaz; Guoting Chen; Youxi Wu (PKDD/ECML Workshops (2), 2021)

Proof searching and prediction in HOL4 with evolutionary/heuristic and deep learning techniques. - M. Saqib Nawaz; Muhammad Zohaib Nawaz; Osman Hasan; Philippe Fournier-Viger; Meng Sun 002 (Appl. Intell., 2021)

An evolutionary/heuristic-based proof searching framework for interactive theorem prover. - M. Saqib Nawaz; Muhammad Zohaib Nawaz; Osman Hasan; Philippe Fournier-Viger; Meng Sun 002 (Appl. Soft Comput., 2021)

Metaheuristic Algorithms for Proof Searching in HOL4. - M. Saqib Nawaz; Muhammad Zohaib Nawaz; Osman Hasan; Philippe Fournier-Viger (SEKE, 2022)

MalSPM: Metamorphic malware behavior analysis and classification using sequential pattern mining. - M. Saqib Nawaz; Philippe Fournier-Viger; Muhammad Zohaib Nawaz; Guoting Chen; Youxi Wu (Comput. Secur., 2022)

An MDL-Based Genetic Algorithm for Genome Sequence Compression. - Muhammad Zohaib Nawaz; M. Saqib Nawaz; Philippe Fournier-Viger; Vincent S. Tseng (BIBM, 2024)

Analysis and Classification of Fake News Using Sequential Pattern Mining. - Muhammad Zohaib Nawaz; M. Saqib Nawaz; Philippe Fournier-Viger; Yulin He (Big Data Min. Anal., 2024)

Exploiting the sequential nature of genomic data for improved analysis and identification. - M. Saqib Nawaz; Muhammad Zohaib Nawaz; Zhang Junyi; Philippe Fournier-Viger; Jun-Feng Qu (Comput. Biol. Medicine, 2024)

In silico framework for genome analysis. - M. Saqib Nawaz; Muhammad Zohaib Nawaz; Yongshun Gong; Philippe Fournier-Viger; Abdoulaye Baniré Diallo (Future Gener. Comput. Syst., 2025)

Efficient genome sequence compression via the fusion of MDL-based heuristics. - Muhammad Zohaib Nawaz; M. Saqib Nawaz; Philippe Fournier-Viger; Shoaib Nawaz; Jerry Chun-Wei Lin; Vincent S. Tseng (Inf. Fusion, 2025)

GRIMP: A Genetic Algorithm for Compression-Based Descriptive Pattern Mining. - Muhammad Zohaib Nawaz; M. Saqib Nawaz; Philippe Fournier-Viger; Nazha Selmaoui-Folcher (Expert Syst. J. Knowl. Eng., 2025)