Abstraction and approximation in fuzzy temporal logics and models. - Gholamreza Sotudeh; Ali Movaghar 001 (Formal Aspects Comput., 2015)

Symbolic checking of Fuzzy CTL on Fuzzy Program Graph. - Masoud Ebrahimi 002; Gholamreza Sotudeh; Ali Movaghar 001 (Acta Informatica, 2019)

Heterogeneous domain adaptation by Features Normalization and Data Topology Preserving. - Mohammad Amin Pirbonyeh; Mohammad Amin Shayegan; Gholamreza Sotudeh; Shahab Shamshirband (Knowl. Based Syst., 2022)