مقالات علمی چاپ شده در مجلات

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

مقالات علمی ارائه شده در همایش‌ها

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. "مقایسه شبکه های عصبی بازگشتی LSTM و GRU در پیش بینی قیمت جفت ارز طلا-دلار"
   هادی فراهانی، منصور حسن زاده
   هفتمین همایش ریاضیات و علوم انسانی، ریاضیات مالی، 1401
5. "یادگیری تاخیرسیناپسی در شبکه های عصبی ضربه ای"
   ایمان پرهیزکاری، سعیدرضا خردپیشه، هادی فراهانی
   بیست و ششمین کنفرانس بین المللی کامپیوتر، انجمن کامپیوتر ایران، 1399
6. "رویکری بر پروتکل تمییزناپذیری تحت حمله? متن اصلی منتخب با توسیع شناختی منطق وکاشیویچ"
   دره السادات دستغیب، هادی فراهانی
   دومین همایش ملی انفورماتیک، صفحات:13-18، 1399
7. "A Fuzzy Anonymity Protocol and Its Analysis Using DEGP"
   هادی فراهانی، سامان مشیری
   ششمین کنگره مشترک سیستمهای فازی و هوشمند ایران، 1396
8. "منطق زمانی دانش عمومی و تحلیل گمنامی شام رمزنگاران برپایه آن"
   سامان مشیری، هادی فراهانی
   چهل و هشتمین کنفرانس ریاضی ایران، 1396
9. "A fuzzy Dining Cryptographers Protocol and Its Verification"
   هادی فراهانی، سامان مشیری
   چهل و هشتمین کنفرانس ریاضی ایران، 1396
10. "پروتکل هایی برای محاسبات کوانتومی واگذارشده ی کور برای محاسبه ی NAND"
    زینب حافظی، هادی فراهانی
    چهل و هشتمین کنفرانس ریاضی ایران، 1396
11. "ابرماشین های تورینگ فازی، یک رهیافت پیچیدگی فازی"
    هادی فراهانی، کبری صمدی، زینب حافظی، شیما نوبختیان
    پنجمین کنگره مشترک سیستم های فازی و هوشمند ایران، 1395
12. "یک ماشین تورینگ فازی توسیع یافته"
    هادی فراهانی، سیدمحمود موسوی
    کنفرانس بین المللی ریاضیات فازی، 1395
13. "یک منطق شناختی فازی"
    امیرحسین شرفی، رجبعلی برزوئی، هادی فراهانی
    کنفرانس بین المللی ریاضیات فازی، 1395
14. "بررسی صحت پروتکل کلید عمومی نیدهام-شرودر با استفاده از جبرپردازه ACP"
    هادی فراهانی، محمدرضا صدیقین، سیدمحمود موسوی
    چهل و ششمین کنفرانس ریاضی ایران، 1394
15. "گمنامی کوانتومی بر پایه مساله شام رمزنگاران"
    هادی فراهانی، حسین ماهان
    چهل و ششمین کنفرانس ریاضی ایران، 1394
16. "مدل های کریپکی فازی برای زیر نظریه ای از بی ال"
    هادی فراهانی
    هفتمین سمینار تخصصی ابرساختارهای جبری و ریاضیات فازی، 1393
17. "فیلترهای استنتاجی روی بی ال- جبرها"
    هادی فراهانی
    اولین سمینار منطق ریاضی تبریز، 1389