Hidekatsu Koike

According to our database, Hidekatsu Koike authored at least 20 papers between 2000 and 2011.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2011

Deterministic-Rule Programs on Specialization Systems: Clause-Model Semantics.

Kiyoshi Akama, Ekawit Nantajeewarawat, Hidekatsu Koike

Proceedings of the Software Engineering and Computer Systems, 2011

2007

Expanding Transformation: A Basis for Correctness Verification of Rewriting Rules.

Ekawit Nantajeewarawat, Kiyoshi Akama, Hidekatsu Koike

J. Adv. Comput. Intell. Intell. Informatics, 2007

Infinite Computation in the Equivalent Transformation Model.

Hiroshi Mabuchi, Kiyoshi Akama, Hidekatsu Koike, Katsunori Miura

J. Adv. Comput. Intell. Intell. Informatics, 2007

Toward a software development model for automatic marking software.

Hidekatsu Koike, Kiyoshi Akama, Chiharu Ishikawa, Nagatomo Nakamura, Shinya Watanabe

Proceedings of the 35th Annual ACM SIGUCCS Conference on User Services 2007, 2007

2006

Converting Constraint Handling Rules to Equivalent Transformation Rules.

Yoshinori Shigeta, Kiyoshi Akama, Hiroshi Mabuchi, Hidekatsu Koike

J. Adv. Comput. Intell. Intell. Informatics, 2006

Dynamic Interaction of Syntactic and Semantic Analyses Based on the Equivalent Transformation Computation Model.

Hidekatsu Koike, Kiyoshi Akama, Hiroshi Mabuchi

J. Adv. Comput. Intell. Intell. Informatics, 2006

Using an automatic marking system for programming courses.

Hidekatsu Koike, Kiyoshi Akama, Hiko Morita, Katsunori Miura

Proceedings of the 34th Annual ACM SIGUCCS Conference on User Services 2006, 2006

Program Generation in the Equivalent Transformation Computation Model Using the Squeeze Method.

Kiyoshi Akama, Ekawit Nantajeewarawat, Hidekatsu Koike

Proceedings of the Perspectives of Systems Informatics, 2006

2005

Problem solving by equivalent transformation of negative constraints.

Hiroshi Mabuchi, Kiyoshi Akama, Hidekatsu Koike, Takahiko Ishikawa

Proceedings of the IEEE International Conference on Systems, 2005

Developing an e-learning System which enhances students' academic motivation.

Hidekatsu Koike, Takahiko Ishikawa, Kiyoshi Akama, Masaki Chiba, Katsunori Miura

Proceedings of the 33rd Annual ACM SIGUCCS Conference on User Services 2005, 2005

Correctness Proof for Equivalent Transformation of Equality Constraints on an Interval-Variable Domain.

Hiroshi Mabuchi, Kiyoshi Akama, Hidekatsu Koike, Takahiko Ishikawa

Proceedings of the 2005 International Conference on Artificial Intelligence, 2005

2003

Integration of Syntactic Analysis and Semantic Interpretation Based on Equivalent Transformation.

Hiroshi Mabuchi, Kiyoshi Akama, Takahiko Ishikawa, Hidekatsu Koike

J. Adv. Comput. Intell. Intell. Informatics, 2003

2002

Program Synthesis Based on the Equivalent Transformation Computation Model.

Kiyoshi Akama, Ekawit Nantajeewarawat, Hidekatsu Koike

Proceedings of the Logic Based Program Synthesis and Tranformation, 2002

Dynamic Interaction of Syntactic and Semantic Analysis by Equivalent Transformation.

E. Boyd, Kiyoshi Akama, Takahiko Ishikawa, Hidekatsu Koike

Proceedings of the International Conference on Artificial Intelligence, 2002

2001

A Class of Rewriting Rules and Reverse Transformation for Rule-based Equivalent Transformation.

Kiyoshi Akama, Ekawit Nantajeewarawat, Hidekatsu Koike

Proceedings of the Second International Workshop on Rule-Based Programming, 2001

Equivalent Transformation by Safe Extension of Data Structures.

Kiyoshi Akama, Hidekatsu Koike, Hiroshi Mabuchi

Proceedings of the Perspectives of System Informatics, 2001

A Theoretical Foundation of Program Synthesis by Equivalent Transformation.

Kiyoshi Akama, Hidekatsu Koike, Hiroshi Mabuchi

Proceedings of the Perspectives of System Informatics, 2001

2000

Unreachability for a Class of Rewriting Systems using Two Homomorphisms.

Yoshinori Shigeta, Kiyoshi Akama, Hidekatsu Koike, Hiroshi Mabuchi

Proceedings of the Artificial Intelligence and Soft Computing, July 24-26, 2000, Banff, 2000

Semantic Interpretation by Rule-based Equivalent Transformation.

Hiroshi Mabuchi, Kiyoshi Akama, Yoshinori Shigeta, Hidekatsu Koike

Proceedings of the Artificial Intelligence and Soft Computing, July 24-26, 2000, Banff, 2000

Synthesis of Conversion Rules by Expanding Knowledge Representation.

Hiroshi Mabuchi, Kiyoshi Akama, Hidekatsu Koike, Yoshinori Shigeta

Proceedings of the Artificial Intelligence and Soft Computing, July 24-26, 2000, Banff, 2000