Turing machines on represented sets, a model of computation for Analysis - Nazanin Tavana; Klaus Weihrauch (Log. Methods Comput. Sci., 2011)

Compactness in first order Łukasiewicz logic. - Nazanin Tavana; Massoud Pourmahdian; Farzad Didehvar (Log. J. IGPL, 2012)

Compactness in first-order Gödel logics. - Massoud Pourmahdian; Nazanin Tavana (J. Log. Comput., 2013)

Representations of measurable sets in computable measure theory. - Klaus Weihrauch; Nazanin Roshandel Tavana (Log. Methods Comput. Sci., 2014)

Effective metric model theory. - Massoud Pourmahdian; Nazanin Tavana; Farzad Didehvar (Math. Struct. Comput. Sci., 2015)

From rational Gödel logic to ultrametric logic. - Seyed Amin Khatami; Massoud Pourmahdian; Nazanin Roshandel Tavana (J. Log. Comput., 2016)

A recursion theoretic foundation of computation over real numbers. - Keng Meng Ng; Nazanin Roshandel Tavana; Yue Yang 004 (J. Log. Comput., 2021)

The Craig interpolation property in first-order Gödel logic. - Nazanin Tavana; Massoud Pourmahdian; Seyed Amin Khatami (Fuzzy Sets Syst., 2024)

Some Model Theoretic Properties for Pavelka-Style Gödel Logic, RGL* and Gödel Logic with Δ. - Nazanin Roshandel Tavana (Axioms, 2024)