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.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Characterizations of Partial Well-Behaved Lenses
Hashiba, K., Nakano, K., Asada, K. & Kikuchi, K., 2025 Jan 10, PEPM 2025 - Proceedings of the 2025 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation, Co-located with: POPL 2025. Allais, G. & Liu, Y. A. (eds.). Association for Computing Machinery, Inc, p. 43-53 11 p. (PEPM 2025 - Proceedings of the 2025 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation, Co-located with: POPL 2025).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open Access -
Compositional Solution of Mean Payoff Games by String Diagrams
Watanabe, K., Eberhart, C., Asada, K. & Hasuo, I., 2025, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Science and Business Media Deutschland GmbH, p. 423-445 23 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 15262 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review
2 Citations (Scopus) -
Enriched Presheaf Model of Quantum FPC
Tsukada, T. & Asada, K., 2024 Jan 5, In: Proceedings of the ACM on Programming Languages. 8, 13.Research output: Contribution to journal › Article › peer-review
Open Access2 Citations (Scopus) -
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).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open Access10 Citations (Scopus) -
Linear-Algebraic Models of Linear Logic as Categories of Modules over s-Semirings
Tsukada, T. & Asada, K., 2022 Aug 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).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
4 Citations (Scopus)