سامانه مدیریت امور پژوهشی دانشگاه اراک | عین الله پیرا

	عنوان	مجله
1	A three-phase approach to improve the functionality of t-way strategy	Soft computing
2	تولید آرایه پوشش کمینه با استفاده از الگوریتم تکامل تفاضلی تطبیقی مبتنی بر تاریخچه موفقیت و کاهش خطی اندازه جمعیت	مهندسي برق دانشگاه تبريز
3	Using evolutionary algorithms for reachability analysis of complex software systems specified through graph transformation	reliability engineering and system safety
4	MS-ACO: a multi-stage ant colony optimization to refute complex software systems specified through graph transformation	SOFT COMPUT
5	Using evolutionary algorithms for reachability analysis of complex software systems specified through graph transformation	RELIAB ENG SYST SAFE
6	Searching for violation of safety and liveness properties using knowledge discovery in complex systems specified through graph transformations	information and software technology
7	Deadlock detection in complex software systems speciﬁed through graph transformation using Bayesian optimization algorithm	System and Software
8	EMCDM: Efﬁcient model checking by data mining for veriﬁcation of complex software systems speciﬁed through architectural styles	Applied Soft Computing
9	Verification of confliction and unreachability in rule-based expert systems with model checking	International Journal of Artificial Intelligence & Applications: IJAIA