M. Saqib Nawaz

47 papers B 1C 2Misc 2Journal 24Unranked 16
YearRankTypeTitle / Venue / Authors
2026 J jnl
HMP: Efficient heuristic algorithms for MDL-based itemset mining.
Appl. Soft Comput.
Enze Chen, Muhammad Zohaib Nawaz, M. Saqib Nawaz, Philippe Fournier-Viger
2026 J jnl
HUF4WP: A data-fusion framework leveraging high-utility patterns for renewable energy classification.
Inf. Fusion
M. Saqib Nawaz, Philippe Fournier-Viger, Muhammad Zohaib Nawaz, Yulin He, Unil Yun
2025 — conf
A Multipurpose Protein Compressor Based on MDL and Genetic Algorithm.
BIBM
M. Zohaib Nawaz, M. Saqib Nawaz, Philippe Fournier-Viger, Xinzheng Niu, Mengqiu Li
2025 J jnl
Efficient genome sequence compression via the fusion of MDL-based heuristics.
Inf. Fusion
Muhammad Zohaib Nawaz, M. Saqib Nawaz, Philippe Fournier-Viger, Shoaib Nawaz, Jerry Chun-Wei Lin, Vincent S. Tseng
2025 J jnl
GRIMP: A Genetic Algorithm for Compression-Based Descriptive Pattern Mining.
Expert Syst. J. Knowl. Eng.
Muhammad Zohaib Nawaz, M. Saqib Nawaz, Philippe Fournier-Viger, Nazha Selmaoui-Folcher
2025 J jnl
In silico framework for genome analysis.
Future Gener. Comput. Syst.
M. Saqib Nawaz, Muhammad Zohaib Nawaz, Yongshun Gong, Philippe Fournier-Viger, Abdoulaye Baniré Diallo
2024 — conf
An MDL-Based Genetic Algorithm for Genome Sequence Compression.
BIBM
Muhammad Zohaib Nawaz, M. Saqib Nawaz, Philippe Fournier-Viger, Vincent S. Tseng
2024 J jnl
Analysis and Classification of Fake News Using Sequential Pattern Mining.
Big Data Min. Anal.
Muhammad Zohaib Nawaz, M. Saqib Nawaz, Philippe Fournier-Viger, Yulin He
2024 J jnl
Exploiting the sequential nature of genomic data for improved analysis and identification.
Comput. Biol. Medicine
M. Saqib Nawaz, Muhammad Zohaib Nawaz, Zhang Junyi, Philippe Fournier-Viger, Jun-Feng Qu
2024 J jnl
Multi-model feature aggregation for classification of laser welding images with vision transformer.
J. King Saud Univ. Comput. Inf. Sci.
Nasir Ud Din, Li Zhang, M. Saqib Nawaz, Yatao Yang
2024 — conf
SeqClin: Pattern-Based Analysis and Classification of Clinical Datasets.
BIBM
M. Saqib Nawaz, Philippe Fournier-Viger, Jimmy Ming-Tai Wu
2023 J jnl
PSAC-PDB: Analysis and classification of protein structures.
Comput. Biol. Medicine
M. Saqib Nawaz, Philippe Fournier-Viger, Yulin He, Qin Zhang
2023 J jnl
Using alignment-free and pattern mining methods for SARS-CoV-2 genome analysis.
Appl. Intell.
M. Saqib Nawaz, Philippe Fournier-Viger, Memoona Aslam, Wenjin Li, Yulin He, Xinzheng Niu
2022 — conf
FastTIRP: Efficient Discovery of Time-Interval Related Patterns.
BDA
Philippe Fournier-Viger, Yuechun Li, M. Saqib Nawaz, Yulin He
2022 — conf
LCIM: Mining Low Cost High Utility Itemsets.
MIWAI
M. Saqib Nawaz, Philippe Fournier-Viger, Naji Alhusaini, Yulin He, Youxi Wu, Debdatta Bhattacharya
2022 J jnl
MalSPM: Metamorphic malware behavior analysis and classification using sequential pattern mining.
Comput. Secur.
M. Saqib Nawaz, Philippe Fournier-Viger, Muhammad Zohaib Nawaz, Guoting Chen, Youxi Wu
2022 — conf
MaxFEM: Mining Maximal Frequent Episodes in Complex Event Sequences.
MIWAI
Philippe Fournier-Viger, M. Saqib Nawaz, Yulin He, Youxi Wu, Farid Nouioua, Unil Yun
2022 C conf
Metaheuristic Algorithms for Proof Searching in HOL4.
SEKE
M. Saqib Nawaz, Muhammad Zohaib Nawaz, Osman Hasan, Philippe Fournier-Viger
2022 J jnl
Mining High Utility Itemsets with Hill Climbing and Simulated Annealing.
ACM Trans. Manag. Inf. Syst.
M. Saqib Nawaz, Philippe Fournier-Viger, Unil Yun, Youxi Wu, Wei Song
2022 — conf
Reasoning About Order Crossover in Genetic Algorithms.
ICSI (1)
M. Saqib Nawaz, Saleha Noor, Philippe Fournier-Viger
2022 — conf
S-PDB: Analysis and Classification of SARS-CoV-2 Spike Protein Structures.
BIBM
M. Saqib Nawaz, Philippe Fournier-Viger, Yulin He
2021 J jnl
An evolutionary/heuristic-based proof searching framework for interactive theorem prover.
Appl. Soft Comput.
M. Saqib Nawaz, Muhammad Zohaib Nawaz, Osman Hasan, Philippe Fournier-Viger, Meng Sun
2021 J jnl
Analysis of public reactions to the novel Coronavirus (COVID-19) outbreak on Twitter.
Kybernetes
Saleha Noor, Yi Guo, Syed Hamad Hassan Shah, Philippe Fournier-Viger, M. Saqib Nawaz
2021 — conf
COVID-19 Genome Analysis Using Alignment-Free Methods.
IEA/AIE (1)
M. Saqib Nawaz, Philippe Fournier-Viger, Xinzheng Niu, Youxi Wu, Jerry Chun-Wei Lin
2021 B conf
Investigating Crossover Operators in Genetic Algorithms for High-Utility Itemset Mining.
ACIIDS
M. Saqib Nawaz, Philippe Fournier-Viger, Wei Song, Jerry Chun-Wei Lin, Bernd Noack
2021 — ed.
Machine Learning and Principles and Practice of Knowledge Discovery in Databases - International Workshops of ECML PKDD 2021, Virtual Event, September 13-17, 2021, Proceedings, Part I
PKDD/ECML Workshops (1)
Michael Kamp, Irena Koprinska, Adrien Bibal, Tassadit Bouadi, Benoît Frénay, Luis Galárraga, José Oramas, Linara Adilova, Yamuna Krishnamurthy, Bo Kang, Christine Largeron, Jefrey Lijffijt, Tiphaine Viard, Pascal Welke, Massimiliano Ruocco, Erlend Aune, Claudio Gallicchio, Gregor Schiele, Franz Pernkopf, Michaela Blott, Holger Fröning, Günther Schindler, Riccardo Guidotti, Anna Monreale, Salvatore Rinzivillo, Przemyslaw Biecek, Eirini Ntoutsi, Mykola Pechenizkiy, Bodo Rosenhahn, Christopher L. Buckley, Daniela Cialfi, Pablo Lanillos, Maxwell Ramstead, Tim Verbelen, Pedro M. Ferreira, Giuseppina Andresini, Donato Malerba, Ibéria Medeiros, Philippe Fournier-Viger, M. Saqib Nawaz, Sebastián Ventura, Meng Sun, Min Zhou, Valerio Bitetta, Ilaria Bordino, Andrea Ferretti, Francesco Gullo, Giovanni Ponti, Lorenzo Severini, Rita P. Ribeiro, João Gama, Ricard Gavaldà, Lee Cooper, Naghmeh Ghazaleh, Jonas Richiardi, Damian Roqueiro, Diego Saldana Miranda, Konstantinos Sechidis, Guilherme Graça
2021 — ed.
Machine Learning and Principles and Practice of Knowledge Discovery in Databases - International Workshops of ECML PKDD 2021, Virtual Event, September 13-17, 2021, Proceedings, Part II
PKDD/ECML Workshops (2)
Michael Kamp, Irena Koprinska, Adrien Bibal, Tassadit Bouadi, Benoît Frénay, Luis Galárraga, José Oramas, Linara Adilova, Yamuna Krishnamurthy, Bo Kang, Christine Largeron, Jefrey Lijffijt, Tiphaine Viard, Pascal Welke, Massimiliano Ruocco, Erlend Aune, Claudio Gallicchio, Gregor Schiele, Franz Pernkopf, Michaela Blott, Holger Fröning, Günther Schindler, Riccardo Guidotti, Anna Monreale, Salvatore Rinzivillo, Przemyslaw Biecek, Eirini Ntoutsi, Mykola Pechenizkiy, Bodo Rosenhahn, Christopher L. Buckley, Daniela Cialfi, Pablo Lanillos, Maxwell Ramstead, Tim Verbelen, Pedro M. Ferreira, Giuseppina Andresini, Donato Malerba, Ibéria Medeiros, Philippe Fournier-Viger, M. Saqib Nawaz, Sebastián Ventura, Meng Sun, Min Zhou, Valerio Bitetta, Ilaria Bordino, Andrea Ferretti, Francesco Gullo, Giovanni Ponti, Lorenzo Severini, Rita P. Ribeiro, João Gama, Ricard Gavaldà, Lee Cooper, Naghmeh Ghazaleh, Jonas Richiardi, Damian Roqueiro, Diego Saldana Miranda, Konstantinos Sechidis, Guilherme Graça
2021 — conf
Machine Learning for Intelligent Industrial Design.
PKDD/ECML Workshops (2)
Philippe Fournier-Viger, M. Saqib Nawaz, Wei Song, Wensheng Gan
2021 — conf
Metamorphic Malware Behavior Analysis Using Sequential Pattern Mining.
PKDD/ECML Workshops (2)
M. Saqib Nawaz, Philippe Fournier-Viger, Muhammad Zohaib Nawaz, Guoting Chen, Youxi Wu
2021 — conf
Proof Searching in PVS Theorem Prover Using Simulated Annealing.
ICSI (2)
M. Saqib Nawaz, Meng Sun, Philippe Fournier-Viger
2021 J jnl
Proof searching and prediction in HOL4 with evolutionary/heuristic and deep learning techniques.
Appl. Intell.
M. Saqib Nawaz, Muhammad Zohaib Nawaz, Osman Hasan, Philippe Fournier-Viger, Meng Sun
2021 J jnl
Using artificial intelligence techniques for COVID-19 genome analysis.
Appl. Intell.
M. Saqib Nawaz, Philippe Fournier-Viger, Abbas Shojaee, Hamido Fujita
2020 J jnl
Bibliometric Analysis of Social Media as a Platform for Knowledge Management.
Int. J. Knowl. Manag.
Saleha Noor, Yi Guo, Syed Hamad Hassan Shah, M. Saqib Nawaz, Atif Saleem Butt
2020 J jnl
Mining Productive Itemsets in Dynamic Databases.
IEEE Access
Xiang Li, Jiaxuan Li, Philippe Fournier-Viger, M. Saqib Nawaz, Jie Yao, Jerry Chun-Wei Lin
2020 J jnl
Proof Learning in PVS With Utility Pattern Mining.
IEEE Access
M. Saqib Nawaz, Philippe Fournier-Viger, Ji Zhang
2020 Misc conf
Proof searching in HOL4 with genetic algorithm.
SAC
Muhammad Zohaib Nawaz, Osman Hasan, M. Saqib Nawaz, Philippe Fournier-Viger, Meng Sun
2020 J jnl
Research Synthesis and Thematic Analysis of Twitter Through Bibliometric Analysis.
Int. J. Semantic Web Inf. Syst.
Saleha Noor, Yi Guo, Syed Hamad Hassan Shah, M. Saqib Nawaz, Atif Saleem Butt
2019 J jnl
A Survey on Theorem Provers in Formal Methods.
CoRR
M. Saqib Nawaz, Moin Malik, Yi Li, Meng Sun, Muhammad Ikram Ullah Lali
2019 — conf
Proof Guidance in PVS with Sequential Pattern Mining.
FSEN
M. Saqib Nawaz, Meng Sun, Philippe Fournier-Viger
2019 J jnl
Quantification of Productivity of the Brands on Social Media With Respect to Their Responsiveness.
IEEE Access
Basit Shahzad, Kinza Mehr Awan, Abdullatif M. Abdullatif, Muhammad Ikram Ullah Lali, M. Saqib Nawaz, Ume Ayesha, Muzafar Khan
2019 J jnl
Refining the Measurement of Topic Similarities Through Bibliographic Coupling and LDA.
IEEE Access
Omer Hanif, Donghua Zhu, Xuefeng Wang, M. Saqib Nawaz
2019 — conf
Using PVS for Modeling and Verification of Probabilistic Connectors.
FSEN
M. Saqib Nawaz, Meng Sun
2018 — conf
A Formal Design Model for Genetic Algorithms Operators and its Encoding in PVS.
BDIOT
M. Saqib Nawaz, Meng Sun
2018 C conf
Reo2PVS: Formal Specification and Verification of Component Connectors.
SEKE
M. Saqib Nawaz, Meng Sun
2017 J jnl
Finding Healthcare Issues with Search Engine Queries and Social Network Data.
Int. J. Semantic Web Inf. Syst.
Muhammad Ikram Ullah Lali, Raza Ul-Mustafa, Kashif Saleem, M. Saqib Nawaz, Tehseen Zia, Basit Shahzad
2017 — conf
Using Coq for Formal Modeling and Verification of Timed Connectors.
SEFM Workshops
Weijiang Hong, M. Saqib Nawaz, Xiyue Zhang, Yi Li, Meng Sun
2016 Misc conf
Concurrent Algorithms in SPIN Model Checker.
FIT
M. Saqib Nawaz, Hussam Ali, Muhammad Ikram Ullah Lali