| General models and completeness of first-order modal μ-calculus R Kashima, K Okamoto Journal of Logic and Computation 18 (4), 497-507, 2008 | 11 | 2008 |
| Automated route planning for milk-run transport logistics using model checking T Kitamura, K Okamoto 2012 Third International Conference on Networking and Computing, 240-246, 2012 | 10 | 2012 |
| A Bayesian Approach to Argument-Based Reasoning for Attack Estimation. H Kido, K Okamoto IJCAI, 249-255, 2017 | 9 | 2017 |
| A First-Order Extension of Modal μ-calculus K Okamoto | 5 | |
| Automated Route Planning for Milk-Run Transport Logistics with the NuSMV Model Checker T Kitamura, K Okamoto IEICE TRANSACTIONS on Information and Systems 96 (12), 2555-2564, 2013 | 3 | 2013 |
| Comparing Expressiveness of First-Order Modal -calculus and First-Order (Model Theory and It's Application to Algebra) 岡本圭史 数理解析研究所講究録 1708, 1-14, 2010 | 3* | 2010 |
| Formal Verification in a First-Order Extension of Modal μ-calculus K Okamoto Information and Media Technologies 5 (1), 40-47, 2010 | 2 | 2010 |
| Formalization of system lsi specification and automatic generation of verification items T Abe, T Higuchi, R Imai, Y Kinoshita, S Nakano, K Okamoto, M Saito, ... The 20th IFIP Int. Conference on Testing of Communicating Systems (TESTCOM …, 2008 | 2 | 2008 |
| Verification of RBAC Model Using the Model Checker NuSMV D SUZUKI, H KOBAYASHI, K OKAMOTO, K TAKAHASHI International Symposium on Technology for Sustainability, 51-54, 2012 | 1 | 2012 |
| オントロジーに基づくサービスプロセスからの共通構造抽出法 清野貴博， 玉川奨， 飯島千絵， 岡本圭史， 和泉憲明， 橋田浩一， 山口高平 [C] 電子・情報・システム部門 情報システム研究会, 2010 | 1 | 2010 |
| Model Checking a Modular-Structured Nonblocking Atomic Commitment Protocol for Asynchronous Distributed Systems EH Choi, K Okamoto, T Tsuchiya, T Kikuno 2009 Software Technologies for Future Dependable Distributed Systems, 138-142, 2009 | 1 | 2009 |
| Partially locally atomic models K Okamoto, K Wakai Tsukuba journal of mathematics 22 (1), 235-240, 1998 | 1 | 1998 |
| Normal elementary maps K Okamoto Tokyo Journal of Mathematics 21 (1), 153-158, 1998 | 1 | 1998 |
| Balancing Between Cognitive and Semantic Acceptability of Arguments H Kido, K Okamoto International Conference on Knowledge Science, Engineering and Management …, 2017 | | 2017 |
| Verifying Correctness of Formal Specifications with an SMT Solver (Model theoretic aspects of the notion of independence and dimension) 岡本圭史 京都大学数理解析研究所, 2015 | | 2015 |
| Formal Validation and Requirements Management Based on the Jackson's Reference Model for Requirements and Specifications T Kitamura, K Okamoto, M Takeyama 2010 IEEE 16th Pacific Rim International Symposium on Dependable Computing …, 2010 | | 2010 |
| 情報システムの構造化仕様のための業務オントロジーの試作 清野貴博， 岡本圭史， 和泉憲明， 橋田浩一 電子情報通信学会技術研究報告. KBSE, 知能ソフトウェア工学 110 (305), 67-72, 2010 | | 2010 |
| 形式モデルに基づくディペンダビリティのアセスメントプロセスの設計 岡本圭史， 清野貴博， 高村博紀， 和泉憲明， 橋田浩一， 木下佳樹 [C] 電子・情報・システム部門 情報システム研究会, 2010 | | 2010 |
| FM Approaches to Assurance Cases C JST | | 2009 |
| 命題様相 μ 計算の一階拡張における形式的検証 岡本圭史 コンピュータ ソフトウェア 26 (1), 1-1, 2009 | | 2009 |
Takashi KitamuraAISTVerified email at aist.go.jp
