| 2006 |
| 8 | EE | Tadashi Takahashi,
Hidetsune Kobayashi:
The Effect of the Theorem Prover in Cognitive Science.
International Conference on Computational Science (1) 2006: 924-927 |
| 2003 |
| 7 | EE | Yuebin Bai,
Hidetsune Kobayashi:
New String Matching Technology for Network Security.
AINA 2003: 198-201 |
| 6 | EE | Yuebin Bai,
Hidetsune Kobayashi:
Intrusion Detection System: Technology and Development.
AINA 2003: 710-715 |
| 1998 |
| 5 | | Hidetsune Kobayashi,
Hideo Suzuki,
Yoshihiko Sakai:
Numerical calculation of the multiplicity of a solution to algebraic equations.
Math. Comput. 67(221): 257-270 (1998) |
| 1993 |
| 4 | | Hirokazu Murao,
Hidetsune Kobayashi,
Tetsuro Fujise:
On Factorizing the Symbolic U-Resultant - Application of the ddet Operator -.
J. Symb. Comput. 15(2): 123-142 (1993) |
| 1989 |
| 3 | | Hidetsune Kobayashi,
Shuichi Moritsugu,
Robert W. Hogan:
On Radical Zero-Dimensional Ideals.
J. Symb. Comput. 8(6): 545-552 (1989) |
| 1988 |
| 2 | | Hidetsune Kobayashi,
Shuichi Moritsugu,
Robert W. Hogan:
Solving Systems of Algebraic Equations.
ISSAC 1988: 139-149 |
| 1 | | Hidetsune Kobayashi,
Tetsuro Fujise,
Akio Furukawa:
Solving Systems of Algebraic Equations by a General Elimination Method.
J. Symb. Comput. 5(3): 303-320 (1988) |