مجید علی زاده

مجید علی زاده

مرتبه علمی : دانشیار
دانشکدگان علوم / دانشکده ریاضی، آمار و علوم کامپیوتر
Scopus
  • ۱۲۴ ارجاعات
  • ۶ h-Index
تا تاریخ : ۱۴۰۲/۱۱/۲۵
Google Scholar
  • ۲۵۹ ارجاعات
  • ۷ 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