The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Kiyoshi Akama: [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. Chutiporn Anutariya, Vilas Wuwongse, Kiyoshi Akama, Ekawit Nantajeewarawat
    RDF Declarative Description (RDD): A Language for Metadata. [Citation Graph (0, 0)][DBLP]
    Dublin Core Conference, 2001, pp:1-8 [Conf]
  5. Chutiporn Anutariya, Vilas Wuwongse, Ekawit Nantajeewarawat, Kiyoshi Akama
    Towards a Foundation for XML Document Databases. [Citation Graph (0, 0)][DBLP]
    EC-Web, 2000, pp:324-333 [Conf]
  6. 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]
  7. 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]
  8. Miwako Tsuji, Masaharu Munetomo, Kiyoshi Akama
    Population Sizing of Dependency Detection by Fitness Difference Classification. [Citation Graph (0, 0)][DBLP]
    FOGA, 2005, pp:282-299 [Conf]
  9. 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]
  10. Masaharu Munetomo, Naoya Murao, Kiyoshi Akama
    A Parallel Genetic Algorithm Based on Linkage Identification. [Citation Graph (0, 0)][DBLP]
    GECCO, 2003, pp:1222-1233 [Conf]
  11. Masaru Tezuka, Masaharu Munetomo, Kiyoshi Akama
    Linkage Identification by Nonlinearity Check for Real-Coded Genetic Algorithms. [Citation Graph (0, 0)][DBLP]
    GECCO (2), 2004, pp:222-233 [Conf]
  12. Miwako Tsuji, Masaharu Munetomo, Kiyoshi Akama
    Metropolitan Area Network Design Using GA Based on Hierarchical Linkage Identification. [Citation Graph (0, 0)][DBLP]
    GECCO, 2003, pp:1616-1617 [Conf]
  13. Miwako Tsuji, Masaharu Munetomo, Kiyoshi Akama
    Modeling Dependencies of Loci with String Classification According to Fitness Differences. [Citation Graph (0, 0)][DBLP]
    GECCO (2), 2004, pp:246-257 [Conf]
  14. Miwako Tsuji, Masaharu Munetomo, Kiyoshi Akama
    A crossover for complex building blocks overlapping. [Citation Graph (0, 0)][DBLP]
    GECCO, 2006, pp:1337-1344 [Conf]
  15. 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]
  16. 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]
  17. 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]
  18. 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]
  19. Hidemi Ogasawara, Kiyoshi Akama, Yoshinori Shigeta
    Equivalent Transformation Rules for a Class of Constraint Satisfaction Problems. [Citation Graph (0, 0)][DBLP]
    IC-AI, 2004, pp:306-309 [Conf]
  20. 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]
  21. Kiyoshi Akama
    Inheritance Hierarchy Mechanism in Prolog. [Citation Graph (0, 0)][DBLP]
    LP, 1986, pp:12-21 [Conf]
  22. 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]
  23. Itaru Takarajima, Kiyoshi Akama, Yoshinori Shigeta, Ikumi Imani
    Equivalent Transformation Computation Model. [Citation Graph (0, 0)][DBLP]
    MSV/AMCS, 2004, pp:391-398 [Conf]
  24. Masaharu Munetomo, Naoya Murao, Kiyoshi Akama
    Empirical Investigations on Parallelized Linkage Identification. [Citation Graph (0, 0)][DBLP]
    PPSN, 2004, pp:322-331 [Conf]
  25. Nimit Pattanasri, Vilas Wuwongse, Kiyoshi Akama
    XET as a Rule Language for Consistency Maintenance in UML. [Citation Graph (0, 0)][DBLP]
    RuleML, 2004, pp:200-204 [Conf]
  26. Chutiporn Anutariya, Vilas Wuwongse, Kiyoshi Akama, Vichit Wattanapailin
    Semantic Web Modeling and Programming with XDD. [Citation Graph (0, 0)][DBLP]
    SWWS, 2001, pp:161-180 [Conf]
  27. Chutiporn Anutariya, Vilas Wuwongse, Kiyoshi Akama, Vichit Wattanapailin
    Semantic Web Modeling and Programming with XDD. [Citation Graph (0, 0)][DBLP]
    The Emerging Semantic Web, 2001, pp:- [Conf]
  28. 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]
  29. 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]
  30. Vilas Wuwongse, Kiyoshi Akama, Chutiporn Anutariya, Ekawit Nantajeewarawat
    A Data Model for XML Databases. [Citation Graph (0, 0)][DBLP]
    Web Intelligence, 2001, pp:237-246 [Conf]
  31. Kiyoshi Akama, Chutiporn Anutariya, Vilas Wuwongse, Ekawit Nantajeewarawat
    Query Formulation and Evaluation of XML Databases. [Citation Graph (0, 0)][DBLP]
    WITASI, 2002, pp:273-288 [Conf]
  32. Hiroshi Mabuchi, Kiyoshi Akama, Toshihiro Wakatsuki
    Equivalent Transformation Rules as Components of Programs. [Citation Graph (0, 0)][DBLP]
    ICICIC (2), 2006, pp:282-287 [Conf]
  33. Miwako Tsuji, Masaharu Munetomo, Kiyoshi Akama
    Linkage Identification by Fitness Difference Clustering. [Citation Graph (0, 0)][DBLP]
    Evolutionary Computation, 2006, v:14, n:4, pp:383-409 [Journal]
  34. Vilas Wuwongse, Chutiporn Anutariya, Kiyoshi Akama, Ekawit Nantajeewarawat
    XML Declarative Description: A Language for the Semantic Web. [Citation Graph (0, 0)][DBLP]
    IEEE Intelligent Systems, 2001, v:16, n:3, pp:54-65 [Journal]
  35. Ekawit Nantajeewarawat, Vilas Wuwongse, Chutiporn Anutariya, Kiyoshi Akama, Surapa Thiemjarus
    Toward reasoning with unified modeling language diagrams based on extensible markup language declarative description theory. [Citation Graph (0, 0)][DBLP]
    Int. J. Intell. Syst., 2004, v:19, n:1-2, pp:89-98 [Journal]
  36. Kiyoshi Akama, Ekawit Nantajeewarawat
    Formalization of the Equivalent Transformation Computation Model. [Citation Graph (0, 0)][DBLP]
    JACIII, 2006, v:10, n:3, pp:245-259 [Journal]
  37. Pongtawat Chippimolchai, Kiyoshi Akama, Vilas Wuwongse
    Semantic Query Optimization: Correctness and Control. [Citation Graph (0, 0)][DBLP]
    JACIII, 2006, v:10, n:3, pp:270-280 [Journal]
  38. 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]
  39. 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]
  40. 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]
  41. 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]
  42. Itaru Takarajima, Kiyoshi Akama, Ikumi Imani, Hiroshi Mabuchi
    Design of Nondeterministic Program Termination Based on the Equivalent Transformation Computation Model. [Citation Graph (0, 0)][DBLP]
    JACIII, 2006, v:10, n:3, pp:349-361 [Journal]
  43. Vilas Wuwongse, Kiyoshi Akama, Chutiporn Anutariya, Ekawit Nantajeewarawat
    A Data Model for XML Databases. [Citation Graph (0, 0)][DBLP]
    J. Intell. Inf. Syst., 2003, v:20, n:1, pp:63-80 [Journal]
  44. Chutiporn Anutariya, Vilas Wuwongse, Kiyoshi Akama, Ekawit Nantajeewarawat
    RDF Declarative Description (RDD): A Language for Metadata. [Citation Graph (0, 0)][DBLP]
    J. Digit. Inf., 2001, v:2, n:2, pp:- [Journal]
  45. Kiyoshi Akama, Hiroshi Mabuchi, Eiichi Miyamoto
    A theoretical foundation for solving "no-solution" problems by abstraction. [Citation Graph (0, 0)][DBLP]
    Systems and Computers in Japan, 2000, v:31, n:1, pp:1-10 [Journal]
  46. Hidehiro Kobayashi, Masaharu Munetomo, Kiyoshi Akama, Yoshiharu Sato
    Designing a distributed algorithm for bandwidth allocation with a genetic algorithm. [Citation Graph (0, 0)][DBLP]
    Systems and Computers in Japan, 2004, v:35, n:3, pp:37-45 [Journal]
  47. 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]
  48. 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]
  49. Masaharu Munetomo, Asim Munawar, Kiyoshi Akama
    A Framework of GRID Problem-Solving Environment Employing Robust Evolutionary Search. [Citation Graph (0, 0)][DBLP]
    EUROCAST, 2007, pp:473-480 [Conf]
  50. Masaharu Munetomo, Yuta Satake, Kiyoshi Akama
    An Intelligent Scatter with Estimation of Distribution for Tabu Search. [Citation Graph (0, 0)][DBLP]
    EUROCAST, 2007, pp:465-472 [Conf]
  51. 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]
  52. Miwako Tsuji, Masaharu Munetomo, Kiyoshi Akama
    Linkage identification for real-valued loci by fitness difference classification. [Citation Graph (0, 0)][DBLP]
    Congress on Evolutionary Computation, 2005, pp:1317-1324 [Conf]
  53. Masaharu Munetomo, Naoya Murao, Kiyoshi Akama
    Empirical studies on parallel network construction of Bayesian optimization algorithms. [Citation Graph (0, 0)][DBLP]
    Congress on Evolutionary Computation, 2005, pp:1524-1531 [Conf]

  54. A General Service-Oriented Grid Computing Framework for Global Optimization Problem Solving. [Citation Graph (, )][DBLP]


  55. Empirical investigations on parallel competent genetic algorithms. [Citation Graph (, )][DBLP]


  56. SOAG: Service Oriented Architectured Grids and adoption of application specific QoS attributes. [Citation Graph (, )][DBLP]


  57. Model for dynamic grain sizing through compound parallelization for an optimization problem solving grid application. [Citation Graph (, )][DBLP]


  58. A Survey: Genetic Algorithms and the Fast Evolving World of Parallel Computing. [Citation Graph (, )][DBLP]


  59. Solving Large Instances of Capacitated Vehicle Routing Problem over Cell BE. [Citation Graph (, )][DBLP]


  60. MHGrid: Towards an Ideal Optimization Environment for Global Optimization Problems Using Grid Computing. [Citation Graph (, )][DBLP]


  61. Conceptual Modelling and Program Generation for Dynamic Interactive Systems. [Citation Graph (, )][DBLP]


  62. Theoretical and Empirical Analysis of a GPU Based Parallel Bayesian Optimization Algorithm. [Citation Graph (, )][DBLP]


  63. A network design problem by a GA with linkage identification and recombination for overlapping building blocks. [Citation Graph (, )][DBLP]


  64. Optimization problem solving framework employing GAs with linkage identification over a grid environment. [Citation Graph (, )][DBLP]


  65. XML Declarative Description with First-Order Logical Constraints. [Citation Graph (, )][DBLP]


Search in 0.061secs, Finished in 0.063secs
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