Mohamed Raseen

According to our database, Mohamed Raseen authored at least 4 papers between 2004 and 2006.

Collaborative distances:

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

2006

An efficient estimation of the ROBDD's complexity.

Mohamed Raseen, P. W. Chandana Prasad, Ali Assi

Integr., 2006

2004

Effect of Boolean Min-terms on the Complexity of ROBDDs.

Mohamed Raseen, Ali Assi, P. W. Chandana Prasad, Adnan Harb

Proceedings of the International Conference on Computational Intelligence, 2004

BDD Based Method for Fast Equivalence Checking.

P. W. Chandana Prasad, Ali Assi, Mohamed Raseen, Adnan Harb

Proceedings of the International Conference on Computational Intelligence, 2004

BDD Minimization Using Graph Parameter Permutation.

P. W. Chandana Prasad, Ali Assi, Mohamed Raseen

Proceedings of the International Conference on Embedded Systems and Applications, 2004