Verification of Mobile SMS Application with Model Checking Agent. - Siti Dianah Abdul Bujang; Ali Selamat (ISDA (2), 2008)

The Design of Model Checking Agent for SMS Management System. - Ali Selamat; Siti Dianah Abdul Bujang (KES-AMSTA, 2008)

Agent Architecture for Criminal Mobile Devices Identification Systems. - Ali Selamat; Choon-Ching Ng; Md. Hafiz Selamat; Siti Dianah Abdul Bujang (ICCCI (SCI Volume), 2009)

Agent Verification Design of Short Text Messaging System Using Formal Method. - Ali Selamat; Siti Dianah Abdul Bujang; Md. Hafiz Selamat (KES-AMSTA, 2009)

Predictive Modeling for Student Grade Prediction Using Machine Learning and Visual Analytics. - Siti Dianah Abdul Bujang; Ali Selamat; Ondrej Krejcar (SoMeT, 2020)

Digital Learning Demand for Future Education 4.0 - Case Studies at Malaysia Education Institutions. - Siti Dianah Abdul Bujang; Ali Selamat; Ondrej Krejcar; Petra Maresová; Ngoc Thanh Nguyen 001 (Informatics, 2020)

Multiclass Prediction Model for Student Grade Prediction Using Machine Learning. - Siti Dianah Abdul Bujang; Ali Selamat; Roliana Ibrahim; Ondrej Krejcar; Enrique Herrera-Viedma; Hamido Fujita; Nor Azura Md Ghani (IEEE Access, 2021)

Missing Value Imputation Designs and Methods of Nature-Inspired Metaheuristic Techniques: A Systematic Review. - Po Chan Chiu; Ali Selamat; Ondrej Krejcar; King Kuok Kuok; Siti Dianah Abdul Bujang; Hamido Fujita (IEEE Access, 2022)

Imbalanced Classification Methods for Student Grade Prediction: A Systematic Literature Review. - Siti Dianah Abdul Bujang; Ali Selamat; Ondrej Krejcar; Farhan Mohamed 001; Lim Kok Cheng; Po Chan Chiu; Hamido Fujita (IEEE Access, 2023)