Tomohiro ODA


A Formal Modeling Tool for Exploratory Modeling in Software Development
Tomohiro ODA Keijiro ARAKI Peter GORM LARSEN 
Publication:   
Publication Date: 2017/06/01
Vol. E100-D  No. 6  pp. 1210-1217
Type of Manuscript:  Special Section PAPER (Special Section on Formal Approach)
Category: Formal tools
Keyword: 
lightweight formal methodsformal specificationVDMintegrated development environment
 Summary | Full Text:PDF(910.9KB)

An Artificial Fish Swarm Algorithm for the Multicast Routing Problem
Qing LIU Tomohiro ODAKA Jousuke KUROIWA Haruhiko SHIRAI Hisakazu OGURA 
Publication:   IEICE TRANSACTIONS on Communications
Publication Date: 2014/05/01
Vol. E97-B  No. 5  pp. 996-1011
Type of Manuscript:  PAPER
Category: Network
Keyword: 
artificial fish swarm algorithmmulticast routingSteiner tree problemnetwork optimization
 Summary | Full Text:PDF(2.4MB)

A New Artificial Fish Swarm Algorithm for the Multiple Knapsack Problem
Qing LIU Tomohiro ODAKA Jousuke KUROIWA Haruhiko SHIRAI Hisakazu OGURA 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2014/03/01
Vol. E97-D  No. 3  pp. 455-468
Type of Manuscript:  PAPER
Category: Fundamentals of Information Systems
Keyword: 
artificial fish swarm algorithmmultiple knapsack problemconstraint boundarysearch region
 Summary | Full Text:PDF(2.2MB)

Application of an Artificial Fish Swarm Algorithm in Symbolic Regression
Qing LIU Tomohiro ODAKA Jousuke KUROIWA Hisakazu OGURA 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2013/04/01
Vol. E96-D  No. 4  pp. 872-885
Type of Manuscript:  PAPER
Category: Fundamentals of Information Systems
Keyword: 
artificial fish swarm algorithmsymbolic regressionparse treeoptimizationpenalty
 Summary | Full Text:PDF(2.1MB)