Study on menu usability and structural analysis. - Takuo Matsunobe; Haruhiko Sato (HCI, 2001)

A Web-based home welfare and care services request system using a pen type image sensor. - Hidekuni Ogawa; Hiromichi Maki; Ishio Ninomiya; Yoshiharu Yonezawa; Haruhiko Sato; W. Morton Caldwell (CCNC, 2004)

Enabling a Multilateral Distance Class between China, Korea and Japan: Effective Utilization of Networking Technologies. - Yuri Nishihori; Keizo Nagaoka; Nozomu Nishinaga; Kenji Tanaka; Yuichi Yamamoto; Haruhiko Sato; Masahiro Harada; Ruimin Shen; Jinjin Feng; Myunghee Ju Kang (ICCE, 2006)

Multi-completion with Termination Tools (System Description). - Haruhiko Sato; Sarah Winkler; Masahito Kurihara; Aart Middeldorp (IJCAR, 2008)

Implementation and performance evaluation of multi-completion with termination checking. - Haruhiko Sato; Masahito Kurihara (SMC, 2008)

Design and Implementation of Multi-Completion Procedures with Termination Checking. - Haruhiko Sato; Masahito Kurihara (TMFCS, 2008)

User-Friendly GUI in Software Model Checking. - Haruhiko Sato; Shoichi Yokoyama; Masahito Kurihara (SMC, 2009)

Constraint-Based Multi-Completion Procedures for Term Rewriting Systems. - Haruhiko Sato; Masahito Kurihara; Sarah Winkler; Aart Middeldorp (IEICE Trans. Inf. Syst., 2009)

Optimizing mkbTT. - Sarah Winkler; Haruhiko Sato; Aart Middeldorp; Masahito Kurihara (RTA, 2010)

Improvement and implementation of keyword programming. - Yusuke Sakamoto; Haruhiko Sato; Masahito Kurihara (SMC, 2010)

Multi-Context Rewriting Induction with Termination Checkers. - Haruhiko Sato; Masahito Kurihara (IEICE Trans. Inf. Syst., 2010)

Global Teacher Training Based on a Multiple Perspective Assessment: A Knowledge Building Community for Future Assistant Language Teachers. - Yuri Nishihori; Chizuko Kushima; Yuichi Yamamoto; Haruhiko Sato; Satoko Sugie (Int. J. Inf. Syst. Soc. Chang., 2011)

Parallelization of termination checker for term rewriting system. - Rui Ding; Haruhiko Sato; Masahito Kurihara (SMC, 2012)

A robust energy artificial neuron based incremental self-organizing neural network with a dynamic structure. - Hao Liu; Haruhiko Sato; Satoshi Oyama; Masahito Kurihara (SMC, 2012)

An incremental self-organizing neural network based on enhanced competitive Hebbian learning. - Hao Liu; Masahito Kurihara; Satoshi Oyama; Haruhiko Sato (IJCNN, 2013)

Landmark FN-DBSCAN: An Efficient Density-Based Clustering Algorithm with Fuzzy Neighborhood. - Hao Liu; Satoshi Oyama; Masahito Kurihara; Haruhiko Sato (J. Adv. Comput. Intell. Intell. Informatics, 2013)

Multi-Completion with Termination Tools. - Sarah Winkler; Haruhiko Sato; Aart Middeldorp; Masahito Kurihara (J. Autom. Reason., 2013)

Transfer learning based on the observation probability of each attribute. - Masahiro Suzuki; Haruhiko Sato; Satoshi Oyama; Masahito Kurihara (SMC, 2014)

Method sequence generation for multiple object states using dynamic symbolic execution. - Hiroki Takamatsu; Haruhiko Sato; Satoshi Oyama; Masahito Kurihara (SMC, 2014)

Monophonic sound source separation by non-negative sparse autoencoders. - Keiki Zen; Masahiro Suzuki; Haruhiko Sato; Satoshi Oyama; Masahito Kurihara (SMC, 2014)

Separate or joint? Estimation of multiple labels from crowdsourced annotations. - Lei Duan; Satoshi Oyama; Haruhiko Sato; Masahito Kurihara (Expert Syst. Appl., 2014)

Encoding Dependency Pair Techniques and Control Strategies for Maximal Completion. - Haruhiko Sato; Sarah Winkler (CADE, 2015)

Crowdsourced Semantic Matching of Multi-Label Annotations. - Lei Duan; Satoshi Oyama; Masahito Kurihara; Haruhiko Sato (IJCAI, 2015)

Multi-Emotion Estimation in Narratives from Crowdsourced Annotations. - Lei Duan; Satoshi Oyama; Haruhiko Sato; Masahito Kurihara (JCDL, 2015)

Discovering inductive theorems using rewriting induction. - Haruhiko Sato; Masahito Kurihara (SMC, 2016)

Fine-tuning deep convolutional neural networks for distinguishing illustrations from photographs. - Gota Gando; Taiga Yamada; Haruhiko Sato; Satoshi Oyama; Masahito Kurihara (Expert Syst. Appl., 2016)

Multi-Context Automated Lemma Generation for Term Rewriting Induction with Divergence Detection. - Chengcheng Ji; Masahito Kurihara; Haruhiko Sato (IEICE Trans. Inf. Syst., 2019)

Discovering conditional properties of recursive functions in a proof assistant. - Haruhiko Sato; Natsuo Ishii (SCIS/ISIS, 2020)