Glivenko theorems and negative translations in substructural predicate logics. - Hadi Farahani; Hiroakira Ono (Arch. Math. Log., 2012)

Logical Characterization of Filters on BL-algebras. - M. Moniri; Hadi Farahani; Rajab Ali Borzooei (J. Multiple Valued Log. Soft Comput., 2012)

Neutrosophic deductive filters on BL-algebras. - Rajab Ali Borzooei; Hadi Farahani; M. Moniri (J. Intell. Fuzzy Syst., 2014)

An Alternating Qubit Protocol and Its Correctness Checking. - Hadi Farahani (CoRR, 2016)

Some Improvements in Fuzzy Turing Machines. - Hadi Farahani (CoRR, 2017)

Meta-type fuzzy computations and fuzzy complexity. - Hadi Farahani (J. Intell. Fuzzy Syst., 2018)

Temporal logic of common knowledge and its resolution-based proof method. - Hadi Farahani; Saman Moshiri (J. Intell. Fuzzy Syst., 2018)

Doxastic Extensions of Łukasiewicz Logic. - Doratossadat Dastgheib; Hadi Farahani (CoRR, 2021)

A Privacy Preserving IoT Data Marketplace Using IOTA Smart Contracts. - Hadi Farahani; Hamid Reza Shahriari (CoRR, 2022)

Doxastic Lukasiewicz Logic with Public Announcement. - Doratossadat Dastgheib; Hadi Farahani (CoRR, 2023)

Automatic Cadastral Boundary Detection of Very High Resolution Images Using Mask R-CNN. - Neda Rahimpour Anaraki; Alireza Azadbakht; Maryam Tahmasbi; Hadi Farahani; Saeed Reza Kheradpisheh; Alireza Javaheri (CoRR, 2023)

Imbalance factor: a simple new scale for measuring inter-class imbalance extent in classification problems. - Mohsen Pirizadeh; Hadi Farahani; Saeed Reza Kheradpisheh (Knowl. Inf. Syst., 2023)

Preoperative lower limb kinematic analysis in spinal sagittal imbalance using machine learning and IMU sensors. - Sadegh Madadi; Mostafa Rostami; Hadi Farahani; Farshad Nikouee; Mohammad Samadian; Ram Haddas (Signal Image Video Process., 2025)