Lightweight fusion by fixed point promotion A Ohori, I Sasano ACM SIGPLAN Notices 42 (1), 143-154, 2007 | 71 | 2007 |
Make it practical: A generic linear-time algorithm for solving maximum-weightsum problems I Sasano, Z Hu, M Takeichi, M Ogawa ACM SIGPLAN Notices 35 (9), 137-149, 2000 | 51 | 2000 |
Toward bidirectionalization of ATL with GRoundTram I Sasano, Z Hu, S Hidaka, K Inaba, H Kato, K Nakano Theory and Practice of Model Transformations: 4th International Conference …, 2011 | 28 | 2011 |
Marker-directed optimization of uncal graph transformations S Hidaka, Z Hu, K Inaba, H Kato, K Matsuda, K Nakano, I Sasano Logic-Based Program Synthesis and Transformation: 21st International …, 2012 | 18 | 2012 |
Generation of efficient programs for solving maximum multi-marking problems I Sasano, Z Hu, M Takeichi International Workshop on Semantics, Applications, and Implementation of …, 2001 | 18 | 2001 |
Detecting code clones with gaps by function applications T Matsushita, I Sasano Proceedings of the 2017 ACM SIGPLAN workshop on partial evaluation and …, 2017 | 12 | 2017 |
Maximum marking problems with accumulative weight functions I Sasano, M Ogawa, Z Hu Theoretical Aspects of Computing–ICTAC 2005: Second International Colloquium …, 2005 | 11 | 2005 |
Iterative-free program analysis M Ogawa, Z Hu, I Sasano ACM SIGPLAN Notices 38 (9), 111-123, 2003 | 11 | 2003 |
A text-based syntax completion method using lr parsing I Sasano, K Choi Proceedings of the 2021 ACM SIGPLAN Workshop on Partial Evaluation and …, 2021 | 8 | 2021 |
An approach to completing variable names for implicitly typed functional languages I Sasano, T Goto Higher-Order and Symbolic Computation 25, 127-163, 2012 | 6 | 2012 |
A text-based syntax completion method using LR parsing and its evaluation I Sasano, K Choi Science of Computer Programming 228, 102957, 2023 | 5 | 2023 |
Toward modular implementation of practical identifier completion on incomplete program text I Sasano Proceedings of the 8th International Conference on Bioinspired Information …, 2014 | 5 | 2014 |
Inductive theorem proving in non-terminating rewriting systems and its application to program transformation K Kikuchi, T Aoto, I Sasano Proceedings of the 21st International Symposium on Principles and Practice …, 2019 | 4 | 2019 |
Agent control in multiagent systems–Reinforcement learning of weight parameters in particle swarm optimization H Igarashi, M Handa, S Ishihara, I Sasano The Research Reports of Shibaura Institute of Technology, Natural Sciences …, 2012 | 4 | 2012 |
An approach to completing variable names for implicitly typed functional languages T Goto, I Sasano Proceedings of the ACM SIGPLAN 2012 workshop on Partial Evaluation and …, 2012 | 4 | 2012 |
Derivation of a Linear Algorithm for Mining Optimized Gain Association Rules. 篠埜功, 胡振江, 武市正人, 小川瑞史 コンピュータ ソフトウェア 19 (4), 283-288, 2002 | 4 | 2002 |
An approach to generate text-based IDEs for syntax completion based on syntax specification I Sasano Proceedings of the 2020 ACM SIGPLAN Workshop on Partial Evaluation and …, 2020 | 3 | 2020 |
Pvrotate: An improved vibration-based user authentication method Y Hirakawa, F Hirose, I Sasano International Journal of Future Computer and Communication 8 (2), 50-54, 2019 | 3 | 2019 |
Improvements in a Puzzle Authentication Method Y Hirakawa Journal of Computer and Communications 6 (01), 12, 2018 | 3 | 2018 |
A tool for visualizing buffer overflow with detecting return address overwriting I Sasano Proceedings of the 9th EAI International Conference on Bio-inspired …, 2016 | 3 | 2016 |