Hidekatsu Koike

2007
18	EE	Hidekatsu Koike, Kiyoshi Akama, Chiharu Ishikawa, Nagatomo Nakamura, Shinya Watanabe: Toward a software development model for automatic marking software. SIGUCCS 2007: 190-193
17	EE	Hiroshi Mabuchi, Kiyoshi Akama, Hidekatsu Koike, Katsunori Miura: Infinite Computation in the Equivalent Transformation Model. JACIII 11(2): 176-186 (2007)
16	EE	Ekawit Nantajeewarawat, Kiyoshi Akama, Hidekatsu Koike: Expanding Transformation: A Basis for Correctness Verification of Rewriting Rules. JACIII 11(5): 478-490 (2007)
2006
15	EE	Kiyoshi Akama, Ekawit Nantajeewarawat, Hidekatsu Koike: Program Generation in the Equivalent Transformation Computation Model Using the Squeeze Method. Ershov Memorial Conference 2006: 41-54
14	EE	Hidekatsu Koike, Kiyoshi Akama, Hiko Morita, Katsunori Miura: Using an automatic marking system for programming courses. SIGUCCS 2006: 173-178
13	EE	Hidekatsu Koike, Kiyoshi Akama, Hiroshi Mabuchi: Dynamic Interaction of Syntactic and Semantic Analyses Based on the Equivalent Transformation Computation Model. JACIII 10(3): 302-311 (2006)
12	EE	Yoshinori Shigeta, Kiyoshi Akama, Hiroshi Mabuchi, Hidekatsu Koike: Converting Constraint Handling Rules to Equivalent Transformation Rules. JACIII 10(3): 339-348 (2006)
2005
11		Hiroshi Mabuchi, Kiyoshi Akama, Hidekatsu Koike, Takahiko Ishikawa: Correctness Proof for Equivalent Transformation of Equality Constraints on an Interval-Variable Domain. IC-AI 2005: 627-636
10	EE	Hidekatsu Koike, Takahiko Ishikawa, Kiyoshi Akama, Masaki Chiba, Katsunori Miura: Developing an e-learning System which enhances students' academic motivation. SIGUCCS 2005: 147-150
2003
9	EE	Hiroshi Mabuchi, Kiyoshi Akama, Takahiko Ishikawa, Hidekatsu Koike: Integration of Syntactic Analysis and Semantic Interpretation Based on Equivalent Transformation. JACIII 7(3): 306-314 (2003)
2002
8		E. Boyd, Kiyoshi Akama, Takahiko Ishikawa, Hidekatsu Koike: Dynamic Interaction of Syntactic and Semantic Analysis by Equivalent Transformation. IC-AI 2002: 1040-1046
7	EE	Kiyoshi Akama, Ekawit Nantajeewarawat, Hidekatsu Koike: Program Synthesis Based on the Equivalent Transformation Computation Model. LOPSTR 2002: 278-279
2001
6	EE	Kiyoshi Akama, Hidekatsu Koike, Hiroshi Mabuchi: A Theoretical Foundation of Program Synthesis by Equivalent Transformation. Ershov Memorial Conference 2001: 131-139
5	EE	Kiyoshi Akama, Hidekatsu Koike, Hiroshi Mabuchi: Equivalent Transformation by Safe Extension of Data Structures. Ershov Memorial Conference 2001: 140-148
4	EE	Kiyoshi Akama, Ekawit Nantajeewarawat, Hidekatsu Koike: A Class of Rewriting Rules and Reverse Transformation for Rule-based Equivalent Transformation. Electr. Notes Theor. Comput. Sci. 59(4): (2001)
2000
3		Hiroshi Mabuchi, Kiyoshi Akama, Hidekatsu Koike, Yoshinori Shigeta: Synthesis of Conversion Rules by Expanding Knowledge Representation. Artificial Intelligence and Soft Computing 2000: 434-440
2		Hiroshi Mabuchi, Kiyoshi Akama, Yoshinori Shigeta, Hidekatsu Koike: Semantic Interpretation by Rule-based Equivalent Transformation. Artificial Intelligence and Soft Computing 2000: 472-478
1		Yoshinori Shigeta, Kiyoshi Akama, Hidekatsu Koike, Hiroshi Mabuchi: Unreachability for a Class of Rewriting Systems using Two Homomorphisms. Artificial Intelligence and Soft Computing 2000: 494-500

Coauthor Index

1	Kiyoshi Akama	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17] [18]
2	E. Boyd	[8]
3	Masaki Chiba	[10]
4	Chiharu Ishikawa	[18]
5	Takahiko Ishikawa	[8] [9] [10] [11]
6	Hiroshi Mabuchi	[1] [2] [3] [5] [6] [9] [11] [12] [13] [17]
7	Katsunori Miura	[10] [14] [17]
8	Hiko Morita	[14]
9	Nagatomo Nakamura	[18]
10	Ekawit Nantajeewarawat	[4] [7] [15] [16]
11	Yoshinori Shigeta	[1] [2] [3] [12]
12	Shinya Watanabe	[18]