Masao Nagasaki

Latest

• Online model checking approach based parameter estimation to a neuronal fate decision simulation model in C. elegans with HFPNe
• MIRACH: efficient model checker for quantitative biological pathway models
• DA 1.0: Parameter estimation of biological pathways using data assimilation approach