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

論文表記の著者名

Hasuo, Ichiro

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

対象論文 6 本

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

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

印刷日： 全論文

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

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

対象論文

論文一覧

  1. 2024
    CAV
    会議の論文一覧    Compositional Value Iteration with Pareto CachingDOI共著者: Watanabe, Kazuki, Vegt, Marck van der, Junges, Sebastian
  2. 2024
    CAV
    会議の論文一覧    Optimization-Based Model Checking and Trace Synthesis for Complex STL SpecificationsDOI共著者: Sato, Sota, An, Jie, Zhang, Zhenya
  3. 2023
    CAV
    会議の論文一覧    Compositional Probabilistic Model Checking with String Diagrams of MDPsDOI共著者: Watanabe, Kazuki, Eberhart, Clovis, Asada, Kazuyuki
  4. 2023
    CAV
    会議の論文一覧    Exploiting Adjoints in Property Directed Reachability AnalysisDOI共著者: Kori, Mayuko, Ascari, Flavio, Bonchi, Filippo, Bruni, Roberto, Gori, Roberta
  5. 2022
    CAV
    会議の論文一覧    The Lattice-Theoretic Essence of Property Directed Reachability AnalysisDOI共著者: Kori, Mayuko, Urabe, Natsuki, Katsumata, Shin-ya, Suenaga, Kohei
  6. 2021
    CAV
    会議の論文一覧    Decision Tree Learning in CEGIS-Based Termination AnalysisDOI共著者: Kura, Satoshi, Unno, Hiroshi