Differences
This shows you the differences between two versions of the page.
|
学術論文誌・査読付き国際会議 [2012/01/19 13:52] mlabadm |
学術論文誌・査読付き国際会議 [2012/01/19 13:54] (current) mlabadm |
||
|---|---|---|---|
| Line 9: | Line 9: | ||
| - **__Li C__***, Nagasaki M*, Hock Koh C, Miyano S, Online model checking approach based parameter estimation to a neuronal fate decision simulation model in C. elegans with hybrid functional Petri net with extension, //Mol. Biosyst.//, **7**(5), 1576–1592, 2011. (//**IF:3.859**//) [http://pubs.rsc.org/en/Content/ArticleLanding/2011/MB/C0MB00253D] (//**Selected as Molecular BioSystems HOT Article**//) | - **__Li C__***, Nagasaki M*, Hock Koh C, Miyano S, Online model checking approach based parameter estimation to a neuronal fate decision simulation model in C. elegans with hybrid functional Petri net with extension, //Mol. Biosyst.//, **7**(5), 1576–1592, 2011. (//**IF:3.859**//) [http://pubs.rsc.org/en/Content/ArticleLanding/2011/MB/C0MB00253D] (//**Selected as Molecular BioSystems HOT Article**//) | ||
| - | - Hock Koh C, Nagasaki M, Saito A, **__Li C__**, Wong L, Miyano S, MIRACH: Efficient Model Checker for Quantitative Biological Pathway Models, Bioinformatics, 27(5):734-5, 2011. (//**IF:4.926**//) [http://www.ncbi.nlm.nih.gov/pubmed/21208986] | + | - Hock Koh C, Nagasaki M, Saito A, **__Li C__**, Wong L, Miyano S, MIRACH: Efficient Model Checker for Quantitative Biological Pathway Models, //Bioinformatics//, 27(5):734-5, 2011. (//**IF:4.926**//) [http://www.ncbi.nlm.nih.gov/pubmed/21208986] |
| - Miwa Y, Murakami Y, Ge QW, **__Li C__**, Matsuno H, Miyano S, Delay time determination for the timed Petri net model of a signaling pathway based on its structural information, // IEICE Trans. Fundamentals of Electronics, Communications and Computer Sciences//, **E93-A**(12), 2717-2729, 2010. [http://search.ieice.org/bin/summary.php?id=e93-a_12_2717] | - Miwa Y, Murakami Y, Ge QW, **__Li C__**, Matsuno H, Miyano S, Delay time determination for the timed Petri net model of a signaling pathway based on its structural information, // IEICE Trans. Fundamentals of Electronics, Communications and Computer Sciences//, **E93-A**(12), 2717-2729, 2010. [http://search.ieice.org/bin/summary.php?id=e93-a_12_2717] | ||
| - **__Li C__***, Nagasaki M*, Saito A and Miyano S, Time-dependent structural transformation analysis to high-level Petri net model with active state transition diagram, //BMC Syst Biol.//, **4**:39, 2010 Apr. [http://www.biomedcentral.com/1752-0509/4/39/] (//**IF:4.06**//) (2010.7) | - **__Li C__***, Nagasaki M*, Saito A and Miyano S, Time-dependent structural transformation analysis to high-level Petri net model with active state transition diagram, //BMC Syst Biol.//, **4**:39, 2010 Apr. [http://www.biomedcentral.com/1752-0509/4/39/] (//**IF:4.06**//) (2010.7) | ||
