Nor Najihah Zainal Abidin

According to our database, Nor Najihah Zainal Abidin authored at least 3 papers between 2021 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2023

"OR" of Rule-Based Specification for Service Choreography.

Nor Najihah Zainal Abidin, Nurulhuda A. Manaf

Proceedings of the Services Computing - SCC 2023, 2023

2021

Correctness of Automatically Generated Choreography Specifications.

Nurulhuda A. Manaf, Nor Najihah Zainal Abidin, Nur Amalina Jamaludin

Proceedings of the Rules and Reasoning - 5th International Joint Conference, 2021

Validation and Verification of Business Rules.

Nor Najihah Zainal Abidin, Nurulhuda A. Manaf, Nur Amalina Jamaludin, Sotiris Moschoyiannis

Proceedings of the 15th International Rule Challenge, 7th Industry Track, and 5th Doctoral Consortium @ RuleML+RR 2021 co-located with 17th Reasoning Web Summer School (RW 2021) and 13th DecisionCAMP 2021 as part of Declarative AI 2021, Leuven, Belgium (virtual due to Covid-19 pandemic), 8, 2021