Hasuo, Ichiro

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

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

分野別内訳

• Programming Languages & Formal Methods 5

分野別の本数は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. 2024 · CAV

   Optimization-Based Model Checking and Trace Synthesis for Complex STL Specifications

   Sato, Sota, An, Jie, Zhang, Zhenya, Hasuo, Ichiro

   Programming Languages & Formal Methods

   日本大学: 九州大学 / 総合研究大学院大学

3. 2023 · CAV

   Compositional Probabilistic Model Checking with String Diagrams of MDPs

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

   Programming Languages & Formal Methods

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

4. 2023 · CAV

   Exploiting Adjoints in Property Directed Reachability Analysis

   Kori, Mayuko, Ascari, Flavio, Bonchi, Filippo, Bruni, Roberto, Gori, Roberta, Hasuo, Ichiro

   Programming Languages & Formal Methods

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

5. 2022 · CAV

   The Lattice-Theoretic Essence of Property Directed Reachability Analysis

   Kori, Mayuko, Urabe, Natsuki, Katsumata, Shin-ya, Suenaga, Kohei, Hasuo, Ichiro

   Programming Languages & Formal Methods

   日本大学: 京都大学 / 総合研究大学院大学