北陸先端科学技術大学院大学 [JAIST] - 研究者総覧
現在ページ トップページ 検索結果研究者紹介>全件表示

発表論文表示
表示方法:
表示順:

 

 

緒方 和博 (オガタ カズヒロ) 教授
情報科学系、知能ロボティクス領域

92件中61-80件目

  • 61. Specification translation of state machinesfrom equational theories into rewrite theories,Min Zhang, Kazuhiro Ogata, Masaki Nakamura,ICFEM 2010, LNCS 6447, Springer
  • 62. Constructor-based Institutions,Daniel Gaina, Kokichi Futatsugi, Kazuhiro Ogata,Proc. of the 3rd Conference on Algebra and Coalgebra in Computer Science, LNCS, Springer,to appear
  • 63. Modular Implementation of a Translator from Behavioral Specifications to Rewrite Theory Specifications,Min Zhang, Kazuhiro Ogata,Proc. of the 9th International Conference on Quality Software,to appear
  • 64. Analysis of Membership Sharing Problem in Digital Subscription Services,Jianwen Xiang, Jing Tian, Kazuhiro Ogata, Akira Mori, Kokichi Futatsugi,International Journal of Revenue Management, Inderscience Publishers,to appear
  • 65. Proof Score Approach to Analysis of Electronic Commerce Protocols,Kazuhiro Ogata, Kokichi Futatsugi,International Journal of Software Engineering and Knowledge Engineering, World Scientific,to appear
  • 66. User-defined on-demand matching,Masaki Nakamura, Kazuhiro Ogata, Kokichi Futatsugi,IEICE Transactions on Information and Systems,to appear
  • 67. CafeOBJ入門(5) - 認証プロトコルの検証,緒方和博,二木厚吉,中村正樹,コンピュータソフトウェア(日本ソフトウェア科学会論文誌),26,1,71-83,2009
  • 68. CafeOBJ入門(6) - 通信プロトコルの検証,緒方和博,二木厚吉,中村正樹,コンピュータソフトウェア(日本ソフトウェア科学会論文誌),26,2,93-106,2009
  • 69. Maude:書換え論理に基 づく計算機言語および処理系,緒方和博,中村正樹,二木厚吉,コンピュータソフトウェア(日本ソフトウェア科学会論文誌),25,2,78-84,2008
  • 70. Proof Score Approach to Verification of Liveness Properties,Kazuhiro Ogata, Kokichi Futatsugi,IEICE TRANSACTIONS on Information and Systems,E91-D,12,2804-2817,2008
  • 71. CafeOBJ入門(1) - 形式手法とCafeOBJ,二木厚吉,緒方和博,中村正樹,コンピュータソフトウェア,日本ソフトウェア科学会,25,2,1-13,2008
  • 72. CafeOBJ 入門(2) - 構文と意味,中村正樹,二木厚吉,緒方和博,コンピュータソフトウェア(日本ソフトウェア科学会論文誌),25,2,14-27,2008
  • 73. CafeOBJ入門(3)−等式推論と項書換システム,中村正樹,二木厚吉,緒方和博,コンピュータソフトウェア,日本ソフトウェア科学会,25,3,69-80,2008
  • 74. Simulation-based verification for invariant properties in the OTS/CafeOBJ method,Kazuhiro Ogata and Kokichi Futatsugi,Proceedings of the 4th International Refinement Workshop (Refine 2007), ENTCS 201, Elsevier,127-154,2008
  • 75. A Specification Translation from Behavioral Specifications to Rewrite Specifications,Masaki Nakamura, Weiqiang Kong, Kazuhiro Ogata, Kokichi Futatsugi,IEICE TRANSACTIONS on Information and Systems,E91-D,5,1492-1503,2008
  • 76. Formal Analysis of the Bakery Protocol with Consideration of Nonatomic Reads and Writes,Kazuhiro Ogata and Kokichi Futatsugi,Proceedings of the 10th International Conference on Formal Engineering Methods (10th ICFEM), LNCS 5256, Springer,187-206,2008
  • 77. Trace Anonymity in the OTS/CafeOBJ Method,Weiqiang Kong, Kazuhiro Ogata, Jian Chen, and Kokichi Futatsugi,Proceedings of the 8th International Conference on Computer and Information Technology (8th CIT), IEEE Computer Society Press,754-759,2008
  • 78. Verifying Design with Proof Scores,Kokichi Futatsugi, Joseph A. Goguen and Kazuhiro Ogata,Proceedings of the 1st International Conference on Verified Software: Theories, Tools, Experiments (1st VSTTE), LNCS 4171, Springer,277-290,2008
  • 79. CafeOBJ入門(4) - 証明譜による検証法,二木厚吉,緒方和博,中村正樹,コンピュータソフトウェア(日本ソフトウェア科学会論文誌),25,4,68-84,2008
  • 80. Comparison of Maude and SAL by Conducting Case Studies Model Checking a Distributed Algorithm,Kazuhiro Ogata and Kokichi Futatsugi,IEICE TRANSACTIONS on Fundamental of Electronics, Communications and Computer Science,E90-A,8,1690-1703,2007

≪ 前へ ]  1  2  3  4  5 次へ ≫ ]