Formal Verification of a Multicast Protocol In Mobile Networks. - Mohammad Reza Matash Borujerdi; S. M. Mirzababaei (International Conference on Computational Intelligence, 2004)

A New Intelligent Operating System Design. - S. M. Mirzababaei; A. Abdollahzadeh (International Conference on Computational Intelligence, 2004)

Finding an Optimized Discriminate Function for Internet Application Recognition. - Esmaile Khorram; S. M. Mirzababaei (WEC (2), 2005)