Hidekatsu Koike

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