The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Hidekatsu Koike: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]

Search in 0.028secs, Finished in 0.028secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002