@book{CTT100613644,
  author = {萩原茂樹 and 米崎直樹},
  title = {AbadiとRogawayによるメッセージの識別不可能性の形式化},
  publisher = {共立出版},
  year = 2010,
}

@book{CTT100633898,
  author = {渡辺治 and 米崎直樹},
  title = {計算論入門},
  publisher = {日本評論社},
  year = 1997,
}

@book{CTT100416610,
  author = {NAOKI YONEZAKI},
  title = {Several Reliability Concepts in Reactive Objects},
  publisher = {Information Modeling and Knowledge Bases IV, IOS Press},
  year = 1993,
}

@book{CTT100416617,
  author = {米崎直樹},
  title = {情報科学の基礎研究(共著)},
  publisher = {オーム社},
  year = 1990,
}

@book{CTT100416611,
  author = {NAOKI YONEZAKI},
  title = {Natural Language Interface for Requirements Specification},
  publisher = {Japanese Perspective on Software Engineering, Addition Wesley},
  year = 1989,
}

@book{CTT100447617,
  author = {米崎直樹},
  title = {ソフトウェア工学ハンドブック},
  publisher = {オーム社},
  year = 1986,
}

@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{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{CTT100673872,
  author = {Masaya Shimakawa and Shigeki Hagihara and Naoki Yonezaki},
  title = {Bounded Strong Satisfiability Checking of Reactive System Specifications},
  journal = {IEICE Transactions on  Information and Systems},
  year = 2014,
}

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

@article{CTT100666746,
  author = {安藤崇央 and 萩原茂樹 and 米崎直樹},
  title = {SAT solverを用いるLTLタブロー構成法とその評価},
  journal = {情報処理学会論文誌},
  year = 2014,
}

@article{CTT100661185,
  author = {Masaya Shimakawa and Shigeki Hagihara and Naoki Yonezaki},
  title = {Complexity of Strong Satisfiability Problems for Reactive System Specifications},
  journal = {IEICE Transactions on  Information and Systems},
  year = 2013,
}

@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{CTT100653262,
  author = {Shigeki Hagihara and Hiroaki Oguro and Naoki Yonezaki},
  title = {Kripke semantics for Epistemic Logic of Relational Information between Ciphertexts},
  journal = {Philippine Computing Journal},
  year = 2012,
}

@article{CTT100631034,
  author = {安藤崇央 and 宮本佑樹 and 萩原茂樹 and 米崎直樹},
  title = {リアクティブシステム仕様に対する段階的充足可能性判定器の分散オブジェクト技術を利用した実装},
  journal = {コンピューターソフトウェア},
  year = 2011,
}

@article{CTT100625774,
  author = {萩原茂樹 and 北村佑介 and 島川昌也 and 関戸聡 and 米崎直樹},
  title = {リアクティブシステム仕様を実現可能にするための環境制約の抽出},
  journal = {コンピューターソフトウェア},
  year = 2011,
}

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

@article{CTT100593455,
  author = {小黒博昭 and 萩原茂樹 and 米崎直樹},
  title = {記号論的暗号解析を用いたOblivious Transferプロトコルの解析},
  journal = {電子情報通信学会論文誌 D},
  year = 2009,
}

@article{CTT100479169,
  author = {青島武伸 and 米崎直樹},
  title = {時間論理によるリアクティブシステム仕様の検証の効率化},
  journal = {コンピュータソフトウェア},
  year = 2003,
}

@article{CTT100548421,
  author = {萩原茂樹 and 友石正彦 and 米崎直樹},
  title = {有限フレームを意味的基礎として持つ様相論理に対する分解証明法},
  journal = {コンピュータソフトウェア},
  year = 2000,
}

@article{CTT100445348,
  author = {根岸和義 and 米崎直樹},
  title = {セキュリティプロトコルの一貫性および正常終了一致の同一参加者による複数セッションを考慮した検証法.},
  journal = {情報処理学会論文誌},
  year = 2000,
}

@article{CTT100432279,
  author = {吉浦紀晃 and 米崎直樹},
  title = {適切さの論理RとERの証明力の比較},
  journal = {人工知能学会誌},
  year = 1999,
}

@article{CTT100432280,
  author = {吉浦紀晃 and 米崎直樹},
  title = {適切さの論理ERの決定可能性},
  journal = {人工知能学会誌},
  year = 1999,
}

@article{CTT100416620,
  author = {NAOKI YONEZAKI},
  title = {Relevant Inference and Reliebility dependent on Implication},
  journal = {Information Modeling and Knowledge Bases},
  year = 1996,
}

@article{CTT100633875,
  author = {端山毅 and 米崎直樹},
  title = {様相記号列統一化による様相論理定理証明器の健全性と完全性},
  journal = {コンピュータソフトウェア},
  year = 1993,
}

@article{CTT100416614,
  author = {米崎直樹},
  title = {様相記念列統一化による様相論理定理証明器における自己代入の利用},
  journal = {コンピュータソフトウェア},
  year = 1993,
}

@article{CTT100633895,
  author = {米崎直樹},
  title = {様相論理と並列プログラム},
  journal = {電気・情報関連学会連合大会論文集},
  year = 1989,
}

@article{CTT100633866,
  author = {米崎直樹 and 市川至 and 蓬莱尚幸 and 佐伯元司 and 榎本肇},
  title = {自然言語に基づく静的システムの仕様のプロトタイププログラムへの変換手法},
  journal = {情報処理学会論文誌},
  year = 1986,
}

@article{CTT100442378,
  author = {佐伯元司 and 米崎直樹 and 榎本肇},
  title = {自然言語の語彙分割による形式的仕様記述},
  journal = {情報処理学会論文誌},
  year = 1984,
}

@article{CTT100633858,
  author = {米崎直樹 and 榎本肇},
  title = {内包論理に基づく関数的並列処理言語の意味記述と検証},
  journal = {電子情報通信学会論文誌},
  year = 1983,
}

@article{CTT100633853,
  author = {榎本肇 and NAOKI YONEZAKI and 渡辺康夫},
  title = {Application of Structure line to Surface Construction and 3-Dimensional Analysis},
  journal = {Springer Series in Information Sciences Vol.6. Picture Engineering},
  year = 1982,
}

@article{CTT100633846,
  author = {新田克己 and 米崎直樹 and 榎本肇},
  title = {画像の構造情報の抽出とその応用},
  journal = {電子通信学会論文誌},
  year = 1980,
}

@article{CTT100633843,
  author = {米崎直樹 and 佐藤克史 and 榎本肇},
  title = {パターンの統計的性質を用いた構文的認識機構の自動合成とその評価},
  journal = {電子通信学会論文誌},
  year = 1980,
}

@article{CTT100633836,
  author = {榎本肇 and 片山卓也 and 米崎直樹},
  title = {分割アルゴリズムに基づく同型グラフの検索について},
  journal = {情報処理学会論文誌},
  year = 1977,
}

@article{CTT100633834,
  author = {米崎直樹 and 片山卓也 and 榎本肇},
  title = {リスト構造に対する整合機能の形式化},
  journal = {電子通信学会論文誌},
  year = 1977,
}

@inproceedings{CTT100766617,
  author = {Masaya Shimakawa and Shigeki Hagihara and Naoki Yonezaki},
  title = {Efficiency of the Strong Satisfiability Checking Procedure for Reactive System Specifications},
  booktitle = {},
  year = 2017,
}

@inproceedings{CTT100755516,
  author = {Masaya Shimakawa and Shigeki Hagihara and Naoki Yonezaki},
  title = {Towards Improvements of Bounded Realizability Checking},
  booktitle = {},
  year = 2017,
}

@inproceedings{CTT100737459,
  author = {Shigeki Hagihara and Masaya Shimakawa and Naoki Yonezaki},
  title = {Discussion on Verification of Voting Protocols},
  booktitle = {Proceedings of the 17th Philippine Computing Science Congress},
  year = 2017,
}

@inproceedings{CTT100737462,
  author = {Shigeki Hagihara and Masahiko Tomoishi and Masaya Shimakawa and Naoki Yonezaki},
  title = {Combining Unification and Rewriting in Proofs for Modal Logics with First-order Undefinable Frames},
  booktitle = {Preproceedings of 5th International Conference on Computer Science, Electronics Technology and Automation (ICCSETA 2017)},
  year = 2017,
}

@inproceedings{CTT100737461,
  author = {Masaya Shimakawa and Kenji Osari and Shigeki Hagihara and Naoki Yonezaki},
  title = {Modularization of formal specifications for efficient synthesis of reactive systems},
  booktitle = {Preproceedings of 6th International Conference on Software and Computer Applications (ICSCA 2017)},
  year = 2017,
}

@inproceedings{CTT100737460,
  author = {Shigeki Hagihara and Yoshiharu Fushihara and Masaya Shimakawa and Masahiko Tomoishi and Naoki Yonezaki},
  title = {Web server access trend analysis based on the Poisson distribution},
  booktitle = {Preproceedings of 6th International Conference on Software and Computer Applications (ICSCA 2017)},
  year = 2017,
}

@inproceedings{CTT100755517,
  author = {島川 昌也 and 萩原 茂樹 and 米崎 直樹},
  title = {リアクティブシステム仕様の実現可能性に関する非有界検査の効率化に向けて},
  booktitle = {},
  year = 2016,
}

@inproceedings{CTT100737456,
  author = {Masaya Shimakawa and Yuuji Iwasaki and Shigeki Hagihara and Naoki Yonezaki},
  title = {Discussion of LTL Subsets for Efficient Verification},
  booktitle = {Preproceedings of Workshop on Computation: Theory and Practice (WCTP2016)},
  year = 2016,
}

@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{CTT100704284,
  author = {Shigeki Hagihara and Naoto Sato and Naoki Yonezaki},
  title = {Toward Applicable Synthesis of Security Protocols for Data Transmission},
  booktitle = {Proceedings of the 16th Philippine Computing Science Congress},
  year = 2016,
}

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

@inproceedings{CTT100704281,
  author = {Masaya Shimakawa and Shigeki Hagihara and Naoki Yonezaki.},
  title = {Reducing Bounded Realizability Analysis to Reachability Checking},
  booktitle = {Reachability Problems, Lecture Notes in Computer Science},
  year = 2015,
}

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

@inproceedings{CTT100704280,
  author = {Masaya Shimakawa and Shigeki Hagihara and Naoki Yonezaki.},
  title = {Towards Unbounded Realizability Checking},
  booktitle = {Preproceedings of Workshop on Computation: Theory and Practice (WCTP2015)},
  year = 2015,
}

@inproceedings{CTT100684803,
  author = {Yoshiharu Fushihara and Shigeki Hagihara and Masahiko Tomoishi and Naoki Yonezaki},
  title = {A new approach to analysis of access tendency of web server using Poisson distribution},
  booktitle = {Proceedings of the 15th Philippine Computing Science Congress},
  year = 2015,
}

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

@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{CTT100648486,
  author = {Kenji Osari and Shigeki Hagihara and Naoki Yonezaki},
  title = {Discussion on modularization of specifications for efficient synthesis of reactive systems},
  booktitle = {7th Symposium on Mathematical Aspects of Computer Science, SMACS2014, Preproceedings},
  year = 2014,
}

@inproceedings{CTT100677942,
  author = {Shohei Mochizuki and Masaya Shimakawa and Shigeki Hagihara and Naoki Yonezaki},
  title = {Fast Translation from LTL to Büchi Automata via Non-transition-based Automata},
  booktitle = {Formal Methods and Software Engineering, 16th International Conference on Formal Engineering Methods, ICFEM 2014, Lecture Notes in Computer Science},
  year = 2014,
}

@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{CTT100676395,
  author = {Shigeki Hagihara and Naoki Egawa and Masaya Shimakawa and Naoki Yonezaki},
  title = {Minimal strongly unsatisfiable subsets of reactive system specifications},
  booktitle = {Proceedings of the 29th ACM/IEEE international conference on Automated software engineering (ASE2014)},
  year = 2014,
}

@inproceedings{CTT100673592,
  author = {萩原茂樹 and 江川直毅 and 島川昌也 and 米崎直樹},
  title = {リアクティブシステム仕様の極小強充足不能部分計算に関する考察},
  booktitle = {},
  year = 2014,
}

@inproceedings{CTT100667994,
  author = {Shigeki Hagihara and Masahiko Tomoishi and Naoki Yonezaki},
  title = {On Constructing Unification-based Proof Methods for Modal Logics with First-order Undefinable Frames},
  booktitle = {Proceedings of the 14th Philippine Computing Science Congress},
  year = 2014,
}

@inproceedings{CTT100668283,
  author = {長利健治 and 萩原茂樹 and 米崎直樹},
  title = {実現可能性判定を高速化するための仕様の特徴量に基づいた仕様分割手法},
  booktitle = {電子情報通信学会2014年総合大会講演論文集},
  year = 2014,
}

@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{CTT100665098,
  author = {上野篤史 and 望月翔平 and 島川昌也 and 萩原茂樹 and 米崎直樹},
  title = {LTL式で記述されたリアクティブシステム仕様の高速な実現可能性判定器の実装},
  booktitle = {},
  year = 2013,
}

@inproceedings{CTT100665096,
  author = {萩原茂樹 and 江川直毅 and 島川昌也 and 米崎直樹},
  title = {強充足不能なリアクティブシステム仕様における欠陥範囲の特定},
  booktitle = {ソフトウェア工学の基礎XX, 日本ソフトウェア科学会 FOSE 2013},
  year = 2013,
}

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

@inproceedings{CTT100661006,
  author = {冨田尭 and 山崎徹郎 and 萩原茂樹 and 米崎直樹},
  title = {確率的環境下において平均利得時間論理仕様を実現する最適マルコフ決定過程の自動合成法},
  booktitle = {日本ソフトウェア科学会第30回大会講演論文集},
  year = 2013,
}

@inproceedings{CTT100682091,
  author = {小林隆志 and 権藤克彦 and 佐伯元司 and 首藤一幸 and 田中康 and 西崎真也 and 森本千佳子 and 米崎直樹 and 渡部卓雄},
  title = {Cloudbauhaus: 東京工業大学における実践的IT人材育成の試み},
  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{CTT100661007,
  author = {上野篤史 and 望月翔平 and 島川昌也 and 萩原茂樹 and 米崎直樹},
  title = {LTL式で記述されたリアクティブシステム仕様の高速な実現可能性判定器の実装に関する研究},
  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{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{CTT100652825,
  author = {Masaya Shimakawa and Shigeki Hagihara and Naoki Yonezaki},
  title = {SAT–Based Bounded Strong Satisfiability Checking of Reactive System Specifications},
  booktitle = {Information and Communicatiaon Technology, Lecture Notes in Computer Science},
  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{CTT100648484,
  author = {望月翔平 and 島川昌也 and 萩原茂樹 and 米崎直樹},
  title = {LTL式からBuchiオートマトンへの高速な変換法},
  booktitle = {ソフトウェア工学の基礎XIX, 日本ソフトウェア科学会 FOSE 2012},
  year = 2012,
}

@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{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{CTT100645918,
  author = {Masaya Shimakawa and Shigeki Hagihara and Naoki Yonezaki},
  title = {Complexity of Checking Strong Satisfiability of Reactive System Specifications},
  booktitle = {International Conference on Advances in Information Technology and Communication, AIT 2012},
  year = 2012,
}

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

@inproceedings{CTT100645916,
  author = {Shigeki Hagihara and Takahiro Arai and Masaya Shimakawa and Naoki Yonezaki},
  title = {Developing Embedded Systems from Formal Specifications Written in Temporal Logic},
  booktitle = {Proceedings of the Third International Conference on Trends in Information, Telecommunication and Computing, Lecture Notes in Electrical Engineering},
  year = 2012,
}

@inproceedings{CTT100629737,
  author = {Shigeki Hagihara and Hiroaki Oguro and Naoki Yonezaki},
  title = {Completeness of a Deduction System for Relational Information between Ciphertexts based on Probabilistic Computational Semantics},
  booktitle = {Theory and Practice of Computation, Proceedings in Information and Communications Technology},
  year = 2012,
}

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

@inproceedings{CTT100631691,
  author = {新井貴大 and 島川昌也 and 萩原茂樹 and 米崎直樹},
  title = {時間論理で記述された仕様からのプログラム自動抽出による組み込みシステム構成手法},
  booktitle = {ソフトウェア工学の基礎XVIII, 日本ソフトウェア科学会 FOSE2011},
  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{CTT100629739,
  author = {Naoki Yonezaki},
  title = {Biology, Computation and Formal System Biology},
  booktitle = {Preproceedings of Workshop on Computation: Theory and Practice (WCTP-2011)},
  year = 2011,
}

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

@inproceedings{CTT100619277,
  author = {小黒博昭 and 萩原茂樹 and 米崎直樹},
  title = {紛失通信プロトコルの解析のための可能世界意味論に基づく形式体系},
  booktitle = {情報処理学会第73回全国大会講演論文集},
  year = 2011,
}

@inproceedings{CTT100619274,
  author = {伊藤宗平 and 泉直子 and 萩原茂樹 and 米崎直樹},
  title = {時間論理による仕様記述を用いた遺伝子ネットワークの定性的振る舞い解析},
  booktitle = {情報処理学会第73回全国大会講演論文集},
  year = 2011,
}

@inproceedings{CTT100619273,
  author = {萩原茂樹 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{CTT100613649,
  author = {島川昌也 and 萩原茂樹 and 米崎直樹},
  title = {実現可能性判定コスト削減のための無限ゲーム単純化手法},
  booktitle = {日本ソフトウェア科学会第27回大会講演論文集},
  year = 2010,
}

@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{CTT100613646,
  author = {萩原茂樹 and 小黒博昭 and 米崎直樹},
  title = {暗号文間の関係情報を推論する体系に対する可能世界意味論},
  booktitle = {日本ソフトウェア科学会第27回大会講演論文集},
  year = 2010,
}

@inproceedings{CTT100613647,
  author = {小黒博昭 and 萩原茂樹 and 米崎直樹},
  title = {紛失通信プロトコルを解析する形式体系の意味論},
  booktitle = {日本ソフトウェア科学会第27回大会講演論文集},
  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{CTT100593464,
  author = {Shigeki Hagihara and Yusuke Kitamura and Masaya Shimakawa and Naoki Yonezaki},
  title = {Extracting Environmental Constraints to Make Reactive System Specifications Realizable},
  booktitle = {Proceedings of 16th Asia-Pacific Software Engineering Conference APSEC 2009},
  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{CTT100593572,
  author = {Akihiko Konagaya and Masayuki Yamamura and Naoki Yonezaki and Takako Takai-Igarashi and Hiroshi Tanaka},
  title = {Overview of TITECH-TMDU Joint Education Progaram for Biomedical Bioinformatics},
  booktitle = {},
  year = 2009,
}

@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{CTT100593463,
  author = {萩原茂樹 and 北村佑介 and 島川昌也 and 米崎直樹},
  title = {リアクティブシステム仕様を実現可能にするための環境制約の抽出},
  booktitle = {ソフトウェア工学の基礎XVI, 日本ソフトウェア科学会 FOSE2009},
  year = 2009,
}

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

@inproceedings{CTT100593457,
  author = {島川昌也 and 萩原茂樹 and 米崎直樹},
  title = {実現可能性判定コスト削減のためのLTL構文の制限とそれによる仕様の判定法},
  booktitle = {日本ソフトウェア科学会第26回大会講演論文集},
  year = 2009,
}

@inproceedings{CTT100593460,
  author = {萩原聖貴 and 安藤崇央 and 島川昌也 and 伊藤宗平 and 萩原茂樹 and 米崎直樹},
  title = {記述性を重視したリアクティブシステム用仕様記述言語T},
  booktitle = {日本ソフトウェア科学会第26回大会講演論文集},
  year = 2009,
}

@inproceedings{CTT100593459,
  author = {安藤崇央 and 萩原茂樹 and 米崎直樹},
  title = {タブロー証明器の実装における SAT solver の利用について},
  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{CTT100593529,
  author = {Hiroaki Oguro and Shigeki Hagihara and Naoki Yonezaki},
  title = {A Formal System for Analysis of an Oblivious Transfer Protocol},
  booktitle = {},
  year = 2008,
}

@inproceedings{CTT100566824,
  author = {北村佑介 and 島川昌也 and 萩原茂樹 and 米崎直樹},
  title = {リアクティブシステム仕様の外部環境制約について},
  booktitle = {第五回システム検証の科学技術シンポジウム予稿集},
  year = 2008,
}

@inproceedings{CTT100566825,
  author = {宮本佑樹 and 安藤崇央 and 萩原茂樹 and 米崎直樹},
  title = {タブロー証明器の実装におけるBDDの利用について},
  booktitle = {第五回システム検証の科学技術シンポジウム予稿集},
  year = 2008,
}

@inproceedings{CTT100566208,
  author = {安藤崇央 and 宮本佑樹 and 萩原茂樹 and 米崎直樹},
  title = {分散オブジェクト技術を利用した段階的充足可能性判定器の実装},
  booktitle = {日本ソフトウェア科学会第25回大会講演論文集},
  year = 2008,
}

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

@inproceedings{CTT100593574,
  author = {Peter Dinges and Naoki Yonezaki},
  title = {Structural Operational Semantics for an Idealised Object-Capability Programming Language},
  booktitle = {The 26th Conference Proceedings of Japan Society for Software Science and Technology},
  year = 2008,
}

@inproceedings{CTT100566210,
  author = {島川昌也 and 萩原茂樹 and 米崎直樹},
  title = {SAT Solverを用いたリアクティブシステム仕様の有界強充足可能性判定},
  booktitle = {日本ソフトウェア科学会第25回大会講演論文集},
  year = 2008,
}

@inproceedings{CTT100566209,
  author = {小黒博昭 and 萩原茂樹 and 米崎直樹},
  title = {記号論的暗号解析を用いた Oblivious Transfer プロトコルの解析},
  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{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{CTT100548467,
  author = {島川昌也 and 萩原茂樹 and 米崎直樹},
  title = {リアクティブシステム仕様の強充足可能性判定問題の計算量について},
  booktitle = {第4回システム検証の科学技術シンポジウム予稿集},
  year = 2007,
}

@inproceedings{CTT100548466,
  author = {小黒博昭 and 萩原茂樹 and 米崎直樹},
  title = {記号論的暗号解析を用いた Oblivious Transfer プロトコルの解析},
  booktitle = {コンピュータセキュリティシンポジウム2007 (CSS2007) 論文集, 情報処理学会シンポジウムシリーズ},
  year = 2007,
}

@inproceedings{CTT100548465,
  author = {萩原茂樹 and 小黒博昭 and 米崎直樹},
  title = {暗号文から得られる部分情報に関する推論体系とその計算論に基づく意味},
  booktitle = {日本ソフトウェア科学会第24回大会講演論文集},
  year = 2007,
}

@inproceedings{CTT100548464,
  author = {安藤崇央 and 萩原茂樹 and 米崎直樹},
  title = {分散オブジェクト技術を利用した分散タブロー証明器の実装},
  booktitle = {日本ソフトウェア科学会第24回大会講演論文集},
  year = 2007,
}

@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{CTT100548469,
  author = {秋山卓見 and 泉直子 and 萩原茂樹 and 米崎直樹},
  title = {形式オントロジーに基づく遺伝子調節のための数値モデル},
  booktitle = {情報処理学会研究報告},
  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{CTT100542863,
  author = {Shigeki Hagihara and Naoki Yonezaki},
  title = {Completeness of Verification methods for Approaching to Realizable Reactive Specifications},
  booktitle = {Proceedings of 1st Asian Working Conference on Verified Software AWCVS'06, UNU-IIST Technical Report},
  year = 2006,
}

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

@inproceedings{CTT100542867,
  author = {大滝大輔 and 安藤崇央 and 米崎直樹},
  title = {グリッド計算機を利用した並列仕様検証に関する研究},
  booktitle = {日本ソフトウェア科学会第23回大会講演論文集},
  year = 2006,
}

@inproceedings{CTT100548471,
  author = {島川昌也 and 萩原茂樹 and 米崎直樹},
  title = {仕様の自動検証に適したLTLフラグメント ― 実現集合を表す決定性オートマトン構成の立場から―},
  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{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{CTT100548492,
  author = {島川昌也 and 萩原茂樹 and 米崎直樹},
  title = {リアクティブシステムを対象とした様々な実行時検証概念の形式化とその判定アルゴリズムの完全性},
  booktitle = {第二回システム検証の科学技術シンポジウム予稿集},
  year = 2005,
}

@inproceedings{CTT100548474,
  author = {萩原茂樹 and 米崎直樹},
  title = {Mullerオートマトンを用いたリアクティブシステムの仕様検証法とその完全性},
  booktitle = {第二回システム検証の科学技術シンポジウム予稿集},
  year = 2005,
}

@inproceedings{CTT100398901,
  author = {安藤崇央 and 大滝大輔 and 米崎直樹},
  title = {時間論理タブロー証明器のMPIによる実装},
  booktitle = {第二回システム検証の科学技術シンポジウム予稿集},
  year = 2005,
}

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

@inproceedings{CTT100548475,
  author = {佐藤直人 and 萩原茂樹 and 米崎直樹},
  title = {二者間データ通信を安全に行うプロトコルの自動生成法},
  booktitle = {日本ソフトウェア科学会第２２回大会講演論文集},
  year = 2005,
}

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

@inproceedings{CTT100548477,
  author = {佐藤直人 and 萩原茂樹 and 米崎直樹},
  title = {安全性を保証する構造要件に基づくセキュリティプロトコルの自動生成法},
  booktitle = {情報処理学会研究報告},
  year = 2005,
}

@inproceedings{CTT100548487,
  author = {島川昌也 and 萩原茂樹 and 米崎直樹},
  title = {実時間論理により記述された動作仕様の実行時検証手続き},
  booktitle = {日本ソフトウェア科学会第21回大会講演論文集},
  year = 2004,
}

@inproceedings{CTT100548478,
  author = {萩原茂樹 and ラッタナウォンナラーカリン and 米崎直樹},
  title = {投票プロトコルの安全性の検証},
  booktitle = {日本ソフトウェア科学会第21回大会講演論文集},
  year = 2004,
}

@inproceedings{CTT100548479,
  author = {関戸達彦 and 萩原茂樹 and 米崎直樹},
  title = {並行プログラムの論理式への変換によるコードレベル検証方式},
  booktitle = {日本ソフトウェア科学会第21回大会講演論文集},
  year = 2004,
}

@inproceedings{CTT100491304,
  author = {Ashraf Bhery and Shigeki Hagihara and Naoki Yonezaki},
  title = {A Formal System for Analysis of Cryptographic encryption and Their Security properties},
  booktitle = {Software Security - Theories and Systems, Lecture Notes in Computer Science},
  year = 2004,
}

@inproceedings{CTT100548481,
  author = {Ashraf Bhery and Shigeki Hagihara and Naoki Yonezaki},
  title = {A Formal Analysis of Symmetric Encryption and Keyed and Keyed Hash Function},
  booktitle = {The 46th IEEE International Midwest Symposium On Circuits & Systems},
  year = 2003,
}

@inproceedings{CTT100548486,
  author = {佐藤直人 and 萩原茂樹 and 米崎直樹},
  title = {プロトコルの構造要件に関する推論を利用したセキュリティプロトコルの自動生成},
  booktitle = {日本ソフトウェア科学会第20回記念大会論文集},
  year = 2003,
}

@inproceedings{CTT100548485,
  author = {萩原茂樹 and 米崎直樹},
  title = {オークションにおける公平性とその検証},
  booktitle = {日本ソフトウェア科学会第20回大会講演論文集},
  year = 2003,
}

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

@inproceedings{CTT100548483,
  author = {Ashraf Bhery and Shigeki Hagihara and NAOKI YONEZAKI},
  title = {A Formal System for Analysis of Cryptographic Primitives and their Security Properties},
  booktitle = {20th Conference Proceedings Japan Society for Software Science and Technology},
  year = 2003,
}

@inproceedings{CTT100548482,
  author = {Ashraf Bhery and Shigeki Hagihara and Naoki Yonezaki},
  title = {The Characterization of Cryptographic Primitives and Their Security Properties},
  booktitle = {Proceedings of the Ninth International Conference on Distributed Multimedia Systems},
  year = 2003,
}

@inproceedings{CTT100548488,
  author = {Ashraf Bhery and Shigeki Hagihara and Naoki Yonezaki},
  title = {Judgment Deduction System of Asymmetric Encryption Scheme (JDE-system)},
  booktitle = {Pre-Proceeding of WISA 2003, The 4th International Workshop on Information Security Applications},
  year = 2003,
}

@inproceedings{CTT100491295,
  author = {Ashraf Moustafa Bhery and Shigeki Hagihara and Naoki Yonezaki},
  title = {A new deduction system for cryptographic primitives and their security properties},
  booktitle = {IPSJ SIG Technical Reports},
  year = 2003,
}

@inproceedings{CTT100491401,
  author = {Takenobu Aoshima and Takahiro Ando and Naoki Yonezaki},
  title = {Consistency Checking of Behavioural Modeling in UML Statechart Diagrams},
  booktitle = {INFORMATION MODELLING AND KNOWLEDGE BASES XIV},
  year = 2003,
}

@inproceedings{CTT100479167,
  author = {安藤崇央 and 青島武伸 and 米崎直樹},
  title = {UMLステートチャートの整形性判定とその検証},
  booktitle = {日本ソフトウェア科学会第19回大会講演論文集},
  year = 2002,
}

@inproceedings{CTT100548489,
  author = {萩原茂樹 and 米崎直樹},
  title = {入札プロトコルの形式的検証},
  booktitle = {日本ソフトウェア科学会第19回大会講演論文集},
  year = 2002,
}

@inproceedings{CTT100475653,
  author = {畑山研 and 萩原茂樹 and 米崎直樹},
  title = {Spi計算の型付けによる公開鍵暗号方式を用いたプロトコルのメッセージ認証の検証},
  booktitle = {情報処理学会研究報告},
  year = 2002,
}

@inproceedings{CTT100479164,
  author = {Takenobu Aoshima and Takahiro Ando and Naoki Yonezaki},
  title = {Consistency Checking of Behavioural Modeling in UML Statechart Diagrams},
  booktitle = {Proc. of 12th European Japanese Conference on Information modelling and Knowledge bases},
  year = 2002,
}

@inproceedings{CTT100459952,
  author = {Kenji Masui and Masahiko Tomoishi and Naoki Yonezaki},
  title = {Design of unix system for the prevention of damage propagation by  intrusion and its implementation based on 4.4BSD},
  booktitle = {Information Security Conference 2001},
  year = 2001,
}

@inproceedings{CTT100548424,
  author = {Shigeki Hagihara and Takayoshi Sanui and Naoki Yonezaki},
  title = {Formal Construction of Security Protocols},
  booktitle = {2nd International Workshop on Foundations for Secure/Survivable Systems and Networks},
  year = 2001,
}

@inproceedings{CTT100548490,
  author = {讃井崇喜 and 萩原茂樹 and 米崎直樹},
  title = {セキュリティプロトコルの自動設計アルゴリズム},
  booktitle = {日本ソフトウェア科学会第18回大会論文集},
  year = 2001,
}

@inproceedings{CTT100566369,
  author = {Shigeki Hagihara and Takayoshi Sanui and Naoki Yonezaki},
  title = {Formal Construction of Security Protocols},
  booktitle = {},
  year = 2001,
}

@inproceedings{CTT100459957,
  author = {増井健司 and 友石正彦 and 米崎直樹},
  title = {送受信メッセージのパターン解析によるhttpアクセス制御},
  booktitle = {日本ソフトウェア科学会第18回大会},
  year = 2001,
}

@inproceedings{CTT100548491,
  author = {畑山研 and 萩原茂樹 and 米崎直樹},
  title = {Spi-calculusを用いたプロトコルの認証に関する性質の検証},
  booktitle = {日本ソフトウェア科学会第18回大会論文集},
  year = 2001,
}

@inproceedings{CTT100459955,
  author = {青島武伸 and 米崎直樹},
  title = {Prestateとbddを用いたリアクティブシステム仕様の分割検証},
  booktitle = {日本ソフトウェア科学会第18回大会},
  year = 2001,
}

@inproceedings{CTT100458178,
  author = {Takenobu Aoshima and Kenji Sakuma and Naoki Yonezaki},
  title = {An efficient verification procedure supporting evolution of reactive system specifications.},
  booktitle = {Proc. of International Workshop on Principles of Software Evolution 2001},
  year = 2001,
}

@inproceedings{CTT100459958,
  author = {増井健司 and 友石正彦 and 米崎直樹},
  title = {送受信内容の相関を利用したhttpアクセス制御のためのプロキシ},
  booktitle = {マルチメディア、分散、協調とモバイル(DICOMO2001)シンポジウム},
  year = 2001,
}

@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{CTT100459953,
  author = {Noriaki Yoshiura and Naoki Yonezaki},
  title = {Provability of relevant logic ER},
  booktitle = {Proceedings of The 11th European-Japanese conference on   Information Modelling and Knowledge Basis},
  year = 2001,
}

@inproceedings{CTT100459956,
  author = {増井健司 and 友石正彦 and 米崎直樹},
  title = {パスワードクラック防止のためのunixのパスワードシステムの改善},
  booktitle = {情報処理学会第62回全国大会論文集(CD-ROM)},
  year = 2001,
}

@inproceedings{CTT100479166,
  author = {吉浦紀晃 and 米崎直樹},
  title = {リアクティブシステムの段階的充足可能性とSafety Propertyの関係},
  booktitle = {信学技報 SS2000-43},
  year = 2001,
}

@inproceedings{CTT100445343,
  author = {Noriaki Yoshiura and Naoki Yonezaki.},
  title = {Program synthesis for stepwise satisfiable specification of reactive system},
  booktitle = {International Symposium on Principles of Software Evolution (ISPSE2000)},
  year = 2000,
}

@inproceedings{CTT100445345,
  author = {Takenobu Aoshima and Naoki Yonezaki.},
  title = {Verification of reactive system specification with outer event conditional formula},
  booktitle = {International Symposium on Principles of Software Evolution (ISPSE2000)},
  year = 2000,
}

@inproceedings{CTT100445344,
  author = {Masahiko Tomoishi and Naoki Yonezaki.},
  title = {Evolutional tableau method for temporal logic specification},
  booktitle = {International Symposium on Principles of Software Evolution (ISPSE2000)},
  year = 2000,
}

@inproceedings{CTT100445349,
  author = {増井健司 and 友石正彦 and 米崎直樹},
  title = {リレーサーバを用いたpop before smtpのセキュアな実現法とその解析},
  booktitle = {日本ソフトウェア科学会第17回大会講演論文集},
  year = 2000,
}

@inproceedings{CTT100445346,
  author = {根岸和義 and 米崎直樹.},
  title = {セキュリティプロトコルにおける暗号化メッセージの送信者による認知に関する検証法},
  booktitle = {情報処理学会コンピュータセキュリティ研究会、情処研報2000-CSEC-11},
  year = 2000,
}

@inproceedings{CTT100445350,
  author = {根岸和義 and 米崎直樹.},
  title = {並行セッションの情報を用いる攻撃を考慮したプロトコルセキュリティの検証},
  booktitle = {日本ソフトウェア科学会第17回大会講演論文集},
  year = 2000,
}

@inproceedings{CTT100445351,
  author = {青島武伸 and 米崎直樹},
  title = {部分評価を用いる時相論理タブロー証明系の効率化},
  booktitle = {日本ソフトウェア科学会第17回大会講演論文集},
  year = 2000,
}

@inproceedings{CTT100445342,
  author = {Noriaki Yoshiura and Naoki Yonezaki.},
  title = {Decidable relevant logic er and its tableau method based decision procedure.},
  booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods},
  year = 2000,
}

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

@inproceedings{CTT100445341,
  author = {Vaithinathan Vanitha and Kenji Yamashita and Kimiyuki Fukuzawa and Naoki Yonezaki.},
  title = {A method for structuralisation of evolutional specifications of reactive systems},
  booktitle = {ICSE 2000, The Third International Workshop on Intelligent Software Engineering (WISE3)},
  year = 2000,
}

@inproceedings{CTT100445339,
  author = {Takenobu Aoshima and Naoki Yonezaki},
  title = {An efficient tableau-based verification method with partial evaluation for reactive system specifications.},
  booktitle = {Proceedings of The 10th European-Japanese Conference on Information Modelling and Knowledge Bases},
  year = 2000,
}

@inproceedings{CTT100432291,
  author = {根岸和義 and 米崎直樹},
  title = {セキュリテイプロトコルの一貫性および正常終了一致の検証法},
  booktitle = {電子情報通信学会技術研究報告（コンピュータセキュリティ研究会）},
  year = 2000,
}

@inproceedings{CTT100432283,
  author = {山下健司 and Vaithinathan Vanitha and 福澤公之 and 米崎 直樹},
  title = {リアクティブシステムの仕様記述言語とその記述操作の特徴付け},
  booktitle = {電子情報通信学会 ソフトウェアサイエンス研究会, 電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス},
  year = 2000,
}

@inproceedings{CTT100445340,
  author = {Kazuyoshi Negishi and Naoki Yonezaki},
  title = {Verification method for possibility of parallel attack on multiple sessions with the same principals in a security protocol.},
  booktitle = {International Workshop on Formal Methods and Computer Security},
  year = 2000,
}

@inproceedings{CTT100432284,
  author = {友石正彦 and 米崎直樹},
  title = {合成可能なタブロによる仕様の差分的無矛盾修正について},
  booktitle = {数理解析研究所講究録},
  year = 1999,
}

@inproceedings{CTT100432285,
  author = {吉浦紀晃 and 米崎直樹},
  title = {証明力を拡張した適切さの論理 ER},
  booktitle = {数理解析研究所講究録},
  year = 1999,
}

@inproceedings{CTT100432286,
  author = {増井健司 and 友石正彦 and 米崎直樹},
  title = {UNIXシステムにおけるroot権限の階層化},
  booktitle = {日本ソフトウェア科学会第16回大会論文集},
  year = 1999,
}

@inproceedings{CTT100432289,
  author = {友石正彦 and 米崎直樹},
  title = {段階的充足不能なリアクティブシステムの原因について},
  booktitle = {日本ソフトウェア科学会第16回大会論文集},
  year = 1999,
}

@inproceedings{CTT100593618,
  author = {Sima Asgari and 米崎直樹},
  title = {A Formal Model for Geographic Maps},
  booktitle = {日本ソフトウェア科学会第16回大会論文集},
  year = 1999,
}

@inproceedings{CTT100432290,
  author = {南澤吉昭 and 米崎直樹},
  title = {時間推移律の成立する時間線形論理システム},
  booktitle = {日本ソフトウェア科学会第16回大会論文集},
  year = 1999,
}

@inproceedings{CTT100432288,
  author = {山下健司 and 米崎直樹},
  title = {仕様の詳細化の特徴付け},
  booktitle = {日本ソフトウェア科学会第16回大会論文集},
  year = 1999,
}

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

@inproceedings{CTT100449615,
  author = {Shigeki Hagihara and Naoki Yonezaki},
  title = {Resolution Method for Modal Logic with Well-founded Frames},
  booktitle = {Computer Science Logic, Lecture Notes in computer Science},
  year = 1999,
}

@inproceedings{CTT100432282,
  author = {Sima Asgari and Naoki Yonezaki},
  title = {An Object-Oriented Model of Maps},
  booktitle = {International Workshop on Spatio-Temporal Data Models and Languages in conjunction with the 10th International Conference on Database  and Expert System applications, DEXA '99},
  year = 1999,
}

@inproceedings{CTT100432281,
  author = {Sima Asgari and Naoki Yonezaki},
  title = {Formalization of the Concept of Map as Interpreted by Human},
  booktitle = {3rd IMACS/IEEE International Multiconference on CIRCUITS, SYSTEMS, COMMUNICATIONS and COMPUTERS},
  year = 1999,
}

@inproceedings{CTT100432278,
  author = {Sima Asgari and Naoki Yonezaki},
  title = {A general Object-Oriented Model for Spatial Data},
  booktitle = {Proc. of the Third Andrei Ershov International Conference on Perspectives of System Informatics, LNCS},
  year = 1999,
}

@inproceedings{CTT100548440,
  author = {Shigeki Hagihara and Naoki Yonezaki},
  title = {Unification-based proof method for modal logic with well-founded frames},
  booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods: Position Papers, Technical Report, Institute for Programming and Logics, Department of Computer Science, University at Albany - SUNY},
  year = 1999,
}

@inproceedings{CTT100548442,
  author = {Shigeki Hagihara and Naoki Yonezaki},
  title = {Resolution calculus for Modal logic of finite frames},
  booktitle = {1st International Workshop on Specification and Verification of Timed Systems (IWTS'99)},
  year = 1999,
}

@inproceedings{CTT100548451,
  author = {萩原茂樹 and 友石正彦 and 米崎直樹},
  title = {有礎構造を意味論にもつ様相論理の分解証明法},
  booktitle = {日本ソフトウェア科学会第15回大会論文集},
  year = 1998,
}

@inproceedings{CTT100548456,
  author = {萩原茂樹 and 米崎直樹},
  title = {ある種の離散性を仮定した様相論理の統一化による証明方法},
  booktitle = {日本ソフトウェア科学会第14回大会論文集},
  year = 1997,
}

@inproceedings{CTT100548453,
  author = {友石正彦 and 萩原茂樹 and 米崎直樹},
  title = {初等的でないフレームを持つ様相論理の統一化による証明法},
  booktitle = {情報処理学会第55回全国大会講演論文集},
  year = 1997,
}

@inproceedings{CTT100548447,
  author = {Shigeki Hagihara and Naoki Yonezaki},
  title = {A connection based proof method for modal logic restricted to discrete frames},
  booktitle = {Fifteenth International Joint Conference on Artificial Intelligence, Poster Session Abstracts},
  year = 1997,
}

@inproceedings{CTT100548459,
  author = {萩原茂樹 and 米崎直樹},
  title = {様相論理証明における失敗情報の利用},
  booktitle = {日本ソフトウェア科学会第12回大会論文集},
  year = 1995,
}

@inproceedings{CTT100548458,
  author = {萩原茂樹 and 米崎直樹},
  title = {証明の失敗から得られる情報を用いる様相論理定理証明戦略},
  booktitle = {情報処理学会第50回全国大会講演論文集},
  year = 1995,
}

@inproceedings{CTT100416618,
  author = {NAOKI YONEZAKI},
  title = {Creating Sub-Goals in Multi-Agent Planning},
  booktitle = {On-line Procedings of the 5th workshop on Multi-Agent & cooperation computation '95},
  year = 1995,
}

@inproceedings{CTT100416609,
  author = {NAOKI YONEZAKI},
  title = {Non-Clausal Liner Resolution for Prepositional Liner Logic},
  booktitle = {Information Modeling and Knowledge Bases VI, IOS Press},
  year = 1995,
}

@inproceedings{CTT100416619,
  author = {米崎直樹},
  title = {実時間理論RTL},
  booktitle = {日本ソフトウェア科学会第12回大会論文集},
  year = 1995,
}

@inproceedings{CTT100416608,
  author = {NAOKI YONEZAKI},
  title = {Input conditional formulas of Reactive System Specification in Temporal Logic},
  booktitle = {The Third International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems},
  year = 1994,
}

@inproceedings{CTT100416612,
  author = {NAOKI YONEZAKI},
  title = {Temporal Logic extended with object creation and destruction},
  booktitle = {Proc. of 6th International Conference on Software Engineering and Knowledge Engineering},
  year = 1994,
}

@inproceedings{CTT100633876,
  author = {Yoshiura Noriaki and NAOKI YONEZAKI},
  title = {More expressive Temporal Logic for Specification},
  booktitle = {},
  year = 1993,
}

@inproceedings{CTT100633892,
  author = {友石正彦 and 米崎直樹},
  title = {動作仕様の差分的無矛盾性判定},
  booktitle = {日本ソフトウェア科学会第9回大会論文集},
  year = 1993,
}

@inproceedings{CTT100633878,
  author = {NAOKI YONEZAKI and MOTOSHI SAEKI and Jan Ljungberg and Tapani Kinnula},
  title = {Software Process Modelling with the TAP Approach},
  booktitle = {},
  year = 1993,
}

@inproceedings{CTT100633893,
  author = {田中健一郎 and 米崎直樹 and 森亮靖},
  title = {時相論理によるリアクティブシステム仕様からの要求制約式の導出},
  booktitle = {日本ソフトウェア科学会第9回大会論文集},
  year = 1993,
}

@inproceedings{CTT100416613,
  author = {NAOKI YONEZAKI},
  title = {TAP : A New Model for Software Process Tasks-Agents-Products},
  booktitle = {Proc. of 5th International Conference on Software Engineering and Knowledge Engineering},
  year = 1993,
}

@inproceedings{CTT100633891,
  author = {友石正彦 and 米崎直樹},
  title = {時相オペレータの統一化を用いる時相論理証明法},
  booktitle = {日本ソフトウェア科学会第9回大会論文集},
  year = 1992,
}

@inproceedings{CTT100633890,
  author = {川村美代子 and 米崎直樹},
  title = {Linear Logicの自動証明法},
  booktitle = {},
  year = 1992,
}

@inproceedings{CTT100633872,
  author = {NAOKI YONEZAKI and Tapani Kinnula and Jan Ljungberg and MOTOSHI SAEKI},
  title = {Modelling the System Development Process},
  booktitle = {},
  year = 1992,
}

@inproceedings{CTT100633871,
  author = {NAOKI YONEZAKI and 端山毅},
  title = {Self-Substitution in Modal Unification},
  booktitle = {IOS Press},
  year = 1992,
}

@inproceedings{CTT100633870,
  author = {NAOKI YONEZAKI},
  title = {Conceptual Modeling in MSL},
  booktitle = {IOS Press},
  year = 1991,
}

@inproceedings{CTT100633888,
  author = {宮川晋 and 米崎直樹},
  title = {MSLによる仕様のコンパイル方式},
  booktitle = {日本ソフトウェア科学会第8回大会論文集},
  year = 1991,
}

@inproceedings{CTT100633887,
  author = {森亮靖 and 米崎直樹},
  title = {時相論理によるリアクティブシステム仕様のプログラム化可能性について},
  booktitle = {日本ソフトウェア科学会第7回大会論文集},
  year = 1990,
}

@inproceedings{CTT100633869,
  author = {NAOKI YONEZAKI},
  title = {ID/LP Logic for Hierarchical Predence Relations},
  booktitle = {},
  year = 1990,
}

@inproceedings{CTT100633897,
  author = {横山衛 and 米崎直樹},
  title = {時区間論理による仕様の変換法について},
  booktitle = {日本ソフトウェア科学会第6回大会論文集},
  year = 1989,
}

@inproceedings{CTT100633896,
  author = {米崎直樹 and 友石正彦},
  title = {順序関係を記述する論理の完全性の研究},
  booktitle = {人工知能学会研究会資料 SIG-FAI-8901-4},
  year = 1989,
}

@inproceedings{CTT100633885,
  author = {米崎直樹},
  title = {順序的性質の記述を含む時間論理のリゾリューション},
  booktitle = {日本ソフトウェア科学会第5回大会論文集},
  year = 1988,
}

@inproceedings{CTT100633884,
  author = {米崎直樹 and 端山毅},
  title = {効率的時間論理証明システムの構成},
  booktitle = {電子情報通信学会ソフトウェアサイエンス研究会技法},
  year = 1987,
}

@inproceedings{CTT100633883,
  author = {米崎直樹},
  title = {様相論理証明器の一般化},
  booktitle = {日本ソフトウェア科学会第3回大会論文集},
  year = 1986,
}

@inproceedings{CTT100633865,
  author = {NAOKI YONEZAKI and 榎本肇 and MOTOSHI SAEKI},
  title = {Logical Environment for Natural Language Approach},
  booktitle = {ACM SIGSOFT Software Engineering Notes},
  year = 1986,
}

@inproceedings{CTT100633881,
  author = {米崎直樹 and 新淳 and 蓬莱尚幸},
  title = {時間論理プログラミング言語Templog},
  booktitle = {日本ソフトウェア科学会第1回大会論文集},
  year = 1984,
}

@inproceedings{CTT100633864,
  author = {榎本肇 and NAOKI YONEZAKI and MOTOSHI SAEKI and 荒俣博},
  title = {Formal Specification and Verification for Concurrent Systems by TELL},
  booktitle = {},
  year = 1984,
}

@inproceedings{CTT100633863,
  author = {榎本肇 and NAOKI YONEZAKI and MOTOSHI SAEKI and 千葉和彦 and 柿塚隆 and 横井敏夫},
  title = {Natural Language Based Software Development System TELL},
  booktitle = {},
  year = 1984,
}

@inproceedings{CTT100633867,
  author = {NAOKI YONEZAKI},
  title = {Logic for Hierarchical Temporal Reasoning},
  booktitle = {},
  year = 1984,
}

@inproceedings{CTT100633862,
  author = {米崎直樹 and 平倉一郎 and 橘浩志},
  title = {Prologによる日本語質問応答システム},
  booktitle = {},
  year = 1984,
}

@inproceedings{CTT100633854,
  author = {榎本肇 and NAOKI YONEZAKI and 渡辺康夫 and MOTOSHI SAEKI},
  title = {Towards Evolutional Structure for Database of Image and Object Body},
  booktitle = {},
  year = 1983,
}

@inproceedings{CTT100633857,
  author = {榎本肇 and NAOKI YONEZAKI and MOTOSHI SAEKI},
  title = {Paradigm of Knowledge based Software System and its Service Image},
  booktitle = {},
  year = 1983,
}

@inproceedings{CTT100633850,
  author = {榎本肇 and NAOKI YONEZAKI and 宮村勲 and 須沼正幸},
  title = {A Parallel Programming Language and Description of Scheduler},
  booktitle = {Lecture Notes in Computer Science},
  year = 1982,
}

@inproceedings{CTT100416615,
  author = {NAOKI YONEZAKI},
  title = {Functional Specification of Synchronized Process Based on Modal LOGIC},
  booktitle = {Proc. of 6th International Joint Conference on Software Engineering},
  year = 1982,
}

@inproceedings{CTT100633847,
  author = {榎本肇 and 片山卓也 and NAOKI YONEZAKI and 宮村勲},
  title = {Image Data Modeling and language for parallel Processing},
  booktitle = {},
  year = 1981,
}

@inproceedings{CTT100633844,
  author = {NAOKI YONEZAKI and 榎本肇},
  title = {Database System based on Intensional Logic},
  booktitle = {},
  year = 1980,
}

@inproceedings{CTT100633841,
  author = {榎本肇 and NAOKI YONEZAKI and 宮村勲 and 須沼正幸},
  title = {Image Modeling Aspect of non-procedural Parallel Processing Language},
  booktitle = {},
  year = 1980,
}

@inproceedings{CTT100633839,
  author = {榎本肇 and NAOKI YONEZAKI and KATSUMI NITTA},
  title = {Schematic Representation and Perception of Curved Surface},
  booktitle = {},
  year = 1979,
}

@inproceedings{CTT100633838,
  author = {榎本肇 and NAOKI YONEZAKI and 佐藤克史},
  title = {Statistical Approach for Construction and Estimation of Syntactic Pattern Recognition Mechanism},
  booktitle = {},
  year = 1978,
}

@inproceedings{CTT100416616,
  author = {NAOKI YONEZAKI},
  title = {A model for Perception of Structure Image Data},
  booktitle = {Proc. of 6th International Joint Conference on Artificial Intelligence},
  year = 1978,
}

@misc{CTT100548460,
  author = {萩原茂樹 and 米崎直樹},
  title = {記号論及び計算論によるセキュリティ解析の相互関係},
  year = 2007,
}

@misc{CTT100548468,
  author = {萩原茂樹 and 米崎直樹},
  title = {Abadi-Rogawayによる暗号メッセージの解析手法とその健全性・完全性について},
  year = 2006,
}

@misc{CTT100633879,
  author = {市川晴久 and 湯淺太一 and 増澤利光 and 市川晴久 and 中島秀之 and 湯淺太一 and 増澤利光 and 米崎直樹},
  title = {産業界からの理工系情報学科の研究教育内容への期待と大学の取り組み},
  year = 2003,
}

@misc{CTT100633894,
  author = {米崎直樹},
  title = {様相論理},
  year = 1989,
}

@misc{CTT100595679,
  author = {NAOKI YONEZAKI},
  title = {構造化データに於ける検索アルゴリズムの研究},
  year = 1977,
}



@phdthesis{CTT100595679,
  author = {NAOKI YONEZAKI},
  title = {構造化データに於ける検索アルゴリズムの研究},
  school = {東京工業大学
},
  year = 1977,
}