| Automated model checking of stochastic graph transformation systems V Rafe, R Rafeh, MRZ Miralvand, AS Alavizadeh 2009 International Conference on Computer Technology and Development 1, 211-215, 2009 | 5 | 2009 |
| An efficient distributed and secure algorithm for transaction confirmation in IOTA using cloud computing AS Alavizadeh, SH Erfani, M Mirabi, A Sahafi The Journal of Supercomputing 80 (2), 1491-1521, 2024 | 2 | 2024 |
| A distributed reliable collusion-free algorithm for selecting multiple coordinators in IOTA using fog computing AS Alavieh Sadat Alavizadeh, Seyed Hossein Erfani,Meghdad Mirabi Concurrency and Computation, 2023 | | 2023 |
| An efficient distributed and secure algorithm for transaction confirmation in IOTA using cloud computing ASASHEMMA Sahafi Supercomputing, 2023 | | 2023 |
| Automated method for verification of Stochastic Graph Transformation Systems AS Alavizadeh, A Afradi 2011 IEEE 2nd International Conference on Software Engineering and Service …, 2011 | | 2011 |
| معرفی پردازش جریانی در داده های حجیم علویه السادات علوی زاده ،میرعلی سیدی | | 1396 |
| مروری بر سبک معماری رخدادگرا علویه السادات علوی زاده ، میرعلی سیدی سومین کنفرانس ملی نوآوری و تحقیق در مهندسی برق و کامپیوتر و مکانیک ایران, 1396 | | 1396 |
| سیستم های تبدیل گراف تصادفی روشی مناسب برای مدل کردن سیستم های پویا و توزیع شده علویه السادات علوی زاده همایش ملی مهندسی برق مجلسی, 1395 | | 1395 |
| اهمیت درستی یابی در سیستم های کامپیوتری و معرفی روش های صوری درستی یابی علویه السادات علوی زاده همایش ملی مهندسی برق مجلسی, 1395 | | 1395 |
| تضمین کیفیت نرم افزار با استفاده از استانداردهای CMMI و TickIT علویه السادات علوی زاده نخستین کنفرانس ملی تحقیقات بین رشته ای در مهندسی کامپیوتر، برق، مکانیک و …, 1395 | | 1395 |
