論文

• Sohei Ito, Shigeki Hagihara, Naoki Yonezaki. Formulation of Homeostasis by Realisability on Linear Temporal Logic, Biomedical Engineering Systems and Technologies,, Communications in Computer and Information Science, Vol. 511, pp. 149-164, Jan. 2016.
• 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, Aug. 2015.
• 冨田尭, 萩原茂樹, 伊藤宗平, 米崎直樹. 確率頻度時間論理の統計的モデル検査, コンピューターソフトウェア, 岩波書店, Vol. 31, No. 3, pp. 336-356, Aug. 2014.
• 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.  公式リンク  
  
• Takahiro Shibata, Yuuki Kimura, Akihiro Mukai, Hitoshi Mori, Sohei Ito, Yukio Asaka, Sho Oe, Hiroshi Tanaka, Takashi Takahashi, Koji Uchida. Transthiocarbamoylation of proteins by thiolated isothiocyanates, J. Biol. Chem, vol. 286, p. 42150-42161, May 2011.
• 伊藤宗平, 萩原茂樹, 米崎直樹. プログラム依存グラフの操作的意味, コンピュータソフトウェア, Vol. 26, No. 3, pp. 109-135, Aug. 2009.

国際会議発表 (査読有り)

• Sohei Ito, Shigeki Hagihara, Naoki Yonezaki. Approximate Analysis of Homeostasis of Gene Networks by Linear Temporal Logic using Network Motifs, 6th International Conference on Bioinformatics Models, Methods and Algorithms (BIOINFORMATICS2015), proceedings of 5th International Conference on Bioinformatics Models, Methods and Algorithms (BIOINFORMATICS2014), pp. 93-101, Jan. 2015.
• Sohei Ito, Shigeki Hagihara, Naoki Yonezaki. A Qualitative Framework for Analysing homeostasis in Gene Networks, 5th International Conference on Bioinformatics Models, Methods and Algorithms (BIOINFORMATICS2014), proceedings of 5th International Conference on Bioinformatics Models, Methods and Algorithms (BIOINFORMATICS2014), pp. 5-16, Mar. 2014.
• Kenji Osari, Takuya Murooka, Kiyotaka Hagiwara, Takahiro Ando, Masaya Shimakawa, Sohei Ito, Shigeki Hagihara, Naoki Yonezaki. An object-oriented language for parameterised reactive system specification based on linear temporal logic, Workshop on Computation: Theory and Practice (WCTP2013), Preproceedings of Workshop on Computation: Theory and Practice (WCTP2013), pp. 94-113, Sept. 2013.
• 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, Mar. 2013.
• 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, Feb. 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, Nov. 2012.
• Sohei Ito, Dominik Vymětal. Formal REA model at operational level, Conference Proceedings of the International Scientific Conference ICT for Competitveness 2012, pp. 150-160, Feb. 2012.
• 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, Mar. 2011.
• Sohei Ito, Naoko Izumi, Shigeki Hagihara, NAOKI YONEZAKI. Possible behavior analysis of Gene Regulatory Networks by Linear Temporal Logic, 9th International Conference on Bioinformatics, 9th International Conference on Bioinformatics, Abstracts, pp. 50, Sept. 2010.
• Sohei Ito, Naoko Izumi, Shigeki Hagihara, Naoki Yonezaki. Qualitative analysis of gene regulatory networks by satisfiability checking of Linear Temporal Logic, Proceedings of the 10th IEEE International Conference on Bioinformatics & Bioengineering, pp. 232-237, May 2010.
• Sohei Ito, Naoko Izumi, Shigeki Hagihara, Naoki Yonezaki. Analysis of gene regulatory networks by checking satisfiability of Linear Temporal Logic, CBI-KSBSB Joint Conference, CBI-KSBSB Joint Conference, P12-143, pp. 216, Nov. 2009.
• Souhei Ito, Shigeki Hagihara, Naoki Yonezaki. An Operational Semantics of Program Dependence Graphs for Unstructured Programs, 11th Annual Asian Computing Science Conference (ASIAN 2006), Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues, Lecture Notes in Computer Science, Springer Berlin, Vol. 4435, pp. 264-271, Jan. 2008.
• Sohei Ito, Shigeki Hagihara, Naoki Yonezaki. A Formal Ontology for Business Process Model TAP: Tasks-Agents-Products, Information Modeling and Knowledge Bases XIX, IOS Press, Vol. 166, pp. 290-297, 2008.
• Souhei Ito, Shigeki Hagihara, Naoki Yonezaki. A Formal Ontology for Business Process Model TAP: Tasks-Agents-Products, Proceedings of the 17th European-Japanese Conference on Information Modeling and Knowledge Bases EJC2007, pp. 294-301, June 2007.
• Souhei Ito, Shigeki Hagihara, Naoki Yonezaki. An Operational Semantics of Program Dependence Graphs for Unstructured Programs, 11th Annual Asian Computing Science Conference (ASIAN 2006), Preliminary Proceedings of 11th Annual Asian Computing Science Conference (ASIAN 2006), pp. 265-272, Dec. 2006.

国際会議発表 (査読なし・不明)

• Souhei Ito, Shigeki Hagihara, Naoki Yonezaki. An Ontology for Business Process Model TAP: Tasks-Agents-Products, Proceedings of International Symposium on Large-scale Knowledge Resources (LKR2007), pp. 227-232, Mar. 2007.
• Souhei Ito, Shigeki Hagihara, Naoki Yonezaki. Formalization of process optimization knowledge - An application to code optimization -, International Symposium on Large-scale Knowledge Resources (LKR2006), Proceedings of International Symposium on Large-scale Knowledge Resources (LKR2006), pp. 179-182, Mar. 2006.

国内会議発表 (査読なし・不明)

• 長利健治, 室岡拓弥, 萩原聖貴, 安藤崇央, 島川昌也, 伊藤宗平, 萩原茂樹, 米崎直樹. 記述性を重視したリアクティブシステム用仕様記述言語T, 第20回ソフトウェア工学の基礎ワークショップFOSE2013, Nov. 2013.
• 樋浦信, 冨田尭, 萩原茂樹, 伊藤宗平, 米崎直樹. 条件付頻度を扱えるように拡張したLTLによるリアクティブシステム仕様の充足可能性判定, ディペンダブルシステムワークショップ & シンポジウム (DSW & DSS 2011), Dec. 2011.
• 冨田尭, 萩原茂樹, 伊藤宗平, 樋浦信, 米崎直樹. 頻度オペレータを導入した線形時間論理に対する統計的手法を用いた確率的モデル検査, 日本ソフトウェア科学会第28回大会講演論文集, Sept. 2011.
• 伊藤宗平, 泉直子, 萩原茂樹, 米崎直樹. 時間論理による仕様記述を用いた遺伝子ネットワークの定性的振る舞い解析, 情報処理学会第73回全国大会講演論文集, Vol. 1, pp. 231-232, Mar. 2011.
• 冨田尭, 萩原茂樹, 樋浦信, 伊藤宗平, 米崎直樹. 頻度オペレータを導入したProbabilictic CTLとそのモデル検査アルゴリズム, 情報処理学会第73回全国大会講演論文集, Vol. 1, pp. 235-236, Mar. 2011.
• 伊藤宗平. 時間論理LTLの充足可能性判定を用いた遺伝子ネットワークの解析, 第14回オープンバイオ研究会, Mar. 2011.
• 伊藤宗平. 時間論理LTLの充足可能性判定を用いた遺伝子ネットワークの解析～形式手法のシステムバイオロジーへの適用 ～, 人工知能学会第二種研究会 分子生物情報研究会（SIG-MBI）, Aug. 2010.
• 佐野正浩, 高前田伸也, 芝哲史, 曹哲, 伊藤宗平, 川合秀実, 笹田耕一, 吉瀬謙二. Mieruシステムソフトウェア, 情報処理学会研究報告 2010-ARC-189, pp. 1-9, Apr. 2010.
• 萩原聖貴, 安藤崇央, 島川昌也, 伊藤宗平, 萩原茂樹, 米崎直樹. 記述性を重視したリアクティブシステム用仕様記述言語T, 日本ソフトウェア科学会第26回大会講演論文集, Sept. 2009.
• 伊藤宗平, 泉 直子, 萩原茂樹, 米崎直樹. 時間論理LTLの充足可能性判定を用いた遺伝子ネットワークの解析, 日本ソフトウェア科学会第26回大会講演論文集, Sept. 2009.
• 伊藤宗平, 萩原茂樹, 米崎直樹. ビジネスプロセスモデルTAPの形式オントロジーとその応用, 日本ソフトウェア科学会第24回大会講演論文集, Sept. 2007.
• 伊藤宗平, 萩原茂樹, 米崎直樹. 中間コードを表すプログラム依存グラフの操作的意味, 日本ソフトウェア科学会第23回大会, 日本ソフトウェア科学会第23回大会講演論文集, Sept. 2006.
• 伊藤宗平, 萩原茂樹, 米崎直樹. 意味的制約の書き換えによるコンパイラのコード最適化, 日本ソフトウェア科学会第２２回大会講演論文集, pp. 407-414, Sept. 2005.
• 伊藤宗平, 萩原茂樹, 米崎直樹. 最適条件の時間論理記述を用いたモデル生成器によるコード最適化, 日本ソフトウェア科学会第20回記念大会論文集, Sept. 2003.

[ BibTeX 形式で保存 ]    [ 論文・著書をCSV形式で保存 ]    [ 特許をCSV形式で保存 ]