@article{CTT100704283,
  author = {Sohei Ito and Shigeki Hagihara and Naoki Yonezaki},
  title = {Formulation of Homeostasis by Realisability on Linear Temporal Logic},
  journal = {Biomedical Engineering Systems and Technologies,, Communications in Computer and Information Science},
  year = 2016,
}

@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{CTT100684801,
  author = {冨田尭 and 萩原茂樹 and 伊藤宗平 and 米崎直樹},
  title = {確率頻度時間論理の統計的モデル検査},
  journal = {コンピューターソフトウェア},
  year = 2014,
}

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

@article{CTT100636199,
  author = {Takahiro Shibata and Yuuki Kimura and Akihiro Mukai and Hitoshi Mori and Sohei Ito and Yukio Asaka and Sho Oe and Hiroshi Tanaka and Takashi Takahashi and Koji Uchida},
  title = {Transthiocarbamoylation of proteins by thiolated isothiocyanates},
  journal = {J. Biol. Chem},
  year = 2011,
}

@article{CTT100593456,
  author = {伊藤宗平 and 萩原茂樹 and 米崎直樹},
  title = {プログラム依存グラフの操作的意味},
  journal = {コンピュータソフトウェア},
  year = 2009,
}

@inproceedings{CTT100684802,
  author = {Sohei Ito and Shigeki Hagihara and Naoki Yonezaki},
  title = {Approximate Analysis of Homeostasis of Gene Networks by Linear Temporal Logic using Network Motifs},
  booktitle = {proceedings of 5th International Conference on Bioinformatics Models, Methods and Algorithms (BIOINFORMATICS2014)},
  year = 2015,
}

@inproceedings{CTT100667995,
  author = {Sohei Ito and Shigeki Hagihara and Naoki Yonezaki},
  title = {A Qualitative Framework for Analysing homeostasis in Gene Networks},
  booktitle = {proceedings of 5th International Conference on Bioinformatics Models, Methods and Algorithms (BIOINFORMATICS2014)},
  year = 2014,
}

@inproceedings{CTT100665099,
  author = {長利健治 and 室岡拓弥 and 萩原聖貴 and 安藤崇央 and 島川昌也 and 伊藤宗平 and 萩原茂樹 and 米崎直樹},
  title = {記述性を重視したリアクティブシステム用仕様記述言語T},
  booktitle = {},
  year = 2013,
}

@inproceedings{CTT100661008,
  author = {Kenji Osari and Takuya Murooka and Kiyotaka Hagiwara and Takahiro Ando and Masaya Shimakawa and Sohei Ito and Shigeki Hagihara and Naoki Yonezaki},
  title = {An object-oriented language  for parameterised reactive system specification based on linear temporal logic},
  booktitle = {Preproceedings of Workshop on Computation: Theory and Practice (WCTP2013)},
  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{CTT100633379,
  author = {Sohei Ito and Dominik Vymětal},
  title = {Formal REA model at operational level},
  booktitle = {Conference Proceedings of the International Scientific Conference ICT for Competitveness 2012},
  year = 2012,
}

@inproceedings{CTT100632103,
  author = {樋浦信 and 冨田尭 and 萩原茂樹 and 伊藤宗平 and 米崎直樹},
  title = {条件付頻度を扱えるように拡張したLTLによるリアクティブシステム仕様の充足可能性判定},
  booktitle = {},
  year = 2011,
}

@inproceedings{CTT100630708,
  author = {冨田尭 and 萩原茂樹 and 伊藤宗平 and 樋浦信 and 米崎直樹},
  title = {頻度オペレータを導入した線形時間論理に対する統計的手法を用いた確率的モデル検査},
  booktitle = {日本ソフトウェア科学会第28回大会講演論文集},
  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{CTT100619274,
  author = {伊藤宗平 and 泉直子 and 萩原茂樹 and 米崎直樹},
  title = {時間論理による仕様記述を用いた遺伝子ネットワークの定性的振る舞い解析},
  booktitle = {情報処理学会第73回全国大会講演論文集},
  year = 2011,
}

@inproceedings{CTT100619275,
  author = {冨田尭 and 萩原茂樹 and 樋浦信 and 伊藤宗平 and 米崎直樹},
  title = {頻度オペレータを導入したProbabilictic CTLとそのモデル検査アルゴリズム},
  booktitle = {情報処理学会第73回全国大会講演論文集},
  year = 2011,
}

@inproceedings{CTT100619561,
  author = {伊藤宗平},
  title = {時間論理LTLの充足可能性判定を用いた遺伝子ネットワークの解析},
  booktitle = {},
  year = 2011,
}

@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{CTT100613690,
  author = {伊藤宗平},
  title = {時間論理LTLの充足可能性判定を用いた遺伝子ネットワークの解析～形式手法のシステムバイオロジーへの適用 ～},
  booktitle = {},
  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{CTT100654108,
  author = {佐野正浩 and 高前田伸也 and 芝哲史 and 曹哲 and 伊藤宗平 and 川合秀実 and 笹田耕一 and 吉瀬謙二},
  title = {Mieruシステムソフトウェア},
  booktitle = {情報処理学会研究報告 2010-ARC-189},
  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{CTT100593460,
  author = {萩原聖貴 and 安藤崇央 and 島川昌也 and 伊藤宗平 and 萩原茂樹 and 米崎直樹},
  title = {記述性を重視したリアクティブシステム用仕様記述言語T},
  booktitle = {日本ソフトウェア科学会第26回大会講演論文集},
  year = 2009,
}

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

@inproceedings{CTT100549112,
  author = {Souhei Ito and Shigeki Hagihara and Naoki Yonezaki},
  title = {An Operational Semantics of Program Dependence Graphs for Unstructured Programs},
  booktitle = {Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues, Lecture Notes in Computer Science},
  year = 2008,
}

@inproceedings{CTT100619639,
  author = {Sohei Ito and Shigeki Hagihara and Naoki Yonezaki},
  title = {A Formal Ontology for Business Process Model TAP: Tasks-Agents-Products},
  booktitle = {Information Modeling and Knowledge Bases XIX},
  year = 2008,
}

@inproceedings{CTT100548463,
  author = {伊藤宗平 and 萩原茂樹 and 米崎直樹},
  title = {ビジネスプロセスモデルTAPの形式オントロジーとその応用},
  booktitle = {日本ソフトウェア科学会第24回大会講演論文集},
  year = 2007,
}

@inproceedings{CTT100548461,
  author = {Souhei Ito and Shigeki Hagihara and Naoki Yonezaki},
  title = {A Formal Ontology for Business Process Model TAP: Tasks-Agents-Products},
  booktitle = {Proceedings of the 17th European-Japanese Conference on Information Modeling and Knowledge Bases EJC2007},
  year = 2007,
}

@inproceedings{CTT100548462,
  author = {Souhei Ito and Shigeki Hagihara and Naoki Yonezaki},
  title = {An Ontology for Business Process Model TAP: Tasks-Agents-Products},
  booktitle = {Proceedings of International Symposium on Large-scale Knowledge Resources (LKR2007)},
  year = 2007,
}

@inproceedings{CTT100548470,
  author = {Souhei Ito and Shigeki Hagihara and Naoki Yonezaki},
  title = {An Operational Semantics of Program Dependence Graphs for Unstructured Programs},
  booktitle = {Preliminary Proceedings of 11th Annual Asian Computing Science Conference (ASIAN 2006)},
  year = 2006,
}

@inproceedings{CTT100548472,
  author = {伊藤宗平 and 萩原茂樹 and 米崎直樹},
  title = {中間コードを表すプログラム依存グラフの操作的意味},
  booktitle = {日本ソフトウェア科学会第23回大会講演論文集},
  year = 2006,
}

@inproceedings{CTT100548473,
  author = {Souhei Ito and Shigeki Hagihara and Naoki Yonezaki},
  title = {Formalization of process optimization knowledge - An application to code optimization -},
  booktitle = {Proceedings of International Symposium on Large-scale Knowledge Resources (LKR2006)},
  year = 2006,
}

@inproceedings{CTT100548476,
  author = {伊藤宗平 and 萩原茂樹 and 米崎直樹},
  title = {意味的制約の書き換えによるコンパイラのコード最適化},
  booktitle = {日本ソフトウェア科学会第２２回大会講演論文集},
  year = 2005,
}

@inproceedings{CTT100548484,
  author = {伊藤宗平 and 萩原茂樹 and 米崎直樹},
  title = {最適条件の時間論理記述を用いたモデル生成器によるコード最適化},
  booktitle = {日本ソフトウェア科学会第20回記念大会論文集},
  year = 2003,
}