Mayuko Kori

データの修正を申請Googleログイン後に申請できます。内容を確認してから対応します。

対象会議の検証済み掲載データを、全分野・選択したEditionでまとめています。過去の論文は出版・論文種別・著者との対応を確認できたものから追加しており、全発表論文の網羅を保証するものではありません。著者ページだけへの追加分は大学ランキングの件数に含みません。著者ページは、公開時の所属大学IDと論文上の著者名の完全一致を基に作成しています。本人の業績一覧などで同一人物の論文と個別に確認できた場合は、所属が異なる論文も追加します。氏名だけの自動名寄せは行いません。表示する大学はこのページの識別用で、掲載した全論文の出版時所属や現在所属を示すものではありません。研究者の総合順位を表すものでもありません。

著者ページの大学: 総合研究大学院大学 · Top conference papers: 3

分野別内訳

• Programming Languages & Formal Methods 3

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

論文一覧（新しい年順）

1. 2024 · LICS

   Composing Codensity Bisimulations

   Mayuko Kori, Kazuki Watanabe, Jurriaan Rot, Shin-Ya Katsumata

   Programming Languages & Formal Methods

   京都産業大学 / 総合研究大学院大学

2. 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

   総合研究大学院大学

3. 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

   京都大学 / 総合研究大学院大学