Two factor authentication using mobile phones. - Fadi A. Aloul; Syed Zahidi; Wassim El-Hajj (AICCSA, 2009)

Solving the Clustering Problem in MANETs using SAT & ILP techniques. - Syed Zahidi; Fadi A. Aloul; Assim Sagahyroon; Wassim El-Hajj (ISSPA, 2012)

Using SAT & ILP techniques to solve enhanced ILP formulations of the Clustering Problem in MANETS. - Syed Zahidi; Fadi A. Aloul; Assim Sagahyroon; Wassim El-Hajj (IWCMC, 2012)

Solving the Employee Timetabling Problem Using Advanced SAT & ILP Techniques. - Fadi A. Aloul; Syed Z. H. Zahidi; Anas Al-Farra; Basel Al-Roh; Bashar Al-Rawi (J. Comput., 2013)