年別の研究成果
年別の研究成果
フィンガープリント
Kazuyuki Asadaが活動している研究トピックを掘り下げます。このトピックラベルは、この研究者の研究成果に基づきます。これらがまとまってユニークなフィンガープリントを構成します。
- 1 類似のプロファイル
ネットワーク
国/地域レベルにおける最近の外部共同研究。点をクリックして詳細を開くか、または
-
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 › 査読
-
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
2 被引用数 (Scopus) -
Almost every simply typed λ-Term has a long β-Reduction sequence
Asada, K., Kobayashi, N., Sin’ya, R. & Tsukada, T., 2019, In: Logical Methods in Computer Science. 15, 1, p. 16:1-16:57研究成果: Article › 査読
2 被引用数 (Scopus) -
Streaming Ranked-Tree-to-String Transducers
Takahashi, Y., Asada, K. & Nakano, K., 2019, Implementation and Application of Automata - 24th International Conference, CIAA 2019, Proceedings. Hospodár, M. & Jirásková, G. (eds.). Springer Verlag, p. 235-247 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11601 LNCS).研究成果: Conference contribution
1 被引用数 (Scopus)