M. Saqib Nawaz

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 35

Top Topics

Top Venues

Publications

Nasir Ud Din, Li Zhang, M. Saqib Nawaz, Yatao Yang
Multi-model feature aggregation for classification of laser welding images with vision transformer. J. King Saud Univ. Comput. Inf. Sci. 36 (5) (2024)
M. Saqib Nawaz, Philippe Fournier-Viger, Memoona Aslam, Wenjin Li, Yulin He, Xinzheng Niu
Using alignment-free and pattern mining methods for SARS-CoV-2 genome analysis. Appl. Intell. 53 (19) (2023)
M. Saqib Nawaz, Philippe Fournier-Viger, Yulin He, Qin Zhang
PSAC-PDB: Analysis and classification of protein structures. Comput. Biol. Medicine 158 (2023)
M. Saqib Nawaz, Philippe Fournier-Viger, Muhammad Zohaib Nawaz, Guoting Chen, Youxi Wu
MalSPM: Metamorphic malware behavior analysis and classification using sequential pattern mining. Comput. Secur. 118 (2022)
Philippe Fournier-Viger, M. Saqib Nawaz, Yulin He, Youxi Wu, Farid Nouioua, Unil Yun
MaxFEM: Mining Maximal Frequent Episodes in Complex Event Sequences. MIWAI (2022)
Philippe Fournier-Viger, Yuechun Li, M. Saqib Nawaz, Yulin He
FastTIRP: Efficient Discovery of Time-Interval Related Patterns. BDA (2022)
M. Saqib Nawaz, Saleha Noor, Philippe Fournier-Viger
Reasoning About Order Crossover in Genetic Algorithms. ICSI (1) (2022)
M. Saqib Nawaz, Philippe Fournier-Viger, Yulin He
S-PDB: Analysis and Classification of SARS-CoV-2 Spike Protein Structures. BIBM (2022)
M. Saqib Nawaz, Philippe Fournier-Viger, Naji Alhusaini, Yulin He, Youxi Wu, Debdatta Bhattacharya
LCIM: Mining Low Cost High Utility Itemsets. MIWAI (2022)
M. Saqib Nawaz, Philippe Fournier-Viger, Unil Yun, Youxi Wu, Wei Song
Mining High Utility Itemsets with Hill Climbing and Simulated Annealing. ACM Trans. Manag. Inf. Syst. 13 (1) (2022)
M. Saqib Nawaz, Muhammad Zohaib Nawaz, Osman Hasan, Philippe Fournier-Viger
Metaheuristic Algorithms for Proof Searching in HOL4. SEKE (2022)
Saleha Noor, Yi Guo, Syed Hamad Hassan Shah, Philippe Fournier-Viger, M. Saqib Nawaz
Analysis of public reactions to the novel Coronavirus (COVID-19) outbreak on Twitter. Kybernetes 50 (5) (2021)
M. Saqib Nawaz, M. Zohaib Nawaz, Osman Hasan, Philippe Fournier-Viger, Meng Sun
An evolutionary/heuristic-based proof searching framework for interactive theorem prover. Appl. Soft Comput. 104 (2021)
M. Saqib Nawaz, Philippe Fournier-Viger, Muhammad Zohaib Nawaz, Guoting Chen, Youxi Wu
Metamorphic Malware Behavior Analysis Using Sequential Pattern Mining. PKDD/ECML Workshops (2) (2021)
M. Saqib Nawaz, Meng Sun, Philippe Fournier-Viger
Proof Searching in PVS Theorem Prover Using Simulated Annealing. ICSI (2) (2021)
M. Saqib Nawaz, Philippe Fournier-Viger, Xinzheng Niu, Youxi Wu, Jerry Chun-Wei Lin
COVID-19 Genome Analysis Using Alignment-Free Methods. IEA/AIE (1) (2021)
M. Saqib Nawaz, M. Zohaib Nawaz, Osman Hasan, Philippe Fournier-Viger, Meng Sun
Proof searching and prediction in HOL4 with evolutionary/heuristic and deep learning techniques. Appl. Intell. 51 (3) (2021)
Philippe Fournier-Viger, M. Saqib Nawaz, Wei Song, Wensheng Gan
Machine Learning for Intelligent Industrial Design. PKDD/ECML Workshops (2) (2021)
M. Saqib Nawaz, Philippe Fournier-Viger, Abbas Shojaee, Hamido Fujita
Using artificial intelligence techniques for COVID-19 genome analysis. Appl. Intell. 51 (5) (2021)
M. Saqib Nawaz, Philippe Fournier-Viger, Wei Song, Jerry Chun-Wei Lin, Bernd Noack
Investigating Crossover Operators in Genetic Algorithms for High-Utility Itemset Mining. ACIIDS (2021)
Xiang Li, Jiaxuan Li, Philippe Fournier-Viger, M. Saqib Nawaz, Jie Yao, Jerry Chun-Wei Lin
Mining Productive Itemsets in Dynamic Databases. IEEE Access 8 (2020)
M. Zohaib Nawaz, Osman Hasan, M. Saqib Nawaz, Philippe Fournier-Viger, Meng Sun
Proof searching in HOL4 with genetic algorithm. SAC (2020)
M. Saqib Nawaz, Philippe Fournier-Viger, Ji Zhang
Proof Learning in PVS With Utility Pattern Mining. IEEE Access 8 (2020)
Saleha Noor, Yi Guo, Syed Hamad Hassan Shah, M. Saqib Nawaz, Atif Saleem Butt
Research Synthesis and Thematic Analysis of Twitter Through Bibliometric Analysis. Int. J. Semantic Web Inf. Syst. 16 (3) (2020)
Saleha Noor, Yi Guo, Syed Hamad Hassan Shah, M. Saqib Nawaz, Atif Saleem Butt
Bibliometric Analysis of Social Media as a Platform for Knowledge Management. Int. J. Knowl. Manag. 16 (3) (2020)
M. Saqib Nawaz, Meng Sun, Philippe Fournier-Viger
Proof Guidance in PVS with Sequential Pattern Mining. FSEN (2019)
M. Saqib Nawaz, Moin Malik, Yi Li, Meng Sun, Muhammad Ikram Ullah Lali
A Survey on Theorem Provers in Formal Methods. CoRR (2019)
Omer Hanif, Donghua Zhu, Xuefeng Wang, M. Saqib Nawaz
Refining the Measurement of Topic Similarities Through Bibliographic Coupling and LDA. IEEE Access 7 (2019)
M. Saqib Nawaz, Meng Sun
Using PVS for Modeling and Verification of Probabilistic Connectors. FSEN (2019)
Basit Shahzad, Kinza Mehr Awan, Abdullatif M. Abdullatif, Muhammad Ikram Ullah Lali, M. Saqib Nawaz, Ume Ayesha, Muzafar Khan
Quantification of Productivity of the Brands on Social Media With Respect to Their Responsiveness. IEEE Access 7 (2019)
M. Saqib Nawaz, Meng Sun
Reo2PVS: Formal Specification and Verification of Component Connectors. SEKE (2018)
M. Saqib Nawaz, Meng Sun
A Formal Design Model for Genetic Algorithms Operators and its Encoding in PVS. BDIOT (2018)
Weijiang Hong, M. Saqib Nawaz, Xiyue Zhang, Yi Li, Meng Sun
Using Coq for Formal Modeling and Verification of Timed Connectors. SEFM Workshops (2017)
Muhammad Ikram Ullah Lali, Raza Ul-Mustafa, Kashif Saleem, M. Saqib Nawaz, Tehseen Zia, Basit Shahzad
Finding Healthcare Issues with Search Engine Queries and Social Network Data. Int. J. Semantic Web Inf. Syst. 13 (1) (2017)
M. Saqib Nawaz, Hussam Ali, Muhammad Ikram Ullah Lali
Concurrent Algorithms in SPIN Model Checker. FIT (2016)