Exciting Stuck-Open faults in CMOS Circuits Using ILP Techniques. - Fadi A. Aloul; Assim Sagahyroon; Bashar Al-Rawi (AICCSA, 2006)

Routing in Optical and Non-Optical Networks using Boolean Satisfiability. - Fadi A. Aloul; Bashar Al-Rawi; Mokhtar Aboelaze (J. Commun., 2007)

Routing and Wavelength Assignment in Optical Networks Using Boolean Satisfiability. - Fadi A. Aloul; Bashar Al-Rawi; Mokhtar Aboelaze (CCNC, 2008)

Dynamic Path Reduction for Software Model Checking. - Zijiang Yang 006; Bashar Al-Rawi; Karem A. Sakallah; Xiaowan Huang; Scott A. Smolka; Radu Grosu (IFM, 2009)

M-stock: Efficient stock monitoring for mobile users. - Fadi A. Aloul; Assim Sagahyroon; Nancy Salem; Omar Al-Omar; Sahar Shehada; Bashar Al-Rawi (J. Frankl. Inst., 2011)

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)