Search the dblp DataBase

Publications of Author

1. Yuichi Yamamoto, Kiyoshi Akama, Masaharu Munetomo, Takahiko Ishikawa
   A Foundation for Algorithm Generation by Transforming Meta-Descriptions. [Citation Graph (0, 0)][DBLP]
   FSKD, 2002, pp:712-0 [Conf]
   
2. 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]
   
3. Kiyoshi Akama, Hiroshi Mabuchi, Takahiko Ishikawa, E. Boyd
   A Basic Framework for Infinite Computation. [Citation Graph (0, 0)][DBLP]
   IC-AI, 2002, pp:1080-1086 [Conf]
   
4. Hiroshi Mabuchi, Kiyoshi Akama, Takahiko Ishikawa, Y. Yamamoto
   Framework for Synthesis by Unfolding of Declarative Programs. [Citation Graph (0, 0)][DBLP]
   IC-AI, 2002, pp:1060-1066 [Conf]
   
5. 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]
   
6. Yoshinori Shigeta, Kiyoshi Akama, Pongtawat Chippimolchai, Takahiko Ishikawa
   A Comparison of Constraint Handling Rules with Equivalent Transformation Rules. [Citation Graph (0, 0)][DBLP]
   MSV/AMCS, 2004, pp:345-351 [Conf]
   
7. 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]
   
8. Takahiko Ishikawa, Kiyoshi Akama, Hiroshi Mabuchi
   How to Make Programs from Problem Descriptions in the Equivalent Transformation Paradigm. [Citation Graph (0, 0)][DBLP]
   JACIII, 2003, v:7, n:3, pp:260-267 [Journal]
   
9. 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]
   
10. 
    Mobile microscope: a new concept for hand-held microscopes with image stabilization. [Citation Graph (, )][DBLP]