A. Salem

According to our database, A. Salem authored at least 2 papers between 1999 and 2001.

Collaborative distances:

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

2001

Combinational equivalence checking using Boolean satisfiability and binary decision diagrams.

Sherief Reda, A. Salem

Proceedings of the Conference on Design, Automation and Test in Europe, 2001

1999

Allowing open participation by corporations in IEEE standards activities.

A. Salem, R. Leigh

IEEE Technol. Soc. Mag., 1999