| Generalised species of rigid resource terms T Tsukada, K Asada, CHL Ong 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-12, 2017 | 41 | 2017 |
| Species, profunctors and taylor expansion weighted by SMCC: A unified framework for modelling nondeterministic, probabilistic and quantum programs T Tsukada, K Asada, CHL Ong Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer …, 2018 | 33 | 2018 |
| Verifying relational properties of functional programs by first-order refinement K Asada, R Sato, N Kobayashi Proceedings of the 2015 Workshop on Partial Evaluation and Program …, 2015 | 30 | 2015 |
| Arrows are strong monads K Asada Proceedings of the third ACM SIGPLAN workshop on Mathematically Structured …, 2010 | 22 | 2010 |
| Structural recursion for querying ordered graphs S Hidaka, K Asada, Z Hu, H Kato, K Nakano Proceedings of the 18th ACM SIGPLAN international conference on Functional …, 2013 | 20 | 2013 |
| Categorifying computations into components via arrows as profunctors K Asada, I Hasuo Electronic Notes in Theoretical Computer Science 264 (2), 25-45, 2010 | 14 | 2010 |
| Compositional probabilistic model checking with string diagrams of MDPs K Watanabe, C Eberhart, K Asada, I Hasuo International Conference on Computer Aided Verification, 40-61, 2023 | 11 | 2023 |
| A compositional approach to parity games K Watanabe, C Eberhart, K Asada, I Hasuo arXiv preprint arXiv:2112.14058, 2021 | 10 | 2021 |
| On word and frontier languages of unsafe higher-order grammars K Asada, N Kobayashi arXiv preprint arXiv:1604.01595, 2016 | 10 | 2016 |
| Almost Every Simply Typed Lambda-Term Has a Long Beta-Reduction Sequence K Asada, N Kobayashi, R Sin'Ya, T Tsukada Logical Methods in Computer Science 15, 2019 | 9 | 2019 |
| A parameterized graph transformation calculus for finite graphs with monadic branches K Asada, S Hidaka, H Kato, Z Hu, K Nakano Proceedings of the 15th Symposium on Principles and Practice of Declarative …, 2013 | 9 | 2013 |
| The algebra of recursive graph transformation language UnCAL: complete axiomatisation and iteration categorical semantics M Hamana, K Matsuda, K Asada Mathematical Structures in Computer Science 28 (2), 287-337, 2018 | 7 | 2018 |
| Pumping lemma for higher-order languages K Asada, N Kobayashi arXiv preprint arXiv:1705.10699, 2017 | 7 | 2017 |
| Almost Every Simply Typed-Term Has a Long-Reduction Sequence R Sin’Ya, K Asada, N Kobayashi, T Tsukada International Conference on Foundations of Software Science and Computation …, 2017 | 7 | 2017 |
| A functional reformulation of UnCAL graph-transformations: or, graph transformation as graph reduction K Matsuda, K Asada Proceedings of the 2017 ACM SIGPLAN Workshop on Partial Evaluation and …, 2017 | 7 | 2017 |
| Linear-Algebraic Models of Linear Logic as Categories of Modules over Σ-Semirings✱ T Tsukada, K Asada Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer …, 2022 | 5 | 2022 |
| Enriched presheaf model of quantum fpc T Tsukada, K Asada Proceedings of the ACM on Programming Languages 8 (POPL), 362-392, 2024 | 3 | 2024 |
| Size-preserving translations from order-(n+ 1) word grammars to order-n tree grammars K Asada, N Kobayashi 5th International Conference on Formal Structures for Computation and …, 2020 | 3 | 2020 |
| Parameterized graph transformation languages with monads K Asada, S Hidaka, H Kato, Z Hu, K Nakano Technical Report GRACETR-2012-07, GRACE Center, National Institute of …, 2012 | 3 | 2012 |
| Compositional solution of mean payoff games by string diagrams K Watanabe, C Eberhart, K Asada, I Hasuo Principles of Verification: Cycling the Probabilistic Landscape: Essays …, 2024 | 2 | 2024 |
Naoki KobayashiThe University of TokyoEmail yang diverifikasi di is.s.u-tokyo.ac.jp
