سمتهای علمی و اجرایی در دانشگاهها و مراکز علمی کشور
سمتهای علمی و اجرایی در مجلات و ژورنالهای معتبر ایران
سمتهای علمی و اجرایی در کنفرانس ها و نشستهای معتبر ایران
ISI Papers
- "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 :
Conference Papers
- ارائه روشی جدید برای بهبود خوشه بندی تصویر کبد جهت تشخیص لبه ها در مناطق سرطانی با ترکیب الگوریتم سی-میانگین و رشد ناحیه ارائه شده در 6th National Conference on Distributed Computing and Big Data Processing (1399)
- ارائه یک الگوریتم جدید برای خوشه بندی نرم افزار ارائه شده در 5th National Conference on Distributed Computing and Big Data Processing (1398)
- ارایه یک راهکار سریع و امن برای رمزنگاری صدا براساس محاسبات DNA و درهمسازی ارائه شده در 3rd National Conference on Distributed Computing and Big Data Processing (1396)
- ارایه یک راهکار سریع و امن برای رمزنگاری صدا براساس محاسبات DNA و آشوب، ایمن در برابر مهندسی اجتماعی ارائه شده در 3rd National Conference on Distributed Computing and Big Data Processing (1396)
- ارائه یک متامدل خاص حوزه برای برنامه های لاتک ارائه شده در سومین همایش ملی مهندسی رایانه و مدیریت فناوری اطلاعات (1395)
- ارائه یک نجو گرافیکی برای برنامه های Rabbit ارائه شده در اولین کنفرانس بین المللی چشم انداز های نو در مهندسی برق و کامپیوتر (1395)
- ارایه یک متامدل خاص حوزه و نحو ذاتی متنی برای برنامه های Rabbit ارائه شده در 3rd National Congress of Electrical and Computer Engineering of Iran (1395)
- بررسی ابزارهای وارسی مدل و ارایه متامدل برای تولید برنامه های Rabbit ارائه شده در چهارمین کنفرانس بین المللی پژوهش های کاربردی درمهندسی کامپیوتر و پردازش سیگنال (1395)
- تشخیص نفوذ مبتنی بر جریان، بر اساس خوشه بندی گراف پراکندگی ترافیک ارائه شده در 13th Internation lIranian Security Community Conference (1395)
- حل دستگاه معادلات غیرخطی با استفاده از الگوریتم رقابت استعماری ارائه شده در 08th International Industrial Engineering Conference (1391)
- مهارت های داده کاوی در محاسبات بیوانفورماتیک کاربردی ارائه شده در 2nd Lahijan National Conference on Software Engeering (1391)
- بررسی مانیتور ماشین مجازی Xen و ارزیابی و مقایسه این مانیتور با دیگر برنامه های مجازی سازی جهت پیاده سازی مهاجرت زنده ارائه شده در st payame noor university national conference on information technology & networking (1391)
- ساخت یک محیط محاسبات شبکه ای برای بیوانفورماتیک ارائه شده در 4th Iranian Conference on Bioinformatics (1391)
- همکاری بین انفورماتیک پزشکی و بیوانفورماتیک : تسهیل پزشکی ژنومیک برای مراقبت های بهداشتی آینده ارائه شده در 4th Iranian Conference on Bioinformatics (1391)
- بیوانفورماتیک در ارزیابی و توسعه دارویی ارائه شده در 4th Iranian Conference on Bioinformatics (1391)
- بررسی کاربردهای محاسبات شبکه ای در بیوانفورماتیک ارائه شده در 4th Iranian Conference on Bioinformatics (1391)
- مهارت های داده کاوی در محاسبات بیوانفورماتیک کاربردی ارائه شده در 4th Iranian Conference on Bioinformatics (1391)
- توسعه الگوریتم بیوانفورماتیک برای محیط های شبکه ای ارائه شده در 4th Iranian Conference on Bioinformatics (1391)
- بررسی کاربردهای بیوانفورماتیک در معماری های موازی ارائه شده در 4th Iranian Conference on Bioinformatics (1391)
- تضمین کیفیت سرویس در وبسرویسها مبتنی بر سیستمهای خبره ارائه شده در The first conference on new approaches in computer engineering and information technology (1390)
- حل مساله مکان یابی گره ها در شبکه های حسگر بی سیم با استفاده از خودکارهای یادگیر ارائه شده در The first conference on new approaches in computer engineering and information technology (1390)
- A code based method to retrieve family relationships on genealogy tree ارائه شده در 1st Conference on Computer, Communication, and Information Technology (1390)
- consistency check of live sequence charts spesification based on runs ارائه شده در 1st Conference on Computer, Communication, and Information Technology (1390)
- Hardware Based Security in Pervasive Computing Environments ارائه شده در 1st Conference on Computer, Communication, and Information Technology (1390)
- الگوریتم تطبیق نقشه توپولوژیکی بهبود یافته در سیستم های ناوبری خودرو ارائه شده در 1st Conference on Computer, Communication, and Information Technology (1390)
- A Formal Framework for Specifying Dynamic Reconfiguration Of Adaptive Systems ارائه شده در 1st Conference on Computer, Communication, and Information Technology (1390)
- تخصیص پویای پهنای باند اینترنتی به کاربران بر مبنای اوزان گروههای کاربری در شبکه های محلی ارائه شده در 1st Conference on Computer, Communication, and Information Technology (1390)
- تشخیص هجوم در شبکه بر اساس ترکیبی از الگوریتم های میانگین و خوشه بندی ارائه شده در 1st Conference on Computer, Communication, and Information Technology (1390)
- پیمانه بندی سیستمهای نرم افزاری باری توزیع رئی سیستمهای توزیع شده ارائه شده در 1st Conference on Computer, Communication, and Information Technology (1390)
- ارایه یک روش انطباق دینامیکی برای بهبود کیفیت سرویس در شبکه های محلی بی سیم ارائه شده در National Conference on Computer and Information technology (1390)
- تطبیق نقشه فازی عصبی سه وضعیتی درسیستمهای ناوبری خودرو ارائه شده در 2nd National conference on Soft Computing and Information Technology (NCSCIT2012) (1390)
- بررسی وشهای دستیابی ه معماری نرم افزار با استفاده از زبانهای بصری توصیف رفتار سیستم ارائه شده در 1th National Conference on System Approach (1390)
- زمان بندی ایستای کارها در سامانه توزیع شده ناهمگن با استفاده از یک رویکرد تکاملی ارائه شده در 15th Annual Conference of Computer Society of Iran (1388)
- یک فرایند تکاملی یادگیر برای مینیمم کردن پهنای باند ماتریس ارائه شده در 3rd International Conference of Iranian Operations Research Society (1388)
- طراحی ابررسانه ای شیءگرا و تکنولوژی J2EE در موارد کاربردی وب ارائه شده در 1st International Conference on Electronic City (1386)
- مدلسازی آماری قابلیت اطمینان نرم افزار ارائه شده در 01st International Conference of Iranian Operations Research Society (1386)
- معرفی زبان Z ارائه شده در 01st International Conference of Iranian Operations Research Society (1386)
- A New Approach to Early Software Reliability Prediction Based on a Formal Specification of System ارائه شده در 12th Annual Conference of Computer Society of Iran (1385)
- مسیریابی بهینه در شبکه های کامپیورتی با محیط های چند کاناله چند پراکنی ارائه شده در 13th Iranian Conference on Electric Engineering (1384)
- انتقال داده چند کاناله چند پراکنی بهینه در شبکه های کامپیوتری ارائه شده در 10th Annual Conference of Computer Society of Iran (1383)
- Logical Languages for Specification and Verification of Reactive System's Behavior ارائه شده در 9th Annual Conference of Computer Society of Iran (1382)