Solving Systems of Algebraic Equations. - Hidetsune Kobayashi; Shuichi Moritsugu; Robert W. Hogan (ISSAC, 1988)

Solving Systems of Algebraic Equations by a General Elimination Method. - Hidetsune Kobayashi; Tetsuro Fujise; Akio Furukawa (J. Symb. Comput., 1988)

On Radical Zero-Dimensional Ideals. - Hidetsune Kobayashi; Shuichi Moritsugu; Robert W. Hogan (J. Symb. Comput., 1989)

On Factorizing the Symbolic U-Resultant - Application of the ddet Operator -. - Hirokazu Murao; Hidetsune Kobayashi; Tetsuro Fujise (J. Symb. Comput., 1993)

Numerical calculation of the multiplicity of a solution to algebraic equations. - Hidetsune Kobayashi; Hideo Suzuki; Yoshihiko Sakai (Math. Comput., 1998)

New String Matching Technology for Network Security. - Yuebin Bai; Hidetsune Kobayashi (AINA, 2003)

Intrusion Detection System: Technology and Development. - Yuebin Bai; Hidetsune Kobayashi (AINA, 2003)

Groups, Rings and Modules. - Hidetsune Kobayashi; L. Chen; Hirokazu Murao (Arch. Formal Proofs, 2004)

The Effect of the Theorem Prover in Cognitive Science. - Tadashi Takahashi; Hidetsune Kobayashi (International Conference on Computational Science (1), 2006)

Fundamental Properties of Valuation Theory and Hensel's Lemma. - Hidetsune Kobayashi (Arch. Formal Proofs, 2007)

Valuation Theory. Part I. - Grzegorz Bancerek; Hidetsune Kobayashi; Artur Kornilowicz (Formaliz. Math., 2012)