H. Mabuchi

Creation of ET Rules via Logical Equivalence

K. Akama, K. Miura, H. Mabuchi, 2007, Second International Conference on Innovative Computing, Informatio and Control (ICICIC 2007).

A programming language interpreter system based on equivalent transformation

K. Akama, H. Mabuchi, H. Koike, 2005, 2005 IEEE International Conference on Intelligent Engineering Systems, 2005. INES '05..

Detecting Incorrect Rules Automatically in Equivalent Transformation Programs

K. Akama, H. Mabuchi, S. Miyajima, 2007, Second International Conference on Innovative Computing, Informatio and Control (ICICIC 2007).

ETX - A Language for Processing of XML Data by ET Rules

Zheng Cheng, K. Akama, H. Mabuchi, 2008, 2008 3rd International Conference on Innovative Computing Information and Control.

Progress of AGC utilization techniques at plate mill of Oita works

H. Mabuchi, O. Dairiki, H. Nakamura, 1989 .

COOLING EQUIPMENT AND CONTROL SYSTEM OF THERMO-MECHANICAL CONTROL PROCESS DEVELOPED BY NIPPON STEEL FOR MANUFACTURE OF HIGH-QUALITY STEEL PLATES

H. Nakamura, H. Mabuchi, M. Kato, 1988 .

Parallel processing method based on equivalent transformation

K. Akama, H. Mabuchi, H. Koike, 2005, 2005 IEEE International Conference on Intelligent Engineering Systems, 2005. INES '05..

Effects of manganese on the L12 compound formation in Al3Ti-based alloys

H. Tsuda, M. Nakamoto, H. Mabuchi, 1996 .