فیلتر نتایج
مقاله ژورنالی
Using Static Information of Program s to Partition the Input Domain in Search based Test Data Generation
نویسندگان: Atieh Monemi-Bidgoli، Hassan Haghighi
سال انتشار 1399
محل انتشار: فصلنامه سیستم های اطلاعاتی و مخابرات شماره 4، دوره 8
تعداد صفحات: 12 | زبان: انگلیسی
مقاله کنفرانسی
Generating Game Map Layouts for Formally Specified Nonlinear Narratives
نویسندگان: Saeed Amiri-Chimeh، Hassan Haghighi، Mojtaba Vahidi-Asl
سال انتشار 1400
محل انتشار: هفتمین کنفرانس بین المللی بازی های رایانه ای، فرصت ها و چالش ها
تعداد صفحات: 9 | زبان: انگلیسی
مقاله کنفرانسی
Formal Development of Two Player Games: A Constructive Approach
نویسندگان: Hassan Haghighi، Seyyed Hassan Mirian-Hosseinabadi
سال انتشار 1385
محل انتشار: دوازدهمین کنفرانس سالانه انجمن کامپیوتر ایران
تعداد صفحات: 8 | زبان: انگلیسی
مقاله کنفرانسی
A Refinement Approach for Developing Probabilistic Programs
نویسندگان: Hassan Haghighi، Seyyed Hassan Mirian-Hosseinabadi
سال انتشار 1388
محل انتشار: چهاردهمین کنفرانس بین المللی سالانه انجمن کامپیوتر ایران
تعداد صفحات: 6 | زبان: انگلیسیمقاله ژورنالی
a bio-inspired self -configuring observer/controller for organic computing systems
نویسندگان: ali Tarihi، Hassan Haghighi، Fereidoon Shams Aliee
سال انتشار 1395
محل انتشار: فصلنامه سیستم های اطلاعاتی و مخابرات شماره 3، دوره 4
تعداد صفحات: 11 | زبان: انگلیسی