Backpropagation Algorithm for Logic Oriented Neural Networks. - Takeshi Kamio; Shinichiro Tanaka; Mititada Morisue (IJCNN (2), 2000)

Examining the Effect of Connecting Auxiliary Lanes on Mitigation of Expressway Traffic Congestion. - Hisanaga Sato; Jian Xing; Shinichiro Tanaka; Kazuteru Morikita (Int. J. Intell. Transp. Syst. Res., 2011)

Effective Kan Fibrations for W-Types in Homotopy Type Theory. - Shinichiro Tanaka (TYPES, 2024)