سمتهای علمی و اجرایی در دانشگاهها و مراکز علمی کشور
Conference Papers
- وارسی مدل ضربان ساز قلب با استفاده از اوپال ارائه شده در The Seventh International Conference on Information and Knowledge Technology (1394)
- وارسی مدل کیسه هوای خودرو با رویکرد منطق درخت محاسباتی ارائه شده در The Seventh International Conference on Information and Knowledge Technology (1394)
- گمنام سازی داده های غیرعددی به روش تبدیل فضا ارائه شده در 11th Internation lIranian Security Community Conference (1393)
- راستی آزمایی به کمک تکنیک های پایان پذیری در مدل سیستم های بازنویسی ارائه شده در 11th Intelligent Systems Conference (1391)
- تشخیص برخط ناهنجاری های شبکه VoIP مبتنی بر پروتکل SIP/RTP با استفاده از فاصله ماهالانوبیس ارائه شده در 9th Internation lIranian Security Community Conference (1391)
- انتشار داده های عددی با حفظ حریم خصوصی مبتنی بر عملگر ریز تجمیع ارائه شده در 9th Internation lIranian Security Community Conference (1391)
- مدرس مجازی هوشمند ارائه شده در 02nd International Conference on E-learning (1388)
- رویکردی مبتنی بر شبکه پتری و منطق زمانی برای طراحی پایشگر مبتنی بر توصیف برای ارتباطات پیامی مطمئن ارائه شده در 16th Iranian Conference on Electric Engineering (1387)
- روشی برای تشخیص زاویه نورپردازی در تصاویر چهره مبتنی بر الگوریتمهای توسعه یافته بیز ارائه شده در 5th Iranian Conference on Machine Vision and Image Processing (1387)
- یک الگوریتم تکاملی کوانتومی با عملگر به روزرسانی مقید برای حل مسایل بهینه سازی ترکیبیاتی ارائه شده در 14th Annual Conference of Computer Society of Iran (1387)
- راستی آزمایی برنامه های حساس به ایمنی با رویکرد منطق زمانی رویدادگرای بی درنگ ارائه شده در 15th Iranian Conference on Electric Engineering (1386)
- تشخیص نفوذ به شبکه های کامپوتری با رویکرد یادگیری دسته بند فاز ارائه شده در 15th Iranian Conference on Electric Engineering (1386)
- دسته بنددی متون با رویکرد الگوریتم ژنتیک ارائه شده در 15th Iranian Conference on Electric Engineering (1386)
- ارائه روشی جدید در نقش آبزنی کلاسهای جاوا با استفاده از بلاکهای ساختگی ارائه شده در 4th Iranian Security Community Conference (1386)
- ارتقای امنیتی پروتکل ARAN برای مسیریابی شبکه های بی سیم اقتضایی ارائه شده در 4th Iranian Security Community Conference (1386)
- جداسازی هرز نامههای متنی یک رویکرد مبتنی بر الگوریتم ژنتیک و روش دسته بندی SVM ارائه شده در 4th Iranian Security Community Conference (1386)
- روشی برای کاهش آسیب پذیری نرم افزار در مقابل تکثیر غیر مجاز با روش نقش آ بزنی گراف پویا ارائه شده در 4th Iranian Security Community Conference (1386)
- یادگیری الگوهای روش های نقش آب زنی نرم افزار به منظور ارزیابی کمی میزان نهفتگی ارائه شده در 1st Iran Data Mining Conference (1386)
- تشخیص خطا در عملیات گرفتن قطعه توسط ربات مونتاژ کننده با استفاده از روش درخت تصمیم گیری ارائه شده در 1st Iran Data Mining Conference (1386)
- تشخیص زاویه نورپردازی در تصاویر چهره با رویکرد یادگیری قوانین تصمیم گیری ارائه شده در 1st Iran Data Mining Conference (1386)
- ارزیابی کمی سبک های معماری نرم افزار از دید قابلیت اعتماد با رویکرد مدل سازی دیاگرام بلوکی ارائه شده در 13th Annual Conference of Computer Society of Iran (1386)
- رویکردی مبتنی بر شبکههای پتری برای توصیف و طراحی پایشگر سیاستهای امنیتی ارائه شده در 13th Annual Conference of Computer Society of Iran (1386)
- تشخیص نفوذ به شبکه های کامپیوتری با روش MMF یک روش مبتنی بر یادگیری دسته بند فازی ارائه شده در 13th Annual Conference of Computer Society of Iran (1386)
- مدلی برای ارزیابی کمی میزان مقاومت روش های نقش آب زنی نرم افزار ارائه شده در 13th Annual Conference of Computer Society of Iran (1386)
- وارسی ویژگی های زمانی پروتکل های امنیتی با رویکرد منطق زمانی PS-LTL ارائه شده در 03rd International Conference on Information and Knowledge Technology (1386)
- رویکردی مبتنی بر شبکههای پتری و حساب رخداد برای تحلیل ایمنی رفتار نرمافزار ارائه شده در 03rd International Conference on Information and Knowledge Technology (1386)
- کنترل ازدحام در شبکه های کامپیوتری مبتنی بر TCP-Westwood با استفاده از کنترلگرAQM-PI ارائه شده در 12th Annual Conference of Computer Society of Iran (1385)
- راستی آزمایی حی ناجرای برنامه های واکنشی بی درنگ با رویکرد منطق بی درنگ ارائه شده در 12th Annual Conference of Computer Society of Iran (1385)
- انتخاب سبک معماری نرم افزار با استفاده از فرایند تحلیل سلسله مراتبی ارائه شده در 12th Annual Conference of Computer Society of Iran (1385)
- روشی صوری برای تحلیل پیکربندی حفاظ های توزیع شده ارائه شده در 12th Annual Conference of Computer Society of Iran (1385)
- وارسی پیکربندی اجزاء نرم افزاری شبکه در برابر سیاست های امنیتی سطح بالا ارائه شده در 12th Annual Conference of Computer Society of Iran (1385)
- نهان نگاری و نقش آ بزنی برنام ههای جاوا با رویکرد متدهای ساختگی ارائه شده در 12th Annual Conference of Computer Society of Iran (1385)
- رویکردی برای وارسی پویای نفوذ به برنامه با استفاده از حساب رخداد ارائه شده در 14th Iranian Conference on Electric Engineering (1385)
- تحلیل امنیت یک پروتکل احراز اصالت و تبادل کلید در کاربرد VoIP ارائه شده در 14th Iranian Conference on Electric Engineering (1385)
- افزایش کیفیت دسته بندی متون با استفاده از کمیته های دسته بندی ارائه شده در 14th Iranian Conference on Electric Engineering (1385)
- دانش نگار: حاشیه نویسی خودکار اسناد وب با رویکرد هستان شناسی ارائه شده در 14th Iranian Conference on Electric Engineering (1385)
- رویکردی برای ایجاد یک محیط همکاری مجازی ارائه شده در 02nd International Project Management Conference (1384)
- تعریف و بررسی نامتغیرهای امنیتی روی توصیف ماشین حالت پروتکل های رمزنگار ارائه شده در 3rd Iranian Security Community Conference (1384)
- کشف سناریوهای نفوذ به شبکه های کامپیوتری با استفاده از بررسی کننده مدل SPIN ارائه شده در 3rd Iranian Security Community Conference (1384)
- معماری سیستم تشخیص نفوذ مقاوم در برابر حمله ارائه شده در 3rd Iranian Security Community Conference (1384)
- معیارهایی برای ارزیابی سطح جنبهگرایی روشهای مهندسی نرمافزار ارائه شده در 13th Iranian Conference on Electric Engineering (1384)
- پایش و وارسی حین اجرای برنامههای واکنشی با استفاده از منطق زمانی بازهای ارائه شده در 13th Iranian Conference on Electric Engineering (1384)
- ارزیابی روش های تحلیل معماری نرم افزار ارائه شده در 2nd International Conference on Information and Knowledge Technology (1384)
- وارسی سیاست های کنترل دستیابی به سرویس های شبکه با روش منطق توصیفی ارائه شده در 11th Annual Conference of Computer Society of Iran (1384)
- ارزیابی آسیب پذیری شبکه های کامپیوتری در برابر حملات جلوگیری از سرویس با استفاده از شبکه های بیزی ارائه شده در 11th Annual Conference of Computer Society of Iran (1384)
- تحلیل نیازها موارد کاربردی با استفاده از بررسی کننده مدل NuSMV ارائه شده در 11th Annual Conference of Computer Society of Iran (1384)
- رویکردی برای وارسی پویا و مبتنی بر منطق سیستمهای توزیعشده ارائه شده در 11th Annual Conference of Computer Society of Iran (1384)
- سیستم معناسازی مبتنی بر واژهستان شناسی سامان ارائه شده در 11th Annual Conference of Computer Society of Iran (1384)
- پشتیبانی از جنبههای اولیه با استفاده از فرایند AOUSDP ارائه شده در 11th Annual Conference of Computer Society of Iran (1384)
- کشفقواعد حاکم بین دادهها در پایگاهداده با استفاده از رویکرد منطق استقرائی ارائه شده در 11th Annual Conference of Computer Society of Iran (1384)
- توصیف و تحلیل سیاست های امنیتی با روش منطق توصیفیALCQI(D ارائه شده در 11th Annual Conference of Computer Society of Iran (1384)
- سیستم بازیابی معنایی دانا با رویکردهستان شناسی ارائه شده در 11th Annual Conference of Computer Society of Iran (1384)
- مدیریت امنیت اطلاعات در استفاده از عامل های متحرک ارائه شده در 1st International Conference on Information and Communication Technology Management (1383)
- افزایش بهره وری در تعریف، طراحی، و ساخت پروژه با اتکاء بر محیط های مجازی ارائه شده در 1st Symposium of National Resources Loss Prevention (1383)
- تشخیص ترافیک غیرعادی شبکه با استفاده از ماشین های بردار پشتیبان تک کلاسی ارائه شده در 10th Annual Conference of Computer Society of Iran (1383)
- تولید داده آزمون با استفادهاز UML و ضوابط OCL ارائه شده در 10th Annual Conference of Computer Society of Iran (1383)
- حفاظت و ازمون نرم افزار در برابر خطا با استفاده از دنباله فراخوانی های سیستمی ارائه شده در 9th Annual Conference of Computer Society of Iran (1382)
- طبقه بندی و ارزیابی روشهای مبتنی بر سناریو در تحلیل معماری سیستمهای نرم افزاری ارائه شده در 01st International Conference on Information and Knowledge Technology (1382)
- تحلیل و ارزیابی متدولوژی های طراحی معماری خط تولید نرم افزار ارائه شده در 01st International Conference on Information and Knowledge Technology (1382)
- شناسایی فعالیت های نفوذی درسطح برنامه ها ارائه شده در 11th Iranian Conference on Electric Engineering (1382)
- دسته بندی متون به روش مرکزیت کلاسی ارائه شده در 11th Iranian Conference on Electric Engineering (1382)
- بررسی اثر روابط بین خصیصه های سندها و دست هها در ضابط ههای روش های آماری انتخاب خصیصه در بهبود دسته بندی متون ارائه شده در 11th Iranian Conference on Electric Engineering (1382)
- رویکرد تولید آزمون مبتنی بر روشهای رسمی برای وارسی درستی نرمافزار ارائه شده در 11th Iranian Conference on Electric Engineering (1382)
- یادگیری فعال با اسناد برچسب دار و بدون برچسب در دسته بندی متون ارائه شده در 8th Annual Conference of Computer Society of Iran (1381)
- روشی جهت بهبود مقاومت سرویسگرها در برابر حملات جلوگیری از سرویس ارائه شده در 8th Annual Conference of Computer Society of Iran (1381)
- انتخاب خصیصه به روش ترکیبی فیلتری - روکشی در دسته بندی متون ارائه شده در 8th Annual Conference of Computer Society of Iran (1381)
- اثرمحلول پاشی اسید آمینه تریپتوفان بر شاخص های فیزیولوژیک گیاه پروانش (Catharanthus roseus L.) ارائه شده در چهارمین همایش ملی صنعت و تجاری سازی کشاورزی (1403)
- بررسی تاثیر شبکه اتصال عملکردی کامل و جزئی برای ساخت گراف مغزی در صحت تشخیص بیماری اسکیزوفرنی با رویکرد شبکه عصبی گرافی ارائه شده در دومین کنفرانس بین المللی پژوهش ها و فناوری های نوین در مهندسی برق (1403)
- اهمیت لجستیک در صنعت خرده فروشی برای فروشگاههای زنجیره ای ارائه شده در بیست و دومین کنفرانس بین المللی فناوری اطلاعات، کامپیوتر و مخابرات (1402)
- استفاده از مدلسازی و شبیه سازی صنعتی برای بهبود عملکرد فرآیندها و سیستم ها ارائه شده در بیست و یکمین کنفرانس بین المللی فناوری اطلاعات، کامپیوتر و مخابرات (1402)
- کاربرد ماشین لرنینگ در صنعت ارائه شده در بیستمین کنفرانس بین المللی فناوری اطلاعات، کامپیوتر و مخابرات (1402)
- بررسی روند خشک سالی هواشناسی در ایستگاه های پای پل و جلوگیر(زیر حوضه کرخه) با استفاده از شاخص بارش استاندارد شده ارائه شده در دوازدهمین همایش سراسری کشاورزی و منابع طبیعی پایدار (1402)
- اینترنت اشیاء صنعتی ( IIOT ) ارائه شده در نوزدهمین کنفرانس بین المللی فناوری اطلاعات، کامپیوتر و مخابرات (1402)
- بررسی سیستماتیک پرداخت های تلفن همراه، پروتکل ها و زیرساخت های امنیتی ارائه شده در نوزدهمین کنفرانس بین المللی فناوری اطلاعات، کامپیوتر و مخابرات (1402)
- تعیین روابط دبی رسوب معلق براساس مدل هیدرولوژیک (مطالعه موردی: رودخانه بشار) ارائه شده در بیست و یکمین کنفرانس ملی هیدرولیک ایران (1401)
- بررسی روند تغییرات خشکسالی هواشناسی در ایستگاههای منتخب حوضه کشکان ارائه شده در سومین همایش ملی منابع طبیعی و توسعه پایدار در زاگرس (1401)
- تغییرات زمانی خشکسالی هواشناسی در ایستگاههای منتخب حوضه گاماسیاب ارائه شده در سومین همایش ملی منابع طبیعی و توسعه پایدار در زاگرس (1401)
- بررسی علت عملکرد مکرر بریکر ایستگاه های فوق توزیع با وجود قطع کننده های متنوع در شبکه توزیع (مطالعه موردی) ارائه شده در دهمین کنفرانس منطقه ای سیرد (1401)
- بررسی مشخصات نفوذ آب در پوشش گیاهی چمن ارائه شده در پنجمین همایش ملی فناوری های نوین در کشاورزی، منابع طبیعی و محیط زیست ایران (1400)
- جایابی بهینه خازن در شبکه های توزیع به روش الگوریتم ژنتیک (مطالعه موردی فیدر ۴۰۹ مروارید از ایستگاه فوق توزیع ۵۵۸ صغاد) ارائه شده در نهمین کنفرانس منطقه ای سیرد (1400)
- تابعی اکتشافی برای بهبود دقت پیش بینی برنامه های جهش یافته آشکار کننده خطا ارائه شده در نهمین کنگره مشترک سیستم های فازی و هوشمند ایران (1400)
- بررسی دلایل سوختن برقگیرهای مورد استفاده در شبکه توزیع و ارائه راه حل های پیشگیرانه ارائه شده در هشتمین کنفرانس منطقه ای سیرد (1399)
- گسترش ذخیره سازهای پایگاه داده در ریزشبکه ها، از دید صرفه جویی اقتصادی و کاهش انتشار گازهای گلخانه ای ارائه شده در ششمین کنفرانس منطقه ای سیرد (1397)
- جایابی و اندازه یابی منابع تولید پراکنده با استفاده از الگوریتم ژنتیک چند هدفه NSGA II ارائه شده در پنجمین کنفرانس منطقه ای سیرد (1395)
- حداقل سازی تلفات در شبکه های توزیع با رویکرد بهینه سازی ابعاد وجایابی تولید پراکنده با استفاده از الگوریتم کرم شب تاب ارائه شده در پنجمین کنفرانس منطقه ای سیرد (1395)
- کاهش آسیب پذیری روش Davidson در نقش آبزنی نرم افزار با استفاده از بلاک هالی جابه جا پذیر ارائه شده در شانزدهمین کنفرانس مهندسی برق ایران (1387)
- توسعه روش یادگیری دسته بند فازی MMFF و بکارگیری آن در داده های پزشکی ارائه شده در اولین کنفرانس داده کاوی ایران (1386)
- توسعه روش یادگیری دسته بند فازی MMFF و بکارگیری آن در داده های پزشکی ارائه شده در اولین کنفرانس داده کاوی ایران (1386)
Journal Papers
- آزمون خودکار نرم افزارهای شی گرا با استفاده از موردهای کاربری و ضوابط OCL منتشر شده در Journal of Iranian Association of Electrical and Electronics Engineers (1387)
- بررسی معادلات رگرسیونی برآورد تلفات نفوذ آب از انهار خاکی منتشر شده در مجله پژوهش آب ایران (1402)
- مقایسه روش های برآورد هدایت هیدرولیکی اشباع خاک در اراضی نخلستان منتشر شده در مهندسی آبیاری و آب ایران (1402)
- برآورد شاخص سطح برگ ذرت علوفه ای با استفاده از شاخص های گیاهی مستخرج از تصاویر ماهواره-ای منتشر شده در مجله تحقیقات آب و خاک ایران (1401)
- بهینه سازی آبیاری سطحی با مدیریت کم هزینه آب منتشر شده در پژوهش های حفاظت آب و خاک (1401)
- بررسی نوسانات تراز آب زیرزمینی با روش محاسبات نرم (مطالعه موردی: دشت های ارومیه و میاندوآب) منتشر شده در مهندسی آبیاری و آب ایران (1401)
- اثر استفاده از بلوک جدار عرضی شکمی تحت هدایت سونوگرافی جهت بی دردی پس از جراحی کوله سیستکتومی لاپاراسکوپیک منتشر شده در مجله دانشگاه علوم پزشکی مازندران (1400)
- برآورد توابع عملکرد گندم دیم با استفاده از پارامترهای اقلیمی و کاربرد روش های رگرسیونی چند متغیره منتشر شده در مجله تحقیقات آب و خاک ایران (1400)
- اثربخشی افزودن سولفات منیزیم بر روپی واکائین در بلوک صفحه عرضی شکم تحت هدایت سونوگرافی در بی دردی بعد از آپاندکتومی باز منتشر شده در فصلنامه علوم پیراپزشکی و بهداشت نظامی (1400)
- تحلیل اقتصادی کاربرد سطوح مختلف سوپرجاذب و تنش رطوبتی در کشت گندم پاییزه منتشر شده در مجله تحقیقات آب و خاک ایران (1399)
- بررسی نوسان مانع با وجود مانع ثابت در بالادست کانال روباز با استفاده از مدل فیزیکی منتشر شده در فصلنامه دانش آب و خاک (1397)
- ارزیابی اثربخشی آموزش دوره کارشناسی ارشد رشته راهنمایی و رانندگی منتشر شده در فصلنامه مطالعات مدیریت ترافیک (1396)
- پیش بینی ژن های بیماری با استفاده از دسته بند تک کلاسی ماشین بردار پشتیبان منتشر شده در مجله محاسبات نرم (1394)
- توسعه روش SL با ترتیب KBO برای اثبات خودکار پایان پذیری سیستم بازنویسی ترم - مقاله برگزیده هفدهمین کنفرانس ملی انجمن کامپیوتر ایران منتشر شده در مجله محاسبات نرم (1391)
- مقایسه اثر لیدوکائین داخل تراشه با لیدوکائین وریدی بر پاسخ های راه هوایی هنگام خروج لوله تراشه منتشر شده در مجله علمی دانشگاه علوم پزشکی بیرجند (1390)
- A Specification-Based Approach to Generate Verification Rules of Reactive Software منتشر شده در فصلنامه مهندسی برق مدرس (1389)
- INDUCTIVE LEARNING OF THE OPERATIONAL LOGIC OF A PROGRAM FROM ITS MANY CORRECT EXECUTIONS AND APPLYING IT TO RUNTIME VERIFICATION OF THE PROGRAM EXECUTION منتشر شده در فصلنامه مهندسی برق مدرس (1385)
- A MODEL FOR SPECIFICATION OF CRYPTOGRAPHIC PROTOCOLS AND ITS OPERATIONAL INTERPRETATION WITH ALGEBRAIC METHODS منتشر شده در فصلنامه مهندسی برق مدرس (1382)