Papers in Journals
- 41. حسن ضیافت,سید مرتضی بابامیر,Optimal selection of VMs for resource task scheduling in geographically distributed clouds using fuzzy c‐mean and MOLP,SOFTWARE PRACT EXPER,Vol. 48,pp. 1820,2018 06 11,ISI ,SCOPUS.
- 42. عبدالکریم الهی,سید مرتضی بابامیر,Identification of essential proteins based on a new combination of topological and biological features in weighted protein–protein interaction networks,IET SYST BIOL,Vol. 12,pp. 1,2018 06 11,ISI ,SCOPUS.
- 43. فاطمه عبادی فرد,سید مرتضی بابامیر,A Multi-Objective Approach With WASPAS Decision-Making for Workflow Scheduling in Cloud Environment,International Journal of Web Research,Vol. 1,pp. 1,2018 03 11,SID.
- 44. مهشید هلالی مقدم,سید مرتضی بابامیر,Makespan reduction for dynamic workloads in cluster-based data grids using reinforcement-learning based scheduling,Journal of Computational Science,Vol. 24,pp. 402,2017 10 11,ISI ,SCOPUS.
- 45. ساناز شیخی,سید مرتضی بابامیر,Using a recurrent artificial neural network for dynamic self-adaptation of clusterbased web-server systems,APPL INTELL,Vol. 10,pp. 1,2017 09 11,ISI ,SCOPUS.
- 46. محمد علی سعادت جو,سید مرتضی بابامیر,Optimizing Cost Function in Imperialist Competitive Algorithm for Path Coverage Problem in Software Testing,Journal of AI and Data Mining,Vol. 6,pp. 1,2017 09 11,ISC.
- 47. F. Ebadifard and S.M. Babamir,A PSO-based task scheduling algorithm improved using a load-balancing technique for the cloud computing environment,Concurrency & Computation, Practice and Experience,Vol. 30,pp. 1,2017 09 06,SCOPUS ,JCR.
- 48. ساناز شیخی,سید مرتضی بابامیر,An Innovative Model-Driven Slicing Approach for Testing Adaptive Software,Recent Patents on Computer Science,Vol. 10,pp. 165,2017 06 11,SCOPUS.
- 49. ازاده خلیلی اردلی,سید مرتضی بابامیر,Optimal Scheduling workflows in Cloud Computing Environment Using Pareto based Grey Wolf Optimizer,CONCURR COMP-PRACT E,Vol. 29,pp. 1,2017 06 11,ISI ,SCOPUS.
- 50. ارزو میرطالبی,سید مرتضی بابامیر,Web Service Protection Using a Cryptography Layer on WSDL File,Journal of Advanced Mathematics and Applications,Vol. 6,pp. 1,2017 06 11,ISI.
- 51. هوتن دهقانی,سید مرتضی بابامیر,A GA based method for search-space reduction of chess game-tree,APPL INTELL,Vol. 47,pp. 1,2017 04 11,ISI ,SCOPUS.
- 52. حسن ضیافت,سید مرتضی بابامیر,A method for the optimum selection of datacenters in geographically distributed clouds,J SUPERCOMPUT,Vol. 73,pp. 4042,2017 03 11,ISI ,SCOPUS.
- 53. Meysam Karimi ans Seyed Morteza Babamir,QoS-aware web service composition using Gray Wolf Optimizer,International Journal of Information & Communication Technology,Vol. 9,pp. 9,2017 02 11,ISC.
- 54. N.Majma and S.M.Babamir,Specification and Verification of Medical Monitoring System Using Petri-nets,Journal of Medical Signals and Sensors,Vol. 4,pp. 181,2014 07 12,SCOPUS ,ISC ,JCR.
- 55. R. Babaee and S.M. Babamir,Run-time Verification of Service-oriented Systems: A Well-rounded Survey,International Journal of Web and Grid Services,Vol. 9,pp. 213,2013 08 06,SCOPUS ,JCR.
- 56. سید مرتضی بابامیر,Specification and verification of reliability in dispatching multicast messages,Journal of Supercomputing,Vol. 63,pp. 612,2013 02 09,SCOPUS ,JCR.
- 57. سید مرتضی بابامیر,مسعود عرب فرد,Improving Service Accessibility in Service-Oriented HIS,Journal of Medical Systems,Vol. 36,pp. 4021,2012 12 10,SCOPUS ,JCR.
- 58. هدا بانکی ,سید مرتضی بابامیر,اعظم فرخ ,محمدمهدی مروتی,Improving Performance of Software Fault Tolerant Techniques Using Multi-Core Architecture,Journal of Information Systems and Telecommunication,Vol. 1,pp. 57,2012 10 10,ISC.
- 59. سید مرتضی بابامیر,مهدی برهانی,Formal Verification of Medical Monitoring Software Using Z Language: A Representative Sample,Journal of Medical Systems,Vol. 36,pp. 2633,2012 08 10,SCOPUS ,JCR.
- 60. سید مرتضی بابامیر,ویدا احمدی ثابت,تعیین سطح توانایی روش¬های رسمی در توصیف و تحلیل نرم-افزار,نشریه مهندسی برق و مهندسی کامپیوتر ایران,Vol. 10,pp. 1,2012 06 08,ISC.
Showing 41-60 of 68 items.