年別の研究成果
年別の研究成果
フィンガープリント
Kazuyuki Asadaが活動している研究トピックを掘り下げます。このトピックラベルは、この研究者の研究成果に基づきます。これらがまとまってユニークなフィンガープリントを構成します。
- 1 類似のプロファイル
ネットワーク
国/地域レベルにおける最近の外部共同研究。点をクリックして詳細を開くか、または
-
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).研究成果: Conference contribution
-
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.研究成果: Conference article › 査読
Open Access -
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.研究成果: Article › 査読
Open Access -
On average-case hardness of higher-order model checking
Nakamura, Y., Asada, K., Kobayashi, N., Sin'Ya, R. & Tsukada, T., 2020 6月 1, 5th International Conference on Formal Structures for Computation and Deduction, FSCD 2020. Ariola, Z. M. (ed.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 21. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 167).研究成果: Conference contribution
-
Size-preserving translations from order-(n + 1) word grammars to order-n tree grammars
Asada, K. & Kobayashi, N., 2020 6月 1, 5th International Conference on Formal Structures for Computation and Deduction, FSCD 2020. Ariola, Z. M. (ed.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 22. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 167).研究成果: Conference contribution
3 被引用数 (Scopus)