Chen Li

14 papers Journal 13Unranked 1
YearRankTypeTitle / Venue / Authors
2021 J jnl
High-speed parameter search of dynamic biological pathways from time-course transcriptomic profiles using high-level Petri net.
Biosyst.
Chen Li, Jiale Qin, Keisuke Kuroyanagi, Lu Lu, Masao Nagasaki, Satoru Miyano
2014 J jnl
CSML2SBML: A novel tool for converting quantitative biological pathway models from CSML into SBML.
Biosyst.
Chen Li, Masao Nagasaki, Emi Ikeda, Yayoi Sekiya, Satoru Miyano
2013 J jnl
XiP: a computational environment to create, extend and share workflows.
Bioinform.
Masao Nagasaki, André Fujita, Yayoi Sekiya, Ayumu Saito, Emi Ikeda, Chen Li, Satoru Miyano
2011 J jnl
MIRACH: efficient model checker for quantitative biological pathway models.
Bioinform.
Chuan Hock Koh, Masao Nagasaki, Ayumu Saito, Chen Li, Limsoon Wong, Satoru Miyano
2010 J jnl
Cell Illustrator 4.0: A Computational Platform for Systems Biology.
Silico Biol.
Masao Nagasaki, Ayumu Saito, Euna Jeong, Chen Li, Kaname Kojima, Emi Ikeda, Satoru Miyano
2010 J jnl
Delay Time Determination for the Timed Petri Net Model of a Signaling Pathway Based on Its Structural Information.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Yoshimasa Miwa, Yuki Murakami, Qi-Wei Ge, Chen Li, Hiroshi Matsuno, Satoru Miyano
2010 J jnl
On Determining Firing Delay Time of Transitions for Petri Net Based Signaling Pathways by Introducing Stochastic Decision Rules.
Silico Biol.
Yoshimasa Miwa, Chen Li, Qi-Wei Ge, Hiroshi Matsuno, Satoru Miyano
2010 J jnl
Time-dependent structural transformation analysis to high-level Petri net model with active state transition diagram.
BMC Syst. Biol.
Chen Li, Masao Nagasaki, Ayumu Saito, Satoru Miyano
2009 J jnl
Simulation-based model checking approach to cell fate specification during Caenorhabditis elegans vulval development by hybrid functional Petri net with extension.
BMC Syst. Biol.
Chen Li, Masao Nagasaki, Kazuko Ueno, Satoru Miyano
2008 — conf
An Algorithm to Estimate Delay Times in Petri Net Models of Signaling Pathways with Experimental Data.
BIONETICS
Kanji Hioka, Yoshimasa Miwa, Chen Li, Qi-Wei Ge, Hiroshi Matsuno, Satoru Miyano
2008 J jnl
Systematic reconstruction of TRANSPATH data into Cell System Markup Language.
BMC Syst. Biol.
Masao Nagasaki, Ayumu Saito, Chen Li, Euna Jeong, Satoru Miyano
2006 J jnl
Petri Net Based Descriptions for Systematic Understanding of Biological Pathways.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Hiroshi Matsuno, Chen Li, Satoru Miyano
2006 J jnl
Structural Modeling and Analysis of Signaling Pathways Based on Petri Nets.
J. Bioinform. Comput. Biol.
Chen Li, Shunichi Suzuki, Qi-Wei Ge, Mitsuru Nakata, Hiroshi Matsuno, Satoru Miyano
2005 J jnl
Performance Evaluation of a Two-Processor Scheduling Method for Acyclic SWITCH-less Program Nets.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Qi-Wei Ge, Chen Li, Mitsuru Nakata