Trust Requirements in Blockchain Systems: A Preliminary Study. - Duoaa Khalifa; Nadya Abdel Madjid; Davor Svetinovic (SDS, 2019)

Heuristic Search in Dual Space for Constrained Fixed-Horizon POMDPs with Durative Actions. - Majid Khonji; Duoaa Khalifa (AAAI, 2023)