Search Results1-13 of  13

  • 長谷部 浩二 ID: 9000382644497

    Articles in CiNii:1

    • Collision-free Scheduling of Drone Delivery Systems Using Model Checking (2017)
  • 長谷部 浩二 ID: 9000403052920

    Articles in CiNii:1

    • A Report on the 35th JSSST Annual Conference (2019)
  • 長谷部 浩二 ID: 9000404311784

    Articles in CiNii:1

    • 電子連結車両を用いた端末交通システムのためのモデル検査法によるスケジューリング手法 (2019)
  • 長谷部 浩二 ID: 9000404311921

    Articles in CiNii:1

    • 帰納的ゲーム理論における意思決定過程の認識論理による分析 (2019)
  • 長谷部 浩二 ID: 9000404313829

    Articles in CiNii:1

    • 隊列走行可能な端末交通システムにおける車両の配送方式 (2019)
  • 長谷部 浩二 ID: 9000410631090

    Articles in CiNii:1

    • An Analysis of Rationality in Mechanism Design with Epistemic Logic (2019)
  • HASEBE Koji ID: 9000004749990

    産業技術総合研究所システム検証研究センター (2007 from CiNii)

    Articles in CiNii:2

    • Logical Verifications for Security Protocols Based on Linear Logic (2002)
    • From BAN Logic to Protocol Composition Logic : An Introduction to Logical Verification Methods for Security Protocols(<Special Topics> Formal Approach to Information Security) (2007)
  • HASEBE Koji ID: 9000006490320

    産業技術総合研究所 (2007 from CiNii)

    Articles in CiNii:1

    • Problems in Ensuring Safety for Software Systems(<Special Survey>Reliability and Safety of Machinery in Contact with Humans) (2007)
  • HASEBE Koji ID: 9000006915370

    Articles in CiNii:22

    • Stepwise Process of Clinical Trials in Development of Human Assistive Robots (2011)
    • Power-Aware Distributed Storage Systems for File Sharing Services Using Data Access Prediction (2013)
    • Game Theoretic Approach for Power Saving in Large Scale Storage Systems (2013)
  • HASEBE Koji ID: 9000283468064

    Graduate School of Systems and Information Engineering, University of Tsukuba (2011 from CiNii)

    Articles in CiNii:1

    • A Self-Stabilizing Approach to Tolerate Failure for Internet Service Platform (2011)
  • HASEBE Koji ID: 9000403033999

    Faculty of Engineering, Information and Systems, University of Tsukuba (2019 from CiNii)

    Articles in CiNii:1

    • A Report on the 35th JSSST Annual Conference. (2019)
  • HASEBE Koji ID: 9000409337262

    College of Information Science, School of Informatics, University of Tsukuba (2020 from CiNii)

    Articles in CiNii:1

    • Role Estimation in Werewolf Game Based on Rules About Players' Utterances (2020)
  • Hasebe Koji ID: 9000258571135

    Department of Philosophy, Keio University (2003 from CiNii)

    Articles in CiNii:1

    • Formal Verification of Dynamic Real-Time State-Transition Systems Using Linear Logic (2003)
Page Top