Publications: Books

• H. Sarmadi, F. Shams and H. Salimi, “Logical Circuits”, Sanjesh Press, Tehran, Iran, 2005.

Publications: Accepted Journal Papers

• M. Sharifi, H. Salimi and M. Najafzadeh, “Power-Efficient Distributed Scheduling of Virtual Machines using Workload-Aware Consolidation Techniques”, Journal of Supercomputing, An International Journal of High-Performance Computer Design, Analysis and Use, ISSN 0920-8542, Springer, DOI 10.1007/s11227-011-0658-5, Published Online: 14 July 2011.
• M. Sharifi, H. Salimi, "CMI: A Method to Configure CORBA Remote Calls in Support of FT-CORBA Fault-Detection Mechanisms", Iranian Journal of Science & Technology, Transaction B, Engineering, Vol. 30, No. B6, December 2006.
• M. Sharifi, H. Salimi, “Replication-Aware Transactions: How to Roll a Transaction over Failures”, Lecture Notes in Computer Science (LNCS), No. 2006, Springer Verlag, pp. 203-214, June 2006.

Publications: Accepted Conference Papers

• H. Salimi, M. Najafzadeh, M. Sharifi, “Advantages, Challenges and Optimizations of Virtual Machine Scheduling in Cloud Computing Environments”, International Conference on Information and Computer Applications, Dubai, UAE, March 2011. 
• M. Sharifi, M. Najafzadeh and H. Salimi, “Co-Management of Power and Performance in Virtualized Distributed Environments”, The Sixth International Conference on Grid and Pervasive Computing (GPC 2011), Oulu, Finland, 11th-13th May 2011.
• Mahsa Najafzadeh, Hadi Salimi, Mohsen Sharifi and Ali Hamidi, “VMM-Level Distributed Transparency Provisioning using Cloud Infrastructure Technology”, The Fourth International Distributed Management Task Force (DMTF) Academic Alliance Workshop on Systems and Virtualization Management: Standards and the Cloud (SVM 2010), Ontario, Canada, October 29, 2010.
• Ali Hamidi, Hadi Salimi and Mohsen Sharifi, “A Transparent Virtual Machine Monitor Level Packet Compression Network Service”, World Conference on Information Technology 2010 (WCIT 2010), Bahcesehir University, Istanbul, Turkey, October 6-10, 2010.
• A. Hamidi, H. Salimi and M. Sharifi, "Network Service Provisioning using System Level Virtualization", The First Workshop in Provisioning and Management of Service Oriented Architecture and Cloud Computing (PROMASC'10), Tozeur, Tonisia, May 2010.
• A. Rezaei, H. Salimi and M. Sharifi, "Improving Software Dependability using System-Level Virtualization", Sixth International Symposium on Frontiers of Information Systems and Network Applications (FINA10), Co-located with AINA 2010, Perth, Australia, April 2010. 
• H. Salimi, M. Sharifi and S. A. Sayyh, "Modeling and Analysis of a Replication-Aware Transaction Model by Means of Stochastic Reward Networks", International Conference on Distributed Frameworks and Applications, Penang, Malaysia, October 2008.
• H. Salimi, S. A. Sayyah, M. Sharifi, “ALMAS: An Application-Level Memory Management Service”, The 3^rd IEEE International Conference on Information and Communication Technologies: from Theory to Application (ICTTA’08), Damascus, Syria, April 2008.
• H. Salimi, M. Sharifi, "OTSX: An Extended Transaction Service in Support of FT-CORBA Standard", The 7th ACS/IEEE Conference on Computer Systems and Applications (AICCSA'08), Qatar, April 2008.
• H. Salimi, M. Sharifi, “Integrating Replication and Transaction Management Services in CORBA from Replica Consistency Point of View”, In the Proceedings of the 2^nd IEEE International Conference on Information and Communication Technologies: from Theory to Application (ICTTA’06), Damascus, Syria, April 2006. 
• S. Parsa, S. Lotfi and H. Salimi, “Syntax-Directed and Automatic Analysis of Program Code”, Proceedings of the 11th Annual Int. Computer Conference of the Computer Society of Iran, February 2005, Tehran, IRAN.
• H. Salimi, “NGMF: A Generic Framework for Constructing Graph-Based Systems”, Accepted Student Paper in the 19^th International Conference on Object Oriented Programming, Systems, Languages and Applications (OOPSLA’04), October 2004, Vancouver, Canada.
• H. Salimi, “Transforming Single-User Applications to Distributed Ones”, Accepted and Ranked 2^nd paper in the 6^th Computer Faculty and Student Conference (CFSC6), November 2002, Tehran, Iran.

Publications: Thesis

• M.Sc. Thesis, Integrating Transaction and Replication Management Services in CORBA , Iran University of Science and Technology (IUST), January 2006, Tehran, Iran,
• B.Sc. Thesis, Designing and Implementing a Remote Controller for Primavera, Computer Engineering Department, Sharif University of Technology, March 2004, Tehran, Iran,