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

	عنوان	مجله
1	A greedy algorithm versus metaheuristic solutions to deadlock detection in Graph Transformation Systems	journal of intelligent and fuzzy systems
2	ارائه راهکاری جهت مقابله با مشکل انفجار فضای حالت در سیستمهای تبدیل گراف با استفاده از الگوریتم پرندگان و جستجوی گرانشی	مهندسي برق دانشگاه تبريز
3	A heuristic solution for model checking graph transformation systems	Applied Soft Computing
4	A meta-heuristic solution for automated refutation of complex software systems specified through graph transformations	Applied Soft Computing