Concurrent Algorithms in SPIN Model Checker. - M. Saqib Nawaz; Hussam Ali; Muhammad Ikram Ullah Lali (FIT, 2016)

Using Coq for Formal Modeling and Verification of Timed Connectors. - Weijiang Hong; M. Saqib Nawaz; Xiyue Zhang 001; Yi Li 010; Meng Sun 002 (SEFM Workshops, 2017)

Finding Healthcare Issues with Search Engine Queries and Social Network Data. - Muhammad Ikram Ullah Lali; Raza Ul-Mustafa; Kashif Saleem; M. Saqib Nawaz; Tehseen Zia; Basit Shahzad (Int. J. Semantic Web Inf. Syst., 2017)

A Formal Design Model for Genetic Algorithms Operators and its Encoding in PVS. - M. Saqib Nawaz; Meng Sun 002 (BDIOT, 2018)

Reo2PVS: Formal Specification and Verification of Component Connectors. - M. Saqib Nawaz; Meng Sun 002 (SEKE, 2018)

Using PVS for Modeling and Verification of Probabilistic Connectors. - M. Saqib Nawaz; Meng Sun 002 (FSEN, 2019)

Proof Guidance in PVS with Sequential Pattern Mining. - M. Saqib Nawaz; Meng Sun 002; Philippe Fournier-Viger (FSEN, 2019)

Refining the Measurement of Topic Similarities Through Bibliographic Coupling and LDA. - Omer Hanif; Donghua Zhu 001; Xuefeng Wang 001; M. Saqib Nawaz (IEEE Access, 2019)

Quantification of Productivity of the Brands on Social Media With Respect to Their Responsiveness. - Basit Shahzad; Kinza Mehr Awan; Abdullatif M. Abdullatif; Muhammad Ikram Ullah Lali; M. Saqib Nawaz; Ume Ayesha; Muzafar Khan (IEEE Access, 2019)

A Survey on Theorem Provers in Formal Methods. - M. Saqib Nawaz; Moin Malik; Yi Li 010; Meng Sun 002; Muhammad Ikram Ullah Lali (CoRR, 2019)

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

Mining Productive Itemsets in Dynamic Databases. - Xiang Li; Jiaxuan Li; Philippe Fournier-Viger; M. Saqib Nawaz; Jie Yao; Jerry Chun-Wei Lin (IEEE Access, 2020)

Proof Learning in PVS With Utility Pattern Mining. - M. Saqib Nawaz; Philippe Fournier-Viger; Ji Zhang 001 (IEEE Access, 2020)

Bibliometric Analysis of Social Media as a Platform for Knowledge Management. - Saleha Noor; Yi Guo 009; Syed Hamad Hassan Shah; M. Saqib Nawaz; Atif Saleem Butt (Int. J. Knowl. Manag., 2020)

Research Synthesis and Thematic Analysis of Twitter Through Bibliometric Analysis. - Saleha Noor; Yi Guo 009; Syed Hamad Hassan Shah; M. Saqib Nawaz; Atif Saleem Butt (Int. J. Semantic Web Inf. Syst., 2020)

Investigating Crossover Operators in Genetic Algorithms for High-Utility Itemset Mining. - M. Saqib Nawaz; Philippe Fournier-Viger; Wei Song 004; Jerry Chun-Wei Lin; Bernd Noack (ACIIDS, 2021)

COVID-19 Genome Analysis Using Alignment-Free Methods. - M. Saqib Nawaz; Philippe Fournier-Viger; Xinzheng Niu; Youxi Wu; Jerry Chun-Wei Lin (IEA/AIE (1), 2021)

Machine Learning for Intelligent Industrial Design. - Philippe Fournier-Viger; M. Saqib Nawaz; Wei Song 004; Wensheng Gan (PKDD/ECML Workshops (2), 2021)

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 in PVS Theorem Prover Using Simulated Annealing. - M. Saqib Nawaz; Meng Sun 002; Philippe Fournier-Viger (ICSI (2), 2021)

Using artificial intelligence techniques for COVID-19 genome analysis. - M. Saqib Nawaz; Philippe Fournier-Viger; Abbas Shojaee; Hamido Fujita (Appl. Intell., 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)

Analysis of public reactions to the novel Coronavirus (COVID-19) outbreak on Twitter. - Saleha Noor; Yi Guo 009; Syed Hamad Hassan Shah; Philippe Fournier-Viger; M. Saqib Nawaz (Kybernetes, 2021)

S-PDB: Analysis and Classification of SARS-CoV-2 Spike Protein Structures. - M. Saqib Nawaz; Philippe Fournier-Viger; Yulin He (BIBM, 2022)

FastTIRP: Efficient Discovery of Time-Interval Related Patterns. - Philippe Fournier-Viger; Yuechun Li; M. Saqib Nawaz; Yulin He (BDA, 2022)

MaxFEM: Mining Maximal Frequent Episodes in Complex Event Sequences. - Philippe Fournier-Viger; M. Saqib Nawaz; Yulin He; Youxi Wu; Farid Nouioua; Unil Yun (MIWAI, 2022)

LCIM: Mining Low Cost High Utility Itemsets. - M. Saqib Nawaz; Philippe Fournier-Viger; Naji Alhusaini; Yulin He; Youxi Wu; Debdatta Bhattacharya (MIWAI, 2022)

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

Reasoning About Order Crossover in Genetic Algorithms. - M. Saqib Nawaz; Saleha Noor; Philippe Fournier-Viger (ICSI (1), 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)

Quality of service in IoT protocol as designs and its verification in PVS. - Muhammad Saqib Nawaz; Meng Sun 002; Basit Shahzad; Muhammad Ikram Ullah Lali; Tariq Umer; Shaohua Wan 001 (Trans. Emerg. Telecommun. Technol., 2022)

Mining High Utility Itemsets with Hill Climbing and Simulated Annealing. - M. Saqib Nawaz; Philippe Fournier-Viger; Unil Yun; Youxi Wu; Wei Song 004 (ACM Trans. Manag. Inf. Syst., 2022)

MDVA-GAN: multi-domain visual attribution generative adversarial networks. - Muhammad Saqib Nawaz; Feras N. Al-Obeidat; Abdallah Tubaishat; Tehseen Zia; Fahad Maqbool; Álvaro Rocha 001 (Neural Comput. Appl., 2023)

PSAC-PDB: Analysis and classification of protein structures. - M. Saqib Nawaz; Philippe Fournier-Viger; Yulin He; Qin Zhang 011 (Comput. Biol. Medicine, 2023)

Using alignment-free and pattern mining methods for SARS-CoV-2 genome analysis. - M. Saqib Nawaz; Philippe Fournier-Viger; Memoona Aslam; Wenjin Li; Yulin He; Xinzheng Niu (Appl. Intell., 2023)

SeqClin: Pattern-Based Analysis and Classification of Clinical Datasets. - M. Saqib Nawaz; Philippe Fournier-Viger; Jimmy Ming-Tai Wu (BIBM, 2024)

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)

Multi-model feature aggregation for classification of laser welding images with vision transformer. - Nasir Ud Din; Li Zhang; M. Saqib Nawaz; Yatao Yang (J. King Saud Univ. Comput. Inf. Sci., 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)

HUF4WP: A data-fusion framework leveraging high-utility patterns for renewable energy classification. - M. Saqib Nawaz; Philippe Fournier-Viger; Muhammad Zohaib Nawaz; Yulin He; Unil Yun (Inf. Fusion, 2026)