論文

• Takashi Tomita, Atsushi Ueno, Masaya Shimakawa, Shigeki Hagihara, Naoki Yonezaki.. Safraless LTL synthesis considering maximal realizability, Acta Informatica, pp. 1-38, Oct. 2016.
• 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.
• Masaya Shimakawa, Shigeki Hagihara, Naoki Yonezaki. Bounded Strong Satisfiability Checking of Reactive System Specifications, IEICE Transactions on Information and Systems, A Publication of the Information and Systems Society, Vol. E97-D, No. 7, pp. 1746-1755, July 2014.
• 冨田尭, 萩原茂樹, 米崎直樹. 平均利得時間論理とそれを用いた検証・最適化手法, コンピューターソフトウェア, 岩波書店, Vol. 31, No. 2, pp. 93-117, Apr. 2014.
• 安藤崇央, 萩原茂樹, 米崎直樹. SAT solverを用いるLTLタブロー構成法とその評価, 情報処理学会論文誌, Vol. 55, No. 2, pp. 909-921, Feb. 2014.
• Masaya Shimakawa, Shigeki Hagihara, Naoki Yonezaki. Complexity of Strong Satisfiability Problems for Reactive System Specifications, IEICE Transactions on Information and Systems, A Publication of the Information and Systems Society, Vol. E96-D, No. 10, pp. 2187-2193, Oct. 2013.
• 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.  公式リンク  
  
• Shigeki Hagihara, Hiroaki Oguro, Naoki Yonezaki. Kripke semantics for Epistemic Logic of Relational Information between Ciphertexts, Philippine Computing Journal, Vol. 7, No. 2, pp. 23-32, Dec. 2012.
• 安藤崇央, 宮本佑樹, 萩原茂樹, 米崎直樹. リアクティブシステム仕様に対する段階的充足可能性判定器の分散オブジェクト技術を利用した実装, コンピューターソフトウェア, 岩波書店, Vol. 28, No. 4, pp. 262-281, Nov. 2011.
• 萩原茂樹, 北村佑介, 島川昌也, 関戸聡, 米崎直樹. リアクティブシステム仕様を実現可能にするための環境制約の抽出, コンピューターソフトウェア, 岩波書店, Vol. 28, No. 3, pp. 132-146, Aug. 2011.
• 伊藤宗平, 萩原茂樹, 米崎直樹. プログラム依存グラフの操作的意味, コンピュータソフトウェア, Vol. 26, No. 3, pp. 109-135, Aug. 2009.
• 小黒博昭, 萩原茂樹, 米崎直樹. 記号論的暗号解析を用いたOblivious Transferプロトコルの解析, 電子情報通信学会論文誌 D, Vol. J92-D, No. 5, pp. 596-607, May 2009.
• 青島武伸, 米崎直樹. 時間論理によるリアクティブシステム仕様の検証の効率化, コンピュータソフトウェア, Vol. 20, No. 3, pp. 30-53, May 2003.
• 萩原茂樹, 友石正彦, 米崎直樹. 有限フレームを意味的基礎として持つ様相論理に対する分解証明法, コンピュータソフトウェア, Vol. 18, No. 0, pp. 78-91, Dec. 2000.
• 根岸和義, 米崎直樹. セキュリティプロトコルの一貫性および正常終了一致の同一参加者による複数セッションを考慮した検証法., 情報処理学会論文誌, Vol. 41, No. 8, pp. 2281-2290, Aug. 2000.
• 吉浦紀晃, 米崎直樹. 適切さの論理RとERの証明力の比較, 人工知能学会誌, Vol. 14, No. 6, pp. 156-167, Nov. 1999.
• 吉浦紀晃, 米崎直樹. 適切さの論理ERの決定可能性, 人工知能学会誌, Vol. 14, No. 5, pp. 819-827, Sept. 1999.
• NAOKI YONEZAKI. Relevant Inference and Reliebility dependent on Implication, Information Modeling and Knowledge Bases, pp. VII, 1996.
• 端山毅, 米崎直樹. 様相記号列統一化による様相論理定理証明器の健全性と完全性, コンピュータソフトウェア, Vol. 10, No. 3, pp. 48-67, May 1993.
• 米崎直樹. 様相記念列統一化による様相論理定理証明器における自己代入の利用, コンピュータソフトウェア, Vol. 10, No. 3, pp. 68-83, 1993.
• 米崎直樹. 様相論理と並列プログラム, 電気・情報関連学会連合大会論文集, No. 5, pp. 79-82, Feb. 1989.
• 米崎直樹, 市川至, 蓬莱尚幸, 佐伯元司, 榎本肇. 自然言語に基づく静的システムの仕様のプロトタイププログラムへの変換手法, 情報処理学会論文誌, Vol. 27, No. 11, pp. 1112-1128, Nov. 1986.
• 佐伯元司, 米崎直樹, 榎本肇. 自然言語の語彙分割による形式的仕様記述, 情報処理学会論文誌, Vol. 25, No. 2, pp. 204-215, Feb. 1984.
• 米崎直樹, 榎本肇. 内包論理に基づく関数的並列処理言語の意味記述と検証, 電子情報通信学会論文誌, Vol. J66-D, No. 11, pp. 1302-1311, 1983.
• 榎本肇, NAOKI YONEZAKI, 渡辺康夫. Application of Structure line to Surface Construction and 3-Dimensional Analysis, Springer Series in Information Sciences Vol.6. Picture Engineering, pp. 106-137, 1982.
• 新田克己, 米崎直樹, 榎本肇. 画像の構造情報の抽出とその応用, 電子通信学会論文誌, Vol. 63-D, No. 12, pp. 1058-1065, 1980.
• 米崎直樹, 佐藤克史, 榎本肇. パターンの統計的性質を用いた構文的認識機構の自動合成とその評価, 電子通信学会論文誌, Vol. 63-D, No. 10, pp. 859-866, 1980.
• 榎本肇, 片山卓也, 米崎直樹. 分割アルゴリズムに基づく同型グラフの検索について, 情報処理学会論文誌, Vol. 18, No. 12, pp. 1209-1217, Dec. 1977.
• 米崎直樹, 片山卓也, 榎本肇. リスト構造に対する整合機能の形式化, 電子通信学会論文誌, Vol. 60-D, No. 8, pp. 594-601, Aug. 1977.

著書

• 萩原茂樹, 米崎直樹. AbadiとRogawayによるメッセージの識別不可能性の形式化, 数理的技法による情報セキュリティ(シリーズ応用数理), 共立出版, Vol. 1, pp. 137-152, July 2010.
• 渡辺治, 米崎直樹. 計算論入門, 日本評論社, 日本評論社, pp. 211, 1997.
• NAOKI YONEZAKI. Several Reliability Concepts in Reactive Objects, Information Modeling and Knowledge Bases IV, IOS Press, Information Modeling and Knowledge Bases IV, IOS Press, pp. 407-424, 1993.
• 米崎直樹. 情報科学の基礎研究(共著), オーム社, オーム社, 1990.
• NAOKI YONEZAKI. Natural Language Interface for Requirements Specification, Japanese Perspective on Software Engineering, Addition Wesley, Japanese Perspective on Software Engineering, Addition Wesley, pp. 41-76, 1989.
• 米崎直樹. ソフトウェア工学ハンドブック, オーム社, オーム社, 1986.

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

• Masaya Shimakawa, Shigeki Hagihara, Naoki Yonezaki. Efficiency of the Strong Satisfiability Checking Procedure for Reactive System Specifications, International Conference on Computer, Electronic Engineering and Information Science (CEEIS 2017), Dec. 2017.
• Masaya Shimakawa, Shigeki Hagihara, Naoki Yonezaki. Towards Improvements of Bounded Realizability Checking, Workshop on Computation: Theory and Practice (WCTP2017), Sept. 2017.
• Shigeki Hagihara, Masaya Shimakawa, Naoki Yonezaki. Discussion on Verification of Voting Protocols, 17th Philippine Computing Science Congress (PCSC 2017), Proceedings of the 17th Philippine Computing Science Congress, Mar. 2017.
• Shigeki Hagihara, Masahiko Tomoishi, Masaya Shimakawa, Naoki Yonezaki. Combining Unification and Rewriting in Proofs for Modal Logics with First-order Undefinable Frames, 5th International Conference on Computer Science, Electronics Technology and Automation (ICCSETA 2017), Preproceedings of 5th International Conference on Computer Science, Electronics Technology and Automation (ICCSETA 2017), Mar. 2017.
• Masaya Shimakawa, Kenji Osari, Shigeki Hagihara, Naoki Yonezaki. Modularization of formal specifications for efficient synthesis of reactive systems, 6th International Conference on Software and Computer Applications (ICSCA 2017), Preproceedings of 6th International Conference on Software and Computer Applications (ICSCA 2017), Feb. 2017.
• Shigeki Hagihara, Yoshiharu Fushihara, Masaya Shimakawa, Masahiko Tomoishi, Naoki Yonezaki. Web server access trend analysis based on the Poisson distribution, 6th International Conference on Software and Computer Applications (ICSCA 2017), Preproceedings of 6th International Conference on Software and Computer Applications (ICSCA 2017), Feb. 2017.
• Masaya Shimakawa, Yuuji Iwasaki, Shigeki Hagihara, Naoki Yonezaki. Discussion of LTL Subsets for Efficient Verification, Workshop on Computation: Theory and Practice (WCTP2016), Preproceedings of Workshop on Computation: Theory and Practice (WCTP2016), pp. 1-14, Sept. 2016.
• Shigeki Hagihara, Atsushi Ueno, Takashi Tomita, Masaya Shimakawa, Naoki Yonezaki. Simple synthesis of reactive systems with tolerance for unexpected environmental behavior, the 4th FME Workshop on Formal Methods in Software Engineering (FormaliSE '16), Proceedings of the 4th FME Workshop on Formal Methods in Software Engineering (FormaliSE '16), ACM New York, pp. 15-21, May 2016.
• Shigeki Hagihara, Naoto Sato, Naoki Yonezaki. Toward Applicable Synthesis of Security Protocols for Data Transmission, 16h Philippine Computing Science Congress (PCSC 2016), Proceedings of the 16th Philippine Computing Science Congress, Mar. 2016.
• Masaya Shimakawa, Shigeki Hagihara, Naoki Yonezaki.. Reducing Bounded Realizability Analysis to Reachability Checking, 9th International Workshop on Reachability Problems(RP 2015), Reachability Problems, Lecture Notes in Computer Science, Springer, Vol. 9328, pp. 140-152, Sept. 2015.
• Masaya Shimakawa, Shigeki Hagihara, Naoki Yonezaki.. Towards Unbounded Realizability Checking, Workshop on Computation: Theory and Practice (WCTP2015), Preproceedings of Workshop on Computation: Theory and Practice (WCTP2015), pp. 80-90, Sept. 2015.
• Yoshiharu Fushihara, Shigeki Hagihara, Masahiko Tomoishi, Naoki Yonezaki. A new approach to analysis of access tendency of web server using Poisson distribution, 15h Philippine Computing Science Congress (PCSC 2015), Proceedings of the 15th Philippine Computing Science Congress, pp. 14-19, Mar. 2015.
• 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.
• Kenji Osari, Shigeki Hagihara, Naoki Yonezaki. Discussion on modularization of specifications for efficient synthesis of reactive systems, 7th Symposium on Mathematical Aspects of Computer Science, SMACS2014, 7th Symposium on Mathematical Aspects of Computer Science, SMACS2014, Preproceedings, pp. 27-32, Nov. 2014.
• Shohei Mochizuki, Masaya Shimakawa, Shigeki Hagihara, Naoki Yonezaki. Fast Translation from LTL to Büchi Automata via Non-transition-based Automata, 16th International Conference on Formal Engineering Methods (ICFEM 2014), Formal Methods and Software Engineering, 16th International Conference on Formal Engineering Methods, ICFEM 2014, Lecture Notes in Computer Science, Springer, Vol. 8829, pp. 364-379, Nov. 2014.
• Takashi Tomita, Takahito Kimura, Shigeki Hagihara, Naoki Yonezaki. An Efficient Implementation of Satisfiability Checking for LTL with Mean-Payoff Constraints, Workshop on Computation: Theory and Practice (WCTP2014), Preproceedings of Workshop on Computation: Theory and Practice (WCTP2014), pp. 30-42, Oct. 2014.
• Shigeki Hagihara, Naoki Egawa, Masaya Shimakawa, Naoki Yonezaki. Minimal strongly unsatisfiable subsets of reactive system specifications, the 29th ACM/IEEE international conference on Automated software engineering (ASE2014), Proceedings of the 29th ACM/IEEE international conference on Automated software engineering (ASE2014), ACM New York, pp. 629-634, Sept. 2014.
• Shigeki Hagihara, Masahiko Tomoishi, Naoki Yonezaki. On Constructing Unification-based Proof Methods for Modal Logics with First-order Undefinable Frames, 14th Philippine Computing Science Congress (PCSC 2014), Proceedings of the 14th Philippine Computing Science Congress, pp. 22-27, Mar. 2014.
• 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.
• Takashi Tomita, Naoko Izumi, Shigeki Hagihara, Naoki Yonezaki. A Formal Ontology of Interactions with Intensional Quantitative Semantics, Workshop on Computation: Theory and Practice (WCTP-2012), Theory and Practice of Computation, Proceedings in Information and Communications Technology, Vol. 7, pp. 13-33, June 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.
• Masaya Shimakawa, Shigeki Hagihara, Naoki Yonezaki. SAT–Based Bounded Strong Satisfiability Checking of Reactive System Specifications, Information & Communication Technology - EurAsia Conference 2013 (ICT-EurAsia 2013), Information and Communicatiaon Technology, Lecture Notes in Computer Science, Vol. 7804, pp. 60-70, 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.
• Takashi Tomita, Shin Hiura, Shigeki Hagihara, Naoki Yonezaki. A Temporal Logic with Mean-Payoff Constraints, 14th International Conference on Formal Engineering Methods (ICFEM 2012), Formal Methods and Software Engineering, 14th International Conference on Formal Engineering Methods, ICFEM 2012, Lecture Notes in Computer Science, Springer, Vol. 7635, pp. 249-265, Nov. 2012.
• 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.
• Masaya Shimakawa, Shigeki Hagihara, Naoki Yonezaki. Complexity of Checking Strong Satisfiability of Reactive System Specifications, International Conference on Advances in Information Technology and Communication, AIT 2012, International Conference on Advances in Information Technology and Communication, AIT 2012, pp. 42-51, Sept. 2012.
• Shigeki Hagihara, Takahiro Arai, Masaya Shimakawa, Naoki Yonezaki. Developing Embedded Systems from Formal Specifications Written in Temporal Logic, the Third International Conference on Trends in Information, Telecommunication and Computing (ITC2012), Proceedings of the Third International Conference on Trends in Information, Telecommunication and Computing, Lecture Notes in Electrical Engineering, Springer, Vol. 150, pp. 107-113, Aug. 2012.
• Shigeki Hagihara, Hiroaki Oguro, Naoki Yonezaki. Completeness of a Deduction System for Relational Information between Ciphertexts based on Probabilistic Computational Semantics, Workshop on Computation: Theory and Practice (WCTP-2011), Theory and Practice of Computation, Proceedings in Information and Communications Technology, Springer, Vol. 5, pp. 116-132, May 2012.
• Takashi Tomita, Shigeki Hagihara, Naoki Yonezaki. Probabilistic Temporal Logic with Frequency Operators and Its Model Checking, 13th International Workshop on Verification of Infinite-State Systems (INFINITY 2011), Proceedings 13th International Workshop on Verification of Infinite-State Systems. 2011, Electronic Proceedings in Theoretical Computer Science, Vol. 73, pp. 79–93, Oct. 2011.
• 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.
• Takashi Tomita, Naoko Izumi, Shigeki Hagihara, Naoki Yonezaki. Qualitative Inference Rules for Analysis of Biological Object Interactions, 9th International Conference on Bioinformatics, 9th International Conference on Bioinformatics, Abstracts, pp. 48, Sept. 2010.
• 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.
• Shigeki Hagihara, Yusuke Kitamura, Masaya Shimakawa, Naoki Yonezaki. Extracting Environmental Constraints to Make Reactive System Specifications Realizable, Proceedings of 16th Asia-Pacific Software Engineering Conference APSEC 2009, pp. 61-68, Dec. 2009.
• Takashi Tomita, Naoko Izumi, Shigeki Hagihara, Naoki Yonezaki. 2-layered Formal Interaction Ontology among Biological Processes with Quantitative Semantics, CBI-KSBSB Joint Conference, CBI-KSBSB Joint Conference, P12-144, pp. 217, Nov. 2009.
• Akihiko Konagaya, Masayuki Yamamura, Naoki Yonezaki, Takako Takai-Igarashi, Hiroshi Tanaka. Overview of TITECH-TMDU Joint Education Progaram for Biomedical Bioinformatics, CBI-KSBSB Joint Conference, Nov. 2009.
• 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.
• Naoko Izumi, Naoki Yonezaki. Formal system of interactions on biomedical ontology, Proceedings of the 19th European-Japanese conference on information modelling and knowledge basis, pp. 286-293, June 2009.
• Koji Tashima, Naoko Izumi, Naoki Yonezaki. A Quantitative Semantics of Formal Ontology of Drug Interactions, Proceedings of the 2008 International Conference on Bioinformatics & Computational Biology, BIOCOMP2008, Vol. II, pp. 760-766, July 2008.
• 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.
• Shigeki Hagihara, Naoki Yonezaki. Completeness of Verification methods for Approaching to Realizable Reactive Specifications, 1st Asian Working Conference on Verified Software AWCVS'06, Proceedings of 1st Asian Working Conference on Verified Software AWCVS'06, UNU-IIST Technical Report, Vol. 348, pp. 242-257, Oct. 2006.  公式リンク  
  
• Ashraf Bhery, Shigeki Hagihara, Naoki Yonezaki. A Formal System for Analysis of Cryptographic encryption and Their Security properties, 2nd International Symposium on Software Security 2003, Software Security - Theories and Systems, Lecture Notes in Computer Science, Springer, Vol. 3233, pp. 87-112, June 2004.
• Ashraf Bhery, Shigeki Hagihara, Naoki Yonezaki. A Formal Analysis of Symmetric Encryption and Keyed and Keyed Hash Function, The 46th IEEE International Midwest Symposium On Circuits & Systems, Vol. 2, pp. 774-777, Dec. 2003.
• Ashraf Bhery, Shigeki Hagihara, Naoki Yonezaki. The Characterization of Cryptographic Primitives and Their Security Properties, Proceedings of the Ninth International Conference on Distributed Multimedia Systems, pp. 636-642, Sept. 2003.
• Ashraf Bhery, Shigeki Hagihara, Naoki Yonezaki. Judgment Deduction System of Asymmetric Encryption Scheme (JDE-system), Pre-Proceeding of WISA 2003, The 4th International Workshop on Information Security Applications, pp. 639-649, Aug. 2003.
• Takenobu Aoshima, Takahiro Ando, Naoki Yonezaki. Consistency Checking of Behavioural Modeling in UML Statechart Diagrams, INFORMATION MODELLING AND KNOWLEDGE BASES XIV, pp. 152-169, 2003.
• Takenobu Aoshima, Takahiro Ando, Naoki Yonezaki. Consistency Checking of Behavioural Modeling in UML Statechart Diagrams, Proc. of 12th European Japanese Conference on Information modelling and Knowledge bases, pp. 179-196, May 2002.
• Kenji Masui, Masahiko Tomoishi, Naoki Yonezaki. Design of unix system for the prevention of damage propagation by intrusion and its implementation based on 4.4BSD, Information Security Conference 2001, Oct. 2001.
• Takenobu Aoshima, Kenji Sakuma, Naoki Yonezaki. An efficient verification procedure supporting evolution of reactive system specifications., Proc. of International Workshop on Principles of Software Evolution 2001, Sept. 2001.
• Naoko Izumi, Naoki Yonezaki. Mereology with class hierarchy for component structure, Proceedings of the IASTED International Conference Artificial Intelligence and Soft Computing, pp. 79--84, May 2001.
• Naoko Izumi, Naoki Yonezaki.. A logic of ontology for object oriented software component., Proc. of the 11th European-Japanese conference on Information Modelling and Knowledge Basis, pp. 74-87, May 2001.
• Noriaki Yoshiura, Naoki Yonezaki. Provability of relevant logic ER, Proceedings of The 11th European-Japanese conference on Information Modelling and Knowledge Basis, pp. 90--104, May 2001.
• Noriaki Yoshiura, Naoki Yonezaki.. Program synthesis for stepwise satisfiable specification of reactive system, International Symposium on Principles of Software Evolution (ISPSE2000), pp. 55-64, Nov. 2000.
• Takenobu Aoshima, Naoki Yonezaki.. Verification of reactive system specification with outer event conditional formula, International Symposium on Principles of Software Evolution (ISPSE2000), pp. 195-199, Nov. 2000.
• Masahiko Tomoishi, Naoki Yonezaki.. Evolutional tableau method for temporal logic specification, International Symposium on Principles of Software Evolution (ISPSE2000), pp. 181-188, Nov. 2000.
• Noriaki Yoshiura, Naoki Yonezaki.. Decidable relevant logic er and its tableau method based decision procedure., Automated Reasoning with Analytic Tableaux and Related Methods, July 2000.
• Vaithinathan Vanitha, Kenji Yamashita, Kimiyuki Fukuzawa, Naoki Yonezaki.. A method for structuralisation of evolutional specifications of reactive systems, ICSE 2000, The Third International Workshop on Intelligent Software Engineering (WISE3), pp. 30-38, June 2000.
• Takenobu Aoshima, Naoki Yonezaki. An efficient tableau-based verification method with partial evaluation for reactive system specifications., Proceedings of The 10th European-Japanese Conference on Information Modelling and Knowledge Bases, pp. 337-348, May 2000.
• Kazuyoshi Negishi, Naoki Yonezaki. Verification method for possibility of parallel attack on multiple sessions with the same principals in a security protocol., International Workshop on Formal Methods and Computer Security, pp. 109-120, 2000.
• Shigeki Hagihara, Naoki Yonezaki. Resolution Method for Modal Logic with Well-founded Frames, 13th International Workshop, CSL'99, 8th Annual Conference of the EACSL, Computer Science Logic, Lecture Notes in computer Science, Springer, Vol. 1683, pp. 277-291, Sept. 1999.
• Sima Asgari, Naoki Yonezaki. An Object-Oriented Model of Maps, International Workshop on Spatio-Temporal Data Models and Languages in conjunction with the 10th International Conference on Database and Expert System applications, DEXA '99, Aug. 1999.
• Sima Asgari, Naoki Yonezaki. Formalization of the Concept of Map as Interpreted by Human, 3rd IMACS/IEEE International Multiconference on CIRCUITS, SYSTEMS, COMMUNICATIONS and COMPUTERS, July 1999.
• Sima Asgari, Naoki Yonezaki. A general Object-Oriented Model for Spatial Data, Proc. of the Third Andrei Ershov International Conference on Perspectives of System Informatics, LNCS, No. 1755, pp. 352-357, July 1999.
• Shigeki Hagihara, Naoki Yonezaki. Unification-based proof method for modal logic with well-founded frames, International Conference, TABLEAUX'99, 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, Vol. 99, No. 1, pp. 71-85, June 1999.
• Shigeki Hagihara, Naoki Yonezaki. A connection based proof method for modal logic restricted to discrete frames, Fifteenth International Joint Conference on Artificial Intelligence, Poster Session Abstracts, pp. 99, Aug. 1997.
• NAOKI YONEZAKI. Non-Clausal Liner Resolution for Prepositional Liner Logic, Information Modeling and Knowledge Bases VI, IOS Press, Information Modeling and Knowledge Bases VI, IOS Press, Vol. 26, pp. 215-230, 1995.
• NAOKI YONEZAKI. Input conditional formulas of Reactive System Specification in Temporal Logic, The Third International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, Vol. 863, pp. 567-582, 1994.
• NAOKI YONEZAKI. Temporal Logic extended with object creation and destruction, Proc. of 6th International Conference on Software Engineering and Knowledge Engineering, pp. 156-163, 1994.
• Yoshiura Noriaki, NAOKI YONEZAKI. More expressive Temporal Logic for Specification, 5th International Conference on Software Engineering and Knowledge Engineering, pp. 363-366, June 1993.
• NAOKI YONEZAKI, MOTOSHI SAEKI, Jan Ljungberg, Tapani Kinnula. Software Process Modelling with the TAP Approach, The 3rd Europian Japanese seminar on Information Modeling and Knowledge Bases, June 1993.
• NAOKI YONEZAKI. TAP : A New Model for Software Process Tasks-Agents-Products, Proc. of 5th International Conference on Software Engineering and Knowledge Engineering, pp. 346-350, 1993.
• NAOKI YONEZAKI, Tapani Kinnula, Jan Ljungberg, MOTOSHI SAEKI. Modelling the System Development Process, 1st International Summer School on Metamodeling and Methodology Engineering, June 1992.
• NAOKI YONEZAKI, 端山毅. Self-Substitution in Modal Unification, Advances in Information Modeling and Knowledge Bases, IOS Press, May 1992.
• NAOKI YONEZAKI. Conceptual Modeling in MSL, Information Modeling and Knowledge Bases: Frontiers in Artificial Intelligence and Applications, IOS Press, pp. 124-138, May 1991.
• NAOKI YONEZAKI. ID/LP Logic for Hierarchical Predence Relations, Theoretical Foundation of Knowledge Information Processing ASR-SESITY INOGRA, pp. 137*145, June 1990.
• NAOKI YONEZAKI, 榎本肇, MOTOSHI SAEKI. Logical Environment for Natural Language Approach, ACM SIGSOFT Software Engineering Notes, Vol. 11, No. 4, pp. 84-86, Apr. 1986.
• 榎本肇, NAOKI YONEZAKI, MOTOSHI SAEKI, 荒俣博. Formal Specification and Verification for Concurrent Systems by TELL, 6-th Europian Conference on Artificial Intelligence, pp. 732-745, Sept. 1984.
• 榎本肇, NAOKI YONEZAKI, MOTOSHI SAEKI, 千葉和彦, 柿塚隆, 横井敏夫. Natural Language Based Software Development System TELL, 6-th Europian Conference on Artificial Intelligence, pp. 721-731, Sept. 1984.
• NAOKI YONEZAKI. Logic for Hierarchical Temporal Reasoning, Information Modeling and Knowledge Bases, IOS Press, pp. 136-147, May 1984.
• 米崎直樹, 平倉一郎, 橘浩志. Prologによる日本語質問応答システム, Logic Programming Conference '84, 12-4, Mar. 1984.
• 榎本肇, NAOKI YONEZAKI, 渡辺康夫, MOTOSHI SAEKI. Towards Evolutional Structure for Database of Image and Object Body, 1st Australian Conference on Computer Graphics, pp. 23-42, Feb. 1983.
• 榎本肇, NAOKI YONEZAKI, MOTOSHI SAEKI. Paradigm of Knowledge based Software System and its Service Image, Economics and Technology of Software Engineering, 3rd Seminar for Technology of Sfotware, 1983.
• 榎本肇, NAOKI YONEZAKI, 宮村勲, 須沼正幸. A Parallel Programming Language and Description of Scheduler, Lecture Notes in Computer Science, Springer-Verlag, No. 143, pp. 23-41, Oct. 1982.
• NAOKI YONEZAKI. Functional Specification of Synchronized Process Based on Modal LOGIC, Proc. of 6th International Joint Conference on Software Engineering, pp. 208-217, 1982.
• 榎本肇, 片山卓也, NAOKI YONEZAKI, 宮村勲. Image Data Modeling and language for parallel Processing, Real-Time/Parallel Computing, Image Analysis, Plenum press, pp. 95-105, 1981.
• NAOKI YONEZAKI, 榎本肇. Database System based on Intensional Logic, 8-th International Joint Conference on Computational Linguistics, pp. 220-227, Oct. 1980.
• 榎本肇, NAOKI YONEZAKI, 宮村勲, 須沼正幸. Image Modeling Aspect of non-procedural Parallel Processing Language, Euro-graphics 80, pp. 257-268, 1980.
• 榎本肇, NAOKI YONEZAKI, KATSUMI NITTA. Schematic Representation and Perception of Curved Surface, Euro-graphics 79, pp. 164-177, 1979.
• 榎本肇, NAOKI YONEZAKI, 佐藤克史. Statistical Approach for Construction and Estimation of Syntactic Pattern Recognition Mechanism, 4-th International Joint Conference on Pattern Recognition, pp. 359-363, Feb. 1978.
• NAOKI YONEZAKI. A model for Perception of Structure Image Data, Proc. of 6th International Joint Conference on Artificial Intelligence, pp. 257-268, 1978.

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

• 冨田尭, 上野篤史, 萩原茂樹, 島川昌也, 米崎直樹. 可能な限り仕様を満たすリアクティブシステムの合成, 第22回 ソフトウェア工学の基礎ワークショップ FOSE 2015, ソフトウェア工学の基礎XXII, 日本ソフトウェア科学会 FOSE 2015, 近代科学社, pp. 77-86, Nov. 2015.
• 萩原茂樹, 江川直毅, 島川昌也, 米崎直樹. 強充足不能なリアクティブシステム仕様における欠陥範囲の特定, 第20回 ソフトウェア工学の基礎ワークショップ FOSE 2013, ソフトウェア工学の基礎XX, 日本ソフトウェア科学会 FOSE 2013, 近代科学社, pp. 143-152, Nov. 2013.
• 望月翔平, 島川昌也, 萩原茂樹, 米崎直樹. LTL式からBuchiオートマトンへの高速な変換法, 第19回 ソフトウェア工学の基礎ワークショップ FOSE 2012, ソフトウェア工学の基礎XIX, 日本ソフトウェア科学会 FOSE 2012, 近代科学社, pp. 91-100, Dec. 2012.
• 新井貴大, 島川昌也, 萩原茂樹, 米崎直樹. 時間論理で記述された仕様からのプログラム自動抽出による組み込みシステム構成手法, ソフトウェア工学の基礎XVIII, 日本ソフトウェア科学会 FOSE2011, pp. 151-156, Nov. 2011.
• 萩原茂樹, 北村佑介, 島川昌也, 米崎直樹. リアクティブシステム仕様を実現可能にするための環境制約の抽出, ソフトウェア工学の基礎XVI, 日本ソフトウェア科学会 FOSE2009, pp. 37-48, Nov. 2009.
• 北村佑介, 島川昌也, 萩原茂樹, 米崎直樹. リアクティブシステム仕様の外部環境制約について, 第五回システム検証の科学技術シンポジウム, 第五回システム検証の科学技術シンポジウム予稿集, pp. 7-18, Nov. 2008.
• 宮本佑樹, 安藤崇央, 萩原茂樹, 米崎直樹. タブロー証明器の実装におけるBDDの利用について, 第五回システム検証の科学技術シンポジウム, 第五回システム検証の科学技術シンポジウム予稿集, pp. 127-138, Nov. 2008.
• 島川昌也, 萩原茂樹, 米崎直樹. リアクティブシステム仕様の強充足可能性判定問題の計算量について, 第4回システム検証の科学技術シンポジウム予稿集, pp. 21-29, Nov. 2007.
• 島川昌也, 萩原茂樹, 米崎直樹. リアクティブシステムを対象とした様々な実行時検証概念の形式化とその判定アルゴリズムの完全性, 第二回システム検証の科学技術シンポジウム予稿集, pp. 246-259, Oct. 2005.  公式リンク  
  
• 萩原茂樹, 米崎直樹. Mullerオートマトンを用いたリアクティブシステムの仕様検証法とその完全性, 第二回システム検証の科学技術シンポジウム予稿集, pp. 52-63, Oct. 2005.  公式リンク  
  
• 安藤崇央, 大滝大輔, 米崎直樹. 時間論理タブロー証明器のMPIによる実装, 第二回システム検証の科学技術シンポジウム予稿集, pp. 227-245, Oct. 2005.
• 増井健司, 友石正彦, 米崎直樹. 送受信内容の相関を利用したhttpアクセス制御のためのプロキシ, マルチメディア、分散、協調とモバイル(DICOMO2001)シンポジウム, June 2001.

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

• Naoki Yonezaki. Biology, Computation and Formal System Biology, Workshop on Computation: Theory and Practice (WCTP-2011), Preproceedings of Workshop on Computation: Theory and Practice (WCTP-2011), pp. 3, Sept. 2011.
• Hiroaki Oguro, Shigeki Hagihara, Naoki Yonezaki. A Formal System for Analysis of an Oblivious Transfer Protocol, The 4th Franco-Japanese Computer Security Workshop, Dec. 2008.
• 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.
• Naoki Yonezaki, Naoko Izumi, Takumi Akiyama. Formal Ontology of Object Interaction, International Symposium on Large-scale Knowledge Resources (LKR2006), Proceedings of International Symposium on Large-scale Knowledge Resources (LKR2006), pp. 15-20, Mar. 2006.
• Shigeki Hagihara, Takayoshi Sanui, Naoki Yonezaki. Formal Construction of Security Protocols, 2nd International Workshop on Foundations for Secure/Survivable Systems and Networks, 2nd International Workshop on Foundations for Secure/Survivable Systems and Networks, Oct. 2001.
• Shigeki Hagihara, Takayoshi Sanui, Naoki Yonezaki. Formal Construction of Security Protocols, 公開シンポジウム 「安全な社会基盤を支えるソフトウェア技術」, Sept. 2001.
• Shigeki Hagihara, Naoki Yonezaki. Resolution calculus for Modal logic of finite frames, 1st International Workshop on Specification and Verification of Timed Systems (IWTS'99), 1st International Workshop on Specification and Verification of Timed Systems (IWTS'99), Mar. 1999.

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

• 島川 昌也, 萩原 茂樹, 米崎 直樹. リアクティブシステム仕様の実現可能性に関する非有界検査の効率化に向けて, 第14回ディペンダブルシステムワークショップ DSW2016, Dec. 2016.
• 冨田尭, 萩原茂樹, 島川昌也, 米崎直樹. 実現可能性の必要条件に基づいた不完全リアクティブシステム合成, 日本ソフトウェア科学会第32回大会講演論文集, Sept. 2015.
• 上野篤史, 冨田尭, 島川昌也, 萩原茂樹, 米崎直樹. 環境許容性のあるリアクティブシステム合成法, 電子情報通信学会ソフトウェアサイエンス研究会, 信学技報, Vol. 114, No. 510, pp. 7-12, Mar. 2015.
• 冨田尭, 上野篤史, 萩原茂樹, 米崎直樹. 協調的リアクティブシステムの合成手法, 日本ソフトウェア科学会第31回大会講演論文集, Sept. 2014.
• 萩原茂樹, 江川直毅, 島川昌也, 米崎直樹. リアクティブシステム仕様の極小強充足不能部分計算に関する考察, 情報処理学会第99回プログラミング研究発表会, June 2014.
• 長利健治, 萩原茂樹, 米崎直樹. 実現可能性判定を高速化するための仕様の特徴量に基づいた仕様分割手法, 2014年電子情報通信学会総合大会, 電子情報通信学会2014年総合大会講演論文集, 情報・システム講演論文集1, D-3-2, pp. 17, Mar. 2014.
• 上野篤史, 望月翔平, 島川昌也, 萩原茂樹, 米崎直樹. LTL式で記述されたリアクティブシステム仕様の高速な実現可能性判定器の実装, 第20回ソフトウェア工学の基礎ワークショップFOSE2013, Nov. 2013.
• 長利健治, 室岡拓弥, 萩原聖貴, 安藤崇央, 島川昌也, 伊藤宗平, 萩原茂樹, 米崎直樹. 記述性を重視したリアクティブシステム用仕様記述言語T, 第20回ソフトウェア工学の基礎ワークショップFOSE2013, Nov. 2013.
• 冨田尭, 山崎徹郎, 萩原茂樹, 米崎直樹. 確率的環境下において平均利得時間論理仕様を実現する最適マルコフ決定過程の自動合成法, 日本ソフトウェア科学会第30回大会講演論文集, Sept. 2013.
• 小林隆志, 権藤克彦, 佐伯元司, 首藤一幸, 田中康, 西崎真也, 森本千佳子, 米崎直樹, 渡部卓雄. Cloudbauhaus: 東京工業大学における実践的IT人材育成の試み, 日本ソフトウェア科学会第30回大会, Sept. 2013.
• 上野篤史, 望月翔平, 島川昌也, 萩原茂樹, 米崎直樹. LTL式で記述されたリアクティブシステム仕様の高速な実現可能性判定器の実装に関する研究, 日本ソフトウェア科学会第30回大会講演論文集, Sept. 2013.
• 冨田尭, 萩原茂樹, 米崎直樹. Mean-Payoff制約を記述可能な線形時間論理, 日本ソフトウェア科学会第29回大会講演論文集, Aug. 2012.
• 樋浦信, 冨田尭, 萩原茂樹, 伊藤宗平, 米崎直樹. 条件付頻度を扱えるように拡張したLTLによるリアクティブシステム仕様の充足可能性判定, ディペンダブルシステムワークショップ & シンポジウム (DSW & DSS 2011), Dec. 2011.
• 冨田尭, 萩原茂樹, 伊藤宗平, 樋浦信, 米崎直樹. 頻度オペレータを導入した線形時間論理に対する統計的手法を用いた確率的モデル検査, 日本ソフトウェア科学会第28回大会講演論文集, Sept. 2011.
• 冨田尭, 萩原茂樹, 樋浦信, 伊藤宗平, 米崎直樹. 頻度オペレータを導入したProbabilictic CTLとそのモデル検査アルゴリズム, 情報処理学会第73回全国大会講演論文集, Vol. 1, pp. 235-236, Mar. 2011.
• 小黒博昭, 萩原茂樹, 米崎直樹. 紛失通信プロトコルの解析のための可能世界意味論に基づく形式体系, 情報処理学会第73回全国大会講演論文集, Vol. 3, pp. 439-440, Mar. 2011.
• 伊藤宗平, 泉直子, 萩原茂樹, 米崎直樹. 時間論理による仕様記述を用いた遺伝子ネットワークの定性的振る舞い解析, 情報処理学会第73回全国大会講演論文集, Vol. 1, pp. 231-232, Mar. 2011.
• 萩原茂樹, 小黒博昭, 米崎直樹. 暗号文間の関係情報認知可能性に関する論理体系, 情報処理学会第73回全国大会講演論文集, Vol. 1, pp. 233-234, Mar. 2011.
• 島川昌也, 萩原茂樹, 米崎直樹. 実現可能性判定コスト削減のための無限ゲーム単純化手法, 日本ソフトウェア科学会第27回大会講演論文集, Sept. 2010.
• 萩原茂樹, 小黒博昭, 米崎直樹. 暗号文間の関係情報を推論する体系に対する可能世界意味論, 日本ソフトウェア科学会第27回大会講演論文集, Sept. 2010.
• 小黒博昭, 萩原茂樹, 米崎直樹. 紛失通信プロトコルを解析する形式体系の意味論, 日本ソフトウェア科学会第27回大会講演論文集, Sept. 2010.
• 伊藤宗平, 泉 直子, 萩原茂樹, 米崎直樹. 時間論理LTLの充足可能性判定を用いた遺伝子ネットワークの解析, 日本ソフトウェア科学会第26回大会講演論文集, Sept. 2009.
• 島川昌也, 萩原茂樹, 米崎直樹. 実現可能性判定コスト削減のためのLTL構文の制限とそれによる仕様の判定法, 日本ソフトウェア科学会第26回大会講演論文集, Sept. 2009.
• 萩原聖貴, 安藤崇央, 島川昌也, 伊藤宗平, 萩原茂樹, 米崎直樹. 記述性を重視したリアクティブシステム用仕様記述言語T, 日本ソフトウェア科学会第26回大会講演論文集, Sept. 2009.
• 安藤崇央, 萩原茂樹, 米崎直樹. タブロー証明器の実装における SAT solver の利用について, 日本ソフトウェア科学会第26回大会講演論文集, Sept. 2009.
• 安藤崇央, 宮本佑樹, 萩原茂樹, 米崎直樹. 分散オブジェクト技術を利用した段階的充足可能性判定器の実装, 日本ソフトウェア科学会第25回大会講演論文集, Sept. 2008.
• 冨田 尭, 泉 直子, 萩原茂樹, 米崎直樹. 量的関係を考慮した生体内の阻害・活性化機能の形式相互作用オントロジー, 日本ソフトウェア科学会第25回大会講演論文集, Sept. 2008.
• Peter Dinges, Naoki Yonezaki. Structural Operational Semantics for an Idealised Object-Capability Programming Language, The 26th Conference Proceedings of Japan Society for Software Science and Technology, Sept. 2008.
• 島川昌也, 萩原茂樹, 米崎直樹. SAT Solverを用いたリアクティブシステム仕様の有界強充足可能性判定, 日本ソフトウェア科学会第25回大会講演論文集, Sept. 2008.
• 小黒博昭, 萩原茂樹, 米崎直樹. 記号論的暗号解析を用いた Oblivious Transfer プロトコルの解析, 日本ソフトウェア科学会第25回大会講演論文集, Sept. 2008.
• 小黒博昭, 萩原茂樹, 米崎直樹. 記号論的暗号解析を用いた Oblivious Transfer プロトコルの解析, コンピュータセキュリティシンポジウム2007 (CSS2007) 論文集, 情報処理学会シンポジウムシリーズ, Vol. 2007, No. 10, pp. 655-660, Oct. 2007.
• 萩原茂樹, 小黒博昭, 米崎直樹. 暗号文から得られる部分情報に関する推論体系とその計算論に基づく意味, 日本ソフトウェア科学会第24回大会講演論文集, Sept. 2007.
• 安藤崇央, 萩原茂樹, 米崎直樹. 分散オブジェクト技術を利用した分散タブロー証明器の実装, 日本ソフトウェア科学会第24回大会講演論文集, Sept. 2007.
• 伊藤宗平, 萩原茂樹, 米崎直樹. ビジネスプロセスモデルTAPの形式オントロジーとその応用, 日本ソフトウェア科学会第24回大会講演論文集, Sept. 2007.
• 秋山卓見, 泉直子, 萩原茂樹, 米崎直樹. 形式オントロジーに基づく遺伝子調節のための数値モデル, 情報処理学会研究報告, Vol. 2007, No. 21, pp. 71-78, Mar. 2007.
• 伊藤宗平, 萩原茂樹, 米崎直樹. 中間コードを表すプログラム依存グラフの操作的意味, 日本ソフトウェア科学会第23回大会, 日本ソフトウェア科学会第23回大会講演論文集, Sept. 2006.
• 大滝大輔, 安藤崇央, 米崎直樹. グリッド計算機を利用した並列仕様検証に関する研究, 日本ソフトウェア科学会第23回大会, 日本ソフトウェア科学会第23回大会講演論文集, Vol. cd-rom, Sept. 2006.
• 島川昌也, 萩原茂樹, 米崎直樹. 仕様の自動検証に適したLTLフラグメント ― 実現集合を表す決定性オートマトン構成の立場から―, 日本ソフトウェア科学会第23回大会, 日本ソフトウェア科学会第23回大会講演論文集, Sept. 2006.
• 米崎直樹, 泉直子, 秋山卓見. 薬物相互作用の形式オントロジー, 日本ソフトウェア科学会第２２回大会講演論文集, Vol. cd-rom, Sept. 2005.
• 佐藤直人, 萩原茂樹, 米崎直樹. 二者間データ通信を安全に行うプロトコルの自動生成法, 日本ソフトウェア科学会第２２回大会講演論文集, pp. 109-118, Sept. 2005.
• 伊藤宗平, 萩原茂樹, 米崎直樹. 意味的制約の書き換えによるコンパイラのコード最適化, 日本ソフトウェア科学会第２２回大会講演論文集, pp. 407-414, Sept. 2005.
• 佐藤直人, 萩原茂樹, 米崎直樹. 安全性を保証する構造要件に基づくセキュリティプロトコルの自動生成法, 情報処理学会研究報告, Vol. 2005, No. 33, pp. 157-162, Mar. 2005.
• 島川昌也, 萩原茂樹, 米崎直樹. 実時間論理により記述された動作仕様の実行時検証手続き, 日本ソフトウェア科学会第21回大会講演論文集, pp. 179-183, Sept. 2004.
• 萩原茂樹, ラッタナウォンナラーカリン, 米崎直樹. 投票プロトコルの安全性の検証, 日本ソフトウェア科学会第21回大会講演論文集, pp. 314-318, Sept. 2004.
• 関戸達彦, 萩原茂樹, 米崎直樹. 並行プログラムの論理式への変換によるコードレベル検証方式, 日本ソフトウェア科学会第21回大会講演論文集, pp. 174-178, Sept. 2004.
• 佐藤直人, 萩原茂樹, 米崎直樹. プロトコルの構造要件に関する推論を利用したセキュリティプロトコルの自動生成, 日本ソフトウェア科学会第20回記念大会論文集, Sept. 2003.
• 萩原茂樹, 米崎直樹. オークションにおける公平性とその検証, 日本ソフトウェア科学会第20回大会講演論文集, Sept. 2003.
• 伊藤宗平, 萩原茂樹, 米崎直樹. 最適条件の時間論理記述を用いたモデル生成器によるコード最適化, 日本ソフトウェア科学会第20回記念大会論文集, Sept. 2003.
• Ashraf Bhery, Shigeki Hagihara, NAOKI YONEZAKI. A Formal System for Analysis of Cryptographic Primitives and their Security Properties, 20th Conference Proceedings Japan Society for Software Science and Technology, Sept. 2003.
• Ashraf Moustafa Bhery, Shigeki Hagihara, Naoki Yonezaki. A new deduction system for cryptographic primitives and their security properties, IPSJ SIG Technical Reports, Vol. 2003, No. 74, pp. 31-38, July 2003.
• 安藤崇央, 青島武伸, 米崎直樹. UMLステートチャートの整形性判定とその検証, 日本ソフトウェア科学会第19回大会講演論文集, Sept. 2002.
• 萩原茂樹, 米崎直樹. 入札プロトコルの形式的検証, 日本ソフトウェア科学会第19回大会講演論文集, Sept. 2002.
• 畑山研, 萩原茂樹, 米崎直樹. Spi計算の型付けによる公開鍵暗号方式を用いたプロトコルのメッセージ認証の検証, 情報処理学会研究報告, Vol. 2002, No. 43, pp. 25-30, May 2002.
• 讃井崇喜, 萩原茂樹, 米崎直樹. セキュリティプロトコルの自動設計アルゴリズム, 日本ソフトウェア科学会第18回大会論文集, Sept. 2001.
• 増井健司, 友石正彦, 米崎直樹. 送受信メッセージのパターン解析によるhttpアクセス制御, 日本ソフトウェア科学会第18回大会, Sept. 2001.
• 畑山研, 萩原茂樹, 米崎直樹. Spi-calculusを用いたプロトコルの認証に関する性質の検証, 日本ソフトウェア科学会第18回大会論文集, Sept. 2001.
• 青島武伸, 米崎直樹. Prestateとbddを用いたリアクティブシステム仕様の分割検証, 日本ソフトウェア科学会第18回大会, Sept. 2001.
• 増井健司, 友石正彦, 米崎直樹. パスワードクラック防止のためのunixのパスワードシステムの改善, 情報処理学会第62回全国大会論文集(CD-ROM), Mar. 2001.
• 吉浦紀晃, 米崎直樹. リアクティブシステムの段階的充足可能性とSafety Propertyの関係, 信学技報 SS2000-43, pp. 9-16, Jan. 2001.
• 増井健司, 友石正彦, 米崎直樹. リレーサーバを用いたpop before smtpのセキュアな実現法とその解析, 日本ソフトウェア科学会第17回大会講演論文集, Sept. 2000.
• 根岸和義, 米崎直樹.. セキュリティプロトコルにおける暗号化メッセージの送信者による認知に関する検証法, 情報処理学会コンピュータセキュリティ研究会、情処研報2000-CSEC-11, Vol. 2000-8, pp. 25-30, Sept. 2000.
• 根岸和義, 米崎直樹.. 並行セッションの情報を用いる攻撃を考慮したプロトコルセキュリティの検証, 日本ソフトウェア科学会第17回大会講演論文集, Sept. 2000.
• 青島武伸, 米崎直樹. 部分評価を用いる時相論理タブロー証明系の効率化, 日本ソフトウェア科学会第17回大会講演論文集, Sept. 2000.
• 泉直子, 米崎直樹. オブジェクトの項表現を意味論の基礎とする論理体系としてのontologyとその表現力, 人工知能学会全国大会（第14回）論文集, Vol. 14, pp. 514-517, July 2000.
• 根岸和義, 米崎直樹. セキュリテイプロトコルの一貫性および正常終了一致の検証法, 電子情報通信学会技術研究報告（コンピュータセキュリティ研究会）, Vol. 2000, No. 30, pp. 37-42, Mar. 2000.
• 山下健司, Vaithinathan Vanitha, 福澤公之, 米崎 直樹. リアクティブシステムの仕様記述言語とその記述操作の特徴付け, 電子情報通信学会 ソフトウェアサイエンス研究会, 電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス, Vol. 99, No. 547, pp. 41-48, Jan. 2000.
• 友石正彦, 米崎直樹. 合成可能なタブロによる仕様の差分的無矛盾修正について, プログラム変換と記号・数式処理, 数理解析研究所講究録, Vol. 1125, No. 2000, pp. 142-149, Nov. 1999.
• 吉浦紀晃, 米崎直樹. 証明力を拡張した適切さの論理 ER, プログラム変換と記号･数式処理, 数理解析研究所講究録, Vol. 1125, No. 2000, pp. 93-114, Nov. 1999.
• 増井健司, 友石正彦, 米崎直樹. UNIXシステムにおけるroot権限の階層化, 日本ソフトウェア科学会第16回大会論文集, pp. 45-48, Sept. 1999.
• 友石正彦, 米崎直樹. 段階的充足不能なリアクティブシステムの原因について, 日本ソフトウェア科学会第16回大会論文集, pp. 429-432, Sept. 1999.
• Sima Asgari, 米崎直樹. A Formal Model for Geographic Maps, 日本ソフトウェア科学会第16回大会論文集, Sept. 1999.
• 南澤吉昭, 米崎直樹. 時間推移律の成立する時間線形論理システム, 日本ソフトウェア科学会第16回大会論文集, pp. 441-444, Sept. 1999.
• 山下健司, 米崎直樹. 仕様の詳細化の特徴付け, 日本ソフトウェア科学会第16回大会論文集, pp. 373-376, Sept. 1999.
• 泉直子, 米崎直樹. ソフトウェア部品管理のためのクラス階層を持つオブジェクト項を導入したMeleology, 日本ソフトウェア科学会第16回大会論文集, pp. 181-184, Sept. 1999.
• 萩原茂樹, 友石正彦, 米崎直樹. 有礎構造を意味論にもつ様相論理の分解証明法, 日本ソフトウェア科学会第15回大会論文集, pp. 145-148, Sept. 1998.
• 萩原茂樹, 米崎直樹. ある種の離散性を仮定した様相論理の統一化による証明方法, 日本ソフトウェア科学会第14回大会論文集, pp. 385-388, Sept. 1997.
• 友石正彦, 萩原茂樹, 米崎直樹. 初等的でないフレームを持つ様相論理の統一化による証明法, 情報処理学会第55回全国大会講演論文集, Vol. 2, pp. 559-560, Sept. 1997.
• 萩原茂樹, 米崎直樹. 様相論理証明における失敗情報の利用, 日本ソフトウェア科学会第12回大会論文集, pp. 105-108, Sept. 1995.
• 萩原茂樹, 米崎直樹. 証明の失敗から得られる情報を用いる様相論理定理証明戦略, 情報処理学会第50回全国大会講演論文集, Vol. 3, pp. 5-6, Mar. 1995.
• NAOKI YONEZAKI. Creating Sub-Goals in Multi-Agent Planning, On-line Procedings of the 5th workshop on Multi-Agent & cooperation computation '95, 1995.
• 米崎直樹. 実時間理論RTL, 日本ソフトウェア科学会第12回大会論文集, pp. 137-140, 1995.
• 友石正彦, 米崎直樹. 動作仕様の差分的無矛盾性判定, 日本ソフトウェア科学会第9回大会論文集, June 1993.
• 田中健一郎, 米崎直樹, 森亮靖. 時相論理によるリアクティブシステム仕様からの要求制約式の導出, 日本ソフトウェア科学会第9回大会論文集, June 1993.
• 友石正彦, 米崎直樹. 時相オペレータの統一化を用いる時相論理証明法, 日本ソフトウェア科学会第9回大会論文集, pp. 181-188, Sept. 1992.
• 川村美代子, 米崎直樹. Linear Logicの自動証明法, 人工知能学会第6回全国大会, pp. 95-98, June 1992.
• 宮川晋, 米崎直樹. MSLによる仕様のコンパイル方式, 日本ソフトウェア科学会第8回大会論文集, 1991.
• 森亮靖, 米崎直樹. 時相論理によるリアクティブシステム仕様のプログラム化可能性について, 日本ソフトウェア科学会第7回大会論文集, Oct. 1990.
• 横山衛, 米崎直樹. 時区間論理による仕様の変換法について, 日本ソフトウェア科学会第6回大会論文集, pp. 137-140, Oct. 1989.
• 米崎直樹, 友石正彦. 順序関係を記述する論理の完全性の研究, 人工知能学会研究会資料 SIG-FAI-8901-4, pp. 31-40, Jan. 1989.
• 米崎直樹. 順序的性質の記述を含む時間論理のリゾリューション, 日本ソフトウェア科学会第5回大会論文集, pp. 253-256, Sept. 1988.
• 米崎直樹, 端山毅. 効率的時間論理証明システムの構成, 電子情報通信学会ソフトウェアサイエンス研究会技法, Vol. 12, No. 9, pp. 79-88, Sept. 1987.
• 米崎直樹. 様相論理証明器の一般化, 日本ソフトウェア科学会第3回大会論文集, pp. 263-269, Nov. 1986.
• 米崎直樹, 新淳, 蓬莱尚幸. 時間論理プログラミング言語Templog, 第1回日本ソフトウェア科学会, 日本ソフトウェア科学会第1回大会論文集, pp. 77-80, Dec. 1984.

その他の論文・著書など

• 萩原茂樹, 米崎直樹. 記号論及び計算論によるセキュリティ解析の相互関係, 応用数理, Vol. 17, No. 4, pp. 27-37, Dec. 2007.
• 萩原茂樹, 米崎直樹. Abadi-Rogawayによる暗号メッセージの解析手法とその健全性・完全性について, 第7回「代数幾何・数論及び符号・暗号」研究集会報告集, Dec. 2006.
• 市川晴久, 湯淺太一, 増澤利光, 市川晴久, 中島秀之, 湯淺太一, 増澤利光, 米崎直樹. 産業界からの理工系情報学科の研究教育内容への期待と大学の取り組み, コンピュータソフトウェア, Vol. 20, No. 6, pp. 17-40, 2003.
• 米崎直樹. 様相論理, 情報処理学会誌, Vol. 30, No. 6, pp. 641-650, Feb. 1989.

学位論文

• 構造化データに於ける検索アルゴリズムの研究,  本文,  Doctor of Engineering,  東京工業大学 ,  1977/--/--, 

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