Simple Interval Temporal Logic for Natural Language Assertion Descriptions. - Reyadh Alluhaibi (IWCS, 2015)

Temporal controlled natural language for formal specification. - Reyadh Alluhaibi (2018)

A Comparative Study of Arabic Part of Speech Taggers Using Literary Text Samples from Saudi Novels. - Reyadh Alluhaibi; Tareq Alfraidi; Mohammad A. R. Abdeen; Ahmed Yatimi (Inf., 2021)