Bashar Al-Rawi

According to our database, Bashar Al-Rawi authored at least 6 papers between 2006 and 2013.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2013

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

2011

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

2009

Dynamic Path Reduction for Software Model Checking.

Zijiang Yang, Bashar Al-Rawi, Karem A. Sakallah, Xiaowan Huang, Scott A. Smolka, Radu Grosu

Proceedings of the Integrated Formal Methods, 7th International Conference, 2009

2008

Routing and Wavelength Assignment in Optical Networks Using Boolean Satisfiability.

Fadi A. Aloul, Bashar Al-Rawi, Mokhtar Aboelaze

Proceedings of the 5th IEEE Consumer Communications and Networking Conference, 2008

2007

Routing in Optical and Non-Optical Networks using Boolean Satisfiability.

Fadi A. Aloul, Bashar Al-Rawi, Mokhtar Aboelaze

J. Commun., 2007

2006

Exciting Stuck-Open faults in CMOS Circuits Using ILP Techniques.

Fadi A. Aloul, Assim Sagahyroon, Bashar Al-Rawi

Proceedings of the 2006 IEEE/ACS International Conference on Computer Systems and Applications (AICCSA 2006), 2006