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

Hiroshi Mabuchi

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

2007
21EETakuma Jumonji, Goutam Chakraborty, Hiroshi Mabuchi, Masafumi Matsuhara: A novel distributed genetic algorithm implementation with variable number of islands. IEEE Congress on Evolutionary Computation 2007: 4698-4705
20EEHiroshi Mabuchi, Kiyoshi Akama, Hidekatsu Koike, Katsunori Miura: Infinite Computation in the Equivalent Transformation Model. JACIII 11(2): 176-186 (2007)
19EEHiroshi Mabuchi, Kiyoshi Akama, Katsunori Miura, Takahiko Ishikawa: Constraint Solving Specializations for Equality on an Interval-Variable Domain. JACIII 11(2): 210-219 (2007)
2006
18EEDaisuke Senzaki, Hiroshi Mabuchi, Goutam Chakraborty, Masafumi Matsuhara: Mobility Pattern Learning and Route Prediction Based Location Management in PCS Network. AINA (2) 2006: 351-360
17EEHiroshi Mabuchi, Kiyoshi Akama, Toshihiro Wakatsuki: Equivalent Transformation Rules as Components of Programs. ICICIC (2) 2006: 282-287
16EEHidekatsu Koike, Kiyoshi Akama, Hiroshi Mabuchi: Dynamic Interaction of Syntactic and Semantic Analyses Based on the Equivalent Transformation Computation Model. JACIII 10(3): 302-311 (2006)
15EEYoshinori Shigeta, Kiyoshi Akama, Hiroshi Mabuchi, Hidekatsu Koike: Converting Constraint Handling Rules to Equivalent Transformation Rules. JACIII 10(3): 339-348 (2006)
14EEItaru Takarajima, Kiyoshi Akama, Ikumi Imani, Hiroshi Mabuchi: Design of Nondeterministic Program Termination Based on the Equivalent Transformation Computation Model. JACIII 10(3): 349-361 (2006)
2005
13 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
2004
12EEDaisuke Senzaki, Hiroshi Mabuchi, Goutam Chakraborty, Masafumi Matsuhara: Distance Based Location Management in Cellular PCS Network -a Critical Study. AINA (2) 2004: 95-98
11EEDaisuke Senzaki, Goutam Chakraborty, Masafumi Matsuhara, Hiroshi Mabuchi: Improvement of Paging Cost by Updating Using Paging Delay Divergence. IWDC 2004: 502-507
2003
10EETakahiko Ishikawa, Kiyoshi Akama, Hiroshi Mabuchi: How to Make Programs from Problem Descriptions in the Equivalent Transformation Paradigm. JACIII 7(3): 260-267 (2003)
9EEHiroshi 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
8 Hiroshi Mabuchi, Kiyoshi Akama, Takahiko Ishikawa, Y. Yamamoto: Framework for Synthesis by Unfolding of Declarative Programs. IC-AI 2002: 1060-1066
7 Kiyoshi Akama, Hiroshi Mabuchi, Takahiko Ishikawa, E. Boyd: A Basic Framework for Infinite Computation. IC-AI 2002: 1080-1086
2001
6EEKiyoshi Akama, Hidekatsu Koike, Hiroshi Mabuchi: A Theoretical Foundation of Program Synthesis by Equivalent Transformation. Ershov Memorial Conference 2001: 131-139
5EEKiyoshi Akama, Hidekatsu Koike, Hiroshi Mabuchi: Equivalent Transformation by Safe Extension of Data Structures. Ershov Memorial Conference 2001: 140-148
2000
4 Hiroshi Mabuchi, Kiyoshi Akama, Hidekatsu Koike, Yoshinori Shigeta: Synthesis of Conversion Rules by Expanding Knowledge Representation. Artificial Intelligence and Soft Computing 2000: 434-440
3 Hiroshi Mabuchi, Kiyoshi Akama, Yoshinori Shigeta, Hidekatsu Koike: Semantic Interpretation by Rule-based Equivalent Transformation. Artificial Intelligence and Soft Computing 2000: 472-478
2 Yoshinori Shigeta, Kiyoshi Akama, Hidekatsu Koike, Hiroshi Mabuchi: Unreachability for a Class of Rewriting Systems using Two Homomorphisms. Artificial Intelligence and Soft Computing 2000: 494-500
1EEKiyoshi Akama, Hiroshi Mabuchi, Eiichi Miyamoto: A theoretical foundation for solving "no-solution" problems by abstraction. Systems and Computers in Japan 31(1): 1-10 (2000)

Coauthor Index

1Kiyoshi Akama [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [13] [14] [15] [16] [17] [19] [20]
2E. Boyd [7]
3Goutam Chakraborty [11] [12] [18] [21]
4Ikumi Imani [14]
5Takahiko Ishikawa [7] [8] [9] [10] [13] [19]
6Takuma Jumonji [21]
7Hidekatsu Koike [2] [3] [4] [5] [6] [9] [13] [15] [16] [20]
8Masafumi Matsuhara [11] [12] [18] [21]
9Katsunori Miura [19] [20]
10Eiichi Miyamoto [1]
11Daisuke Senzaki [11] [12] [18]
12Yoshinori Shigeta [2] [3] [4] [15]
13Itaru Takarajima [14]
14Toshihiro Wakatsuki [17]
15Y. Yamamoto [8]

Colors in the list of coauthors

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