"Sohei Ito,Takuma Ichinose,Masaya Shimakawa,Naoko Izumi,Shigeki Hagihara,Naoki Yonezaki","Qualitative analysis of gene regulatory networks by temporal logic",,"Theoretical Computer Science",,"Vol. 594",,"pp. 151-179",2015,Aug.
"Sohei Ito,Takuma Ichinose,Masaya Shimakawa,Naoko Izumi,Shigeki Hagihara,Naoki Yonezaki","Modular analysis of gene networks by linear temporal logic",,"proceedings of 9th International Symposium on Integrative Bioinformatics",,,,"pp. 43-54",2013,Mar.
"Sohei Ito,Takuma Ichinose,Masaya Shimakawa,Naoko Izumi,Shigeki Hagihara,Naoki Yonezaki","Qualitative analysis of gene regulatory networks using network motifs",,"proceedings of 4th International Conference on Bioinformatics Models, Methods and Algorithms (BIOINFORMATICS2013)",,,,"pp. 15-24",2013,Feb.
"Sohei Ito,Takuma Ichinose,Masaya Shimakawa,Naoko Izumi,Shigeki Hagihara,Naoki Yonezaki","Modular analysis of gene networks by linear temporal logic",,"Journal of Integrative Bioinformatics",,"Vol. 10","No. 2","  216",2013,
"Sohei Ito,Takuma Ichinose,Masaya Shimakawa,Naoko Izumi,Shigeki Hagihara,Naoki Yonezaki","Modular analysis of gene networks using temporal logic (abstract)","5th Annual RECOMB Conference on Regulatory and Systems Genomics, with DREAM Challenges","program booklet",,,,"pp. 118-119",2012,Nov.
"Sohei Ito,Takuma Ichinose,Naoko Izumi,Shigeki Hagihara,NAOKI YONEZAKI","Qualitative analysis of gene regulatory networks by approximation using network motifs","International Symposium on Integrative Bioinformatics 2011",,,,,,2011,Mar.