Object Detection Based on Multiresolution CoHOG. - Sohei Iwata; Shuichi Enokida (ISVC (2), 2014)

Multi-population differential evolutionary particle swarm optimization for distribution state estimation using correntropy in electric power systems. - Sohei Iwata; Yoshikazu Fukuyama; Toru Jintsugawa; Hisashi Fujimoto; Tetsuro Matsui (SSCI, 2017)

On arithmetical completeness of the logic of proofs. - Sohei Iwata; Taishi Kurahashi (Ann. Pure Appl. Log., 2019)

Topological semantics of conservativity and interpretability logics. - Sohei Iwata; Taishi Kurahashi (J. Log. Comput., 2021)

The fixed point and the Craig interpolation properties for sublogics of bfIL. - Sohei Iwata; Taishi Kurahashi; Yuya Okawa (Arch. Math. Log., 2024)

The persistence principle over weak interpretability logic. - Sohei Iwata; Taishi Kurahashi; Yuya Okawa (Math. Log. Q., 2024)