| 2016 | SMC | Discovering inductive theorems using rewriting induction. | Haruhiko Sato, Masahito Kurihara |
| 2015 | CADE | Encoding Dependency Pair Techniques and Control Strategies for Maximal Completion. | Haruhiko Sato, Sarah Winkler |
| 2015 | IJCAI | Crowdsourced Semantic Matching of Multi-Label Annotations. | Lei Duan, Satoshi Oyama, Masahito Kurihara, Haruhiko Sato |
| 2014 | SMC | Transfer learning based on the observation probability of each attribute. | Masahiro Suzuki, Haruhiko Sato, Satoshi Oyama, Masahito Kurihara |
| 2014 | SMC | Method sequence generation for multiple object states using dynamic symbolic execution. | Hiroki Takamatsu, Haruhiko Sato, Satoshi Oyama, Masahito Kurihara |
| 2014 | SMC | Monophonic sound source separation by non-negative sparse autoencoders. | Keiki Zen, Masahiro Suzuki, Haruhiko Sato, Satoshi Oyama, Masahito Kurihara |
| 2013 | IJCNN | An incremental self-organizing neural network based on enhanced competitive Hebbian learning. | Hao Liu, Masahito Kurihara, Satoshi Oyama, Haruhiko Sato |
| 2012 | SMC | Parallelization of termination checker for term rewriting system. | Rui Ding, Haruhiko Sato, Masahito Kurihara |
| 2012 | SMC | A robust energy artificial neuron based incremental self-organizing neural network with a dynamic structure. | Hao Liu, Haruhiko Sato, Satoshi Oyama, Masahito Kurihara |
| 2010 | SMC | Improvement and implementation of keyword programming. | Yusuke Sakamoto, Haruhiko Sato, Masahito Kurihara |
| 2009 | SMC | User-Friendly GUI in Software Model Checking. | Haruhiko Sato, Shoichi Yokoyama, Masahito Kurihara |
| 2008 | CADE | Multi-completion with Termination Tools (System Description). | Haruhiko Sato, Sarah Winkler, Masahito Kurihara, Aart Middeldorp |
| 2008 | SMC | Implementation and performance evaluation of multi-completion with termination checking. | Haruhiko Sato, Masahito Kurihara |
| 2006 | ICCE | 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 |
| 2001 | HCI | Study on menu usability and structural analysis. | Takuo Matsunobe, Haruhiko Sato |