Hidekatsu Koike

Publication Activity (10 Years)

Years Active: 2000-2011
Publications (10 Years): 0

Publications

Kiyoshi Akama, Ekawit Nantajeewarawat, Hidekatsu Koike
Deterministic-Rule Programs on Specialization Systems: Clause-Model Semantics. ICSECS (3) (2011)
Hiroshi Mabuchi, Kiyoshi Akama, Hidekatsu Koike, Katsunori Miura
Infinite Computation in the Equivalent Transformation Model. J. Adv. Comput. Intell. Intell. Informatics 11 (2) (2007)
Hidekatsu Koike, Kiyoshi Akama, Chiharu Ishikawa, Nagatomo Nakamura, Shinya Watanabe
Toward a software development model for automatic marking software. SIGUCCS (2007)
Ekawit Nantajeewarawat, Kiyoshi Akama, Hidekatsu Koike
Expanding Transformation: A Basis for Correctness Verification of Rewriting Rules. J. Adv. Comput. Intell. Intell. Informatics 11 (5) (2007)
Hidekatsu Koike, Kiyoshi Akama, Hiroshi Mabuchi
Dynamic Interaction of Syntactic and Semantic Analyses Based on the Equivalent Transformation Computation Model. J. Adv. Comput. Intell. Intell. Informatics 10 (3) (2006)
Kiyoshi Akama, Ekawit Nantajeewarawat, Hidekatsu Koike
Program Generation in the Equivalent Transformation Computation Model Using the Squeeze Method. Ershov Memorial Conference (2006)
Yoshinori Shigeta, Kiyoshi Akama, Hiroshi Mabuchi, Hidekatsu Koike
Converting Constraint Handling Rules to Equivalent Transformation Rules. J. Adv. Comput. Intell. Intell. Informatics 10 (3) (2006)
Hidekatsu Koike, Kiyoshi Akama, Hiko Morita, Katsunori Miura
Using an automatic marking system for programming courses. SIGUCCS (2006)
Hidekatsu Koike, Takahiko Ishikawa, Kiyoshi Akama, Masaki Chiba, Katsunori Miura
Developing an e-learning System which enhances students' academic motivation. SIGUCCS (2005)
Hiroshi Mabuchi, Kiyoshi Akama, Hidekatsu Koike, Takahiko Ishikawa
Correctness Proof for Equivalent Transformation of Equality Constraints on an Interval-Variable Domain. IC-AI (2005)
Hiroshi Mabuchi, Kiyoshi Akama, Hidekatsu Koike, Takahiko Ishikawa
Problem solving by equivalent transformation of negative constraints. SMC (2005)
Hiroshi Mabuchi, Kiyoshi Akama, Takahiko Ishikawa, Hidekatsu Koike
Integration of Syntactic Analysis and Semantic Interpretation Based on Equivalent Transformation. J. Adv. Comput. Intell. Intell. Informatics 7 (3) (2003)
Kiyoshi Akama, Ekawit Nantajeewarawat, Hidekatsu Koike
Program Synthesis Based on the Equivalent Transformation Computation Model. LOPSTR (2002)
E. Boyd, Kiyoshi Akama, Takahiko Ishikawa, Hidekatsu Koike
Dynamic Interaction of Syntactic and Semantic Analysis by Equivalent Transformation. IC-AI (2002)
Kiyoshi Akama, Hidekatsu Koike, Hiroshi Mabuchi
A Theoretical Foundation of Program Synthesis by Equivalent Transformation. Ershov Memorial Conference (2001)
Kiyoshi Akama, Ekawit Nantajeewarawat, Hidekatsu Koike
A Class of Rewriting Rules and Reverse Transformation for Rule-based Equivalent Transformation. Electron. Notes Theor. Comput. Sci. 59 (4) (2001)
Kiyoshi Akama, Hidekatsu Koike, Hiroshi Mabuchi
Equivalent Transformation by Safe Extension of Data Structures. Ershov Memorial Conference (2001)
Hiroshi Mabuchi, Kiyoshi Akama, Yoshinori Shigeta, Hidekatsu Koike
Semantic Interpretation by Rule-based Equivalent Transformation. Artificial Intelligence and Soft Computing (2000)
Yoshinori Shigeta, Kiyoshi Akama, Hidekatsu Koike, Hiroshi Mabuchi
Unreachability for a Class of Rewriting Systems using Two Homomorphisms. Artificial Intelligence and Soft Computing (2000)
Hiroshi Mabuchi, Kiyoshi Akama, Hidekatsu Koike, Yoshinori Shigeta
Synthesis of Conversion Rules by Expanding Knowledge Representation. Artificial Intelligence and Soft Computing (2000)