Mostafa Naderi

According to our database, Mostafa Naderi authored at least 2 papers in 2005.

Collaborative distances:

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

2005

Binary Taylor diagrams: an efficient implementation of Taylor expansion diagrams.

Arash Hooshmand, Saeed Shamshiri, Mohammad Alisafaee, Bijan Alizadeh, Pejman Lotfi-Kamran, Mostafa Naderi, Zainalabedin Navabi

Proceedings of the International Symposium on Circuits and Systems (ISCAS 2005), 2005

Combination of Assertion and HSAT Methods For Automated Test Vectors Generation.

Mostafa Naderi, Zainalabedin Navabi

Proceedings of the Forum on specification and Design Languages, 2005