Masahito Kurihara

	2009
27		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
26		Haruhiko Sato, Sarah Winkler, Masahito Kurihara, Aart Middeldorp: Multi-completion with Termination Tools (System Description). IJCAR 2008: 306-312
25		Hiroyuki Kido, Masahito Kurihara: Computational Dialectics Based on Specialization and Generalization - A New Reasoning Method for Conflict Resolution. JSAI 2008: 228-241
24		Haruhiko Sato, Masahito Kurihara: Design and Implementation of Multi-Completion Procedures with Termination Checking. TMFCS 2008: 33-40
23		Ayako Omura, Hirofumi Shiozaki, Shigeo Hara, Tohru Kawamoto, Akihito Gotoh, Masahito Kurihara, Masaomi Sakamoto, Hisashi Tanaka: Electrochromic Thin Film of Water-Dispersible Prussian-Blue Nanoparticles. IEICE Transactions 91-C(12): 1887-1888 (2008)
	2006
22		Masato Noto, Masahito Kurihara: Experimental study of hybrid-type distributed maximal constraint satisfaction algorithm. ACST 2006: 67-72
21		Shinpei Hayashi, Motoshi Saeki, Masahito Kurihara: Supporting Refactoring Activities Using Histories of Program Modification. IEICE Transactions 89-D(4): 1403-1412 (2006)
20		Yasuhiro Sudo, Masahito Kurihara, Tamotsu Mitamura: Extending Fuzzy Constraint Satisfaction Problems. JACIII 10(4): 465-471 (2006)
	2005
19		Ai Noshiro, Takeshi Yoshikawa, Masahito Kurihara: Analysis of Connectedness of the Fixed Radius Random Graph Model in One-dimensional Space. WSTST 2005: 1288-1296
18		Hiroaki Oumi, Tamotsu Mitamura, Masahito Kurihara, Takafumi Oohori, Takeshi Yoshikawa: Characteristic Analysis of Agents in Adaptive Consensus Formation Models. WSTST 2005: 1329-1337
17		Yasuhiro Sudo, Masahito Kurihara, Tamotsu Mitamura: Spread-Repair Algorithm for Solving Extended Fuzzy Constraint Satisfaction Problems. WSTST 2005: 914-923
	2004
16		Masahito Kurihara, Hisashi Kondo: Efficient BDD Encodings for Partial Order Constraints with Application to Expert Systems in Software Verification. IEA/AIE 2004: 827-837
15		Hidetoshi Nonaka, Masahito Kurihara: Sensing Pressure for Authentication System Using Keystroke Dynamics. International Conference on Computational Intelligence 2004: 19-22
14		Hidetoshi Nonaka, Masahito Kurihara: Time-Frequency Decomposition in Gesture Recognition System Using Accelerometer. KES 2004: 1072-1078
13		Masahito Kurihara, Hidetoshi Nonaka, Takeshi Yoshikawa: Use of highly accurate GPS in network-based barrier-free street map creation system. SMC (2) 2004: 1169-1173
	2003
12		Masahito Kurihara, Masanobu Numazawa: Logic for Multi-path Message Forwarding Networks for Mobile Agents. ISMIS 2003: 374-383
11		Hidetoshi Nonaka, Masahito Kurihara: Eye-Contact Based Communication Protocol in Human-Agent Interaction. IVA 2003: 106-110
10		Jun-ichi Imai, Hiroyuki Shioya, Masahito Kurihara: Modeling and Analysis of Genetic Algorithms Based on the Viewpoint of Mixture Systems. JACIII 7(3): 268-275 (2003)
9		Daisuke Kitakoshi, Hiroyuki Shioya, Masahito Kurihara: Analysis of a Method Improving Reinforcement Learning Agents' Policies. JACIII 7(3): 276-282 (2003)
	1999
8		Masahito Kurihara, Hisashi Kondo: Heuristics and Experiments on BDD Representation of Boolean Functions for Expert Systems in Software Verification Domains. Australian Joint Conference on Artificial Intelligence 1999: 353-364
7		Masahito Kurihara, Hisashi Kondo: Completion for Multiple Reduction Orderings. J. Autom. Reasoning 23(1): 25-42 (1999)
	1996
6		Masanobu Numazawa, Masahito Kurihara, Azuma Ohuchi: A Reflective Language Based on Conditional Term Rewriting. DISCO 1996: 65-66
	1995
5		Masahito Kurihara, Hisashi Kondo, Azuma Ohuchi: Completion for Multiple Reduction Orderings. RTA 1995: 71-85
4		Masahito Kurihara, Azuma Ohuchi: Modularity in Noncopying Term Rewriting. Theor. Comput. Sci. 152(1): 139-169 (1995)
	1992
3		Masahito Kurihara, Hisashi Kondo, Azuma Ohuchi: Using ATMS to Efficiently Verify the Termination of Rewrite Rule Programs. International Journal of Software Engineering and Knowledge Engineering 2(4): 547-565 (1992)
2		Masahito Kurihara, Azuma Ohuchi: Modularity of Simple Termination of Term Rewriting Systems with Shared Constructors. Theor. Comput. Sci. 103(2): 273-282 (1992)
	1990
1		Masahito Kurihara, Ikuo Kaji: Modular Term Rewriting Systems and the Termination. Inf. Process. Lett. 34(1): 1-4 (1990)

Coauthor Index

1	Akihito Gotoh	[23]
2	Shigeo Hara	[23]
3	Shinpei Hayashi	[21]
4	Jun-ichi Imai	[10]
5	Ikuo Kaji	[1]
6	Tohru Kawamoto	[23]
7	Hiroyuki Kido	[25]
8	Daisuke Kitakoshi	[9]
9	Hisashi Kondo	[3] [5] [7] [8] [16]
10	Aart Middeldorp	[26] [27]
11	Tamotsu Mitamura	[17] [18] [20]
12	Hidetoshi Nonaka	[11] [13] [14] [15]
13	Ai Noshiro	[19]
14	Masato Noto	[22]
15	Masanobu Numazawa	[6] [12]
16	Azuma Ohuchi	[2] [3] [4] [5] [6]
17	Ayako Omura	[23]
18	Takafumi Oohori	[18]
19	Hiroaki Oumi	[18]
20	Motoshi Saeki	[21]
21	Masaomi Sakamoto	[23]
22	Haruhiko Sato	[24] [26] [27]
23	Hiroyuki Shioya	[9] [10]
24	Hirofumi Shiozaki	[23]
25	Yasuhiro Sudo	[17] [20]
26	Hisashi Tanaka	[23]
27	Sarah Winkler	[26] [27]
28	Takeshi Yoshikawa	[13] [18] [19]

Colors in the list of coauthors