年別の研究成果
年別の研究成果
フィンガープリント
Kazuyuki Asadaが活動している研究トピックを掘り下げます。このトピックラベルは、この研究者の研究成果に基づきます。これらがまとまってユニークなフィンガープリントを構成します。
- 1 類似のプロファイル
過去5年の共同研究と上位研究分野
国/地域レベルにおける最近の外部共同研究。点をクリックして詳細を開くか、または
-
Compositional Probabilistic Model Checking with String Diagrams of MDPs
Watanabe, K., Eberhart, C., Asada, K. & Hasuo, I., 2023, Computer Aided Verification - 35th International Conference, CAV 2023, Proceedings. Enea, C. & Lal, A. (eds.). Springer Science and Business Media Deutschland GmbH, p. 40-61 22 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13966 LNCS).研究成果: 書籍の章/レポート/Proceedings › 会議への寄与 › 査読
Open Access -
Linear-Algebraic Models of Linear Logic as Categories of Modules over s-Semirings
Tsukada, T. & Asada, K., 2022 8月 2, Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2022. Institute of Electrical and Electronics Engineers Inc., 3533373. (Proceedings - Symposium on Logic in Computer Science).研究成果: 書籍の章/レポート/Proceedings › 会議への寄与 › 査読
-
On Higher-Order Reachability Games Vs May Reachability
Asada, K., Katsura, H. & Kobayashi, N., 2022, Reachability Problems - 16th International Conference, RP 2022, Proceedings. Lin, A. W., Lin, A. W., Zetzsche, G. & Potapov, I. (eds.). Springer Science and Business Media Deutschland GmbH, p. 108-124 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13608 LNCS).研究成果: 書籍の章/レポート/Proceedings › 会議への寄与 › 査読
1 被引用数 (Scopus) -
A Compositional Approach to Parity Games
Watanabe, K., Eberhart, C., Asada, K. & Hasuo, I., 2021 12月 29, In: Electronic Proceedings in Theoretical Computer Science, EPTCS. 351, p. 278-295 18 p.研究成果: ジャーナルへの寄稿 › 会議記事 › 査読
Open Access1 被引用数 (Scopus) -
Streaming ranked-tree-to-string transducers
Takahashi, Y., Asada, K. & Nakano, K., 2021 5月 16, In: Theoretical Computer Science. 870, p. 165-187 23 p.研究成果: ジャーナルへの寄稿 › 学術論文 › 査読
Open Access