| 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 | 33 | 2017 |
| 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 | 28 | 2015 |
| 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 | 27 | 2018 |
| 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 |
| Arrows are strong monads K Asada Proceedings of the third ACM SIGPLAN workshop on Mathematically Structured …, 2010 | 14 | 2010 |
| Categorifying computations into components via arrows as profunctors K Asada, I Hasuo Electronic Notes in Theoretical Computer Science 264 (2), 25-45, 2010 | 11 | 2010 |
| On word and frontier languages of unsafe higher-order grammars K Asada, N Kobayashi arXiv preprint arXiv:1604.01595, 2016 | 10 | 2016 |
| 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 | 8 | 2013 |
| 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 |
| 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 | 6 | 2018 |
| 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 | 5 | 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 | 3 | 2022 |
| A Compositional Approach to Parity Games K Watanabe, C Eberhart, K Asada, I Hasuo arXiv preprint arXiv:2112.14058, 2021 | 3 | 2021 |
| 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 |
| 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 | 3 | 2019 |
| 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 |
| Lambda-definable order-3 tree functions are well-quasi-ordered K Asada, N Kobayashi 38th IARCS Annual Conference on Foundations of Software Technology and …, 2018 | 2 | 2018 |
| Refinement type checking via assertion checking R Sato, K Asada, N Kobayashi Journal of information processing 23 (6), 827-834, 2015 | 2 | 2015 |
| Study on Requirements to be Fulfilled With Rules for Repair Replacement Activities in JSME Code on Fitness-for-Service A Nishikawa, K Dozaki, K Koyama, K Asada ASME Pressure Vessels and Piping Conference 43642, 615-619, 2009 | 2 | 2009 |
Naoki KobayashiThe University of Tokyo確認したメール アドレス: is.s.u-tokyo.ac.jp
