Doctor Seyed Hassan Mirian Hosseinabadi

Doctor Seyed Hassan Mirian Hosseinabadi

Department of Computer Engineering, Sharif University of Technology, Iran

This is the lates information submited into CIVILICA database

Scientific positions of MR. Doctor Seyed Hassan Mirian Hosseinabadi in Journals

Position Journal Name
Editorial Board Computer and Knowledge Engineering

Scientific papres

Papers list is extracted automatically from CIVILICA database and may be have some confilicts due to name similarity.

Conference Papers
row paper title conference name
1 ارزیابی روشهای تفکیک حالات و ارتقا درتوصیف صوری نرم افزار: یک تجربه عملی (Download Paper) 10th Annual Conference of Computer Society of Iran
2 از توصیف به زبان Z تا برنامه نمونه (Download Paper) 15th Iranian Conference on Electric Engineering
3 استخراج جنبه از مدل طراحی نرمافزار (Download Paper) 12th Annual Conference of Computer Society of Iran
4 Process Agent: A Solution for Workflow Automation (Download Paper) 12th Annual Conference of Computer Society of Iran
5 بررسی نحوه بیان گونه های مختلف عدم قطعیت در تئوری انواع مارتین لوف (Download Paper) 10th Annual Conference of Computer Society of Iran
6 تبدیل خودکار یک زبان پرس وجوی شی گرا به یک زبان پرس وجوی رابطه ای (Download Paper) 09th Annual Conference of Computer Society of Iran
7 توصیف رسمی یک سیستم تشخیص نفوذ مبتنی بر شبکه با استفاده از زبان توصیف Z (Download Paper) 08th Annual Conference of Computer Society of Iran
8 توصیف صوری سیستم های احتمالاتی در Z (Download Paper) 08th Annual Conference of Computer Society of Iran
9 خط تطبیق: خط تولیدی برای نرم افزارهای تطبیق پذیر در زمان اجرا (Download Paper) 10th Annual Conference of Computer Society of Iran
10 روشی برای ارزیابی کیفیت شمای پایگاه داده رابطه ای (Download Paper) 10th Annual Conference of Computer Society of Iran
11 رهیافتی به مساله عدم قطعیت در تئوری انواع مارتین لوف (Download Paper) 10th Annual Conference of Computer Society of Iran
12 زبان مدلسازی گردش کار (Download Paper) 10th Annual Conference of Computer Society of Iran
13 طراحی تکاملی شمای پایگاه داده رابطه ای با استفادها ز ارزیابی کیفیت (Download Paper) 10th Annual Conference of Computer Society of Iran
14 معرفی سیستمهای ایی - آر - پی و روش ارزیابی و انتخاب آن برای سازمان ها (Download Paper) 10th Annual Conference of Computer Society of Iran
15 یک زبان توصیف معماری برای سیستم های قابل بازپیکربندی پویا (Download Paper) 12th Annual Conference of Computer Society of Iran