(with M. Ardeshir) Decidability and Specker Sequences in Intuitionistic Mathematics, 2009, Mathematical Logic Quarterly.
(with M. Ardeshir) The double Negation of the Intermediate Value Theorem, 2010, Ann. Pure Appl. Logic.
Process Algebraic Modeling of Authentication Protocols for Analysis of Multiple Session Executions, 2010, ISECURE Journal.
Authentication in Parallel Multiple-Sessions Execution of Protocols, 2007, ISCISC Conference.
A Critique of Logics for Authentication in Formalizing Belief, 2005, ISCISC Conference.
(with M. Ardeshir) On the Constructive Notion of Closure Maps, To appear in Journal of Mathematical Logic Quarterly.
(with M. Ardeshir) A solution to the Surprise Exam Paradox in Constructive Mathematics, To appear in Journal of Review of Symbolic logic.
Computation Environment 1, An interactive Semantics for Turing Machines (which P is not equal to NP considering it), arXiv, 1205.5994v1. 2012.
Computation Environment 2, Persistently Evolutionary Semantics, arXiv, 1207.0051v1. 2012.
(with M. Ardeshir) Epistemic Learning Programs (A Calculus for Describing Epistemic Action Models), 2012, Submitted.
(with M. Amoozgar) A computational Modeling of Rumor Dissemination, 2012, submitted (done in CMAS lab).
(with Z. Shirmohammadi) A Proposed Optimization Algorithm based on Expansion of Fashion in Human Society, 2012, manuscript (done in CMAS Lab).
(with S. Feghhi), A Punishment Normative System on multi-agent Markov chain processes, 2012, manuscript (done in CMAS Lab).
A short study of Suhrawardi’s Philosophy, 2011, manuscript, Persian.