Kazuyuki Asada

Assistant Professor

  • 65 Citations
  • 5 h-Index
20082020

Research output per year

If you made any changes in Pure these will be visible here soon.

Fingerprint Dive into the research topics where Kazuyuki Asada is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

  • 7 Similar Profiles

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output

  • 65 Citations
  • 5 h-Index
  • 16 Conference contribution
  • 6 Article

On average-case hardness of higher-order model checking

Nakamura, Y., Asada, K., Kobayashi, N., Sin'Ya, R. & Tsukada, T., 2020 Jun 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).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Size-preserving translations from order-(n + 1) word grammars to order-n tree grammars

    Asada, K. & Kobayashi, N., 2020 Jun 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).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 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

    Research output: Contribution to journalArticle

  • 2 Citations (Scopus)

    Streaming Ranked-Tree-to-String Transducers

    Takahashi, Y., Asada, K. & Nakano, K., 2019 Jan 1, 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).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Lambda-definable order-3 tree functions are well-quasi-ordered

    Asada, K. & Kobayashi, N., 2018 Dec, 38th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2018. Ganguly, S. & Pandya, P. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 14. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 122).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    2 Citations (Scopus)