Qualitative Analysis of Gene Regulatory Networks using Network Motifs. - Sohei Ito; Takuma Ichinose; Masaya Shimakawa; Naoko Izumi; Shigeki Hagihara; Naoki Yonezaki (BIOINFORMATICS, 2013)

Formal Analysis of Gene Networks Using Network Motifs. - Sohei Ito; Takuma Ichinose; Masaya Shimakawa; Naoko Izumi; Shigeki Hagihara; Naoki Yonezaki (BIOSTEC (Selected Papers), 2013)

Modular analysis of gene networks by linear temporal logic. - Sohei Ito; Takuma Ichinose; Masaya Shimakawa; Naoko Izumi; Shigeki Hagihara; Naoki Yonezaki (J. Integr. Bioinform., 2013)

Qualitative analysis of gene regulatory networks by temporal logic. - Sohei Ito; Takuma Ichinose; Masaya Shimakawa; Naoko Izumi; Shigeki Hagihara; Naoki Yonezaki (Theor. Comput. Sci., 2015)