@article{CTT100704278,
  author = {Sohei Ito and Takuma Ichinose and Masaya Shimakawa and Naoko Izumi and Shigeki Hagihara and Naoki Yonezaki},
  title = {Qualitative analysis of gene regulatory networks by temporal logic},
  journal = {Theoretical Computer Science},
  year = 2015,
}

@article{CTT100652824,
  author = {Sohei Ito and Takuma Ichinose and Masaya Shimakawa and Naoko Izumi and Shigeki Hagihara and Naoki Yonezaki},
  title = {Modular analysis of gene networks by linear temporal logic},
  journal = {Journal of Integrative Bioinformatics},
  year = 2013,
}

@inproceedings{CTT100652823,
  author = {Sohei Ito and Takuma Ichinose and Masaya Shimakawa and Naoko Izumi and Shigeki Hagihara and Naoki Yonezaki},
  title = {Modular analysis of gene networks by linear temporal logic},
  booktitle = {proceedings of 9th International Symposium on Integrative Bioinformatics},
  year = 2013,
}

@inproceedings{CTT100648487,
  author = {Sohei Ito and Takuma Ichinose and Masaya Shimakawa and Naoko Izumi and Shigeki Hagihara and Naoki Yonezaki},
  title = {Qualitative analysis of gene regulatory networks using network motifs},
  booktitle = {proceedings of 4th International Conference on Bioinformatics Models, Methods and Algorithms (BIOINFORMATICS2013)},
  year = 2013,
}

@inproceedings{CTT100648485,
  author = {Sohei Ito and Takuma Ichinose and Masaya Shimakawa and Naoko Izumi and Shigeki Hagihara and Naoki Yonezaki},
  title = {Modular analysis of gene networks using temporal logic (abstract)},
  booktitle = {program booklet},
  year = 2012,
}

@inproceedings{CTT100619560,
  author = {Sohei Ito and Takuma Ichinose and Naoko Izumi and Shigeki Hagihara and NAOKI YONEZAKI},
  title = {Qualitative analysis of gene regulatory networks by approximation using network motifs},
  booktitle = {},
  year = 2011,
}