TopCsUniv
← 筑波大学のProgramming Languages & Formal Methods 2021–2025 確定版へ戻る

論文表記の著者名

Hiroshi Unno

筑波大学Programming Languages & Formal Methods2021–2025 確定版

対象論文 5 本

この大学・著者表記の全分野の論文を見る →

著者名は論文に記載された表記をそのまま使用しており、同一人物の名寄せは行っていません。

印刷日： 全論文

出典：https://topcsuniv.org/japan/programming-languages/2021-2025/universities/university-of-tsukuba/authors/947a4552a388b64350ce/

論文上の著者表記・公開時所属による集計です。人物の名寄せ・現在所属・全業績を表すものではありません。

対象論文

論文一覧

  1. 2024
    POPL
    会議の論文一覧    Answer Refinement Modification: Refinement Type System for Algebraic Effects and HandlersDOI共著者: Fuga Kawamata, Taro Sekiyama, Tachio Terauchi
  2. 2023
    POPL
    会議の論文一覧    Modular Primal-Dual Fixpoint Logic Solving for Temporal VerificationDOI共著者: Tachio Terauchi, Yu Gu, Eric Koskinen
  3. 2023
    POPL
    会議の論文一覧    Optimal CHC Solving via Termination ProofsDOI共著者: Yu Gu, Takeshi Tsukada
  4. 2023
    POPL
    会議の論文一覧    Temporal Verification with Answer-Effect Modification: Dependent Temporal Type-and-Effect System with Delimited ContinuationsDOI共著者: Taro Sekiyama
  5. 2022
    POPL
    会議の論文一覧    Software model-checking as cyclic-proof searchDOI共著者: Takeshi Tsukada