The metatheory of the monadic hybrid calculus. - Omar Alaqeeli (2016)

The monadic hybrid calculus. - Omar Alaqeeli; William Wadge (J. Appl. Non Class. Logics, 2017)

An Interactive Interpreter for Two Dimensional Lucid. - Omar Alaqeeli; William Wadge (IEEE Access, 2022)

ScRNA-Seq Protocols Detection of Gene Expression May Decline After a While from Onset. - Omar Alaqeeli; Raad Alturki (IWBBIO (1), 2025)