| 2019 | ACIIDS | Logical Problem Solving Framework. | Kiyoshi Akama, Ekawit Nantajeewarawat, Taketo Akama |
| 2019 | ACIIDS | Term Rewriting that Preserves Models in KR-Logic. | Kiyoshi Akama, Ekawit Nantajeewarawat, Taketo Akama |
| 2019 | IC3K | Inventing ET Rules to Improve an MI Solver on KR-logic. | Tadayuki Yoshida, Ekawit Nantajeewarawat, Masaharu Munetomo, Kiyoshi Akama |
| 2019 | IC3K | Logical Approach to Theorem Proving with Term Rewriting on KR-logic. | Tadayuki Yoshida, Ekawit Nantajeewarawat, Masaharu Munetomo, Kiyoshi Akama |
| 2018 | ACIIDS | Solving Query-Answering Problems with Constraints for Function Variables. | Kiyoshi Akama, Ekawit Nantajeewarawat |
| 2018 | IC3K | Computation Control by Prioritized ET Rules. | Kiyoshi Akama, Ekawit Nantajeewarawat, Taketo Akama |
| 2018 | IC3K | Side-Change Transformation. | Kiyoshi Akama, Ekawit Nantajeewarawat, Taketo Akama |
| 2016 | IC3K | Model-Intersection Problems with Existentially Quantified Function Variables: Formalization and a Solution Schema. | Kiyoshi Akama, Ekawit Nantajeewarawat |
| 2016 | IC3K | Unfolding Existentially Quantified Sets of Extended Clauses. | Kiyoshi Akama, Ekawit Nantajeewarawat |
| 2015 | IC3K | A General Schema for Solving Model-Intersection Problems on a Specialization System by Equivalent Transformation. | Kiyoshi Akama, Ekawit Nantajeewarawat |
| 2015 | IC3K | Function-variable Elimination and Its Limitations. | Kiyoshi Akama, Ekawit Nantajeewarawat |
| 2015 | IC3K | Model-Intersection Problems and Their Solution Schema Based on Equivalent Transformation. | Kiyoshi Akama, Ekawit Nantajeewarawat |
| 2014 | ACIIDS | Equivalent Transformation in an Extended Space for Solving Query-Answering Problems. | Kiyoshi Akama, Ekawit Nantajeewarawat |
| 2014 | IC3K | Solving Query-answering Problems with If-and-Only-If Formulas. | Kiyoshi Akama, Ekawit Nantajeewarawat |
| 2013 | ACIIDS | Correctness of Solving Query-Answering Problems Using Satisfiability Solvers. | Kiyoshi Akama, Ekawit Nantajeewarawat |
| 2013 | IC3K | Embedding Proof Problems into Query-answering Problems and Problem Solving by Equivalent Transformation. | Kiyoshi Akama, Ekawit Nantajeewarawat |
| 2013 | IC3K | Integration of and a Solution for Proof Problems and Query-Answering Problems. | Kiyoshi Akama, Ekawit Nantajeewarawat |
| 2012 | ICCCN | Toward a Genetic Algorithm Based Flexible Approach for the Management of Virtualized Application Environments in Cloud Platforms. | Omar Abdul-Rahman, Masaharu Munetomo, Kiyoshi Akama |
| 2011 | CEC | Advanced genetic algorithm to solve MINLP problems over GPU. | Asim Munawar, Mohamed Wahib, Masaharu Munetomo, Kiyoshi Akama |
| 2011 | CEC | Optimization of parallel Genetic Algorithms for nVidia GPUs. | Mohamed Wahib, Asim Munawar, Masaharu Munetomo, Kiyoshi Akama |
| 2011 | IC3K | Meaning-preserving Skolemization. | Kiyoshi Akama, Ekawit Nantajeewarawat |
| 2011 | SERVICES | A Framework for Cloud Embedded Web Services Utilized by Cloud Applications. | Mohamed Wahib, Asim Munawar, Masaharu Munetomo, Kiyoshi Akama |
| 2010 | CEC | A Bayesian Optimization Algorithm for De Novo ligand design based docking running over GPU. | Mohamed Wahib, Asim Munawar, Masaharu Munetomo, Kiyoshi Akama |
| 2010 | PDPTA | A Light Framework for the Unified Representation and Execution of Variant Tasks in a Grid Based Environment. | Mohamed Wahib, Asim Munawar, Masaharu Munetomo, Kiyoshi Akama |
| 2009 | PDCAT | Theoretical and Empirical Analysis of a GPU Based Parallel Bayesian Optimization Algorithm. | Asim Munawar, Mohamed Wahib, Masaharu Munetomo, Kiyoshi Akama |
| 2008 | GECCO | Empirical investigations on parallel competent genetic algorithms. | Miwako Tsuji, Masaharu Munetomo, Kiyoshi Akama |
| 2008 | HPCC | Solving Large Instances of Capacitated Vehicle Routing Problem over Cell BE. | Asim Munawar, Mohamed Wahib, Masaharu Munetomo, Kiyoshi Akama |
| 2008 | HPCC | A Survey: Genetic Algorithms and the Fast Evolving World of Parallel Computing. | Asim Munawar, Mohamed Wahib, Masaharu Munetomo, Kiyoshi Akama |
| 2008 | PDCAT | Conceptual Modelling and Program Generation for Dynamic Interactive Systems. | Courtney Powell, Kiyoshi Akama, Toshihiro Wakatsuki |
| 2007 | CEC | Optimization problem solving framework employing GAs with linkage identification over a grid environment. | Asim Munawar, Masaharu Munetomo, Kiyoshi Akama |
| 2007 | CEC | A network design problem by a GA with linkage identification and recombination for overlapping building blocks. | Miwako Tsuji, Masaharu Munetomo, Kiyoshi Akama |
| 2007 | PDCAT | MHGrid: Towards an Ideal Optimization Environment for Global Optimization Problems Using Grid Computing. | Mohamed Wahib, Asim Munawar, Masaharu Munetomo, Kiyoshi Akama |
| 2007 | SIGUCCS | Toward a software development model for automatic marking software. | Hidekatsu Koike, Kiyoshi Akama, Chiharu Ishikawa, Nagatomo Nakamura, Shinya Watanabe |
| 2006 | CEC | Genetic Algorithm to Optimize Fitness Function with Sampling Error and its Application to Financial Optimization Problem. | Masaru Tezuka, Masaharu Munetomo, Kiyoshi Akama, Masahiro Hiji |
| 2006 | GECCO | A crossover for complex building blocks overlapping. | Miwako Tsuji, Masaharu Munetomo, Kiyoshi Akama |
| 2006 | SMC | Enhancing Model-building Efficiency in Extended Compact Genetic Algorithms. | Masaharu Munetomo, Yuta Satake, Kiyoshi Akama |
| 2006 | SMC | Theoretical and Empirical Investigations on Difficulty in Structure Learning by Estimation of Distribution Algorithms. | Miwako Tsuji, Masaharu Munetomo, Kiyoshi Akama |
| 2006 | SIGUCCS | Using an automatic marking system for programming courses. | Hidekatsu Koike, Kiyoshi Akama, Hiko Morita, Katsunori Miura |
| 2005 | CEC | Empirical studies on parallel network construction of Bayesian optimization algorithms. | Masaharu Munetomo, Naoya Murao, Kiyoshi Akama |
| 2005 | CEC | Linkage identification for real-valued loci by fitness difference classification. | Miwako Tsuji, Masaharu Munetomo, Kiyoshi Akama |
| 2005 | FOGA | Population Sizing of Dependency Detection by Fitness Difference Classification. | Miwako Tsuji, Masaharu Munetomo, Kiyoshi Akama |
| 2005 | SMC | Problem solving by equivalent transformation of negative constraints. | Hiroshi Mabuchi, Kiyoshi Akama, Hidekatsu Koike, Takahiko Ishikawa |
| 2005 | SIGUCCS | Developing an e-learning System which enhances students' academic motivation. | Hidekatsu Koike, Takahiko Ishikawa, Kiyoshi Akama, Masaki Chiba, Katsunori Miura |
| 2004 | GECCO | Linkage Identification by Nonlinearity Check for Real-Coded Genetic Algorithms. | Masaru Tezuka, Masaharu Munetomo, Kiyoshi Akama |
| 2004 | GECCO | Modeling Dependencies of Loci with String Classification According to Fitness Differences. | Miwako Tsuji, Masaharu Munetomo, Kiyoshi Akama |
| 2004 | PPSN | Empirical Investigations on Parallelized Linkage Identification. | Masaharu Munetomo, Naoya Murao, Kiyoshi Akama |
| 2003 | GECCO | A Parallel Genetic Algorithm Based on Linkage Identification. | Masaharu Munetomo, Naoya Murao, Kiyoshi Akama |
| 2003 | GECCO | Metropolitan Area Network Design Using GA Based on Hierarchical Linkage Identification. | Miwako Tsuji, Masaharu Munetomo, Kiyoshi Akama |
| 2002 | LOPSTR | Program Synthesis Based on the Equivalent Transformation Computation Model. | Kiyoshi Akama, Ekawit Nantajeewarawat, Hidekatsu Koike |
| 2001 | CEC | Empirical investigations on the genetic adaptive routing algorithm in the Internet. | Masaharu Munetomo, Naohiko Yamaguchi, Kiyoshi Akama, Yoshiharu Sato |
| 2001 | DC | RDF Declarative Description (RDD): A Language for Metadata. | Chutiporn Anutariya, Vilas Wuwongse, Kiyoshi Akama, Ekawit Nantajeewarawat |
| 1979 | IJCAI | A Basic Model for Learning Systems. | Kiyoshi Akama, Atsunobu Ichikawa |