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 | 239 | 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 | 20 | 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 | | |