| 2011 |
|---|
| 12 | MIRACH: efficient model checker for quantitative biological pathway models. Chuan Hock Koh, Masao Nagasaki, Ayumu Saito, Chen Li, Limsoon Wong, Satoru Miyano. Bioinformatics (27): 734-735 (2011). Web SearchBibTeXDownload |
| 2010 |
|---|
| 11 | DA 1.0: parameter estimation of biological pathways using data assimilation approach. Chuan Hock Koh, Masao Nagasaki, Ayumu Saito, Limsoon Wong, Satoru Miyano. Bioinformatics (26): 1794-1796 (2010). Web SearchBibTeXDownload |
| 10 | Delay Time Determination for the Timed Petri Net Model of a Signaling Pathway Based on Its Structural Information. Yoshimasa Miwa, Yuki Murakami, Qi-Wei Ge, Chen Li, Hiroshi Matsuno, Satoru Miyano. IEICE Transactions (93-A): 2717-2729 (2010). Web SearchBibTeXDownload |
| 2006 |
|---|
| 9 | Petri Net Based Descriptions for Systematic Understanding of Biological Pathways. Hiroshi Matsuno, Chen Li, Satoru Miyano. IEICE Transactions (89-A): 3166-3174 (2006). Cited by 18Web SearchBibTeXDownload |
| 8 | Structural Modeling and Analysis of Signaling Pathways Based on Petri Nets. Chen Li, Shunichi Suzuki, Qi-Wei Ge, Mitsuru Nakata, Hiroshi Matsuno, Satoru Miyano. J. Bioinformatics and Computational Biology (4): 1119-1140 (2006). Cited by 15Web SearchBibTeXDownload |
| 2005 |
|---|
| 7 | Utilizing Evolutionary Information and Gene Expression Data for Estimating Gene Networks with Bayesian Network Models. Yoshinori Tamada, Hideo Bannai, Seiya Imoto, Toshiaki Katayama, Minoru Kanehisa, Satoru Miyano. J. Bioinformatics and Computational Biology (3): 1295-1314 (2005). Web SearchBibTeXDownload |
| 2001 |
|---|
| 6 | Challenges for Intelligent Systems in Biology. Russ B. Altman, Alfonso Valencia, Satoru Miyano, Shoba Ranganathan. IEEE Intelligent Systems (16): 14-20 (2001). Web SearchBibTeXDownload |
| 2000 |
|---|
| 5 | Polynomial-time Learning of Elementary Formal Systems. Satoru Miyano, Ayumi Shinohara, Takeshi Shinohara. New Generation Comput. (18): 217-242 (2000). Web SearchBibTeXDownload |
| 1995 |
|---|
| 4 | BONSAI Garden: Parallel Knowledge Discovery System for Amino Acid Sequences. Takayoshi Shoudai, Michael Lappe, Satoru Miyano, Ayumi Shinohara, Takeo Okazaki, Setsuo Arikawa, Tomoyuki Uchida, Shinichi Shimozono, Takeshi Shinohara, Satoru Kuhara. ISMB 1995, 359-358. Web SearchBibTeX |
| 1993 |
|---|
| 3 | A Machine Discovery from Amino Acid Sequences by Decision Trees over Regular Patterns. Setsuo Arikawa, Satoru Kuhara, Satoru Miyano, Yasuhito Mukouchi, Ayumi Shinohara, Takeshi Shinohara. New Generation Comput. (11): 361-375 (1993). Web SearchBibTeXDownload |
| 1992 |
|---|
| 2 | A Machine Discovery from Amino Acid Sequences by Decision Trees over Regular Patterns. Setsuo Arikawa, Satoru Kuhara, Satoru Miyano, Yasuhito Mukouchi, Ayumi Shinohara, Takeshi Shinohara. FGCS 1992, 618-625. Web SearchBibTeX |
| 1991 |
|---|
| 1 | More About Learning Elementary Formal Systems. Setsuo Arikawa, Takeshi Shinohara, Satoru Miyano, Ayumi Shinohara. Nonmonotonic and Inductive Logic 1991, 107-117. Web SearchBibTeXDownload |
