「学者の杜」は各研究者の論文等業績、知財、広報コンテンツを表示します。
収録対象は e-Rad で筑波大学に登録されている研究者、退職した研究者および連携大学院教員です。…続きを読む

海野 広志 / Unno, Hiroshi

システム情報系 准教授 / Associate Professor, Faculty of Engineering, Information and Systems

 

論文 / Publication

  1. Probabilistic Inference for Predicate Constraint Satisfaction Yuki Satake, Hiroshi Unno, Hinata Yanagi Proceedings of AAAI 2020 (2020)
  2. Failure of Cut-Elimination in Cyclic Proofs of Separation Logic KIMURA Daisuke, NAKAZAWA Koji, TERAUCHI Tachio, UNNO Hiroshi コンピュータ ソフトウェア 37 (1) 1_39 - 1_52 (2020)
  3. Temporal Verification of Programs via First-Order Fixpoint Logic Naoki Kobayashi, Takeshi Nishikawa, Atsushi Igarashi, Hiroshi Unno Proceedings of SAS 2019 Springer LNCS 11822 413 - 436 (2019)
  4. Relatively complete refinement type system for verification of higher-order non-deterministic programs Hiroshi Unno, Yuki Satake, Tachio Terauchi PACMPL 2 (POPL) 12:1 (2018)
  5. Propositional Dynamic Logic for Higher-Order Functional Programs Yuki Satake, Hiroshi Unno Computer Aided Verification - 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I 105 (2018)
  6. A Fixpoint Logic and Dependent Effects for Temporal Property Verification Yoji Nanjo, Hiroshi Unno, Eric Koskinen, Tachio Terauchi Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018, Oxford, UK, July 09-12, 2018 759 (2018)
  7. Automating induction for solving horn clauses Hiroshi Unno, Sho Torii, Hiroki Sakamoto 10427 571 - 591 (2017)
  8. Automating induction for solving horn clauses Hiroshi Unno, Sho Torii, Hiroki Sakamoto 10427 571 - 591 (2017)
  9. Temporal verification of higher-order functional programs Akihiro Murase, Tachio Terauchi, Naoki Kobayashi, Ryosuke Sato, Hiroshi Unno 51 (1) 57 - 68 (2016)
  10. Temporal verification of higher-order functional programs Akihiro Murase, Tachio Terauchi, Naoki Kobayashi, Ryosuke Sato, Hiroshi Unno 20-22- 57 - 68 (2016)

researchmap の論文リストを表示する Show the publication list on researchmap

※上記の論文リストは researchmapから取得した論文リストにDOIリンク等の情報を付加したものです。筑波大学研究者総覧(TRIOS)または researchmapの論文リストが更新されると後日反映されます。

論文のオープンアクセス版を読む Check out a freely downloadable version
つくばリポジトリ
この研究者の詳細情報 Detailed information

筑波大学研究者総覧

University of Tsukuba - Researchers information(TRIOS)
産学連携のご相談窓口 Inquiry about technology transfer

筑波大学国際産学連携本部

Headquarters for International Industry-University Collaboration
筑波大学の他の研究者を探す Find other researchers at the University of Tsukuba
学者の杜
筑波大学研究ポータル University of Tsukuba research information Portal
COTRE（コトリ）｜COmmunity of Tsukuba REsearchers

※このページの情報は、reseachmap APIより取得しています

発行：筑波大学　URA研究戦略推進室・研究推進部

© University of Tsukuba