TopCsUniv
← 総合研究大学院大学のProgramming Languages & Formal Methods 2021–2025 確定版へ戻る

論文表記の著者名

Ichiro Hasuo

総合研究大学院大学Programming Languages & Formal Methods2021–2025 確定版

対象論文 2 本

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

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

印刷日： 全論文

出典：https://topcsuniv.org/japan/programming-languages/2021-2025/universities/sokendai/authors/075c7e8ea74dc9f10f27/

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

対象論文

論文一覧

  1. 2025
    OOPSLA
    会議の論文一覧    A Unifying Approach to Product Constructions for Quantitative Temporal InferenceDOI共著者: Kazuki Watanabe, Sebastian Junges, Jurriaan Rot
  2. 2021
    LICS
    会議の論文一覧    Expressivity of Quantitative Modal Logics : Categorical Foundations via Codensity and ApproximationDOI共著者: Yuichi Komorida, Shin-ya Katsumata, Clemens Kupke, Jurriaan Rot