Object-Oriented Database management System for Process Control Systems: Development and Evaluation. - Ryuji Wakizono; Toshikazu Kawamura; Takehiko Tsuchiya; Takahiro Hatanaka; Tatsuji Tanaka (SAC, 1999)

Network Integrated Supervisory Control for Power Systems Based on Distributed Objects. - Tomomichi Seki; Takehiko Tsuchiya; Tatsuji Tanaka; Hadime Watanabe; Toshibumi Seki (SAC (2), 2000)

Extended abstract: transition traversal coverage estimation for symbolic model checking. - Xingwen Xu; Shinji Kimura; Kazunari Horikawa; Takehiko Tsuchiya (MEMOCODE, 2005)

Transition-based coverage estimation for symbolic model checking. - Xingwen Xu; Shinji Kimura; Kazunari Horikawa; Takehiko Tsuchiya (ASP-DAC, 2006)

Coverage Estimation Using Transition Perturbation for Symbolic Model Checking in Hardware Verification. - Xingwen Xu; Shinji Kimura; Kazunari Horikawa; Takehiko Tsuchiya (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2006)