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)

"OR" of Rule-Based Specification for Service Choreography. - Nor Najihah Zainal Abidin; Nurulhuda A. Manaf (SCC, 2023)