Preservation theorems for Kripke models. - Morteza Moniri; Mostafa Zaare (Math. Log. Q., 2009)

Homomorphisms and chains of Kripke models. - Morteza Moniri; Mostafa Zaare (Arch. Math. Log., 2011)

Extensions of Kripke models. - Mostafa Zaare (Log. J. IGPL, 2017)

From forcing to satisfaction in Kripke models of intuitionistic predicate logic. - Maryam Abiri; Morteza Moniri; Mostafa Zaare (Log. J. IGPL, 2018)

Forcing and satisfaction in Kripke models of intuitionistic arithmetic. - Maryam Abiri; Morteza Moniri; Mostafa Zaare (Log. J. IGPL, 2019)

Artificial rabbits optimization algorithm with automatically DBSCAN clustering algorithm to similarity agent update for features selection problems. - Ali Hamdipour; Abdolali Basiri; Mostafa Zaare; Seyedali Mirjalili (J. Supercomput., 2025)