سمتهای علمی و اجرایی در دانشگاهها و مراکز علمی کشور
سمتهای علمی و اجرایی در مجلات و ژورنالهای معتبر ایران
مقالات بین المللی خارج از کشور
مقالات کنفرانسهای داخلی
- بهبود پیچیدگی زمانی محاسبه معیار پوشش حالت برنامه ارائه شده در شانزدهمین کنفرانس بین المللی فناوری اطلاعات، کامپیوتر و مخابرات (1401)
- یک روش تولید آزمون رانه بهبود یافته ارائه شده در کنفرانس ملی فناوری های نوین در مهندسی برق و کامپیوتر (1396)
- از توصیف به زبان Z تا برنامه نمونه ارائه شده در پانزدهیمن کنفرانس مهندسی برق ایران (1386)
- ارائه یک زبان توصیف معماری جدید برای استفاده در روشهای ارزیابی معماری نرم افزار ارائه شده در سیزدهمین کنفرانس سالانه انجمن کامپیوتر ایران (1386)
- روشی برای مقایسه معماریهای نرمافزار ارائه شده در سیزدهمین کنفرانس سالانه انجمن کامپیوتر ایران (1386)
- ترجمه حلقه های تودرتو در پرس و جوهای Xquery به عبارت های SQL ارائه شده در سیزدهمین کنفرانس سالانه انجمن کامپیوتر ایران (1386)
- افزودن ویژگی های امنیتی به فرآیند های چابک ارائه شده در سیزدهمین کنفرانس سالانه انجمن کامپیوتر ایران (1386)
- مدلی برای ارزیابی قابلیت اطمینان سیستمهای چند لایه تحت وب ارائه شده در سومین کنفرانس بین المللی فناوری اطلاعات و دانش (1386)
- یک زبان توصیف معماری برای سیستم های قابل بازپیکربندی پویا ارائه شده در دوازدهمین کنفرانس سالانه انجمن کامپیوتر ایران (1385)
- Process Agent: A Solution for Workflow Automation ارائه شده در دوازدهمین کنفرانس سالانه انجمن کامپیوتر ایران (1385)
- استخراج جنبه از مدل طراحی نرمافزار ارائه شده در دوازدهمین کنفرانس سالانه انجمن کامپیوتر ایران (1385)
- مجتمع سازی داده ها در محیط p2p ارائه شده در چهاردهمین کنفرانس مهندسی برق ایران (1385)
- الگوریتم حافظ وابستگی های تابعی برای تبدیل شمای اکس.ام.ال* به شمای رابطه ای ارائه شده در یازدهمین کنفرانس سالانه انجمن کامپیوتر ایران (1384)
- چهارچوبی برای مدلسازی و ارزیابی صوری ویژگیهای معماری نرمافزاربا تاکید بر ویژگیهای کیفیتی ارائه شده در یازدهمین کنفرانس سالانه انجمن کامپیوتر ایران (1384)
- یک مدل معماری برای سیستمهای قابل باز پیکربندی با استفاده از مولفه های پوشش دار ارائه شده در یازدهمین کنفرانس سالانه انجمن کامپیوتر ایران (1384)
- طراحی تکاملی شمای پایگاه داده رابطه ای با استفادها ز ارزیابی کیفیت ارائه شده در دهمین کنفرانس سالانه انجمن کامپیوتر ایران (1383)
- معرفی سیستمهای ایی - آر - پی و روش ارزیابی و انتخاب آن برای سازمان ها ارائه شده در دهمین کنفرانس سالانه انجمن کامپیوتر ایران (1383)
- بررسی نحوه بیان گونه های مختلف عدم قطعیت در تئوری انواع مارتین لوف ارائه شده در دهمین کنفرانس سالانه انجمن کامپیوتر ایران (1383)
- رهیافتی به مساله عدم قطعیت در تئوری انواع مارتین لوف ارائه شده در دهمین کنفرانس سالانه انجمن کامپیوتر ایران (1383)
- روشی برای ارزیابی کیفیت شمای پایگاه داده رابطه ای ارائه شده در دهمین کنفرانس سالانه انجمن کامپیوتر ایران (1383)
- زبان مدلسازی گردش کار ارائه شده در دهمین کنفرانس سالانه انجمن کامپیوتر ایران (1383)
- خط تطبیق: خط تولیدی برای نرم افزارهای تطبیق پذیر در زمان اجرا ارائه شده در دهمین کنفرانس سالانه انجمن کامپیوتر ایران (1383)
- ارزیابی روشهای تفکیک حالات و ارتقا درتوصیف صوری نرم افزار: یک تجربه عملی ارائه شده در دهمین کنفرانس سالانه انجمن کامپیوتر ایران (1383)
- تبدیل خودکار یک زبان پرس وجوی شی گرا به یک زبان پرس وجوی رابطه ای ارائه شده در نهمین کنفرانس سالانه انجمن کامپیوتر ایران (1382)
- توصیف رسمی یک سیستم تشخیص نفوذ مبتنی بر شبکه با استفاده از زبان توصیف Z ارائه شده در هشتمین کنفرانس سالانه انجمن کامپیوتر ایران (1381)
- توصیف صوری سیستم های احتمالاتی در Z ارائه شده در هشتمین کنفرانس سالانه انجمن کامپیوتر ایران (1381)