Search the dblp DataBase

Publications of Author

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