2025
In silico framework for genome analysis.
Future Gener. Comput. Syst., 2025
2024
Multi-model feature aggregation for classification of laser welding images with vision transformer.
J. King Saud Univ. Comput. Inf. Sci., 2024
Exploiting the sequential nature of genomic data for improved analysis and identification.
Comput. Biol. Medicine, 2024
An MDL-Based Genetic Algorithm for Genome Sequence Compression.
Proceedings of the IEEE International Conference on Bioinformatics and Biomedicine, 2024
SeqClin: Pattern-Based Analysis and Classification of Clinical Datasets.
Proceedings of the IEEE International Conference on Bioinformatics and Biomedicine, 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