Journal Paper

1. "Correctness checking of a quantum protocol for reliable communications via feedback"
   Hadi Farahani, Hossein Mahan
   Afrika Matematika, Vol. 30, pp.681-690, 2019
2. "Some Improvements in Fuzzy Turing Machines"
   Hadi Farahani
   Iranian Journal of Fuzzy Systems, Vol. 16, pp.49-60, 2019
3. "A numerical method based on rational Gegenbauer functions for solving boundary layer flow of a Powell-Eyring non-Newtonian fluid"
   Kourosh Parand, Arman Bahramnezhad Goje Beygli, Hadi Farahani
   COMPUTATIONAL and APPLIED MATHEMATICS, Vol. 37, pp.6053-6075, 2018
4. "Meta-type Fuzzy Computations and Fuzzy Complexity"
   Hadi Farahani
   JOURNAL OF INTELLIGENT and FUZZY SYSTEMS, Vol. 34, pp.81-92, 2018
5. "Temporal Logic of Common Knowledge and Its Resolution-Based Proof Method"
   Hadi Farahani,
   JOURNAL OF INTELLIGENT and FUZZY SYSTEMS, Vol. 35, pp.5507-5522, 2018
6. "Neutrosophic deductive filters on BL-algebras"
   Rajabali Borzooei, Hadi Farahani, Morteza Moniri
   JOURNAL OF INTELLIGENT and FUZZY SYSTEMS, Vol. 26, pp.2993-3004, 2014
7. "n-Fold filters of MTL-algebras"
   Zahiri, Hadi Farahani
   Afrika Matematika, Vol. 10, pp.1-10, 2013
8. "Algebraic view of MTL-filters"
   Hadi Farahani, Omid Zoheyri
   Annals of the University of Craiova, Mathematics and Computer Science Series, Vol. 40, pp.34-44, 2013
9. "Head space solid phase microextraction based on nano-structured lead dioxide Application to the speciation of volatile oranoselenium in environmental and biological samples"
   Ensieh Ghasemi, Hadi Farahani
   JOURNAL OF CHROMATOGRAPHY A, Vol. 1258, pp.16-20, 2012
10. "Glivenko s Theorems and Negative Translations in Predicate Substructural predicate Logics"
    Hadi Farahani, Hiroakira Ono
    ARCHIVE FOR MATHEMATICAL LOGIC, Vol. 51, pp.695-707, 2012
11. "Logical characterization of fillters on BL-algebras"
    Morteza Moniri, Hadi Farahani, Rajabali Borzooei
    JOURNAL OF MULTIPLE-VALUED LOGIC AND SOFT COMPUTING, Vol. 20, pp.75-87, 2012

Conference Paper

1. "An Alternating Qubit Protocol and Its Correctness Checking"
   Hadi Farahani, Hossein Mahan
   2017 International Symposium on Computer Science and Software Engineering Conference (CSSE), 2017
2. "A FUZZY EPISTEMIC LOGIC."
   Hadi Farahani, AmirHossein Sharafi, Rajabali Borzooei
   International Conference on Mathematics of Fuzziness, 2016
3. "Substucturul view of Glivenko theorems and negative translations"
   Hadi Farahani, Hiroakira Ono
   013 EUROPEAN SUMMER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC LOGIC COLLOQUIUM 13 Evora Portugal July 22 27 2013, No 20 , pp.227-228, 2013
4. ""
   Hadi Farahani, mansoor hasanzadeh
   , 2022
5. ""
   Iman Parhizkari, Saeed Reza Kheradpisheh, Hadi Farahani
   26th International Computer Conference, Computer Society of Iran, 2021
6. ""
   Doratossadat Dastgheib, Hadi Farahani
   , pp.13-18, 2020
7. "A Fuzzy Anonymity Protocol and Its Analysis Using DEGP"
   Hadi Farahani, Saman Moshiri
   6th Iranian Joint Congress on Fuzzy and Intelligent Systems, 2018
8. ""
   Saman Moshiri, Hadi Farahani
   48th Annual Iranian mathematics conference, 2017
9. ""
   Zeynab Hafezi, Hadi Farahani
   48th Annual Iranian mathematics conference, 2017
10. "A fuzzy Dining Cryptographers Protocol and Its Verification"
    Hadi Farahani, Saman Moshiri
    48th Annual Iranian mathematics conference, 2017
11. "Meta Fuzzy Turing Machines a Fuzzu Complexity Approach"
    Hadi Farahani, Kobra Samadi, Zeynab Hafezi, Shima Nobakhtian
    , 2017
12. "A Fuzzy Epistemic Logic"
    AmirHossein Sharafi, Rajabali Borzooei, Hadi Farahani
    International Conference on Mathematics of Fuzziness, 2016
13. "An Extended Fuzzy Turing Machine"
    Hadi Farahani, Sayyed Mahmoud Mousavi
    International Conference on Mathematics of Fuzziness, 2016
14. ""
    Hadi Farahani, Mohammad Reza Seddighin, Sayyed Mahmoud Mousavi
    , 2015
15. ""
    Hadi Farahani, Hossein Mahan
    , 2015
16. "Fuzzy Kripke Models for a Fragment of BL"
    Hadi Farahani
    , 2014
17. "Deductive filters on BL-Algebras"
    Hadi Farahani
    , 2010