Login / Signup
Chen Li
ORCID
Publication Activity (10 Years)
Years Active: 2005-2021
Publications (10 Years): 1
Top Topics
Key Features
Computational Power
Petri Net
Environmental Conditions
Top Venues
Biosyst.
Bioinform.
</>
Publications
</>
Chen Li
,
Jiale Qin
,
Keisuke Kuroyanagi
,
Lu Lu
,
Masao Nagasaki
,
Satoru Miyano
High-speed parameter search of dynamic biological pathways from time-course transcriptomic profiles using high-level Petri net.
Biosyst.
201 (2021)
Chen Li
,
Masao Nagasaki
,
Emi Ikeda
,
Yayoi Sekiya
,
Satoru Miyano
CSML2SBML: A novel tool for converting quantitative biological pathway models from CSML into SBML.
Biosyst.
121 (2014)
Masao Nagasaki
,
André Fujita
,
Yayoi Sekiya
,
Ayumu Saito
,
Emi Ikeda
,
Chen Li
,
Satoru Miyano
XiP: a computational environment to create, extend and share workflows.
Bioinform.
29 (1) (2013)
Chuan Hock Koh
,
Masao Nagasaki
,
Ayumu Saito
,
Chen Li
,
Limsoon Wong
,
Satoru Miyano
MIRACH: efficient model checker for quantitative biological pathway models.
Bioinform.
27 (5) (2011)
Yoshimasa Miwa
,
Chen Li
,
Qi-Wei Ge
,
Hiroshi Matsuno
,
Satoru Miyano
On Determining Firing Delay Time of Transitions for Petri Net Based Signaling Pathways by Introducing Stochastic Decision Rules.
Silico Biol.
10 (1-2) (2010)
Yoshimasa Miwa
,
Yuki Murakami
,
Qi-Wei Ge
,
Chen Li
,
Hiroshi Matsuno
,
Satoru Miyano
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.
(12) (2010)
Chen Li
,
Masao Nagasaki
,
Ayumu Saito
,
Satoru Miyano
Time-dependent structural transformation analysis to high-level Petri net model with active state transition diagram.
BMC Syst. Biol.
4 (2010)
Masao Nagasaki
,
Ayumu Saito
,
Euna Jeong
,
Chen Li
,
Kaname Kojima
,
Emi Ikeda
,
Satoru Miyano
Cell Illustrator 4.0: A Computational Platform for Systems Biology.
Silico Biol.
10 (1-2) (2010)
Chen Li
,
Masao Nagasaki
,
Kazuko Ueno
,
Satoru Miyano
Simulation-based model checking approach to cell fate specification during Caenorhabditis elegans vulval development by hybrid functional Petri net with extension.
BMC Syst. Biol.
3 (2009)
Kanji Hioka
,
Yoshimasa Miwa
,
Chen Li
,
Qi-Wei Ge
,
Hiroshi Matsuno
,
Satoru Miyano
An Algorithm to Estimate Delay Times in Petri Net Models of Signaling Pathways with Experimental Data.
BIONETICS
(2008)
Masao Nagasaki
,
Ayumu Saito
,
Chen Li
,
Euna Jeong
,
Satoru Miyano
Systematic reconstruction of TRANSPATH data into Cell System Markup Language.
BMC Syst. Biol.
2 (2008)
Hiroshi Matsuno
,
Chen Li
,
Satoru Miyano
Petri Net Based Descriptions for Systematic Understanding of Biological Pathways.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
(11) (2006)
Chen Li
,
Shunichi Suzuki
,
Qi-Wei Ge
,
Mitsuru Nakata
,
Hiroshi Matsuno
,
Satoru Miyano
Structural Modeling and Analysis of Signaling Pathways Based on Petri Nets.
J. Bioinform. Comput. Biol.
4 (5) (2006)
Qi-Wei Ge
,
Chen Li
,
Mitsuru Nakata
Performance Evaluation of a Two-Processor Scheduling Method for Acyclic SWITCH-less Program Nets.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
(6) (2005)