Search Results1-5 of  5

  • Hirofumi Katsuno ID: 9000394061414

    Articles in CiNii:1

    • Inferring Other Agents' Knowledge and Belief by Model Checking (Special Issue : "New Technologies in Automated Reasoning and Theorem Proving") (2001)
  • KATSUNO Hirofumi ID: 9000004340867

    Department of Science and Engineering, Tokyo Denki University (2011 from CiNii)

    Articles in CiNii:24

    • RSA暗号解読への一対策 (1983)
    • 学術研究振興基金による研究課題 同期式および非同期式を融合した遠隔大学教育システム (2001)
    • インテリジェントエージェント間の通信方式の研究 (2002)
  • KATSUNO Hirofumi ID: 9000004807764

    The authors are with NTT Communication Science Laboratories, (2001 from CiNii)

    Articles in CiNii:1

    • Simplified Semantic Structures for Representing Belief States in Multi-Agent Environments (2001)
  • KATSUNO Hirofumi ID: 9000004829819

    Department of Information Science, Tokyo Denki University (2004 from CiNii)

    Articles in CiNii:1

    • A Fast Signature Scheme with New On-line Computation (2004)
  • KATSUNO Hirofumi ID: 9000019056268

    the Department of Science and Engineering, Tokyo Denki University (2011 from CiNii)

    Articles in CiNii:1

    • On the Generative Power of Cancel Minimal Linear Grammars with Single Nonterminal Symbol except the Start Symbol (2011)
Page Top