Temporal Pattern Discrimination Using the Brain Mimic Processor. - Sei Takahashi; Hiroshi Hakoda; Yoshifumi Sekine (ICONIP, 1998)

Development of a Fail-Safe Microprocessor LSI with Self-Diagnosis Mechanism Depending on an M-Sequence Code Signature. - Sei Takahashi; Munehisa Taira; Hidetaka Saegusa; Takehiko Hoshino; Hideo Nakamura (PRDC, 2001)

A neural net architecture for hardware implementation of a temporal pattern discrimination model. - Sei Takahashi; Yoshifumi Sekine (Syst. Comput. Jpn., 2004)

Toward developing a Decentralized Railway Signalling System Using Petri Nets. - Xinhong Hei 001; Sei Takahashi; Hideo Nakamura (RAM, 2008)

Study on Formal Specification of Automatic Train Protection and Block System for Local Line. - Guo Xie; Akira Asano; Sei Takahashi; Hideo Nakamura (SSIRI (Companion), 2011)

A Strategy to Formalize Specification and Its Application to an Advanced Railway System. - Guo Xie; Xinhong Hei 001; Sei Takahashi; Hideo Nakamura (Int. J. Softw. Eng. Knowl. Eng., 2014)

Safety and Reliability Estimation of Automatic Train Protection and Block System. - Guo Xie; Xinhong Hei 001; Hiroshi Mochizuki; Sei Takahashi; Hideo Nakamura (Qual. Reliab. Eng. Int., 2014)

Data-Based Axle Temperature Prediction of High Speed Train by Multiple Regression Analysis. - Guo Xie; Zhuxin Wang; Xinhong Hei 001; Sei Takahashi; Hideo Nakamura (CIS, 2016)

Six-Assurance Case Patterns by Strengthening/Weakening Argument. - Tsutomu Koshiyama; Sei Takahashi (Int. J. Syst. Softw. Secur. Prot., 2021)