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)

Time-aware outlier detection in health physique monitoring in edge-aided sport education decision-makings. - Yanjie Li; Liqin Kang; Zhaojin Li; Fugao Jiang; Nan Bi; Tao Du; Maryam Abiri (J. Cloud Comput., 2024)

Enhancing multimedia management: cloud-based movie type recognition with hybrid deep learning architecture. - Fangru Lin; Jie Yuan; Zhiwei Chen; Maryam Abiri (J. Cloud Comput., 2024)