| * | 2009 |
|---|
| 5 | EE | Haruhiko Sato,
Masahito Kurihara,
Sarah Winkler,
Aart Middeldorp:
Constraint-Based Multi-Completion Procedures for Term Rewriting Systems.
IEICE Transactions 92-D(2): 220-234 (2009) |
| 2008 |
|---|
| 4 | EE | Haruhiko Sato,
Sarah Winkler,
Masahito Kurihara,
Aart Middeldorp:
Multi-completion with Termination Tools (System Description).
IJCAR 2008: 306-312 |
| 3 | | Haruhiko Sato,
Masahito Kurihara:
Design and Implementation of Multi-Completion Procedures with Termination Checking.
TMFCS 2008: 33-40 |
| 2006 |
|---|
| 2 | | Yuri Nishihori,
Keizo Nagaoka,
Nozomu Nishinaga,
Kenji Tanaka,
Yuichi Yamamoto,
Haruhiko Sato,
Masahiro Harada,
Ruimin Shen,
Jinjin Feng,
Myunghee Ju Kang:
Enabling a Multilateral Distance Class between China, Korea and Japan: Effective Utilization of Networking Technologies.
ICCE 2006: 383-386 |
| 2001 |
|---|
| 1 | | Takuo Matsunobe,
Haruhiko Sato:
Study on menu usability and structural analysis.
HCI 2001: 41-45 |
