Login / Signup
Gholamreza Sotudeh
ORCID
Publication Activity (10 Years)
Years Active: 2015-2022
Publications (10 Years): 3
Top Topics
Mazurkiewicz Traces
Temporal Logic
Topology Preserving
Cellular Automata
Top Venues
Formal Aspects Comput.
Acta Informatica
Knowl. Based Syst.
</>
Publications
</>
Mohammad Amin Pirbonyeh
,
Mohammad Amin Shayegan
,
Gholamreza Sotudeh
,
Shahab Shamshirband
Heterogeneous domain adaptation by Features Normalization and Data Topology Preserving.
Knowl. Based Syst.
257 (2022)
Masoud Ebrahimi
,
Gholamreza Sotudeh
,
Ali Movaghar
Symbolic checking of Fuzzy CTL on Fuzzy Program Graph.
Acta Informatica
56 (1) (2019)
Gholamreza Sotudeh
,
Ali Movaghar
Abstraction and approximation in fuzzy temporal logics and models.
Formal Aspects Comput.
27 (2) (2015)