قاله‌ی آقای علیرضا روحی با عنوان «A model-based framework for automatic generation of a pattern language verifier»برای چاپ در مجلهی Software: Practice and Experience پذیرفته شد.
پذیرش مقاله‌ی آقای علیرضا روحی در مجلهی Software: Practice and Experience
اخبار
دفاع از پایاننامه دکتری توسط خانم سمانه حسیندوست
اسفند 27, 1402
پذیرش دکتر عاطفه نیرومند برای دوره پسادکتری
بهمن 18, 1402
دفاع از پایاننامه دکتری توسط آقای میثم کریمی
بهمن 2, 1402
پذیرش مقاله‌ی خانم سمانه حسیندوست در مجلهی SIMPAT
آذر 17, 1402
جلسه گروهی شماره 66
آبان 30, 1402
پذیرش مقاله‌ی آقای میثم کریمی در مجلهی JSS
آبان 9, 1402
پذیرش مقاله‌ی دکتر حیان حسن در مجلهی JISA
مهر 19, 1402
پذیرش مقاله آقای محسن غلامی در کنفرانس IoT 2023
شهریور 25, 1402
جلسه گروهی شماره 65
شهریور 23, 1402
پذیرش مقاله‌ی آقای محمدسجاد کسائی در کنفرانس ICCKE 2023
شهریور 21, 1402
دفاع از پایاننامه کارشناسی ارشد توسط خانم زهرا اصلانی
شهریور 21, 1402
دفاع از پایاننامه کارشناسی ارشد توسط آقای امیررضا پاینده
شهریور 13, 1402
دفاع از پایاننامه کارشناسی ارشد توسط آقای محمدرضا اسدی
بهمن 30, 1401
دفاع از پایاننامه کارشناسی ارشد توسط خانم کیمیا کلاهدوز
بهمن 13, 1401
دفاع از پایاننامه دکتری توسط خانم عاطفه نیرومند
دی 26, 1401
پذیرش مقاله خانم سارا ادیب در کنفرانس IKT 2022
آذر 7, 1401
دفاع از پایاننامه دکتری توسط آقای محمدرضا شعرباف
آبان 9, 1401
پذیرش مقاله خانم عاطفه نیرومند در مجله SPE
آبان 4, 1401
دفاع از پایاننامه کارشناسی ارشد توسط آقای محمدرضا طالبی
شهریور 30, 1401
