MKit simulator for introduction of computer architecture. - Seikoh Nishita (WCAE, 2004)

Inference Scheme for Order-Sorted Logic Using Noun Phrases with Variables as Sorts. - Masaki Kitano; Seikoh Nishita; Tsutomu Ishikawa (MICAI, 2006)

More Precise Analysis of Dynamically Generated String Expressions in Web Applications with Input Validation. - Seikoh Nishita (IEICE Trans. Inf. Syst., 2013)

String Figure Simulation with Multiresolution Wire Model. - Seikoh Nishita (ICSCA, 2023)