M. Saqib Nawaz

According to our database, M. Saqib Nawaz authored at least 36 papers between 2016 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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., October, 2023

PSAC-PDB: Analysis and classification of protein structures.

M. Saqib Nawaz, Philippe Fournier-Viger, Yulin He, Qin Zhang

Comput. Biol. Medicine, May, 2023

MDVA-GAN: multi-domain visual attribution generative adversarial networks.

Muhammad Saqib Nawaz, Feras N. Al-Obeidat, Abdallah Tubaishat, Tehseen Zia, Fahad Maqbool, Álvaro Rocha

Neural Comput. Appl., April, 2023

2022

Mining High Utility Itemsets with Hill Climbing and Simulated Annealing.

M. Saqib Nawaz, Philippe Fournier-Viger, Unil Yun, Youxi Wu, Wei Song

ACM Trans. Manag. Inf. Syst., 2022

Quality of service in IoT protocol as designs and its verification in PVS.

Muhammad Saqib Nawaz, Meng Sun, Basit Shahzad, Muhammad Ikram Ullah Lali, Tariq Umer, Shaohua Wan

Trans. Emerg. Telecommun. Technol., 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

Reasoning About Order Crossover in Genetic Algorithms.

M. Saqib Nawaz, Saleha Noor, Philippe Fournier-Viger

Proceedings of the Advances in Swarm Intelligence - 13th International Conference, 2022

Metaheuristic Algorithms for Proof Searching in HOL4.

M. Saqib Nawaz, Muhammad Zohaib Nawaz, Osman Hasan, Philippe Fournier-Viger

Proceedings of the 34th International Conference on Software Engineering and Knowledge Engineering, 2022

LCIM: Mining Low Cost High Utility Itemsets.

M. Saqib Nawaz, Philippe Fournier-Viger, Naji Alhusaini, Yulin He, Youxi Wu, Debdatta Bhattacharya

Proceedings of the Multi-disciplinary Trends in Artificial Intelligence, 2022

MaxFEM: Mining Maximal Frequent Episodes in Complex Event Sequences.

Philippe Fournier-Viger, M. Saqib Nawaz, Yulin He, Youxi Wu, Farid Nouioua, Unil Yun

Proceedings of the Multi-disciplinary Trends in Artificial Intelligence, 2022

FastTIRP: Efficient Discovery of Time-Interval Related Patterns.

Philippe Fournier-Viger, Yuechun Li, M. Saqib Nawaz, Yulin He

Proceedings of the Big Data Analytics - 10th International Conference, 2022

S-PDB: Analysis and Classification of SARS-CoV-2 Spike Protein Structures.

M. Saqib Nawaz, Philippe Fournier-Viger, Yulin He

Proceedings of the IEEE International Conference on Bioinformatics and Biomedicine, 2022

2021

Analysis of public reactions to the novel Coronavirus (COVID-19) outbreak on Twitter.

Saleha Noor, Yi Guo, Syed Hamad Hassan Shah, Philippe Fournier-Viger, M. Saqib Nawaz

Kybernetes, 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

Appl. Soft Comput., 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

Appl. Intell., 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 in PVS Theorem Prover Using Simulated Annealing.

M. Saqib Nawaz, Meng Sun, Philippe Fournier-Viger

Proceedings of the Advances in Swarm Intelligence - 12th International Conference, 2021

Metamorphic Malware Behavior Analysis Using Sequential Pattern Mining.

M. Saqib Nawaz, Philippe Fournier-Viger, Muhammad Zohaib Nawaz, Guoting Chen, Youxi Wu

Proceedings of the Machine Learning and Principles and Practice of Knowledge Discovery in Databases, 2021

Machine Learning for Intelligent Industrial Design.

Philippe Fournier-Viger, M. Saqib Nawaz, Wei Song, Wensheng Gan

Proceedings of the Machine Learning and Principles and Practice of Knowledge Discovery in Databases, 2021

COVID-19 Genome Analysis Using Alignment-Free Methods.

M. Saqib Nawaz, Philippe Fournier-Viger, Xinzheng Niu, Youxi Wu, Jerry Chun-Wei Lin

Proceedings of the Advances and Trends in Artificial Intelligence. Artificial Intelligence Practices, 2021

Investigating Crossover Operators in Genetic Algorithms for High-Utility Itemset Mining.

M. Saqib Nawaz, Philippe Fournier-Viger, Wei Song, Jerry Chun-Wei Lin, Bernd Noack

Proceedings of the Intelligent Information and Database Systems - 13th Asian Conference, 2021

2020

Research Synthesis and Thematic Analysis of Twitter Through Bibliometric Analysis.

Saleha Noor, Yi Guo, Syed Hamad Hassan Shah, M. Saqib Nawaz, Atif Saleem Butt

Int. J. Semantic Web Inf. Syst., 2020

Bibliometric Analysis of Social Media as a Platform for Knowledge Management.

Saleha Noor, Yi Guo, Syed Hamad Hassan Shah, M. Saqib Nawaz, Atif Saleem Butt

Int. J. Knowl. Manag., 2020

Proof Learning in PVS With Utility Pattern Mining.

M. Saqib Nawaz, Philippe Fournier-Viger, Ji Zhang

IEEE Access, 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 searching in HOL4 with genetic algorithm.

Muhammad Zohaib Nawaz, Osman Hasan, M. Saqib Nawaz, Philippe Fournier-Viger, Meng Sun

Proceedings of the SAC '20: The 35th ACM/SIGAPP Symposium on Applied Computing, online event, [Brno, Czech Republic], March 30, 2020

2019

A Survey on Theorem Provers in Formal Methods.

M. Saqib Nawaz, Moin Malik, Yi Li, Meng Sun, Muhammad Ikram Ullah Lali

CoRR, 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

Refining the Measurement of Topic Similarities Through Bibliographic Coupling and LDA.

Omer Hanif, Donghua Zhu, Xuefeng Wang, M. Saqib Nawaz

IEEE Access, 2019

Proof Guidance in PVS with Sequential Pattern Mining.

M. Saqib Nawaz, Meng Sun, Philippe Fournier-Viger

Proceedings of the Fundamentals of Software Engineering - 8th International Conference, 2019

Using PVS for Modeling and Verification of Probabilistic Connectors.

M. Saqib Nawaz, Meng Sun

Proceedings of the Fundamentals of Software Engineering - 8th International Conference, 2019

2018

Reo2PVS: Formal Specification and Verification of Component Connectors.

M. Saqib Nawaz, Meng Sun

Proceedings of the 30th International Conference on Software Engineering and Knowledge Engineering, 2018

A Formal Design Model for Genetic Algorithms Operators and its Encoding in PVS.

M. Saqib Nawaz, Meng Sun

Proceedings of the 2018 2nd International Conference on Big Data and Internet of Things, 2018

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

Using Coq for Formal Modeling and Verification of Timed Connectors.

Weijiang Hong, M. Saqib Nawaz, Xiyue Zhang, Yi Li, Meng Sun

Proceedings of the Software Engineering and Formal Methods, 2017

2016

Concurrent Algorithms in SPIN Model Checker.

M. Saqib Nawaz, Hussam Ali, Muhammad Ikram Ullah Lali

Proceedings of the International Conference on Frontiers of Information Technology, 2016