Authors · raw publication identity

Watanabe, Kazuki

2022–2026 LIVE

日本の大学への公開時点の所属を確認できた著者表記を掲載しています。大学IDと完全一致の著者名でまとめており、人物の名寄せはしていません。同名別人や表記違いの可能性があり、現在所属・全業績・研究者の総合順位を表すものではありません。

公開時所属: 総合研究大学院大学 · Top conference papers: 2

印刷日: 全論文

出典:https://topcsuniv.org/japan/authors/eb8c9d9ee1ff0415eaed/

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

分野別内訳

分野別の本数はcross-listにより重なる場合があります。合計本数は同一論文を1本に数えます。

論文一覧

  1. 2024 · CAV

    Compositional Value Iteration with Pareto Caching

    Watanabe, Kazuki, Vegt, Marck van der, Junges, Sebastian, Hasuo, Ichiro

    Programming Languages & Formal Methods

    日本大学: 総合研究大学院大学

  2. 2023 · CAV

    Compositional Probabilistic Model Checking with String Diagrams of MDPs

    Watanabe, Kazuki, Eberhart, Clovis, Asada, Kazuyuki, Hasuo, Ichiro

    Programming Languages & Formal Methods

    日本大学: 総合研究大学院大学 / 東北大学