| Synthesis, characterization and the thermodynamic study of intermediate sitting-atop (i-SAT) complexes of free base meso-tetraarylporphyrins with InCl3 | Inorganica Chimica Acta | حسین دهقانی قربی,مریم بردبار,مجتبی مجیری فروشانی,سمیه کرمی,محمد رضا منصور نیا |
| Spectrophotometric Studies of the Thermodynamics of Molecular Interaction between Some Free Base meso-Tetraarylporphyrins and SbF3 | Bulletin of the Chemical Society of Japan | حسین دهقانی قربی,مریم بردبار,شیدا رضاخانی,محمد رضا منصور نیا |
| مستوی توافر مهارات التفکیر النقدی فی تدربیات کتب العربیته للمرحله الثاویه الاولی فی ضو تظریه لیبمان | دراسات فی اللغه العربیه و آدابها | فاطمه ایراندوست,مریم جلائی پیکانی,عباس زارعی تجره |
| سنتز و بررسی کاربرد مایع یونی مغناطیسی تری هگزیل تترا دسیل فسفونیوم تترا کلرو منگنات جهت میکرواستخراج اورانیم با کمک امواج فراصوت | مجله علوم و فنون هسته ای، | ابوذر اسحقاقی,احسان ذوالفنون,علی غلامی |
| 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 |
| تشبیه و تنزیه حق تعالی در عاشقانه های مولوی | مجله مطالعات اسلامی دانشکده الاهیات دانشگاه فردوسی مشهد (فقه و اصول کنونی) | حسین حیدری |
| بررسی اندیشههای کلامی مولوی در موضوع شفاعت | مجله مطالعات اسلامی دانشکده الاهیات دانشگاه فردوسی مشهد (فقه و اصول کنونی) | حسین حیدری |
| پیشوایی جامعه ی مسلمین در دیدگاه های اهل سنت و شیعه | مجله دانشکده علوم انسانی دانشگاه سمنان(مطالعات فقه و حقوق اسلامی کنونی) | حسین حیدری |