Sorting of Scrambled Video Frames Using Temporal Order Verification. - Mazen Khodier; Ahmed Abdelaziz; Maria Gadelkarim; Abdelrahman Abdelkhalek; Walid Gomaa 001 (IMCOM, 2022)

Violence Detection and Recognition from Diverse Video Sources. - Maria Gadelkarim; Mazen Khodier; Walid Gomaa 001 (IJCNN, 2022)

Self-verifying Predicates in Büchi Arithmetic. - Mazen Khodier; Luke Schaeffer; Jeffrey O. Shallit (CIAA, 2025)