| Electrochemical deposition and characterization of polyaniline-graphene nanocomposite films and its corrosion protection properties | J POLYM RES | یاسر جعفری اریسمانی,سید مهدی قریشی,مهدی شبانی نوش آبادی |
| A PSO-based task scheduling algorithm improved using a load-balancing technique for the cloud computing environment | Concurrency & Computation, Practice and Experience | F. Ebadifard and S.M. Babamir |
| Specification and Verification of Medical Monitoring System Using Petri-nets | Journal of Medical Signals and Sensors | N.Majma and S.M.Babamir |
| Run-time Verification of Service-oriented Systems: A Well-rounded Survey | International Journal of Web and Grid Services | R. Babaee and S.M. Babamir |
| Synthesizing A Specification-Based Monitor For Safety Requirements | Iranian Journal of Science & Technology, Transaction B: Engineering | S.M. Babamir and S.Jalili |
| Making real-time systems fault tolerant: a specification-based approach | Journal of Scientific and Industrial Research | S.M. Babamir and S.Jalili |
| A Framework for Specifying Safe Behavior of the CIIP Medical System | Advances in Experimental Medicine and Biology Series, Collection Software Tools and Algorithms for Biological Systems | S.M. Babamir |
| Active Program Analysis Using Rule-Based Modification and Aspectation | ُStudies in Informatics and Control | S.M. Babamir |
| Constructing a Model-Based Software Monitor for the Insulin Pump Behavior | Journal of Medical Systems | S.M. Babamir |
| تاثیر مهارت‌های مدیریت کوانتومی ادراک شده بر کاهش اینرسی سازمانی: نقش میانجی سرمایه فکری و یادگیری سازمانی | مدیریت دانش سازمانی | حمید رحیمی سمیرمی |
| سنجش ادراک معلمان از سبک رهبری بصیر و تاثیر آن بر بهزیستی روانشناختی آنان: نقش میانجی استحکام ذهنی (مورد مطالعه: معلمان شهر کاشان) | مطالعات روان‌شناسی صنعتی و سازمانی | فاطمه احمدیان,حمید رحیمی سمیرمی |
| An origami‑based colorimetric sensor for detection of hydrogen peroxide and glucose using sericin capped silver nanoparticles | Scientific reports | یونس میرزایی,علی غلامی,آذرمیدخت شینی,محمد مهدی بردبار |
| Constructing Formal Rules to verify Message Communication in Distributed Systems | The Journal of Supercomputing | S.M. Babamir |
| تشبیه و تنزیه حق تعالی در عاشقانه های مولوی | مجله مطالعات اسلامی دانشکده الاهیات دانشگاه فردوسی مشهد (فقه و اصول کنونی) | حسین حیدری |
| بررسی اندیشه‌های کلامی مولوی در موضوع شفاعت | مجله مطالعات اسلامی دانشکده الاهیات دانشگاه فردوسی مشهد (فقه و اصول کنونی) | حسین حیدری |
| پیشوایی جامعه ی مسلمین در دیدگاه های اهل سنت و شیعه | مجله دانشکده علوم انسانی دانشگاه سمنان(مطالعات فقه و حقوق اسلامی کنونی) | حسین حیدری |
| تکلیف ما لایطاق در اندیشۀ مولانا و متکلمان مسلمان | مطالعات اسلامی ، مجله دانشکده الاهیات دانشگاه فردوسی مشهد ( جستارهایی در فلسفه و کلام کنونی) | حسین حیدری |
| تکلیف ما لایطاق در اندیشۀ مولانا و متکلمان مسلمان | مطالعات اسلامی ، مجله دانشکده الاهیات دانشگاه فردوسی مشهد ( جستارهایی در فلسفه و کلام کنونی) | حسین حیدری |
| تأثیر مینوی و جادویی نام و کلام در یهودیت | ادیان و عرفان | حسین حیدری,فرزانه فیاضی |
| بررسی تحلیلی و تطبیقی نخستین زیستگاه و هبوط انسان در کتاب مقدس با دیگراسطوره های خاورمیانه | ادبیات عرفانی و اسطوره‌شناختی | حسین حیدری,علی بهاری |