@article{CTT100858418,
  author = {今野 賢 and デファゴ クサヴィエ and 冨田 尭 and 井口 寧},
  title = {時系列障害原因分析による推論QoS規則導出手法},
  journal = {情報処理学会論文誌デジタルプラクティス（TDP）},
  year = 2021,
}

@article{CTT100737455,
  author = {Takashi Tomita and Atsushi Ueno and Masaya Shimakawa and Shigeki Hagihara and Naoki Yonezaki.},
  title = {Safraless LTL synthesis considering maximal realizability},
  journal = {Acta Informatica},
  year = 2016,
}

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

@article{CTT100672784,
  author = {冨田尭 and 萩原茂樹 and 米崎直樹},
  title = {平均利得時間論理とそれを用いた検証・最適化手法},
  journal = {コンピューターソフトウェア},
  year = 2014,
}

@inproceedings{CTT100705446,
  author = {Shigeki Hagihara and Atsushi Ueno and Takashi Tomita and Masaya Shimakawa and Naoki Yonezaki},
  title = {Simple synthesis of reactive systems with tolerance for unexpected environmental behavior},
  booktitle = {Proceedings of the 4th FME Workshop on Formal Methods in Software Engineering (FormaliSE '16)},
  year = 2016,
}

@inproceedings{CTT100704282,
  author = {冨田尭 and 上野篤史 and 萩原茂樹 and 島川昌也 and 米崎直樹},
  title = {可能な限り仕様を満たすリアクティブシステムの合成},
  booktitle = {ソフトウェア工学の基礎XXII, 日本ソフトウェア科学会 FOSE 2015},
  year = 2015,
}

@inproceedings{CTT100704279,
  author = {冨田尭 and 萩原茂樹 and 島川昌也 and 米崎直樹},
  title = {実現可能性の必要条件に基づいた不完全リアクティブシステム合成},
  booktitle = {日本ソフトウェア科学会第32回大会講演論文集},
  year = 2015,
}

@inproceedings{CTT100684804,
  author = {上野篤史 and 冨田尭 and 島川昌也 and 萩原茂樹 and 米崎直樹},
  title = {環境許容性のあるリアクティブシステム合成法},
  booktitle = {信学技報},
  year = 2015,
}

@inproceedings{CTT100677941,
  author = {Takashi Tomita and Takahito Kimura and Shigeki Hagihara and Naoki Yonezaki},
  title = {An Efficient Implementation of Satisfiability Checking for LTL with Mean-Payoff Constraints},
  booktitle = {Preproceedings of Workshop on Computation: Theory and Practice (WCTP2014)},
  year = 2014,
}

@inproceedings{CTT100676394,
  author = {冨田尭 and 上野篤史 and 萩原茂樹 and 米崎直樹},
  title = {協調的リアクティブシステムの合成手法},
  booktitle = {日本ソフトウェア科学会第31回大会講演論文集},
  year = 2014,
}

@inproceedings{CTT100661006,
  author = {冨田尭 and 山崎徹郎 and 萩原茂樹 and 米崎直樹},
  title = {確率的環境下において平均利得時間論理仕様を実現する最適マルコフ決定過程の自動合成法},
  booktitle = {日本ソフトウェア科学会第30回大会講演論文集},
  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{CTT100645919,
  author = {Takashi Tomita and Shin Hiura and Shigeki Hagihara and Naoki Yonezaki},
  title = {A Temporal Logic with Mean-Payoff Constraints},
  booktitle = {Formal Methods and Software Engineering, 14th International Conference on Formal Engineering Methods, ICFEM 2012, Lecture Notes in Computer Science},
  year = 2012,
}

@inproceedings{CTT100645917,
  author = {冨田尭 and 萩原茂樹 and 米崎直樹},
  title = {Mean-Payoff制約を記述可能な線形時間論理},
  booktitle = {日本ソフトウェア科学会第29回大会講演論文集},
  year = 2012,
}

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

@inproceedings{CTT100630710,
  author = {Takashi Tomita and Shigeki Hagihara and Naoki Yonezaki},
  title = {Probabilistic Temporal Logic with Frequency Operators and Its Model Checking},
  booktitle = {Proceedings 13th International Workshop on Verification of Infinite-State Systems. 2011, Electronic Proceedings in Theoretical Computer Science},
  year = 2011,
}

@inproceedings{CTT100630708,
  author = {冨田尭 and 萩原茂樹 and 伊藤宗平 and 樋浦信 and 米崎直樹},
  title = {頻度オペレータを導入した線形時間論理に対する統計的手法を用いた確率的モデル検査},
  booktitle = {日本ソフトウェア科学会第28回大会講演論文集},
  year = 2011,
}

@inproceedings{CTT100619275,
  author = {冨田尭 and 萩原茂樹 and 樋浦信 and 伊藤宗平 and 米崎直樹},
  title = {頻度オペレータを導入したProbabilictic CTLとそのモデル検査アルゴリズム},
  booktitle = {情報処理学会第73回全国大会講演論文集},
  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{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{CTT100566207,
  author = {冨田 尭 and 泉 直子 and 萩原茂樹 and 米崎直樹},
  title = {量的関係を考慮した生体内の阻害・活性化機能の形式相互作用オントロジー},
  booktitle = {日本ソフトウェア科学会第25回大会講演論文集},
  year = 2008,
}

@misc{CTT100667103,
  author = {冨田尭},
  title = {定量的性質を記述可能な拡張時間論理とそれを用いた仕様の検証手法に関する研究},
  year = 2013,
}

@misc{CTT100666965,
  author = {冨田尭},
  title = {定量的性質を記述可能な拡張時間論理とそれを用いた仕様の検証手法に関する研究},
  year = 2013,
}

@misc{CTT100667201,
  author = {冨田尭},
  title = {定量的性質を記述可能な拡張時間論理とそれを用いた仕様の検証手法に関する研究},
  year = 2013,
}



@phdthesis{CTT100667103,
  author = {冨田尭},
  title = {定量的性質を記述可能な拡張時間論理とそれを用いた仕様の検証手法に関する研究},
  school = {東京工業大学},
  year = 2013,
}

@phdthesis{CTT100666965,
  author = {冨田尭},
  title = {定量的性質を記述可能な拡張時間論理とそれを用いた仕様の検証手法に関する研究},
  school = {東京工業大学},
  year = 2013,
}

@phdthesis{CTT100667201,
  author = {冨田尭},
  title = {定量的性質を記述可能な拡張時間論理とそれを用いた仕様の検証手法に関する研究},
  school = {東京工業大学},
  year = 2013,
}