- پنجشنبه، ۲۰ دی ۱۴۰۳
EN
FA
ورود
راهنما
Toggle navigation
صفحه اصلی
اساتید
پردیس و دانشکده ها
فعالیت های علمی
طرح های کاربردی
پایان نامه ها
افتخارات
مجید علی زاده
مرتبه علمی : دانشیار
دانشکدگان علوم / دانشکده ریاضی، آمار و علوم کامپیوتر
پست الکترونیکی
رزومه
دانلود
۱۲۴
ارجاعات
۶
h-Index
تا تاریخ :
۱۴۰۲/۱۱/۲۵
۲۵۹
ارجاعات
۷
h-Index
تا تاریخ :
۱۴۰۳/۱۰/۱۶
نمای کلی
کلمات کلیدی
شبکه همکاری
فعالیت های علمی
طرح های کاربردی
افتخارات
پایان نامه ها و رساله ها
آزمایشگاه ها/آتلیه ها
دروس ارائه شده
کلمات کلیدی
کلمات کلیدی بر اساس کلیدواژه های شاخص در پایان نامه های دانشجویان تحت نظر استاد می باشد.
مرتب براساس
وزن
حروف الفبا
تاریخ
وارسی مدل
درستی یابی صوری
تحلیل ایستا
درستی یابی برنامه های کامپیوتری
معناشناسی دلالتی
نظریه تعبیر مجرد
تجزیه بسته
natural language yu
formal verification
بوناچی
زبان طبیعی
model checking
نظریه تسویر تعمیم یافته
generalized quantifer theory
تجزیه خودمقلوب
تجزیه
abstract interpretation
c
ziv
bonacci words
m
واژه m
static analysis
formal verification of computer programs
closed words
crochemore factorization
denotational semantics
palindromic words
z
lempel factorization