Intuitionistic Open Induction and Least Number Principle and the Buss Operator. - Mohammad Ardeshir; Mojtaba Moniri (Notre Dame J. Formal Log., 1998)

Some Weak Fragments of HA and Certain Closure Properties. - Morteza Moniri; Mojtaba Moniri (J. Symb. Log., 2002)

Expansions of ordered fields without definable gaps. - Jafar S. Eivazloo; Mojtaba Moniri (Math. Log. Q., 2003)

Iterations, Wolfram Sequences and Approximate Closed Formulas. - Mojtaba Moniri (Complex Syst., 2017)

On definable completeness for ordered fields. - Mojtaba Moniri (Reports Math. Log., 2019)

Limit cycles and their period detection via numeric and symbolic hybrid computations. - Mojtaba Moniri; Saman Moniri (Commun. Nonlinear Sci. Numer. Simul., 2020)

Corrigendum to "On Definable Completeness for Ordered Fields" RML, 54 (2019), 95-100. - Mojtaba Moniri (Reports Math. Log., 2021)