سمتهای علمی و اجرایی در دانشگاهها و مراکز علمی کشور
سمتهای علمی و اجرایی در مجلات و ژورنالهای معتبر ایران
سمتهای علمی و اجرایی در کنفرانس ها و نشستهای معتبر ایران
مقالات بین المللی خارج از کشور
- "PHFS: A dynamic replication method, to decrease access latency in the multi-tier data grid", Elsevier BV, (2011), Vol 27, No 3: 233-244
- "Distributed multicast multichannel paths", Springer Science and Business Media LLC, (2010), Vol 50, No 1: 55-70
- "An evolutionary system architecture for information protection", Elsevier BV, (2008), Vol 197, No 2: 687-691
- "A new formalism for mathematical description and verification of component-based systems", Springer Science and Business Media LLC, (2008), Vol 49, No 3: 334-353
- "Software reliability assessment based on a formal requirements specification", IEEE, (2008), Vol , No :
- "Software Reliability Prediction Based on a Formal Requirements Specification", Springer Berlin Heidelberg, (2008), Vol , No : 816-820
- "Electronic Consulting In Marketing", IEEE, (2008), Vol , No :
- "Verifying Observational Determinism", Springer International Publishing, (2015), Vol , No : 82-93
- "Improved Iterative Methods for Verifying Markov Decision Processes", Springer International Publishing, (2015), Vol , No : 207-214
- "Processor Allocation in Mesh Multiprocessors Using a Hybrid Method", IEEE, (2006), Vol , No :
- "QoS-aware service composition in cloud computing using data mining techniques and genetic algorithm", Springer Science and Business Media LLC, (2016), Vol 73, No 4: 1387-1415
- "Early performance assessment in component‐based software systems", Institution of Engineering and Technology (IET), (2013), Vol 7, No 2: 118-128
- "ECA rule learning in dynamic environments", Elsevier BV, (2014), Vol 41, No 17: 7847-7857
- "Early performance assessment in component‐based software systems", Institution of Engineering and Technology (IET), (2013), Vol 7, No 2: 118-128
- "Admission Control for WebServices in Enterprise Systems Using Expert Systems", Springer Berlin Heidelberg, (2011), Vol , No : 192-199
- "Introduction to the special section on “Emerging Wireless Networks”", Elsevier BV, (2015), Vol 48, No : 60-61
- "Corrigendum to ‘ECA Rule Learning in Dynamic Environments’ [Expert Systems with Applications, 41(17) (2014) 7847–7857]", Elsevier BV, (2015), Vol 42, No 3: 1788
- "Active rule learning using decision tree for resource management in Grid computing", Elsevier BV, (2011), Vol 27, No 6: 703-710
- "Database Replication: AvailAbility aind Consistency Astsrance via Stream Processing", IEEE, (2007), Vol , No :
- "An Improved Distributed CCA Framework Based On Avaki Platform", IEEE, (2007), Vol , No :
- "Optimizing web server RAM performance using birth–death process queuing system: scalable memory issue", Springer Science and Business Media LLC, (2017), Vol 73, No 12: 5221-5238
- "Traffic distribution for end-to-end QoS routing with multicast multichannel services", Springer Science and Business Media LLC, (2009), Vol 52, No 1: 47-81
- "Imperialist competitive algorithm for solving systems of nonlinear equations", Elsevier BV, (2013), Vol 65, No 12: 1894-1908
- "Source Code Modularization", Springer International Publishing, (2017), Vol , No :
- "Semantic-based software clustering using hill climbing", IEEE, (2017), Vol , No :
- "A Novel Fast and Secure Approach for Voice Encryption Based on DNA Computing", Springer Science and Business Media LLC, (2018), Vol 9, No 2:
- "Towards Comprehension of the Multi-Programming Language Software Systems", IEEE, (2019), Vol , No :
- "E-CDGM: An Evolutionary Call-Dependency Graph Modularization Approach for Software Systems", Walter de Gruyter GmbH, (2016), Vol 16, No 3: 70-90
- "A novel context-aware server selection algorithm for mobile thin client computing", IEEE, (2013), Vol , No :
- "An Algorithm of Developed Imperialist Competition for Suitable Human Resource Layout", IEEE, (2013), Vol , No :
- "Performance prediction of component based software systems using interface automata", IEEE, (2011), Vol , No :
- "ECA Rule-Based Negotiation Agent in E-commerce", IEEE, (2010), Vol , No :
- "A new hybrid approach for multiprocessor system scheduling with genetic algorithm and tabu search (HGTS)", IEEE, (2010), Vol , No :
- "Correction to: A Novel Fast and Secure Approach for Voice Encryption Based on DNA Computing", Springer Science and Business Media LLC, (2018), Vol 9, No 2:
- "ECA Rule-Based Negotiation Agent in E-commerce", IEEE, (2010), Vol , No :
مقالات کنفرانسهای داخلی
- ارائه روشی جدید برای بهبود خوشه بندی تصویر کبد جهت تشخیص لبه ها در مناطق سرطانی با ترکیب الگوریتم سی-میانگین و رشد ناحیه ارائه شده در ششمین کنفرانس ملی محاسبات توزیعی و پردازش داده های بزرگ (1399)
- ارائه یک الگوریتم جدید برای خوشه بندی نرم افزار ارائه شده در پنجمین کنفرانس ملی محاسبات توزیعی و پردازش داده های بزرگ (1398)
- ارایه یک راهکار سریع و امن برای رمزنگاری صدا براساس محاسبات DNA و درهمسازی ارائه شده در سومین کنفرانس ملی محاسبات توزیعی و پردازش داده های بزرگ (1396)
- ارایه یک راهکار سریع و امن برای رمزنگاری صدا براساس محاسبات DNA و آشوب، ایمن در برابر مهندسی اجتماعی ارائه شده در سومین کنفرانس ملی محاسبات توزیعی و پردازش داده های بزرگ (1396)
- ارائه یک متامدل خاص حوزه برای برنامه های لاتک ارائه شده در سومین همایش ملی مهندسی رایانه و مدیریت فناوری اطلاعات (1395)
- ارائه یک نجو گرافیکی برای برنامه های Rabbit ارائه شده در اولین کنفرانس بین المللی چشم انداز های نو در مهندسی برق و کامپیوتر (1395)
- ارایه یک متامدل خاص حوزه و نحو ذاتی متنی برای برنامه های Rabbit ارائه شده در سومین کنفرانس سراسری نوآوری های اخیر در مهندسی برق و کامپیوتر (1395)
- بررسی ابزارهای وارسی مدل و ارایه متامدل برای تولید برنامه های Rabbit ارائه شده در چهارمین کنفرانس بین المللی پژوهش های کاربردی درمهندسی کامپیوتر و پردازش سیگنال (1395)
- تشخیص نفوذ مبتنی بر جریان، بر اساس خوشه بندی گراف پراکندگی ترافیک ارائه شده در سیزدهمین کنفرانس بین المللی انجمن رمز ایران (1395)
- حل دستگاه معادلات غیرخطی با استفاده از الگوریتم رقابت استعماری ارائه شده در هشتمین کنفرانس بین المللی مهندسی صنایع (1391)
- مهارت های داده کاوی در محاسبات بیوانفورماتیک کاربردی ارائه شده در دومین کنفرانس ملی مهندسی نرم افزار دانشگاه آزاد لاهیجان (1391)
- بررسی مانیتور ماشین مجازی Xen و ارزیابی و مقایسه این مانیتور با دیگر برنامه های مجازی سازی جهت پیاده سازی مهاجرت زنده ارائه شده در اولین همایش ملی فناوری اطلاعات و شبکه های کامپیوتری دانشگاه پیام نور (1391)
- ساخت یک محیط محاسبات شبکه ای برای بیوانفورماتیک ارائه شده در چهارمین همایش بیوانفورماتیک ایران (1391)
- همکاری بین انفورماتیک پزشکی و بیوانفورماتیک : تسهیل پزشکی ژنومیک برای مراقبت های بهداشتی آینده ارائه شده در چهارمین همایش بیوانفورماتیک ایران (1391)
- بیوانفورماتیک در ارزیابی و توسعه دارویی ارائه شده در چهارمین همایش بیوانفورماتیک ایران (1391)
- بررسی کاربردهای محاسبات شبکه ای در بیوانفورماتیک ارائه شده در چهارمین همایش بیوانفورماتیک ایران (1391)
- مهارت های داده کاوی در محاسبات بیوانفورماتیک کاربردی ارائه شده در چهارمین همایش بیوانفورماتیک ایران (1391)
- توسعه الگوریتم بیوانفورماتیک برای محیط های شبکه ای ارائه شده در چهارمین همایش بیوانفورماتیک ایران (1391)
- بررسی کاربردهای بیوانفورماتیک در معماری های موازی ارائه شده در چهارمین همایش بیوانفورماتیک ایران (1391)
- تضمین کیفیت سرویس در وبسرویسها مبتنی بر سیستمهای خبره ارائه شده در اولین همایش رویکرد های نوین در مهندسی کامپیوتر و فناوری اطلاعات (1390)
- حل مساله مکان یابی گره ها در شبکه های حسگر بی سیم با استفاده از خودکارهای یادگیر ارائه شده در اولین همایش رویکرد های نوین در مهندسی کامپیوتر و فناوری اطلاعات (1390)
- A code based method to retrieve family relationships on genealogy tree ارائه شده در اولین کنفرانس ملی دانش پژوهان کامپیوتر و فناوری اطلاعات (1390)
- consistency check of live sequence charts spesification based on runs ارائه شده در اولین کنفرانس ملی دانش پژوهان کامپیوتر و فناوری اطلاعات (1390)
- Hardware Based Security in Pervasive Computing Environments ارائه شده در اولین کنفرانس ملی دانش پژوهان کامپیوتر و فناوری اطلاعات (1390)
- الگوریتم تطبیق نقشه توپولوژیکی بهبود یافته در سیستم های ناوبری خودرو ارائه شده در اولین کنفرانس ملی دانش پژوهان کامپیوتر و فناوری اطلاعات (1390)
- A Formal Framework for Specifying Dynamic Reconfiguration Of Adaptive Systems ارائه شده در اولین کنفرانس ملی دانش پژوهان کامپیوتر و فناوری اطلاعات (1390)
- تخصیص پویای پهنای باند اینترنتی به کاربران بر مبنای اوزان گروههای کاربری در شبکه های محلی ارائه شده در اولین کنفرانس ملی دانش پژوهان کامپیوتر و فناوری اطلاعات (1390)
- تشخیص هجوم در شبکه بر اساس ترکیبی از الگوریتم های میانگین و خوشه بندی ارائه شده در اولین کنفرانس ملی دانش پژوهان کامپیوتر و فناوری اطلاعات (1390)
- پیمانه بندی سیستمهای نرم افزاری باری توزیع رئی سیستمهای توزیع شده ارائه شده در اولین کنفرانس ملی دانش پژوهان کامپیوتر و فناوری اطلاعات (1390)
- ارایه یک روش انطباق دینامیکی برای بهبود کیفیت سرویس در شبکه های محلی بی سیم ارائه شده در همایش ملی کامپیوتر و فناوری اطلاعات (1390)
- تطبیق نقشه فازی عصبی سه وضعیتی درسیستمهای ناوبری خودرو ارائه شده در دومین کنفرانس ملی محاسبات نرم و فن آوری اطلاعات (1390)
- بررسی وشهای دستیابی ه معماری نرم افزار با استفاده از زبانهای بصری توصیف رفتار سیستم ارائه شده در نخستین کنفرانس ملی رویکرد سیستمی در ایران (1390)
- زمان بندی ایستای کارها در سامانه توزیع شده ناهمگن با استفاده از یک رویکرد تکاملی ارائه شده در پانزدهمین کنفرانس کامپیوتر سالانه انجمن کامپیوتر ایران (1388)
- یک فرایند تکاملی یادگیر برای مینیمم کردن پهنای باند ماتریس ارائه شده در سومین کنفرانس بین المللی انجمن تحقیق در عملیات ایران (1388)
- طراحی ابررسانه ای شیءگرا و تکنولوژی J2EE در موارد کاربردی وب ارائه شده در اولین کنفرانس بین المللی شهر الکترونیک (1386)
- مدلسازی آماری قابلیت اطمینان نرم افزار ارائه شده در اولین کنفرانس بین المللی تحقیق در عملیات ایران (1386)
- معرفی زبان Z ارائه شده در اولین کنفرانس بین المللی تحقیق در عملیات ایران (1386)
- A New Approach to Early Software Reliability Prediction Based on a Formal Specification of System ارائه شده در دوازدهمین کنفرانس سالانه انجمن کامپیوتر ایران (1385)
- مسیریابی بهینه در شبکه های کامپیورتی با محیط های چند کاناله چند پراکنی ارائه شده در سیزدهمین کنفرانس مهندسی برق ایران (1384)
- انتقال داده چند کاناله چند پراکنی بهینه در شبکه های کامپیوتری ارائه شده در دهمین کنفرانس سالانه انجمن کامپیوتر ایران (1383)
- Logical Languages for Specification and Verification of Reactive System's Behavior ارائه شده در نهمین کنفرانس سالانه انجمن کامپیوتر ایران (1382)