TopCsUniv
← 早稲田大学のProgramming Languages & Formal Methodsへ戻る

論文表記の著者名

Satoshi Kura

早稲田大学Programming Languages & Formal Methods2022–2026 LIVE

対象論文 4 本

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

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

印刷日： 全論文

出典：https://topcsuniv.org/japan/programming-languages/universities/waseda-university/authors/f568bdd7b37a213ad207/

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

対象論文

論文一覧

  1. 2026
    PLDI
    会議の論文一覧    A Hierarchy of Supermartingales for ω-Regular VerificationDOI共著者: Hiroshi Unno
  2. 2026
    PLDI
    会議の論文一覧    Supermartingales for Unique Fixed Points: A Unified Approach to Lower Bound VerificationDOI共著者: Hiroshi Unno, Takeshi Tsukada
  3. 2025
    LICS
    会議の論文一覧    Logical relations for call-by-push-value models, via internal fibrations in a 2-categoryDOI共著者: Pedro H. Azevedo de Amorim, Philip Saville
  4. 2024
    ICFP
    会議の論文一覧    Automated Verification of Higher-Order Probabilistic Programs via a Dependent Refinement Type SystemDOI共著者: Hiroshi Unno