Validation Method for Intelligent Systems. - Setsuo Tsuruta; Takashi Onoyama; Sen Kubota; Kazuko Oyanagi (FLAIRS, 2000)

A method for solving nested combinatorial optimization problems - a case of optimizing a large-scale distribution network. - Takashi Onoyama; Sen Kubota; Kazuko Oyanagi; Setsuo Tsuruta (SMC, 2000)

A knowledge-based method for validating specifications including open parts. - Reki Yamamoto; Setsuo Tsuruta; Takashi Onoyama; Kazuko Oyanagi (SMC, 2000)

Knowledge-Embedded Multi-Stage Genetic Algorithm for Interactively Optimizing a Large-Scale Distribution Network. - Takashi Onoyama; Sen Kubota; Kazuko Oyanagi; Setsuo Tsuruta (FLAIRS, 2001)

Multiparty DSA Signature Generation without Simultaneous User Operations. - Yoshiki Sameshima; Hideaki Saisho; Kazuko Oyanagi; Tsutomu Matsumoto (IEICE Trans. Inf. Syst., 2004)

Dynamic Information Flow Control Architecture for Web Applications. - Sachiko Yoshihama; Takeo Yoshizawa; Yuji Watanabe; Michiharu Kudo; Kazuko Oyanagi (ESORICS, 2007)