@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{CTT100645920,
  author = {Takashi Tomita and Naoko Izumi and Shigeki Hagihara and Naoki Yonezaki},
  title = {A Formal Ontology of Interactions with Intensional Quantitative Semantics},
  booktitle = {Theory and Practice of Computation, Proceedings in Information and Communications Technology},
  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{CTT100619274,
  author = {伊藤宗平 and 泉直子 and 萩原茂樹 and 米崎直樹},
  title = {時間論理による仕様記述を用いた遺伝子ネットワークの定性的振る舞い解析},
  booktitle = {情報処理学会第73回全国大会講演論文集},
  year = 2011,
}

@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,
}

@inproceedings{CTT100613752,
  author = {Takashi Tomita and Naoko Izumi and Shigeki Hagihara and Naoki Yonezaki},
  title = {Qualitative Inference Rules for Analysis of Biological Object Interactions},
  booktitle = {9th International Conference on Bioinformatics, Abstracts},
  year = 2010,
}

@inproceedings{CTT100613691,
  author = {Sohei Ito and Naoko Izumi and Shigeki Hagihara and NAOKI YONEZAKI},
  title = {Possible behavior analysis of Gene Regulatory Networks by Linear Temporal Logic},
  booktitle = {9th International Conference on Bioinformatics, Abstracts},
  year = 2010,
}

@inproceedings{CTT100613651,
  author = {Sohei Ito and Naoko Izumi and Shigeki Hagihara and Naoki Yonezaki},
  title = {Qualitative analysis of gene regulatory networks by satisfiability checking of Linear Temporal Logic},
  booktitle = {Proceedings of the 10th IEEE International Conference on Bioinformatics & Bioengineering},
  year = 2010,
}

@inproceedings{CTT100593462,
  author = {Sohei Ito and Naoko Izumi and Shigeki Hagihara and Naoki Yonezaki},
  title = {Analysis of gene regulatory networks by checking satisfiability of Linear Temporal Logic},
  booktitle = {CBI-KSBSB Joint Conference},
  year = 2009,
}

@inproceedings{CTT100593461,
  author = {Takashi Tomita and Naoko Izumi and Shigeki Hagihara and Naoki Yonezaki},
  title = {2-layered Formal Interaction Ontology among Biological Processes with Quantitative Semantics},
  booktitle = {CBI-KSBSB Joint Conference},
  year = 2009,
}

@inproceedings{CTT100593458,
  author = {伊藤宗平 and 泉 直子 and 萩原茂樹 and 米崎直樹},
  title = {時間論理LTLの充足可能性判定を用いた遺伝子ネットワークの解析},
  booktitle = {日本ソフトウェア科学会第26回大会講演論文集},
  year = 2009,
}

@inproceedings{CTT100593573,
  author = {Naoko Izumi and Naoki Yonezaki},
  title = {Formal system of interactions on biomedical ontology},
  booktitle = {Proceedings of the 19th European-Japanese conference on information modelling and knowledge basis},
  year = 2009,
}

@inproceedings{CTT100566207,
  author = {冨田 尭 and 泉 直子 and 萩原茂樹 and 米崎直樹},
  title = {量的関係を考慮した生体内の阻害・活性化機能の形式相互作用オントロジー},
  booktitle = {日本ソフトウェア科学会第25回大会講演論文集},
  year = 2008,
}

@inproceedings{CTT100593575,
  author = {Koji Tashima and Naoko Izumi and Naoki Yonezaki},
  title = {A Quantitative Semantics of Formal Ontology of Drug Interactions},
  booktitle = {Proceedings of the 2008 International Conference on Bioinformatics & Computational Biology, BIOCOMP2008},
  year = 2008,
}

@inproceedings{CTT100548469,
  author = {秋山卓見 and 泉直子 and 萩原茂樹 and 米崎直樹},
  title = {形式オントロジーに基づく遺伝子調節のための数値モデル},
  booktitle = {情報処理学会研究報告},
  year = 2007,
}

@inproceedings{CTT100542869,
  author = {Naoki Yonezaki and Naoko Izumi and Takumi Akiyama},
  title = {Formal Ontology of Object Interaction},
  booktitle = {Proceedings of International Symposium on Large-scale Knowledge Resources (LKR2006)},
  year = 2006,
}

@inproceedings{CTT100398897,
  author = {米崎直樹 and 泉直子 and 秋山卓見},
  title = {薬物相互作用の形式オントロジー},
  booktitle = {日本ソフトウェア科学会第２２回大会講演論文集},
  year = 2005,
}

@inproceedings{CTT100459950,
  author = {Naoko Izumi and Naoki Yonezaki},
  title = {Mereology with class hierarchy for component structure},
  booktitle = {Proceedings of the IASTED International Conference Artificial Intelligence and Soft Computing},
  year = 2001,
}

@inproceedings{CTT100458179,
  author = {Naoko Izumi and Naoki Yonezaki.},
  title = {A logic of ontology for object oriented software component.},
  booktitle = {Proc. of the 11th European-Japanese conference on Information Modelling and Knowledge Basis},
  year = 2001,
}

@inproceedings{CTT100445352,
  author = {泉直子 and 米崎直樹},
  title = {オブジェクトの項表現を意味論の基礎とする論理体系としてのontologyとその表現力},
  booktitle = {人工知能学会全国大会（第14回）論文集},
  year = 2000,
}

@inproceedings{CTT100432287,
  author = {泉直子 and 米崎直樹},
  title = {ソフトウェア部品管理のためのクラス階層を持つオブジェクト項を導入したMeleology},
  booktitle = {日本ソフトウェア科学会第16回大会論文集},
  year = 1999,
}