このページの2つのバージョン間の差分を表示します。
| 両方とも前のリビジョン 前のリビジョン | |
| ja:start [2024/04/23 12:32] – [テーブル] asada | ja:start [2024/04/23 12:34] (現在) – [テーブル] asada |
|---|
| ===== 出版論文 ===== | ===== 出版論文 ===== |
| ^ 論文DL ^ 出版年 ^ 論文タイトル ^ 著者名 ^ 雑誌・会議名 ^ | ^ 論文DL ^ 出版年 ^ 論文タイトル ^ 著者名 ^ 雑誌・会議名 ^ |
| | [[https://doi.org/10.1145/3632855|doi]] | 2024 | Enriched Presheaf Model of Quantum FPC | Takeshi Tsukada and Kazuyuki Asada | | | | [[https://doi.org/10.1145/3632855|doi]] | 2024 | Enriched Presheaf Model of Quantum FPC | Takeshi Tsukada and Kazuyuki Asada | [[https://popl24.sigplan.org/|Principles of Programming Languages (POPL 2024)]] | |
| | [[https://doi.org/10.1007/978-3-031-37709-9_3|doi]] | 2023 | Compositional Probabilistic Model Checking with String Diagrams of MDPs | Kazuki Watanabe, Clovis Eberhart, Kazuyuki Asada, and Ichiro Hasuo | [[http://www.i-cav.org/2023/|Computer Aided Verification (CAV 2023)]] | | | [[https://doi.org/10.1007/978-3-031-37709-9_3|doi]] | 2023 | Compositional Probabilistic Model Checking with String Diagrams of MDPs | Kazuki Watanabe, Clovis Eberhart, Kazuyuki Asada, and Ichiro Hasuo | [[http://www.i-cav.org/2023/|Computer Aided Verification (CAV 2023)]] | |
| | [[https://doi.org/10.1007/978-3-031-19135-0_8|doi]] | 2022 | On Higher-Order Reachability Games vs May Reachability | Kazuyuki Asada, Hiroyuki Katsura, Naoki Kobayashi | [[https://rp2022.mpi-sws.org/index.html|Reachability Problems (RP 2022)]] | | | [[https://doi.org/10.1007/978-3-031-19135-0_8|doi]] | 2022 | On Higher-Order Reachability Games vs May Reachability | Kazuyuki Asada, Hiroyuki Katsura, Naoki Kobayashi | [[https://rp2022.mpi-sws.org/index.html|Reachability Problems (RP 2022)]] | |