Takuma Ichinose

According to our database, Takuma Ichinose authored at least 4 papers between 2013 and 2015.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2015

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

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

Formal Analysis of Gene Networks Using Network Motifs.

Sohei Ito, Takuma Ichinose, Masaya Shimakawa, Naoko Izumi, Shigeki Hagihara, Naoki Yonezaki

Proceedings of the Biomedical Engineering Systems and Technologies, 2013

Qualitative Analysis of Gene Regulatory Networks using Network Motifs.

Sohei Ito, Takuma Ichinose, Masaya Shimakawa, Naoko Izumi, Shigeki Hagihara, Naoki Yonezaki

Proceedings of the BIOINFORMATICS 2013 - Proceedings of the International Conference on Bioinformatics Models, Methods and Algorithms, Barcelona, Spain, 11, 2013