dblp.uni-trier.dewww.uni-trier.de

Takahiko Ishikawa

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
11EETakahiko Ishikawa, Hiromasa Oku, Masatoshi Ishikawa: Mobile microscope: a new concept for hand-held microscopes with image stabilization. ICRA 2008: 3130-3134
2007
10EEHiroshi Mabuchi, Kiyoshi Akama, Katsunori Miura, Takahiko Ishikawa: Constraint Solving Specializations for Equality on an Interval-Variable Domain. JACIII 11(2): 210-219 (2007)
2005
9 Hiroshi Mabuchi, Kiyoshi Akama, Hidekatsu Koike, Takahiko Ishikawa: Correctness Proof for Equivalent Transformation of Equality Constraints on an Interval-Variable Domain. IC-AI 2005: 627-636
8EEHidekatsu Koike, Takahiko Ishikawa, Kiyoshi Akama, Masaki Chiba, Katsunori Miura: Developing an e-learning System which enhances students' academic motivation. SIGUCCS 2005: 147-150
2004
7 Yoshinori Shigeta, Kiyoshi Akama, Pongtawat Chippimolchai, Takahiko Ishikawa: A Comparison of Constraint Handling Rules with Equivalent Transformation Rules. MSV/AMCS 2004: 345-351
2003
6EETakahiko Ishikawa, Kiyoshi Akama, Hiroshi Mabuchi: How to Make Programs from Problem Descriptions in the Equivalent Transformation Paradigm. JACIII 7(3): 260-267 (2003)
5EEHiroshi Mabuchi, Kiyoshi Akama, Takahiko Ishikawa, Hidekatsu Koike: Integration of Syntactic Analysis and Semantic Interpretation Based on Equivalent Transformation. JACIII 7(3): 306-314 (2003)
2002
4 Yuichi Yamamoto, Kiyoshi Akama, Masaharu Munetomo, Takahiko Ishikawa: A Foundation for Algorithm Generation by Transforming Meta-Descriptions. FSKD 2002: 712-
3 E. Boyd, Kiyoshi Akama, Takahiko Ishikawa, Hidekatsu Koike: Dynamic Interaction of Syntactic and Semantic Analysis by Equivalent Transformation. IC-AI 2002: 1040-1046
2 Hiroshi Mabuchi, Kiyoshi Akama, Takahiko Ishikawa, Y. Yamamoto: Framework for Synthesis by Unfolding of Declarative Programs. IC-AI 2002: 1060-1066
1 Kiyoshi Akama, Hiroshi Mabuchi, Takahiko Ishikawa, E. Boyd: A Basic Framework for Infinite Computation. IC-AI 2002: 1080-1086

Coauthor Index

1Kiyoshi Akama [1] [2] [3] [4] [5] [6] [7] [8] [9] [10]
2E. Boyd [1] [3]
3Masaki Chiba [8]
4Pongtawat Chippimolchai [7]
5Masatoshi Ishikawa [11]
6Hidekatsu Koike [3] [5] [8] [9]
7Hiroshi Mabuchi [1] [2] [5] [6] [9] [10]
8Katsunori Miura [8] [10]
9Masaharu Munetomo [4]
10Hiromasa Oku [11]
11Yoshinori Shigeta [7]
12Y. Yamamoto [2]
13Yuichi Yamamoto [4]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)