Validation and Verification of Business Rules. - Nor Najihah Zainal Abidin; Nurulhuda A. Manaf; Nur Amalina Jamaludin; Sotiris Moschoyiannis (RuleML+RR (Supplement), 2021)

Correctness of Automatically Generated Choreography Specifications. - Nurulhuda A. Manaf; Nor Najihah Zainal Abidin; Nur Amalina Jamaludin (RuleML+RR, 2021)

Analytic Solutions of Fractional Differential Equation Associated with the k-Symbol Tremblay Differential Operator. - Rabha W. Ibrahim; Suzan Jabbar Obaiys; Nur Amalina Jamaludin; Yeliz Karaca (ICCSA (Workshops 1), 2023)