M. Saqib Nawaz

Orcid: 0000-0001-9856-2885

According to our database1, M. Saqib Nawaz authored at least 37 papers between 2016 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Multi-model feature aggregation for classification of laser welding images with vision transformer.
J. King Saud Univ. Comput. Inf. Sci., 2024

2023
Using alignment-free and pattern mining methods for SARS-CoV-2 genome analysis.
Appl. Intell., October, 2023

PSAC-PDB: Analysis and classification of protein structures.
Comput. Biol. Medicine, May, 2023

MDVA-GAN: multi-domain visual attribution generative adversarial networks.
Neural Comput. Appl., April, 2023

2022
Mining High Utility Itemsets with Hill Climbing and Simulated Annealing.
ACM Trans. Manag. Inf. Syst., 2022

Quality of service in IoT protocol as designs and its verification in PVS.
Trans. Emerg. Telecommun. Technol., 2022

MalSPM: Metamorphic malware behavior analysis and classification using sequential pattern mining.
Comput. Secur., 2022

Reasoning About Order Crossover in Genetic Algorithms.
Proceedings of the Advances in Swarm Intelligence - 13th International Conference, 2022

Metaheuristic Algorithms for Proof Searching in HOL4.
Proceedings of the 34th International Conference on Software Engineering and Knowledge Engineering, 2022

LCIM: Mining Low Cost High Utility Itemsets.
Proceedings of the Multi-disciplinary Trends in Artificial Intelligence, 2022

MaxFEM: Mining Maximal Frequent Episodes in Complex Event Sequences.
Proceedings of the Multi-disciplinary Trends in Artificial Intelligence, 2022

FastTIRP: Efficient Discovery of Time-Interval Related Patterns.
Proceedings of the Big Data Analytics - 10th International Conference, 2022

S-PDB: Analysis and Classification of SARS-CoV-2 Spike Protein Structures.
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.
Kybernetes, 2021

An evolutionary/heuristic-based proof searching framework for interactive theorem prover.
Appl. Soft Comput., 2021

Proof searching and prediction in HOL4 with evolutionary/heuristic and deep learning techniques.
Appl. Intell., 2021

Using artificial intelligence techniques for COVID-19 genome analysis.
Appl. Intell., 2021

Proof Searching in PVS Theorem Prover Using Simulated Annealing.
Proceedings of the Advances in Swarm Intelligence - 12th International Conference, 2021

Metamorphic Malware Behavior Analysis Using Sequential Pattern Mining.
Proceedings of the Machine Learning and Principles and Practice of Knowledge Discovery in Databases, 2021

Machine Learning for Intelligent Industrial Design.
Proceedings of the Machine Learning and Principles and Practice of Knowledge Discovery in Databases, 2021

COVID-19 Genome Analysis Using Alignment-Free Methods.
Proceedings of the Advances and Trends in Artificial Intelligence. Artificial Intelligence Practices, 2021

Investigating Crossover Operators in Genetic Algorithms for High-Utility Itemset Mining.
Proceedings of the Intelligent Information and Database Systems - 13th Asian Conference, 2021

2020
Research Synthesis and Thematic Analysis of Twitter Through Bibliometric Analysis.
Int. J. Semantic Web Inf. Syst., 2020

Bibliometric Analysis of Social Media as a Platform for Knowledge Management.
Int. J. Knowl. Manag., 2020

Proof Learning in PVS With Utility Pattern Mining.
IEEE Access, 2020

Mining Productive Itemsets in Dynamic Databases.
IEEE Access, 2020

Proof searching in HOL4 with genetic algorithm.
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.
CoRR, 2019

Quantification of Productivity of the Brands on Social Media With Respect to Their Responsiveness.
IEEE Access, 2019

Refining the Measurement of Topic Similarities Through Bibliographic Coupling and LDA.
IEEE Access, 2019

Proof Guidance in PVS with Sequential Pattern Mining.
Proceedings of the Fundamentals of Software Engineering - 8th International Conference, 2019

Using PVS for Modeling and Verification of Probabilistic Connectors.
Proceedings of the Fundamentals of Software Engineering - 8th International Conference, 2019

2018
Reo2PVS: Formal Specification and Verification of Component Connectors.
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.
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.
Int. J. Semantic Web Inf. Syst., 2017

Using Coq for Formal Modeling and Verification of Timed Connectors.
Proceedings of the Software Engineering and Formal Methods, 2017

2016
Concurrent Algorithms in SPIN Model Checker.
Proceedings of the International Conference on Frontiers of Information Technology, 2016


  Loading...