سمتهای علمی و اجرایی در دانشگاهها و مراکز علمی کشور
سمتهای علمی و اجرایی در مجلات و ژورنالهای معتبر ایران
سمتهای علمی و اجرایی در کنفرانس ها و نشستهای معتبر ایران
مقالات بین المللی خارج از کشور
- "Using IDS fitted Q to develop a real-time adaptive controller for dynamic resource provisioning in Cloud's virtualized environment", Elsevier BV, (2015), Vol 26, No : 285-298
- "A new confidence-based recommendation approach: Combining trust and certainty", Elsevier BV, (2018), Vol 422, No : 21-50
- "A refinement approach for developing probabilistic programs", IEEE, (2009), Vol , No :
- "ABSIM: AN AUTOMATED BUSINESS SERVICE IDENTIFICATION METHOD", World Scientific Pub Co Pte Lt, (2013), Vol 23, No 09: 1303-1342
- "CCFinder: using Spark to find clustering coefficient in big graphs", Springer Science and Business Media LLC, (2017), Vol 73, No 11: 4683-4710
- "A bipolar resource management framework for resource provisioning in Cloud’s virtualized environment", Elsevier BV, (2016), Vol 46, No : 487-500
- "TOWARDS A CALCULUS FOR NONDETERMINISTIC SCHEMAS IN Z", World Scientific Pub Co Pte Lt, (2012), Vol 22, No 06: 839-865
- "Rings: A Game with a Purpose for Test Data Generation", Oxford University Press (OUP), (2017), Vol 30, No 1: 1-30
- "Structural test data generation using a memetic ant colony optimization based on evolution strategies", Elsevier BV, (2018), Vol 40, No : 76-91
- "A classifier-based test oracle for embedded software", IEEE, (2018), Vol , No :
- "Privacy Preserving Random Decision Tree Classification Over Horizontally and Vertically Partitioned Data", IEEE, (2018), Vol , No :
- "KTMiner: Distributed k-truss detection in big graphs", Elsevier BV, (2019), Vol 83, No : 195-216
- "A Dynamic Local–Global Trust-aware Recommendation approach", Elsevier BV, (2019), Vol 34, No : 100838
- "Experiments with automatic software piracy detection utilising machine-learning classifiers for micro-signatures", Informa UK Limited, (2018), Vol 31, No 2: 267-289
- "From Object-Z Specification to Groovy Implementation", SciTech Solutions, (2018), Vol 0, No 0: 0-0
- "G3MD: Mining frequent opcode sub-graphs for metamorphic malware detection of existing families", Elsevier BV, (2018), Vol 112, No : 15-33
- "Application of the Shuffled Frog Leaping Algorithm (SFLA) in Constructing Fuzzy Classification Systems", World Scientific Pub Co Pte Ltd, (2019), Vol 18, No 03:
- "Process patterns for service-oriented software development", IEEE, (2011), Vol , No :
- "Using Swarm Intelligence to Generate Test Data for Covering Prime Paths", Springer International Publishing, (2017), Vol , No : 132-147
مقالات کنفرانسهای داخلی
- Generating Game Map Layouts for Formally Specified Nonlinear Narratives ارائه شده در هفتمین کنفرانس بین المللی بازی های رایانه ای، فرصت ها و چالش ها (1400)
- مدل بلوغ تعامل پذیری کشور ارائه شده در سومین همایش ملی پیشرفت های معماری سازمانی (1398)
- مدل مرجع نرم افزار ایران ارائه شده در سومین همایش ملی پیشرفت های معماری سازمانی (1398)
- طراحی مدل آموزش خدمات الکترونیکی شهرداری تهران در راستای نیل به سوی شهروند الکترونیک ارائه شده در سومین کنفرانس بین المللی مدیریت،حسابداری و اقتصاد دانش بنیان با تاکید بر اقتصاد مقاومتی (1396)
- تولید داده آزمون ساختاری با استفاده از الگوریتم بهینه سازی غذایابی باکتری ارائه شده در دومین کنفرانس ملی محاسبات نرم (1396)
- الگوریتم چندهسته ای برای کاوش زیرگراف های k-truss ارائه شده در بیست و دومین کنفرانس ملی سالانه انجمن کامپیوترایران (1395)
- کلاسه بندی فضای جستجو در روش مبتنی بر جستجوی تولید داده آزمون ارائه شده در بیست و دومین کنفرانس ملی سالانه انجمن کامپیوترایران (1395)
- ارائه روشی برای توصیف و درستی یابی پایگاه داده ها با استفاده از Object-Z ارائه شده در هفتمین کنفرانس بین المللی فناوری اطلاعات و دانش (1394)
- ارائه رویکردی صوری جهت مدل سازی ئ درستی یابی ویژگی خود سازی در سامانه های نهفته ارائه شده در هفتمین کنفرانس بین المللی فناوری اطلاعات و دانش (1394)
- ترکیب بهینه سرویس های وب با استفاده از الگوریتم درهم آمیختن پرش قورباغه ها ارائه شده در همایش ملی مهندسی رایانه و مدیریت فناوری اطلاعات (1393)
- ارزیابی میزان چابکی متدولوژی XP ارائه شده در همایش ملی مهندسی رایانه و مدیریت فناوری اطلاعات (1393)
- An Approach to Reduce QoS MonitoringOverhead in ESB ارائه شده در هشتمین کنفرانس بین المللی تجارت الکترونیک با رویکرد بر اعتماد الکترونیکی (1393)
- ارائه روش کیفی برای ترکیب سرویسهای وب با استفاده ازالگوریتم بهینه سازی جمعی ذرات ارائه شده در کنگره ملی مهندسی برق، کامپیوتر و فناوری اطلاعات (1392)
- رتبه بندی کارای صفحات وب بااستفاده ازترکیب ویژگیهای مناسب ارائه شده در پنجمین کنفرانس ملی مهندسی برق و الکترونیک ایران (1392)
- ارائه روشی برای صحت سنجی توصیفهای z ازسیستم های همروندبادرنظرگرفتن اعمال غیرقطعی ارائه شده در اولین همایش ملی رویکردهای نوین در مهندسی کامپیوتر و بازیابی اطلاعات (1392)
- ارائه راهکاری برای بررسی سازگاری در مدل خانواده فرآیندهای حرفه ارائه شده در اولین کنفرانس ملی نوآوری در مهندسی کامپیوتر و فنآوری اطلاعات (1392)
- راهبردهای بهبودی برای توصیف صوری جهت جلوگیری ازخطاهای سیستم های C4I با دیدگاه تحلیل SWOT ارائه شده در ششمین کنفرانس ملی انجمن علمی فرماندهی و کنترل ایران (1391)
- تولید صوری برنامه های همروند ایمن ارائه شده در ششمین کنفرانس ملی انجمن علمی فرماندهی و کنترل ایران (1391)
- فرمالیسمی مبتنی برZبرای توصیف سامانههایC4I احتمالاتی ارائه شده در ششمین کنفرانس ملی انجمن علمی فرماندهی و کنترل ایران (1391)
- به سوی توسعه یک مدلسازی صوری از تمامی جنبه های اصلی سیستمهایهمروند ارائه شده در اولین همایش رویکرد های نوین در مهندسی کامپیوتر و فناوری اطلاعات (1390)
- معرفی یک معماری عامل گرا انعطاف پذیربرای اتوماسیون کارخانه ارائه شده در اولین همایش تخصصی سیستمهای هوشمند کامپیوتری و کاربردهای آنها (1390)
- ارائه یک معماری عامل گرا برای تامین اعلان هشدار هوشمند در سیستم های ERP ارائه شده در شانزدهمین کنفرانس سالانه انجمن کامپیوتر ایران (1389)
- A Refinement Approach for Developing Probabilistic Programs ارائه شده در چهاردهمین کنفرانس بین المللی سالانه انجمن کامپیوتر ایران (1388)
- مدل سازی آیروالاستیسیته پیچش و خمش بال به منظور طراحی کنترل کننده فازی بهینه تقرب ارائه شده در هشتمین کنفرانس انجمن هوافضای ایران (1388)
- طراحی و شناسایی کنترلر عصبی بهینه تقرب در حضور مدل و پیشرانش الاستیک ارائه شده در هشتمین کنفرانس انجمن هوافضای ایران (1388)
- رهیافتی نظام مند برای انتخاب نرم افزار برنامه ریزی منابع سازمانی در سازمان های ایرانی ارائه شده در پانزدهمین کنفرانس کامپیوتر سالانه انجمن کامپیوتر ایران (1388)
- توصیف صوری رفتار پویای سیستم های هم روند به کمک یک زبان شبه Z ارائه شده در پانزدهمین کنفرانس کامپیوتر سالانه انجمن کامپیوتر ایران (1388)
- معرفی یک معماری عامل گرا برای تامین یکپارچگی در سیستم های ERP ارائه شده در ششمین کنفرانس بین المللی مدیریت فناوری اطلاعات و ارتباطات (1388)
- مدلسازی آیروالاستیسیته پیچش و خمش بال به منظور طراحی کنترل کننده فازی بهینه تقرب ارائه شده در هفدهمین کنفرانس سالانه مهندسی مکانیک (1388)
- طراحی و شناسایی کنترل کننده بهینه عصبی تقرب براساس مدل خمش الاستیک بال ارائه شده در هفدهمین کنفرانس سالانه مهندسی مکانیک (1388)
- طراحی و بهینه سازی خلبان خودکار نشست بکمک روش حداقل مربعات غیر خطی و الگوریتم ژنتیک و مقایسه نتایج برای هواپیمای بویینگ 747 ارائه شده در هفتمین همایش انجمن هوافضای ایران (1386)
- Formal Development of Two Player Games: A Constructive Approach ارائه شده در دوازدهمین کنفرانس سالانه انجمن کامپیوتر ایران (1385)
- بررسی نحوه بیان گونه های مختلف عدم قطعیت در تئوری انواع مارتین لوف ارائه شده در دهمین کنفرانس سالانه انجمن کامپیوتر ایران (1383)
- رهیافتی به مساله عدم قطعیت در تئوری انواع مارتین لوف ارائه شده در دهمین کنفرانس سالانه انجمن کامپیوتر ایران (1383)
- تبدیل خودکار یک زبان پرس وجوی شی گرا به یک زبان پرس وجوی رابطه ای ارائه شده در نهمین کنفرانس سالانه انجمن کامپیوتر ایران (1382)
- بررسی تاثیر محیط آموزشی بر پیشرفت تحصیلی و یادگیری دانش آموزان ارائه شده در اولین کنفرانس بین المللی روانشناسی، علوم تربیتی، مدیریت و علوم اجتماعی (1403)
مقالات ژورنالهای تخصصی داخلی
- Using Static Information of Program s to Partition the Input Domain in Search based Test Data Generation منتشر شده در فصلنامه سیستم های اطلاعاتی و مخابرات (1399)
- نظارت مداوم چندفروندی به وسیله الگوهای پیمایشی پایه با هدف کمینه سازی زمان بازبینی منتشر شده در مجله مهندسی هوانوردی (1397)
- بهینه سازی هیوریستیکی زمان بازبینی نظارت مداوم چندعاملی با استفاده از توابع وزنی کمترین مسافت منتشر شده در دوفصلنامه دانش و فناوری هوافضا (1396)
- a bio-inspired self -configuring observer/controller for organic computing systems منتشر شده در فصلنامه سیستم های اطلاعاتی و مخابرات (1395)
- مدلی برای پشتیبانی از تصمیم گیری در سیستم های خودتطبیق منتشر شده در فصلنامه صنایع الکترونیک (1394)
- طراحی مدل مفهومی سیستم اطلاعات مشترک میان یک شرکت تولیدکننده دارو با یک بیمارستان منتشر شده در مجله مدیریت اطلاعات سلامت (1394)
- ارائه یک معماری مبتنی بر پیشکار برای مستندسازی پویا در سیستم های ERP منتشر شده در فصلنامه صنایع الکترونیک (1392)
- فراز و فرودهای بیست و پنج سال همکاری در موسسه تحقیقات علوم ریاضی منتشر شده در دوفصلنامه فرهنگ و اندیشه ریاضی (1403)
- تاثیر موازین حقوق بشر بر فرایند رسیدگی قضایی با تاکید بر نظام حقوقی انگلستان و استرالیا منتشر شده در فصلنامه مطالعات حقوق عمومی (1403)
- نقد معیارهای ورود به خدمت و گزینش در حقوق اداری ایران در پرتوی موازین حقوق بشری منتشر شده در فصلنامه پژوهش های نوین حقوق اداری (1403)
- رویکردی جدید جهت ترمیم نرم افزار مبتنی بر بازی های هدفمند منتشر شده در مجله علوم رایانشی (1402)
- ارائه یک سیستم توصیه گر اثربخش با به کارگیری روابط اعتماد محلی و سراسری آگاه از زمینه منتشر شده در مجله علوم رایانشی (1398)
- خود-ترمیمی در سازوکار کنترلی سامانه های تطبیق پذیر منتشر شده در مجله علوم رایانشی (1397)
- ایدآلها، واریته های جبری و الگوریتم ها منتشر شده در دوفصلنامه فرهنگ و اندیشه ریاضی (1379)
طرح های تحقیقاتی و پژوهشی