TOP Page >  Search Result  >  Profile > Display All

Published Papers
Results per page:
Chronological sort:



Kazuhiro Ogata Professor
School of Information Science、Intelligent Robotics Area

Results 81-85 of about 85

  • 81. Equational Approach to Formal Analysis of TLS,Kazuhiro Ogata, Kokichi Futatsugi,Proceedings of the 25th International Conference on Distributed Computing Systems (25th ICDCS),795-804,2005
  • 82. Chocolat/SMV: A Translator from CafeOBJ into SMV,Kazuhiro Ogata, Masahiro Nakano, Masaki Nakamura, Kokichi Futatsugi, Proceedings of the 6th International Conference on Parallel and Distributed Computing Applications and Technologies (6th PDCAT), IEEE Computer Society Press,pp.416-420,Dec 2005
  • 83. CafeOBJ: Logical Foundation and Methodologies,Razvan Diaconescu, Kokichi Futatsugi and Kazuhiro Ogata,Computing and Informatics, Slovak Academic Press,22,3,257-283,2003
  • 84. Flaw and modification of the iKP electronic payment protocols,Kazuhiro Ogata and Kokichi Futatsugi,Information Processing Letters, Elsevier,86,2,57-62,2003
  • 85. Specification and verification of a single-track railroad signaling in CafeOBJ,Takahiro Seino, Kazuhiro Ogata and Kokichi Futatsugi,IEICE TRANSACTIONS on Fundamental of Electronics, Communications and Computer Science,E84-A,6,1471-1478,2001

≪ Back ]  1  2  3  4  5